自动验证相关论文
伴随着大数据和云计算技术的快速发展,数据量随之增大,这种趋势给资源受限用户带来巨大挑战。为降低存储负载,用户常会将文件上传......
摘要： 在发动机的活塞连杆装配过程中，活塞卡簧的压装是一个难点，本文介绍的自动工作站是快速安装活塞卡簧并验证其安装精度的专用工......
当今世界,计算机网络发展迅速,网络上的应用越来越多,吸引了大量的上网人群,网络已经渐渐成为了人们生活的一部分。然而开放的网络......
无线传感器网络（WSN，Wireless Sensor Network）的应用越来越广泛，例如在火警预报、环境监测、燃气抄表等领域提供了便捷性和安全性保证......
随着信息服务和商业活动等越来越多地出现在开放的通讯网络上，用以保证上述服务的网络安全协议的可靠性成为备受人们关注的焦点。然......
云计算是伴随互联网的蓬勃发展应运而生的一种新型计算方式，它突破了传统计算的局限，增强了当下急需的计算能力，同时又提供了灵活的可......
BWDSP是一款高性能数字信号处理器,同时兼容16位和32位定点数据格式,采用超长指令字架构,具有强大的并行处理能力,能较好的满足高......
现代计算机技术已经时时刻刻伴随着我们的生活,随着现代计算机软件和硬件的设计越来越复杂,对软件和硬件的测试也变得越来越复杂,......
作为一种开源的机器人操作系统,ROS在家用或服务性机器人上也得到广泛应用,保证其设计的正确性相当重要.本文通过定理证明的方法对......
作为亚洲规模最大的陆路旅检口岸,深圳罗湖口岸每天都有40万～50万人次的流量.为了加快通关验放速度,罗湖口岸2005年6月投入使用了旅......
针对混合系统既包含连续变量又存在离散事件的特点，给出了混合系统在Matlab环境下的建模方法、仿真过程，为克服仿真的固有局限性，文中......
CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用.在系统研发过程中需对......
现有的可搜索加密在实际应用中存在一定缺陷,缺乏搜索服务中对交易公平性的考虑,用户先支付服务费,服务器可能返回错误搜索结果。......
仿真模型的验证研究的是模型的可信度问题。由于模型验证需要关于真实系统,建模理论以及数据分析等多方面的知识,基于知识的智能化......
当今,软件测试工程师越来越倾向于自动化测试的研究工作。自动化测试主要由测试用例的设计、执行测试和验证三个模块组成。而验证......
UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建......
随着现代计算机软件和硬件的复杂性变大,模型检测作为一种形式化自动验证技术,与传统的检测技术相比有着一系列的优势,比如可以在......
给出时间自动机的基本概念,描述了区域自动机的构造方法,并且实现了区域自动机的构造算法.简述了通过时间自动机进行自动验证的过......
...
提出了一种对并发程序进行切片以缩减模型检验状态空间的方法.首先针对并发程序中的同步与通信定义了一组依赖关系,包括并发分支与......
针对程序语言信息流安全领域的现有机密消去策略，提出了一种基于下推系统可达性分析的程序信息流安全验证机制．将存储．匹配操作内嵌于......
电子商务的快速发展加强了电子商务协议的新类型的需求，尤其对各种复杂协议的需求，这使得协议本身安全性的证明变得更为困难。为了证......
TBZKⅡ型驼峰自动化控制系统采用分散控制、集中管理的模式,有效提高了编组站驼峰场的作业效率。作为实时控制系统,对时间控制的精......
对p∈N（p≥2）的Hardy不等式的加强式进行探讨，通过对权系数W（k，p）的估计，在权系数W（k，3）下建立加强式∞∑n=1（1/n n∑k=1ak）3≤27/8 ∞∑n=1[1-......
本文介绍了一个就线性时段特性验证实时系统的正确性的工具的设计思想以及相关算法.我们使用和时间自动机作为实时系统的描述模型.......
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系......
形式化方法能有效检验安全协议的安全性,BAN类逻辑的发展极大地促进了这一领域的研究,但是现有的BAN类逻辑仍然存在许多问题.在分......
轨道交通区域控制器是我国轨道交通信号系统选型的主流制式--基于通信的列车控制系统的核心子系统,其突出的安全性使得安全需求的......
提出了基于指纹技术的民航乘客身份验证系统的总体结构 软件流程 ,分析了指纹图像特征 指纹信息库组成和指纹识别过程 ,运用实际......
提出了一种分析安全协议的新逻辑,既能有效地分析认证协议的认证性,又能分析电子商务协议的可追究性和公平性。该方法对认证协议的......
密码协议的安全性是网络安全的关键,协议分析是揭示密码协议是否存在安全漏洞的重要途径。与非形式化方法相比,密码协议的形式化分......
CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用。在系统研发过程中需对......
分布式馈线自动化系统能否正确运作,目前主要是通过测试与仿真技术来保证,但这2类方法都要涉及电气设备的底层细节,会分散计算资源......
数据库系统中，SQL语句的应用里面，查询语句是使用最为频繁的语句。不管在实际的商业应用还是在数据库课程教学的实验，都涉及到查询语......
针对混合系统既包含连续变量又存在离散事件的特点，给出了混合系统在Matlab环境下的建模方法、仿真过程，为克服仿真的固有局限性，文中......
