【摘 要】
：
提出一种采用模型检测进行系统生存性分析的形式化方法。给出系统所处环境及主要提供的服务,引入灾难和错误等因素,建立系统生存性模型。通过描述系统的可生存能力,确定其生
论文部分内容阅读
提出一种采用模型检测进行系统生存性分析的形式化方法。给出系统所处环境及主要提供的服务,引入灾难和错误等因素,建立系统生存性模型。通过描述系统的可生存能力,确定其生存性需求并转换为相应的逻辑表示。以电话接入网络为例,利用PRISM对系统进行建模及验证,结果表明,该形式化方法可以规范并简化生存性分析过程。
其他文献
分析云南省农业资源状况 ,探讨建设生态农业及观光农业的发展方向 ,使农业与旅游业有机结合 ,良性循环 ,以促进农业的可持续发展。
<正>张洹早年的行为艺术,以极端的方式挑战着观者的感官,对他而言,这是对残酷的生存环境的本能反应。从美国回到上海建立工作室后,张洹的作品以巨大的体量、强烈的感官冲击。
针对已有的盲人触觉显示器所展示的图像不能有效地为视觉残障人士提供准确的信息的问题,从盲人对电子触觉图像的需求出发,通过分析盲人在使用传统触觉图像中所遇问题以及涉及
作为一种文化现象，人才的空间分布规律体现着人才与经济、历史及地理环境之间的关联性。本文选取１７０００多名教授和１６００多名将军作文武人才的地理分析。教授工作地集中的地区依次为北京、
<正>从20世纪70年代末至今,小城镇叙事小说创作日益兴盛,其叙说内容丰富多彩。展示小城镇生活变迁、观照乡镇政权运作与乡镇干部生活、审视小城镇的文化风貌、观照小城镇社会
随着集成电路技术与工艺的不断发展,目前工业界所采用的形式验证工具已很难适应集成电路规模的飞速增长.为了对RTL电路的可满足性问题进行形式验证,提出基于超图划分的约束分
随着人口老龄化的加速,关注老龄问题已成为全人类的共识,老年人的心理健康问题也日益成为关注的焦点。本文以南充市部分社区为例,调查南充市社区居家养老老年人的心理健康现
思茅翠云石灰岩地区森林是一种热带北缘森林类型,群落面积462 07km2.经野外详细的采集调查,共有维管束植物133科248属348种,其中种子植物107科240属340种、亚种和变种。森林
利用简正模态法研究各种集中载荷和分布载荷作用下单对称轴向受载的Timoshenko薄壁梁的弯扭耦合动力响应。该弯扭耦合梁所受到的载荷可以是集中载荷或沿着梁长度分布的分布载
随着科技发展进步,卫星通信已成为信息传输和通信的主力军,已经与人们的日常生活密不可分。卫星通信的重要性不仅体现在普通通信传输中,还对军事国防、生产安全及经济发展有