【摘 要】
：
软件可靠性问题对于安全关键软件而言具有极端重要性。本文论述了软件可靠性工程的三个基本问题以及软件可靠性研究现状和面临的主要问题,进而论述了软件控制论产生的背景。
【机 构】
：
北京航空航天大学自动控制系 北京 100083;
【基金项目】
：
国家自然科学基金重点项目;“863”计划项目;航空科学基金项目资助
论文部分内容阅读
软件可靠性问题对于安全关键软件而言具有极端重要性。本文论述了软件可靠性工程的三个基本问题以及软件可靠性研究现状和面临的主要问题,进而论述了软件控制论产生的背景。软件控制论探讨软件理论和工程与控制理论和工程的交叉应用,其宗旨之一是将控制理论方法较系统地引入软件工程领域,使得软件过程更加有章可循,进一步保证和提高软件可靠性。本文最后概述了软件控制论的几个研究方向。
其他文献
对偶和对仗是两种极为相象的语言形式。所谓“相象”，是说它们相同之处较多而不同之点较少，所以区别起来就较为困难，甚至连一些工具书对这两个概念都解释得含糊其辞，不甚了了。如
目的探讨颈深部感染患者综合治疗的临床效果。方法选取2013年10月至2015年10月汕头市澄海区人民医院收治的81例颈深部感染患者,对所有患者的临床资料进行回顾性分析。结果 81
过去，通过采用电子控制，实现了技术产品功能的显著改善和降低了造价。近年来，在所有的技术领域，都越来越多地采用电子控制。在发动机领域，对其功率、燃油消耗率、排放值、动力特性
大学生心理健康教育是高校人才培养的重要内容,在现代传媒时代,当前大学生的心理健康教育活动,具有诸多的特点。在高校育人工程中,应重视现代传媒在大学生心理健康教育中的重
给出多孔岩体介质的流–固–热三场全耦合数学模型。假定流体为单相流,固体介质为非沸腾的饱和、热弹性多孔介质,该模型由流体物质守恒方程、力学平衡方程和能量守恒方程这3
科学的学业评定，既应根据场认知方式测验判断学生不同的认知方式，从而预测学生学业的优劣；又应从场认知方式的差异出发，解释学业成绩差异的原因。因此，场独立性依存性认知方式的差
根据地震现场的考察情况,介绍了2007年6月3日云南宁洱6.4级地震的灾害概况,归纳和分析了灾区村镇民居,包括土木结构、砖木结构、砖混结构房屋的震害特征及其破坏原因,并对村
采用电感耦合等离子体原子发射光谱法(ICP-AES)对淮河(安徽段)27个底泥样品中的重金属元素进行测试,分析了Cu,Pb,Zn,Cr,Co,V,Mn共7种元素的含量分布特征,并基于Tomlinson提出
根据风力发电上风机叶片的工作环境,研制了一种用于风机叶片防护的改性羟基丙烯酸聚氨酯涂料。对涂料的制备方法、制备工艺、涂料的性能进行了阐述,并且对树脂、颜填料、助剂
加强审计计划管理,可以充分利用现有审计资源,合理确定审计重点,保证审计工作低风险、高效率有序进行,更好地发挥审计监督在构建和谐社会中的作用。然而随着世界一体化进程的