搜索到341篇“ 网构软件“的相关文章
- 网构软件研究:回顾与展望被引量：5
- 2022年
- 软件作为计算系统的“灵魂”,是信息技术产业的核心组成部分,也正在成为数字经济时代支撑社会运行的重要“基础设施”.进入21世纪以来,互联网及其延伸网络形成了开放、动态、难控的复杂计算环境,对传统的软件范型与技术提出了巨大挑战,也蕴含了技术体系重大变革的新机遇.来自北京大学、南京大学和中国科学院的学者于2000年提出“网构软件”这一面向互联网的新型软件范型,经过20余年的努力,在其基本模型、开发方法、运行支撑和质量评估与保障等方面,均取得一系列重要的研究进展,形成了系统化的创新成果,产生了广泛的学术和产业影响.本文从软件范型入手,以互联网及其延伸网络形成的复杂计算环境为线索,回顾网构软件的研究进展,并展望未来的研究工作.
- 梅宏梅宏刘譞哲黄罡
- 关键词：互联网网构软件软件体系结构
- 人工智能系列专著 网构软件信任演化模型的形式化研究 面向复杂网络
- 本书聚焦于学术界研究的热点问题-网构软件可信性研究，从网构软件的特征出发，以开放网络的动态演化为基础，结合生物学、社会学等领域的相关知识，旨在对网构软件系统提出一种动态演化的、相对“柔性”的可信保障机制。全书共分为七个章...
- 董宇欣作
- 基于特征扩展的网构软件测试数据分类模型构建被引量：2
- 2021年
- 针对现有网构软件测试数据分类模型存在的分类相似度较低与召回率较低的问题,提出基于特征扩展的网构软件测试数据分类模型。对需分类的数据进行数据预处理,生成若干个网构软件测试数据的待测文件后,构建基于特征扩展的网构软件测试数据分类模型,使网构软件测试数据可以用基于特征扩展的向量表示,从而根据数据特征进行数据分类和存储。利用概念树计算数据相应权值和其表达能力,具体到每个网构软件测试数据进行概念描述。实验结果表明,基于特征扩展的网构软件测试数据分类模型能够有效提高分类数据的相似度和召回率。
- 王钰刘磊
- 关键词：网构软件测试数据
- 云计算的网构软件可信性度量算法研究
- 2020年
- 网构软件是传统软件结构的自然延伸,由于网构软件所处互联网环境的开放性、动态性、复杂性,使得网构软件的可信性度量成为一个热点问题。本文通过分析网构软件的软件结构,介绍云计算的网构软件可信性度量算法,将网构软件的影响因素分成两个指标,即动态可信性指标和静态可信性指标,利用云计算环境下滑动窗口的因素分别计算出动静态可信性指标,从而得出网构软件的可信性度量。实验结果正确、全面、客观地对网构软件可信性度量给出了其可信性评估。具有一定的实践性以及可扩展性,为网构软件的可信性度量在开放性、动态性、复杂性奠定基础。
- 赵明邓程鹏
- 关键词：网构软件
- 面向动态演化的复杂网构软件系统可靠性分析方法被引量：1
- 2019年
- 网构软件是Internet上各种软件实体以各种协同方式实现跨网络的互连、互通和协作的软件系统,动态演化是其基本特征,演化过程中会导致软件系统失效,面向动态演化的网构软件可靠性分析成为新的技术难题。首先分析构件接口交互之间的协议关系和网构软件动态演化错误传播可达性,提出通过错误传播可达图来界定构件动态演化错误的影响范围,并建立错误传播可达图生成过程模型;其次,为有效解决Markov状态空间"爆炸"的问题,利用错误传播可达图来生成Markov状态转移图,提出基于Markov的网构软件动态演化可靠性分析方法;最后通过案例分析来验证该方法的有效性。
- 宋敏鞠阳韦正现
- 关键词：网构软件系统可靠性
- 网构软件系统中构件之间信任关系分析与度量被引量：1
- 2018年
- 为了保证网构软件系统运行中的安全,文章提出一种对构件之间的信任关系进行分析与度量的方法。在网构软件中,构件之间信任关系包括直接信任关系和间接信任关系,间接信任又分为一级间接推荐信任和多级间接推荐信任。直接信任关系建立在构件交互基础上,可通过对交互过程中的行为进行统计分析获得,从而建立直接信任关系网。通过关系网中构件的前驱和后继确定信任推荐构件集,进而确定构件之间的间接推荐信任关系的级数,并对一级、二级间接推荐信任关系给出了对应的信任度量方法。同时,对信任关系在传递过程中可能会有的损失情况进行分析。
- 郁湧刘永刚顾捷
- 关键词：网构软件信任传递信任度量
- 面向网构软件的可信动态演化模型研究
- Internet的出现和普及,使得计算机软件的运行环境开始从静态、封闭、可控逐步转变为动态、开放、多变。在这种背景下,网构软件这一新型软件系统形态应运而生,它可以感知外部网络环境和用户需求的动态变化,并随着这种变化进行静...
- 李艳琴
- 关键词：网构软件信任关系
- 基于面向网构软件的环境驱动模型与支撑技术分析
- 2018年
- 互联网的发展需要计算机软件实现资源共享和集成。环境驱动模型为软件适应开放性网络环境提供了基础。本文从四个方面进行分析。首先指出环境驱动模型软件系统与经典软件系统运行的不同之处;其次简单分析宏观角度下环境驱动模型交互模式和环境驱动模型的软件结构模型;最后重点分析了环境驱动下的环境上下文信息作为支撑技术的应用。以此供相关人士参考和交流。
- 张春雨夏源辛
- 关键词：上下文建模
- 网构软件代数性质的程序化验证与支撑技术研究
- 所谓"网构"是以开放、自主的方式存在于互联网的各个节点之上,可在开放的环境下通过某种方式加以发布,并以各种协同方式与其它软件实体进行跨网络的互连、互通、协作和联盟的软件实体[1]。作为一种新的软件范型,网构软件的基本理论...
- 黄榆涵
- 关键词：网构软件代数模型
- 网构软件可靠性技术研究
- 《网构软件可靠性技术研究》共7章，主要讨论了网构软件的研究背景和意义、网构软件可靠性理论和研究现状、网构软件及其可靠性形式化方法研究、网构软件可靠性计算方法研究、网构软件系统可靠性演化计算研究、网构软件系统可靠性分配方法...
- 张靖著
相关作者
- 梅宏
- 作品数：314被引量：3,972H指数：32
- 供职机构：北京大学
- 研究主题：软件体系结构 中间件 软件复用 软件工程 面向对象
- 吕建
- 作品数：412被引量：1,939H指数：25
- 供职机构：南京大学
- 研究主题：移动AGENT 面向对象 软件开发 INTERNET 软件体系结构
- 焦文品
- 作品数：29被引量：399H指数：9
- 供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室
- 研究主题：网构软件 自适应 AGENT 软件体系结构 多主体
- 印桂生
- 作品数：120被引量：468H指数：10
- 供职机构：哈尔滨工程大学计算机科学与技术学院
- 研究主题：网构软件 本体 聚类 水平集 面向对象PETRI网
- 黄罡
- 作品数：329被引量：479H指数：10
- 供职机构：北京大学
- 研究主题：软件体系结构 中间件 账本 代码 区块
