论文部分内容阅读
成功设计一个复杂数字系统要求在设计的各个阶段验证实现的正确性，传统的模拟验证已不能完全满足需要，形式验证技术成为了重要的补充。研究了国内外形式验证技术的研究成果，对主要方法进行了分析和比较并对新的热点进行了展望。
数字系统的形式化验证方法
【摘 要】
：
成功设计一个复杂数字系统要求在设计的各个阶段验证实现的正确性，传统的模拟验证已不能完全满足需要，形式验证技术成为了重要的补充。研究了国内外形式验证技术的研究成果，对主
【机 构】
：
合肥师范学院计算机科学技术系,安徽电气工程职业技术学院
【出 处】
：
合肥师范学院学报
【发表日期】
：
2008年3期
其他文献
目的通过观察进行标准化屋尘螨特异性免疫治疗(脱敏治疗)的支气管哮喘(简称哮喘)患儿,在脱敏治疗过程中出现的不良反应,评价脱敏治疗的安全性。方法对在苏州大学附属儿童医院
白三烯受体拮抗剂在支气管哮喘治疗中占有重要地位,既可作单独治疗,也可作为辅助治疗。本文从《全球哮喘创议》（Global Initiative for Asthma,GINA）角度（治疗阶梯）出发,分析白三
历代医家通过长期的临床实践得出：有病始有症,辨证方能识病,识病后才可施治。中医学限于当时的历史条件和对事物认识程度只能根据辨证来进行临床治疗。但随着时代的进步,科学
当前,＂节能系统解决方案＂悄然升温,已经成为了众多企业竞相追捧的前沿代名词,似乎只要是贴上了＂节能系统解决方案＂的标签,企业就会一夜间＂升级＂,具备了竞争的＂杀手锏＂。诚然,节能系统
目的观察痰热清注射液治疗肺部感染所致急性肺损伤（ALI）的疗效。方法将患者90例随机分为两组,两组病例均给予敏感类抗生素静滴,高浓度吸氧等基础治疗。治疗组给予痰热清注射液
高斯函数y=[x]形式简单，性质独特。在数学分析教学中它出现在极限、导数、积分、级数等各种类型的习题上，处理方式也比较灵活有趣。本文通过实例给出了取整函数在数学分析的证
《刻意》对庄子的思想进行了别具一格的概括，比较集中地阐发了道家的“无”和“朴”的思想，并把它上升到道之本．人之本的地位，强调遵循自然之遗，表现了庄子思想的根本追求，体现了道
70年代末发现,白三烯(LT)是一类可致气管收缩的物质,即在此之前称之为"慢反应物质(SRS-A)".80年代开始,LT在支气管哮喘(简称哮喘)发病机制中的作用日益受到重视.LT是白细胞代
11月22日，国务院新闻办公室发布的《中国应对气候变化的政策与行动（2011）》白皮书指出，中国完成了“十一五”规划提出的节能目标，2010年单位国内生产总值能耗比2005年累计下降191％．