模型检测相关论文
因通信的同步问题、网络分区的可靠性问题等，分布式系统难以在通信、分区等环节失效的情况下对特定的状态达成共识．Paxos是近年分布......
[研究目的]智能化条件下，网络威胁情报分析呈现出数据结构复杂、算法主导、云网支持、数据驱动等特征，准确把握上述特点有助于各界了......
本文提出了一种基于局部线性时序逻辑任务描述的滚动时域多机器人协同规划在线合成方法,初步解决了如何在建模为马尔可夫决策过程......
开源代码指源代码数据是公开的,所有人都可以获得的代码,方便人们在此基础上进行二次开发。开源代码出现问题就有可能导致使用它的......
综合模块化航空电子系统已被广泛应用于航空、航天等安全关键领域,其主要目标是实现分区操作系统,为多个安全级别的子系统提供资源......
模型检测是一种验证软硬件系统的强有力方法,它首先用形式化语言来描述待检验系统和系统需要满足的规范,然后使用DFS（Depth First S......
随着区块链和智能合约技术的广泛运用,越来越多的数字资产、隐私信息等敏感数据被存储到区块链上,因此区块链应用中的安全漏洞可能......
目前,财经新闻通过互联网的快速传播,极易引起网民的大量关注,从而形成财经舆情事件,影响着网民的行为和资本市场的发展。关注财经......
随着区块链的快速发展,智能合约作为区块链的核心技术受到广泛关注。但频繁发生的智能合约漏洞事件,在造成巨大经济损失的同时,也......
针对车道线检测技术在车道偏离预警、自动泊车和车道变换等各种辅助驾驶系统中的重要作用，国内外专家学者对车道线检测技术做了较多......
近几年,工业物联网技术的兴起使得工控系统得到了进一步的发展。而数控机床作为工控系统中极为重要的设备之一,在车辆制造、航空航......
工业控制系统为众多国家关键基础设施提供自动化作业支撑,保障了社会经济活动的正常运行,在产业升级、智能制造、精益生产等方面发......
计算树逻辑（Computation Tree Logic,CTL）模型检测是形式化方法研究的热点,是保证系统正确性的重要手段之一。DNA计算是以DNA分子和......
MSVL（Modeling,Simulation and Verification Language）是一种时序逻辑程序设计语言,是投影时序逻辑（Projection Temporal Logic,PTL）......
经典的模型检测由于其自动化的特点被广泛用于系统的功能正确性和可靠性验证,其强调系统功能的绝对正确,是一种定性的验证方法.随......
近年来的网络设备脆弱性数量和影响总体呈上升趋势,而网络设备作为信息基础设施的核心部件,针对其进行安全性分析具有重要的理论和......
区块链技术因为比特币的引入被人们广泛关注。随着近几年的发展,区块链技术的应用已不再局限于比特币等数字货币,更多传统行业与区......
嵌入式系统的安全性不仅取决于系统硬件的稳定性,而且与系统功能实现代码有密切关系。在一些复杂的嵌入式系统中,嵌入式系统硬件上......
某些类型的车辆对轨道几何形状的变化特别敏感。神经网络系统是一种具有潜力的更为精确的测试方法。本文介绍了神经网络在轨道 /车......
Parlay/OSA业务提供方式是下一代网络中一种关键的业务提供技术，它继承了传统智能网在提供业务时所表现出的各种优点，并对原有不合理......
射频识别(Radio Frequency Identification,简称RFID)技术是一种利用无线通信实现的非接触式自动识别技术,具有无接触、高效率、抗......
互联网的开放性使得Web服务是分布式的,在Web服务交互过程中,一些“不正常”的消息交互会影响Web服务的质量和健壮性,降低用户满意......
命题动态逻辑(propositional dynamic logic.简称PDL)最初是由Fischer和Ladner在上世纪70年代末引入的,已成为计算机科学中一种有......
密码协议安全性分析与研究对于促进我国信息化建设以及网络安全和信息安全研究具有非常重要的意义。本文主要研究运用模型检测技术......
本文以国家高技术研究发展计划(863)“田间作物信息成像光谱仪的研制与应用”(2007AA10Z202)、“基于国产旋翼无人机的农业低空高......
模型检测技术是近二十年来最成功的自动验证技术之一，目前被广泛的应用于有穷状态系统(包括电路设计和通讯协议等)的分析与验证。对......
随着计算机网络通信的迅猛发展,密码协议的重要性越来越得到重视。而在众多的验证方法中,模型检测方法在对密码协议的验证中体现出......
论文包括两部分内容,第一部分通过定义分解互模拟这个概念,对规范的(normed)上下文无关进程上的互模拟做了更为简单的有限刻画,并......
随着信息技术的飞速发展,信息安全显得越来越重要,然而传统的基于类型的安全方法无法实现信息流的安全检测。基于类型的方法是逐个......
如今Web服务广泛分布于互联网中,它们通过彼此之间的交互实现对问题的协作求解。然而,在交互过程中,一些非预期、“不正常”的信息......
一致化理论在自动推理、自然语言理解、逻辑证明、重写理论等研究领域中有着广泛的应用。目前语法一致化因子的产生算法和工具已经......
数学和逻辑中把一个公式中的某个子项替换成另一个子项的操作过程就是项重写。项重写系统的理论是计算的基础理论。本文属于项重写......
随着技术的发展和人们需求的不断提高,实时系统的复杂度在不断地增长,为实时系统的开发带来了巨大挑战。本文在异步扩展层次自动机......
形式验证是一种比测试和模拟更具吸引力的描述和验证软硬件系统的方法.形式验证方法的种类很多,从定理证明到计算机辅助定理证明,......
该文主要研究利用知识逻辑进行协议验证的问题.一直以来,高效无二意的通信协议是人们进行有效的远距离通信交流的基础,设计高效无......
该文主要研究有限状态系统中的模型检测知识的问题.关于智能体知识的计算在不同的观察下计算方法不同,该文研究了在OBS(Observatio......
模型检测是一种被广泛应用的验证有限状态系统性质的自动化验证技术。经过三十多年的研究发展,时态逻辑LTL和CTL的模型检测问题已......
密码协议的安全性分析对于保障计算机网络的安全通信具有重要意义。运用形式化方法对密码协议进行分析一直是该领域的研究热点。目......
网络安全是目前人们关注的一个热点,而安全协议的安全性却是网络安全的关键。安全协议应用于网络上传送文件和进行各种交易以及对......
本文为提高分析效率，论文还提出了以对象为中心，结合Escape分析缩小检测范围的竞争检测算法,由于别名信息极大的影响了算法的效......
UML是面向对象开发中一种可视化建模语言，已经成为事实上的面向对象建模标准。虽然表达丰富，但UML不是形式化的建模语言，其图形化的符......
