软件可信性动力学行为及复杂性研究

来源 :北京大学 | 被引量 : 0次 | 上传用户:kekedala
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件是计算机系统的灵魂,是信息化系统的核心以及互联网应用的基石。现代信息化社会对于计算机系统的依赖主要体现在对软件的依赖。近年来,随着软件技术及产业的飞速发展,软件在信息社会中发挥着越来越重要的作用,软件可信性问题已经成为当前研究中的重点。   本文将动力系统理论的基本思想与软件可信性有机结合起来,探讨软件可信性的基本科学问题。   首先,本文详细阐述了不同的软件可信性的定义,建立了不同的软件可信性属性模型深入理解软件可信性的内涵,并给出了软件可信等级划分、影响软件可信性的因素以及软件可信性当前的研究重点。   其次,本文概述了软件可信性评估尤其是软件可靠性度量的研究成果,给出了软件可信性评估的方法及其软件可信性评估指标体系。   再次,本文利用动力系统理论的思想、方法为软件可信性演化构建动力学模型并进行复杂性分析,将软件系统的可信性对应为软件系统在动态开放环境下其行为的统计特性。   最后,本文通过实例模型分析说明软件系统可信性的动力学特征,并通过Lyapunov指数方法给出了软件可信的必要条件。  
其他文献
灯光如簇,宽敞明亮的辅助运输大巷内,满载职工或生产物资的防爆专用运人车和无轨胶轮车在井下高速公路上安全快捷穿行,路面黄色行车线和巷道两侧行车反光牌,在车灯照耀下,发
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
本文将文[8]中的模糊距离引入到模糊数值函数的研究中,建立了一整套类似于实值函数的分析理论体系.全文先后引入了模糊数值函数的极限、连续性、可导性、定积分的定义,并在常
The cost of formal health care and the caregiver burden introduced by the increasingly aging population pose a drasticchallenge to our society.The efforts to fi
去年以来,壶关县委解放思想,拓宽思路,大胆使用专业技术人才,有力地促进了各项工作的开展。一是民主选举。县医院、壶关一中、供水处、城关学区等单位由于原主要领导素质差、
学位
本文主要研究非凸情形的线性正则性,误差界以及静态性质.首先,我们研究Banach空间中闭集簇的CHIP,强CHIP,(G)性质以及线性正则性等基本性质.不同于现有文献在凸性假设下研究
现代教学追求平等,要求老师和同学们在平等的基础上进行知识的传递与发展,教学过程是教师教与学生学的统一,其实质就是师生之间的互动.师生互动在语文教学中体现为:教师的期
学位
学位