自动验证相关论文
伴随着大数据和云计算技术的快速发展,数据量随之增大,这种趋势给资源受限用户带来巨大挑战。为降低存储负载,用户常会将文件上传......
摘要： 在发动机的活塞连杆装配过程中，活塞卡簧的压装是一个难点，本文介绍的自动工作站是快速安装活塞卡簧并验证其安装精度的专用工......
当今世界,计算机网络发展迅速,网络上的应用越来越多,吸引了大量的上网人群,网络已经渐渐成为了人们生活的一部分。然而开放的网络......
无线传感器网络（WSN，Wireless Sensor Network）的应用越来越广泛，例如在火警预报、环境监测、燃气抄表等领域提供了便捷性和安全性保证......
随着信息服务和商业活动等越来越多地出现在开放的通讯网络上，用以保证上述服务的网络安全协议的可靠性成为备受人们关注的焦点。然......
云计算是伴随互联网的蓬勃发展应运而生的一种新型计算方式，它突破了传统计算的局限，增强了当下急需的计算能力，同时又提供了灵活的可......
BWDSP是一款高性能数字信号处理器,同时兼容16位和32位定点数据格式,采用超长指令字架构,具有强大的并行处理能力,能较好的满足高......
现代计算机技术已经时时刻刻伴随着我们的生活,随着现代计算机软件和硬件的设计越来越复杂,对软件和硬件的测试也变得越来越复杂,......
作为一种开源的机器人操作系统,ROS在家用或服务性机器人上也得到广泛应用,保证其设计的正确性相当重要.本文通过定理证明的方法对......
作为亚洲规模最大的陆路旅检口岸,深圳罗湖口岸每天都有40万～50万人次的流量.为了加快通关验放速度,罗湖口岸2005年6月投入使用了旅......
针对混合系统既包含连续变量又存在离散事件的特点，给出了混合系统在Matlab环境下的建模方法、仿真过程，为克服仿真的固有局限性，文中......
CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用.在系统研发过程中需对......
