论文部分内容阅读
文章介绍了形式化方法的基本概念和分类,几种主要的形式化方法技术的源流和相互影响,形式化方法在工业界的典型应用以及形式化方法的能力和局限。着重介绍了形式化方法这几年的最新进展。
形式化方法介绍及其在工程中的应用
【摘 要】
：
文章介绍了形式化方法的基本概念和分类,几种主要的形式化方法技术的源流和相互影响,形式化方法在工业界的典型应用以及形式化方法的能力和局限。着重介绍了形式化方法这几年
【机 构】
：
中国科学院计算技术研究所智能中心
【出 处】
：
微电子学与计算机
【发表日期】
：
2003年10期
【基金项目】
：
国家863计划项目基金(863-306-ZD01-01);中科院计算所领域前沿青年基金(20026180-2)
其他文献
<正>身体约束常作为一种医疗辅助措施用来维护患者安全及预防意外事件的发生。据澳大利亚JBI循证卫生保健中心2002年统计,医院住院患者中身体约束率约为3.4%～21.0%(平均10.0%)
目的：筛选磷酸西格列汀片直接压片法的最佳处方。方法：采用Box-Behnken效应面法（BBD）优化磷酸西格列汀片的处方设计,以原料药粒径、MCC占填充剂比例及崩解剂用量为考察因素,以休
随着石油资源的匮乏，各国开始向深部地层钻探开发来获取更多的石油，钻井问题是制约我国油气勘探开发的一个技术难题，研究与深部地层相适用的抗高温钻井液体系，特别是对核心处理剂
<正>留置导尿管(indwelling urethral catheters,IUC)是由导尿管、引流管和引流袋组成的整套一次性导尿用品中的一部分,是患者管理中常用的工具。短期留置导尿是指导尿管留置
<正>中药熏蒸疗法又叫蒸汽治疗疗法或汽浴治疗疗法、中药雾化透皮治疗疗法,是以中医理论为指导,利用药物煎煮后所产生的蒸汽,通过熏蒸机体达到治疗目的的一种中医外治治疗疗
企业社会工作是将社会工作专业服务延伸至企业领域的一种管理方式,其在中国企业中的可行发展模式有员工服务模式、顾客服务模式及社区社会责任模式等。企业社会工作的各种服
SCHEME 是一种用LISP 语言实现的函数型程序设计语言.这种语言的语法规则与LISP 语言相同,但语义不一样.用SCHEME 语言设计人工智能中的搜索和推理程序,可以实现一些在LISP语
随着经济的快速发展，人民生活水平的不断改善和人们环保意识的增强，国家对污水的排放制定了可行的、严格的标准，并完成各类各种类型、不同规模的污水处理厂的建设。但对于污水处