论文部分内容阅读
传统的开发方法一般基于自然语言的描述，不能表达明确的语义；本文介绍的形式化方法（ＦＭ）是基于形式逻辑和离散数学的，特别适用于安全重要性系统的说明，设计和构造。
形式化方法（FM）
【摘 要】
：
传统的开发方法一般基于自然语言的描述，不能表达明确的语义；本文介绍的形式化方法（ＦＭ）是基于形式逻辑和离散数学的，特别适用于安全重要性系统的说明，设计和构造。
【机 构】
：
西安邮电学院计算机系
【出 处】
：
西安邮电学院学报
【发表日期】
：
1999年2期
【基金项目】
：
原邮电部中青年科技基金
其他文献
分析了PSTN网中回波产生的原因,叙述了线性回波抵消器LEC的原理,给出了两种不同回波抵消自适应滤波器的实现方法.在Windows 98平台通过Visual C++编程对回波抵消器功能进行了
自然资源信息化问题是各级政府及学者普遍关注的焦点,在信息化建设过程中的政府投资行为更是研究的重点。本文对当前我国自然资源信息化建设中的政府投资存在的问题进行系统
2015年12月25日，下午2点，省国土资源厅三楼视频会议室座无虚席，全省矿产资源重点企业座谈会在这里准时召开。
〔关键词〕 课外教学；延伸性学习；优势 〔中图分类号〕 G424.21 〔文献标识码〕 A 〔文章编号〕 1004—0463（2013）11—0051—01 我们在生活中常会有这样的体验，当遇到问题时，如果可供思考的时间很短，所作出的回答往往是不能令人满意的，然而如果时间够充足，能让我们全面思考的话，答案会非常详尽、周全。在课堂教学中，我们也会遇到同样的问题，虽然教师在备课时就已经对课堂提问
本报讯 伊春市扎实开展地质灾害防治，切实保障人民群众生命财产安全，获得自然资源部指导调研工作组肯定。日前，由中国地质环境监测院院长马军任组长的自然资源部地质灾害防治指
对31例2型糖尿病（T2DM）患者给予强化血糖、血压、血脂的综合治疗措施，多因素干预2周后，患者胆固醇、糖化白蛋白显著降低（P〈0．01），甘油三酯、C反应蛋白、游离脂肪酸明显下降（P〈0．05），白
该文对近来图书馆界关于“市场经济与图书馆”方面的理论研究热潮进行了较为全面的总结，并对探讨中出现的“一馆两制”、“产业化”等新观念一一予以述评．
为增强全体干部业务能力，提高整体工作效率，新林区国土资源局创新开展了“全员上岗学业务”活动。林春哗经过精心的策划与准备，以“土地市场动态监测和监管系统”为主要内容讲授