NuSMV相关论文
多Agent系统(MultiAgentSystemMAS)是解决分布式复杂问题的一种重要手段，也是一种新的软件开发模式。为了适应多Agent系统的建模需......
车载功能兼容研究主要解决的是列车跨线运行的问题,其一是通过合理的系统功能设计,使车载系统能支持列车在低等级线路条件下的安全......
随着信息技术产业的高速发展,数字系统和集成电路已经在不知不觉中成为我们生活的一部分。第三方来源的IP核在集成电路中的广泛使......
列控系统线路数据是描绘列车运行线路的重要信息,准确、完备的线路数据是列控系统安全运行的基础。然而既有线实际控车数据由人工......
模型检测是一种形式化的自动验证技术。1981年,由Clarke,Emerson,Quielle和Sifakis提出。它的基本思想是:通过状态空间的穷举搜索......
提出用BMC和串空间结合的方法对安全协议进行验证.首先是通过串空间的出测试理论先构造不安全协议的部分丛结构,通过该丛结构来约......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
