论文部分内容阅读
形式化方法主要应用于安全性第一的系统的规范与形式验证.原型证明系统PVS为开发和分析形式化规范和验证提供了一个集成化环境.本文介绍PVS系统的证明方法和特点,并利用PVS系统对飞机订票系统的需求给出了形式化规范,对部分
基于PVS的飞机订票系统的形式化描述与验证
【摘 要】
：
形式化方法主要应用于安全性第一的系统的规范与形式验证.原型证明系统PVS为开发和分析形式化规范和验证提供了一个集成化环境.本文介绍PVS系统的证明方法和特点,并利用PVS系
【机 构】
：
西安邮电学院计算机系
【出 处】
：
西安邮电学院学报
【发表日期】
：
2001年3期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
1 中小企业实施ERP的主要障碍1.1 认识偏差、期望误区一些企业认为,只要实施了ERP系统,许多问题都会迎刃而解,没有认识到实施ERP改进企业的管理方式是一个渐进的、不断改进的
试论应用药物添加剂应注意的问题李剑虹（宁海县畜牧兽医技术服务中心）随着饲料工业的发展，为了提高饲料转化率和有效地预防某些疫病，除须提高饲料的质量外，还须向饲料中添加畜禽需
炎症性肠病（IBD）是一组病因不明的慢性非特异性肠道炎症性疾病，主要包括溃疡性结肠炎（UC）和克罗恩病（CD）。目前，IBD的病因及发病机制尚未完全阐明，主要涉及遗传、感染、免疫和环境等多
从知识经济的内涵和发展出发，论述了知识经济的特点，知识经济与信息化的发展关系并结合我省信息化建设实际，从省情出发，探讨了如何发展高新科技和信息产业，来迎接知识经济的机遇和
回顾了近二十年来二茂铁双甲酸基多核配合物的研究进展。按照主族金属配合物、过渡金属配合物、稀土金属配合物进行分类,并介绍了它们的合成、结构特点以及突出性能等。
首先对电子商务的发展及其安全问题进行了概述;就此引出了世界各国及各组织为解决安全问题在法制建设上所做的努力;然后通过与美国、新加坡的立法比较,分析了中国电子商务安
金华市高效肉鸡配套技术农业丰收计划项目，经1年多的实施，受益肉鸡饲养户84户，饲养肉鸡112万羽,平均成活率达95.78%，料重比为2.24∶1。并且形成了种禽场、技术服务部门、养殖户、