论文部分内容阅读
针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究。基于Petri网、GSPN模型的基本原理，提出了关键状态搜索算法，并进行了安全性仿真分析．将广义随机Petri网的扩展模型应用于安全性分析领域，丰富了动态系统安全性问题的研究手段。
基于广义随机Petri网GSPN的系统安全性研究
【摘 要】
：
针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究。基于Petri网、GSPN模型的基本原理，提出了关键状态搜索算法，并进行了安全性仿真分析．将广义随机Pe
【机 构】
：
海军工程大学管理工程系,国防科技大学信息系统与管理学院
【出 处】
：
海军工程大学学报
【发表日期】
：
2007年3期
其他文献
伴随科学技术迅猛发展，在全球范围内兴起了一场军事革命——新军事变革，其必将带领军事医学发生质的改变。本系作为全军惟一检验系，自1986年成立以来，一直为全军培养着高水平检验
目的克隆、表达肺炎嗜衣原体（Cpn）蛋白酶样活性因子（CPAF）的免疫优势区基因（CPAFm），初步评价其在血清学诊断中的应用价值。方法构建pGEX6p-2／CPAFm重组质粒，诱导表达重组蛋白，十二烷基
乙型病毒性肝炎是由乙型肝炎病毒（HBV）引起的一种世界性疾病，发展中国家发病率高。中国是乙型病毒性肝炎的高发区，全世界HBsAg携带者约3．5亿，其中约1．2亿为中国公民。HBV感染者中，约2
耕地占用税是对占用农业用地，从事于非农业建筑的单位和个人所征收和一种税收．为了合理利用土地资源，制止乱占耕地，滥用土地，保护农用耕地，1987年，国家开征了耕地占用税，这是国家运用
<正> 电子商务的发展使人们认识到:电子商务代表未来贸易发展方向,成为世界经济新增长点。但是,电子商务在中国发展最重要的是实现与中国传统经济,尤其是传统制造业的结合,这
慢性心力衰竭（简称心衰）是一种复杂的临床症候群，是各种心脏疾病的终末阶段。美国统计资料显示，人群中，心衰的患病率为1．5％～2％，而65岁以上人群可达6％～10％；50～89岁人群中，年龄每增加10岁，其患病
艾滋病极易发生卡氏肺囊虫肺炎（Pncnmo-Cystis carininiPneumonia,PCP）感染,未经抗病毒治疗的艾滋病合并PCP的发病率和病死率非常高,为做到早发现、早诊断、早处理,现对23例艾
龙浩的“防寒鞋垫”是否实用，作为学生来讲这并不重要；重要的是龙浩有一种勤于思考的习惯和敢于探究的精神。新课标明确指出：对于多数探究活动来说，探究的过程比探究的结果更重要
改革开放以来,我国政府致力于经济增长的同时,越来越清醒地认识到教育对于经济增长和社会进步的巨大推动作用."科教兴国,教育为本"已经成为家喻户晓的大政方针,从中国国情看,
经过15年的漫长谈判,我国2001年12月10日推开了"经济联合国"的大门,成为世界贸易组织的正式成员.这意味着我国面对的外贸保护和关税壁垒状况将大为改观,经营环境将得到改善,