模型检测相关论文
因通信的同步问题、网络分区的可靠性问题等，分布式系统难以在通信、分区等环节失效的情况下对特定的状态达成共识．Paxos是近年分布......
[研究目的]智能化条件下，网络威胁情报分析呈现出数据结构复杂、算法主导、云网支持、数据驱动等特征，准确把握上述特点有助于各界了......
本文提出了一种基于局部线性时序逻辑任务描述的滚动时域多机器人协同规划在线合成方法,初步解决了如何在建模为马尔可夫决策过程......
开源代码指源代码数据是公开的,所有人都可以获得的代码,方便人们在此基础上进行二次开发。开源代码出现问题就有可能导致使用它的......
为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法.首先,引入带成本的广义可能......
综合模块化航空电子系统已被广泛应用于航空、航天等安全关键领域,其主要目标是实现分区操作系统,为多个安全级别的子系统提供资源......
模型检测是一种验证软硬件系统的强有力方法,它首先用形式化语言来描述待检验系统和系统需要满足的规范,然后使用DFS（Depth First S......
随着区块链和智能合约技术的广泛运用,越来越多的数字资产、隐私信息等敏感数据被存储到区块链上,因此区块链应用中的安全漏洞可能......
目前,财经新闻通过互联网的快速传播,极易引起网民的大量关注,从而形成财经舆情事件,影响着网民的行为和资本市场的发展。关注财经......
随着云计算的广泛运用,云编排缺乏可移植性的问题得到了越来越多的关注。云应用拓扑编排规范（Topology and Orchestration Specific......
随着区块链的快速发展,智能合约作为区块链的核心技术受到广泛关注。但频繁发生的智能合约漏洞事件,在造成巨大经济损失的同时,也......
针对车道线检测技术在车道偏离预警、自动泊车和车道变换等各种辅助驾驶系统中的重要作用，国内外专家学者对车道线检测技术做了较多......
近几年,工业物联网技术的兴起使得工控系统得到了进一步的发展。而数控机床作为工控系统中极为重要的设备之一,在车辆制造、航空航......
工业控制系统为众多国家关键基础设施提供自动化作业支撑,保障了社会经济活动的正常运行,在产业升级、智能制造、精益生产等方面发......
随着计算机算力的快速提升以及大量数据的驱动,以神经网络为代表的深度学习（Deep Learning,DL）技术在许多领域取得了长足的进步。因......
无线传感器网络(Wireless Sensor Networks,WSNs)是由众多空间分布的、紧密交织的物理组件组成,其拓扑结构作为支撑各种应用的底层......
针对代币智能合约的形式化验证方法中模型检测存在的状态空间爆炸问题,提出了一种两段式模型检测方法.使用图转换规则对智能合约建......
MSVL（Modeling,Simulation and Verification Language）是一种时序逻辑程序设计语言,是投影时序逻辑（Projection Temporal Logic,PTL）......
经典的模型检测由于其自动化的特点被广泛用于系统的功能正确性和可靠性验证,其强调系统功能的绝对正确,是一种定性的验证方法.随......
近年来的网络设备脆弱性数量和影响总体呈上升趋势,而网络设备作为信息基础设施的核心部件,针对其进行安全性分析具有重要的理论和......
区块链技术因为比特币的引入被人们广泛关注。随着近几年的发展,区块链技术的应用已不再局限于比特币等数字货币,更多传统行业与区......
嵌入式系统的安全性不仅取决于系统硬件的稳定性,而且与系统功能实现代码有密切关系。在一些复杂的嵌入式系统中,嵌入式系统硬件上......
数控机床的控制通常是使用Numerical Control (NC)代码实现.如果NC代码在传输过程中被人为修改,则会对加工的零件甚至机床造成严重......
SCADE同步语言是一种常用的嵌入式系统程序设计语言.在航空、航天、交通等安全关键领域的装备研发中,SCADE同步语言通常被用于实现......
文章给出一个通用的针对复杂功能部件的形式化验证方法.该方法基于寄存器传输级设计，利用设计中的结构信息将电路划分为控制部分和......
模型检测是近二十几年来最成功的自动验证技术之一,一直以来主要用于检测时态逻辑,人们很少注意空间逻辑的模型检测问题,而在分布......
随着网络规模不断扩大,协议已广泛应用在各种分布式的网络环境中.使用形式化的分析方法有助于发现协议设计中的缺陷,保障分布式应......
为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,缓存技术也会造成共享数据的更新顺序与本来的执行顺序不同......
本文分析了模型检测技术和理论生成技术的优点与不足,并在此基础上提出了MT(Model checking-Theory induction)组合分析技术,该技......
随着网络的迅速发展，网络安全问题日益突出，正确分析和验证安全协议尤为必要。目前对安全协议进行分析的主流方法是形式化分析方法。......
一个工作流模型,其正确性、有效性以及性能效率等都是受人关注的.一个包含错误的工作流过程定义有可能会导致顾客的不满、处理出错......
本文在两方密码协议运行模式分析法的基础上，利用模型检测的理论结果，提出了三方密码协议运行模式分析法。并用这种方法对Davis Swic......
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.安全协议的形式化分析正成为国际上的研究热点.......
信息化社会中人们对软件可信性的要求越来越高，传统的测试技术已经不能充分保证系统的安全性，基于模型的形式化验证技术成为解决此类......
Ⅰ型过敏反应是指机体对某些抗原初次应答后，再次接受相同抗原刺激时，发生的一种以机体生理功能紊乱或组织损伤为主要表现的特异性免......
针对使用BPEL进行Web服务组合过程中,复杂业务流程的正确性验证繁琐且易出错问题,论文提出了一种自动化构建BPEL流程的SMV模型方法......
本文以SPIN为例，介绍模型检测的机制与原理。本文描述了模型检测不可避免的问题——状态空间爆炸，并分析了偏序归约、启发式方法、压......
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,但从体系结构角度研究Web服务组合描述与验证方......
模型检测是针对有限状态系统行为的逻辑性质的一种自动验证技术,简洁明了和自动化程度高,在生产实践中得到了广泛的应用,其主要缺......
形式方法可以辅助设计、分析和验证网络和分布式系统中的密码协议.本文对密码协议形式分析化现状进行了综述,并指出了这个领域的主......
以太坊智能合约是区块链技术的典型应用和实现。由于智能合约一旦部署就难以修改,智能合约在上链之前的正确性显得至关重要。虽然......
某些类型的车辆对轨道几何形状的变化特别敏感。神经网络系统是一种具有潜力的更为精确的测试方法。本文介绍了神经网络在轨道 /车......
对中成药“骨节灵”中是否非法添加丙酸类解热镇痛化学成分的快速筛查方法进行了研究。以抗风湿类中成药-骨节灵为研究对象,用衰减......
为了考察IFG患者胰岛β细胞功能缺陷,并将该结果与IGT、NGT者进行对比,研究纳入墨西哥裔美国人172名,采用Mari模型检测其OGTT期间......
Parlay/OSA业务提供方式是下一代网络中一种关键的业务提供技术，它继承了传统智能网在提供业务时所表现出的各种优点，并对原有不合理......
