论文部分内容阅读
提出了一种基于有限状态机和层次系统状态的分析模型，在此基础上通过一个分析实例来对生存性的计算过程进行演示。其中包含系统定义、系统生存性测试和生存性计算三个步骤。该实例计算显示基于FSM模型的量化分析方法具有很好的实际可行性。
基于FSM模型的信息系统生存性计算
【摘 要】
：
提出了一种基于有限状态机和层次系统状态的分析模型，在此基础上通过一个分析实例来对生存性的计算过程进行演示。其中包含系统定义、系统生存性测试和生存性计算三个步骤。该
【机 构】
：
北京第二外国语学院教育技术中心
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年2期
【基金项目】
：
国家973重点基础研究发展规划资助项目（G1999035806）.
其他文献
系统性、特色性与探索性是西藏高等农业院校植物营养学教学内容定位的三个重要方面,教学过程中能否体现教学大纲所确定的这一教学内容定位原则,直接关系着教学质量和学生能力的培养。
本刊讯11月上旬，桂林市地产脐橙如期成熟开园上市。初市市场批发价为3．80～5元／kg，市场零售价分别为5~8元／kg；上市旺季，其市场零售价5～7元／kg。与上年度同比，售价略有上涨。据调查获悉，本
建筑物加固设计之前应进行可靠性鉴定,结合民航总局办公大楼加固工程实例,探讨了旧高层建筑加固施工可靠性问题,从而为类似相关工程提供一定的借鉴作用。
在澳大利亚昆士兰州的塔利,已查出有20株香蕉疑似感染了巴拿马病,目前该州已在塔利设置了生物安全移动办公室,并开始向香蕉种植者提供建议和咨询,以保护其香蕉。据昆士兰生物
系统以SQL Server2000为数据管理系统,在Pro/E环境和AutoCAD环境下进行二次开发,集成了Pro/E、AutoCAD、SQL Server和VC++四个平台,实现了各个平台间的数据传递和图形传递,同时,对过程中产生的大量数据以及结果信息进行有效的管理,实现了查询、修改、添加和输出的功能。系统地开发完成了一个集计算、分析、绘图和数据管理为一体的专业化软件。
2014年11月6日,山东省农业科学院邀请有关专家,对依托山东省农业科学院果树研究所的国家现代苹果产业技术体系岗位科学家开展的＂苹果现代矮化密植栽培及砧穗组合试验＂和＂苹果矮
目前，在计算机动画领域，欧拉法与拉格朗日法是流体模拟的主要方法，但欧拉法的数值耗散较多，拉格朗日法构造表面几何复杂。因此。采用Particle Level Set方法，将欧拉法与拉格朗日法
目的 探讨高血压患者执行Go-Nogo任务时冲突监控机制的特点及与MMSE评分的相关性。方法 选取高血压患者、正常对照各15例为研究对象,采用MMSE量表及视觉事件相关电位Go-Nogo
卫星系统的总体设计以及在轨运行等任务都离不开对其制导、导航与控制（GN＆C）系统的设计、优化与仿真演示，但GN＆C分系统方案以及算法的复杂性对于GN＆C分系统的快速设计、仿真与决策
论文分析了现有的基于身份的盲签名和代理签名，发现这些系统都需要无条件信任私钥产生中心（PKG，Private Key Generator）。因为PKG可以计算系统内任何用户的私钥。当然可以伪造任