检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:郑成兴[1]
机构地区:[1]北京第二外国语学院教育技术中心,北京100024
出 处:《计算机工程与应用》2007年第2期140-144,共5页Computer Engineering and Applications
基 金:国家973重点基础研究发展规划资助项目(G1999035806)。
摘 要:提出了一种基于有限状态机和层次系统状态的分析模型,在此基础上通过一个分析实例来对生存性的计算过程进行演示。其中包含系统定义、系统生存性测试和生存性计算三个步骤。该实例计算显示基于FSM模型的量化分析方法具有很好的实际可行性。An analysis model based on finite state machine and hierarchical system state is presented,based on which a case study is introduced to demonstrate the process of survivability computation.The demonstration is composed of system definition, survivability test and survivability computation.The case study shows that this method of quantitative analysis is practicable.
分 类 号:TP309.08[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.45