论文部分内容阅读
信息处理系统的规模和复杂化，需要有效设计高可靠性系统的形式化的规模描述方法，本文针对以上功能，提出了基于命题逻辑的信息处理系统的新的需求描述方法，描述了通过使用逻辑ＰｅｔｒｉＮｅｔ（ＬＰＮ），把命题逻辑的需求描述变换成状态转移图的过程，并且给出了由ＬＰＮ自动生成状态的转换图的算法。
从命题逻辑的需求描述到状态转移图的形式规格
【摘 要】
：
信息处理系统的规模和复杂化，需要有效设计高可靠性系统的形式化的规模描述方法，本文针对以上功能，提出了基于命题逻辑的信息处理系统的新的需求描述方法，描述了通过使用逻辑ＰｅｔｒｉＮｅｔ（ＬＰＮ），把命
【机 构】
：
中国科学技术大学电子工程系
【出 处】
：
小型微型计算机系统
【发表日期】
：
2000年9期
其他文献
在电力系统中,l0kV高压开关柜应用极其广泛。为确保电力系统运行可靠性,高压开关柜运行出现故障及防范措施研究十分重要。首先分析10kV高压柜主要类型及特点,同时结合10kV高
采用离子凝胶法制备了壳聚糖纳米微粒悬浮液。以微粒的平均粒径,分散度,产量作为参考指标,对影响壳聚糖纳米微粒制备的主要因素进行进行了单因素和正交实验。结果表明：其制备
为了探索白花泡桐的幼化技术,以13个白花泡桐优树为试验材料,通过组织培养法对白花泡桐优树材料的幼化技术进行了研究。结果表明：嫁接嫩芽为最适合的外植体;MS＋BA 4.0 mg.L-1＋NA
组播提供了一种发送者同时发送信息到多个接收者的高效通信机制,但是组播的安全问题却阻碍了组播技术的广泛使用.文章首先讨论了组播所面临的安全风险,解释安全风险产生的原
在全国大部分地区都还以追求经济增长为主的20世纪90年代,作为西南喀斯特贫困山区的毕节试验区,就对生态环境保护和可持续发展逐渐有了正确的认识。20年的改革与实践中,试验
我国是世界上农田防护林建设规模最大的国家之一,农田防护林对于维护农业生态系统的生态平衡、保障其生产力水平的持续稳定具有重要的意义。农田防护林结构与防护效应一直是
经过10余年的发展,中国石化天然气业务经历了从小到大、从弱到强的发展历程,储运设施体系初步形成,三级市场销售格局初步构筑,生产运行系统相对完备,经营管理体系高效运营,人
从大型数据库中挖掘关联规则是数据挖掘中一个重要的课题.从挖掘要求的时间和空间上看,传统的顺序算法已很难适应于现实中不断增大的数据库规模.而研究和发展高性能、可扩展
为深入探讨草灌植被消减降雨侵蚀作用机理,提高其生态防护效益,2005～2008年,选择路基边坡不同土壤类型和草灌植被为研究对象,通过野外径流小区法和数据分析,探讨了边坡草灌植