【摘 要】
：
模型检测作为一种形式化验证技术已成功应用于硬件以及协议的性质验证过程,目前正转向软件验证领域并逐渐扩展其应用范围。针对特定的森林防火专家系统的知识库规则,研究其所
【基金项目】
：
全国大学生创新创业训练计划项目（201310225064）
论文部分内容阅读
模型检测作为一种形式化验证技术已成功应用于硬件以及协议的性质验证过程,目前正转向软件验证领域并逐渐扩展其应用范围。针对特定的森林防火专家系统的知识库规则,研究其所需满足的性质规范的形式化验证问题。首先将规则体描述为状态迁移图,通过引入转换函数对状态迁移图的变迁过程及状态性质进行了有效说明,然后将性质规范描述为相应的时序逻辑表达式,最后通过实例对模型检测过程进行了详细说明,本文的研究成果有效地说明了将模型检测应用于森林防火专家系统等林业信息系统的可行性与正确性。
其他文献
使用GSM modem、jsp技术、oracle数据库及建模工具构建基于GSM modem的B/S监考自动派发系统。根据需求,系统不仅实现监考任务表的导入、监考任务自动派发、监考调整、监考任
本研究主要是开发一个基于微信小程序的高校图书馆服务系统(以东北林业大学图书馆为例),该系统运用已有的数字图书系统,应用Python Web爬虫、Django Web框架等技术;以微信小
摘 要：当今不仅需要格外重视高校学生专业知识能力方面的培养，还需要对学生心理健康教育进行格外的关注，进而让高校学生从专业能力再到心理状态都和国家发展需求相适应。因此，本文首先介绍了加强大学生心理教育的必要性，接着总结了高校心理学教育存在的问题，最后探讨了加强高校心理学教育的策略，进而希望给高校培养全面发展的大学生带来更大的作用。 关键词：高校心理学;教育;问题;策略 在中国高等教育不断发展的过
摘要：在课堂教学中，组织好小组合作学习，能很好地提高课堂的教学效率。教师要及时了解学生需求，为教学服务，为促进学生的可持续发展服务。本文对小学语文教学中推进合作学习进行了探讨。 关键词：小学语文；合作学习；教学措施 小学语文教师在进行合作教学时应该要制定出更加有效的策略，同时还要结合孩子们的实际学习需求，找到其语文学习上的不足，并给予不同的指导方案，从而提升孩子们参与语文合作学习的积极性。