模型检验论文

论文摘要混成系统是一类有广泛应用的系统,目前主要用混成自动机对其进行建模,对混成自动机进行可达性检验是保障混成系统质量的主要手段。目前对于混成系统的可达性分析主要有两类主要方法...

论文摘要当前，信息安全的重要性不言而喻，但信息安全的现状却不尽人意，针对信息安全的攻击技术和手段层出不穷，硬件木马的出现更是给信息安全带来了新的威胁。相对于软件恶意代码，硬件木...

论文摘要2010年6月6日,《2010—2020年国家中长期人才发展规划纲要》正式发布,人才发展已成为国家发展的重中之重。国家重视人才的发展,而当前,我国基层农村人才严重缺乏,...

论文摘要随着高性能计算机性能的不断提升、规模不断增大,Cache一致性协议变得异常复杂,协议的状态数随系统规模成指数级增长,导致状态空间爆炸。为了缓解状态空间爆炸问题对Cach...

论文摘要系统复杂性继续按照摩尔定律增加,而功能复杂性的增加速度则更加迅猛。为解决复杂性增加的问题,EDA行业提出了通过自动化来实现设计抽象(DesignAbstraction)...

论文摘要随着数字集成电路设计规模的增大和功能复杂性的提高,功能验证已经成为设计流程中的瓶颈。传统的模拟验证方法无法满足现时复杂集成电路设计带来的巨大的验证需求。形式验证技术,例...

论文摘要信息技术的发展以及战争形态的变化,对一体化C~4ISR系统的需求日益迫切;C~4ISR系统的开发和建设,更加重视以需求工程和体系结构技术为核心的C~4ISR系统顶层设计...

论文摘要本文采用LABVIEW技术,并严格按照矿用通风机系统安全检验规范,在实验和理论分析的基础上,对原系统不断进行改进和扩充,完善了基于虚拟仪器的矿用通风机性能检测系统。在对...

论文摘要“威尼斯之旅”旅游客车是南京依维柯汽车公司(NAVECO)开发的系列客车。为了实现该系列客车的参数化设计,本文以NJ6746SKF型客车为研究对象,运用Pro/Engi...

论文摘要随着数字IC设计规模的增大和功能复杂性的提高,设计验证成为IC设计流程中越来越重要的方面。传统的模拟验证方法无法满足复杂IC设计带来的巨大的验证需求。基于此,形式验证方...

论文摘要随着控制理论的发展,许多先进控制方法,如鲁棒控制、自适应控制、模型预测控制等,在实际中得到广泛应用,这些方法往往依赖于被控对象的精确数学模型。系统辨识是系统建模的重要方...

论文摘要随着微电子技术的高速发展,人们对电子产品的强大需求使得现代集成电路系统的规模和复杂度日益提高。在系统芯片(SOC)设计中,可以利用IP构成复杂的大规模系统。但是,SOC...

论文摘要商业过程(BusinessProcess)的组织和管理方式直接影响到企业生产和运营的效率。传统的工作流系统(workflow)致力于解决商业过程的自动化处理和计算机辅助...

论文摘要随着计算机系统的广泛应用,计算机软件的高可信性质受到了越来越多的关注。面向软件源程序的形式验证是保障软件高可信性质的一种有效方法,受到了大量的关注和广泛的研究。但是,由...

论文摘要交互式马尔可夫链(IMC)是一种功能与性能混合的并发系统模型,通过正交结合经典的进程代数模型和连续时间马尔可夫链(CTMC)模型,IMC提供了一个完美的可组合化的性能评...

论文摘要验证(Verification)是当今集成电路计算机辅助设计(ICCAD)领域的一个重要且困难的问题。传统的基于二叉决策图(BDD)的模型检验(ModelCheckin...

论文题目:程序正确性验证的几个问题论文类型:博士论文论文专业:应用数学作者:范年柏导师:周叔子,张大方关键词:形式化验证,统一建模语言,模型检验,函数式语言,副作用,抽象数据类...

论文题目:基于接口自动机的组合验证方法研究论文类型:博士论文论文专业:计算机科学与技术作者:文艳军导师:齐治昌关键词:形式验证,组合验证,模型检验,精化检验,接口自动机,体系结...

论文题目:模型检验及其布尔可满足问题的研究论文类型:博士论文论文专业:计算机系统结构作者:邵明导师:李晓维关键词:模型检验,有界模型检验,布尔可满足问题,模型的抽象和细化,极小...

论文题目:模型检验的反例解释论文类型:博士论文论文专业:计算机科学与技术作者:沈胜宇导师:李思昆关键词:形式化验证,模型检验,电子设计自动化,反例解释,错误定位,反例压缩文献来...