安全性验证相关论文
针对多辆卡车在高速公路上协同运输的场景,学术界和工业界已经对自动驾驶的车队系统进行了广泛的探索。在部署智能车队之前,十分有......
混成系统是一类复杂的动力系统,其中既包含了连续演变行为又含有离散变迁行为,并且两者又交织发生.连续演变状态可用于描述各个独......
深度学习技术的快速发展使得DNN驱动的自动驾驶技术的研究和部署有了质的突破。然而,虽然自动驾驶汽车已在无人操作的情况下路测行......
随着VLSI技术的不断发展，尤其是Dennard缩放定律的终结，单核已经不能满足硬件发展的需求，多核已成为主流的体系结构。多线程技术的提......
本文主要研究了一个支持多平台的C语言编译器,它可以在Windows主机上运行,可编译和反编译运行在Intel 80486实模式、无操作系统目......
壁面移动机器人是指能够在壁面上灵活运动的机器人,自其出现以来,在石油、化工、船舶等行业应用广泛。本文针对壁面移动机器人对小......
随机混成系统是一类离散、连续与随机动态交织的复杂动力系统。作为信息物理融合系统的数学模型,随机混成系统在能源、医疗、交通......
以带有多个可接受条件的广义Büchi自动机为研究对象,提出基于启发式NDFS的模型检测新算法.该算法结合on-the-fly算法与启发式NDFS......
安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这......
网络协议对于互联网中通信交互行为与数据传输行为具有支持作用.本文将利用Fuzzing测试技术,和对应于目标测试协议FTP、HTTP的测试......
基于形式化方法开发自动分析工具是密码协议安全性分析的一种有效的方法,然而,由于密码协议参与主体的任意性、消息运算复杂性和运......
