论文部分内容阅读
设计了一个简单的压缩算法,并实现了一个基于压缩Petri网的安全性分析系统,实验结果表明此算法可急剧减少网的规模和验证时间.
基于Petri网子范畴的压缩规则
【摘 要】
：
设计了一个简单的压缩算法,并实现了一个基于压缩Petri网的安全性分析系统,实验结果表明此算法可急剧减少网的规模和验证时间.
【机 构】
：
武汉大学
【出 处】
：
小型微型计算机系统
【发表日期】
：
2004年3期
【基金项目】
：
国家自然科学基金
其他文献
遗传算法中参数的选取决定遗传算法的运行性能.目前,对算法中参数选取都是经验性的.本文针对一个典型的2-bit问题,分析了在不同参数选取下GA的全局动力学形态.通过对标准遗传
利用聚乙烯土工膜进行防渗处理已成为病险库治理的常用措施之一。该文以霞浦县下洋城水库大坝防渗加固为例，介绍聚乙烯土工膜防渗技术的设计、施工以及效果分析。
炼钢厂转炉控制系统中的现场检测仪表在生产过程中经常出现故障，正确判断、及时处理这些仪表故障关系到炼钢生产的安全与稳定。文章介绍了转炉炼钢中检测仪表的分类，并从仪表连
本文阐述先进计算基础设施(ACI)的重要性和发展情况.ACI是把地理分布位置不同的高性能计算机,用高速网络联接起来,并用中间件使它对用户来说,可看成是统一映象的虚拟系统.本
<正>蛋白激酶C(protein kinase C,PKC)是细胞内信号转导中的关键部分,参与细胞信息传递、分泌、离子通道调节、细胞增殖、分化、凋亡及癌变等一系列过程;
目的:探讨中医健脾清肝法治疗高血脂症的应用效果。方法:120例高血脂症患者,按照患者不同入院治疗时间分为对照组和试验组,各60例。对照组患者接受辛伐他汀口服治疗,试验组患
数学是一门逻辑性、思维性极强的学科。正是因为这个特点,小学生很难理解数学的一些定理性知识。在数学教学中,因为学生的理解能力有限,教师一般选择原始的填鸭式教学,但这又
利用遥感、DEM、基础地理信息、土地利用变更调查、社会经济统计等各类数据和专题图件,以平江县为例,构建湖南典型贫困区土地生态状况综合评估体系,对平江县土地生态状况进行
针对连铸连轧铜管生产线三辊行星轧机角接触球轴承损伤形式的特征及产生的原因进行了深入的研究,研究表明行星轧机角接触球轴承损伤的形式主要有剥落、擦伤、破裂、压痕、咬