安全性验证相关论文
针对多辆卡车在高速公路上协同运输的场景,学术界和工业界已经对自动驾驶的车队系统进行了广泛的探索。在部署智能车队之前,十分有......
混成系统是一类复杂的动力系统,其中既包含了连续演变行为又含有离散变迁行为,并且两者又交织发生.连续演变状态可用于描述各个独......
深度学习技术的快速发展使得DNN驱动的自动驾驶技术的研究和部署有了质的突破。然而,虽然自动驾驶汽车已在无人操作的情况下路测行......
随着VLSI技术的不断发展，尤其是Dennard缩放定律的终结，单核已经不能满足硬件发展的需求，多核已成为主流的体系结构。多线程技术的提......
本文主要研究了一个支持多平台的C语言编译器,它可以在Windows主机上运行,可编译和反编译运行在Intel 80486实模式、无操作系统目......
壁面移动机器人是指能够在壁面上灵活运动的机器人,自其出现以来,在石油、化工、船舶等行业应用广泛。本文针对壁面移动机器人对小......
随机混成系统是一类离散、连续与随机动态交织的复杂动力系统。作为信息物理融合系统的数学模型,随机混成系统在能源、医疗、交通......
以带有多个可接受条件的广义Büchi自动机为研究对象,提出基于启发式NDFS的模型检测新算法.该算法结合on-the-fly算法与启发式NDFS......
安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这......
网络协议对于互联网中通信交互行为与数据传输行为具有支持作用.本文将利用Fuzzing测试技术,和对应于目标测试协议FTP、HTTP的测试......
基于形式化方法开发自动分析工具是密码协议安全性分析的一种有效的方法,然而,由于密码协议参与主体的任意性、消息运算复杂性和运......
将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性。采用......
民航业务系统正确处理民航业务逻辑是民航企业运行的必要条件，因此民航业务系统的安全性十分重要，形式化验证方法是保障系统安全性的......
嵌入式系统在航空、航天、交通等安全关键领域的使用愈加广泛，AltaRica是一种描述安全关键系统的建模语言，同时基于AltaRica模型的安......
液压支架起吊使用的吊钩通常都是自制吊钩,其在行业里没有统一的安全性标准,为了解决液压支架起吊现场的安全问题,提出了一种自制......
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之......
栅栏函数在连续系统验证方面有着广泛的应用,其主要想法在于：在可达集和非安全集之间寻找一个栅栏,从初始区域出发的路径不会越过这......
电子商务是目前新兴的商务交易模式，主要利用互联网技术通过网络交易平台，再配以物流服务来完成日常商务活动，具有物美价谦、简便快捷......
针对多角色协同交互式工作流系统中多重语境约束交互操作导致冗余操作和错误操作的问题，提出语境判定树CDT模型。采用元模型建模方......
因为难以突破的技术难点和安全性验证等问题,无人驾驶10年之内恐将无法正式上路.如今,全球智能驾驶产业正行驶在不断加速的跑道上,......
数据关系着计算机联锁功能的正确实现,更关系到整个信号系统的安全完整性等级,对数据安全性的验证是城轨计算机联锁研发和应用中的......
系统形式化分析（system formal analysis）是近些年在航空系统研发中所应用的一种安全评价方法。原理是运用数学建模，对研发航空软件系......
针对一类非线性混成系统的可达性问题,提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性,讨论了如何应用多面体......
针对一类同时具有随机初始状态和随机微分方程的随机连续系统的安全性验证问题,提出一种基于随机障碍验证以及初始集选择的计算方......
对网络用户信息的安全性验证,能够有效加快网络后端用户信息管理系统对信息的认证过程。用户信息传输过程的安全验证,需要计算不同......
事件树、故障树等传统基于事件的验证方法难以考虑工程系统研发和运用过程中复杂交互作用对安全性的影响。依据社会-技术系统控制......
安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree an......
高加速应力筛选是一种能够快速、有效地剔除产品潜在缺陷的方法。通过对小型通信产品高加速环境应力筛选方法的研究,寻找到了一种......
容错和控制系统的安全性验证是自发机扑系统成功的关键，一种叫做任务数据系统MDS（Mission Data Symstem）的控制框架的软件理论被提了......
随着网络的发展,私有云计算也逐渐发展起来,而存储海量数据的私有云数据中心网络存储环节也称为各大企业关注的要点。海量的数据能......
军机系统级安全性分析与验证工作是军机安全性工作的重要组成部分,对提高军机型号研制质量和安全性水平具有重要的意义.本文依据美......
随着嵌入式系统在安全攸关领域的广泛应用，嵌入式系统的研究也逐步升温。由于混成系统既可以描述嵌入式系统离散的控制逻辑，又可以描......
安全性问题贯穿信息物理融合系统建模、分析、设计、开发与维护整个系统生命周期。信息物理融合系统中的安全性问题内涵丰富、形式......
目前对非开普勒轨道分析和优化控制的研究相当热门。通过此研究，可以分析并实现卫星在非开普勒轨道间的自由跃迁，以达到预期目的，如侦......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
EtherCAT协议由于具有较高的实时性和较强的性能而被广泛应用,但是随着工业以太网协议的快速发展和开放化,使得工业控制系统承受着......
本文论述了我国民用飞机航空电子设备在试飞阶段的安全性验证技术。随着ARJ21-700飞机试飞工作的不断开展,在深入分析各航空电子设......
运用GB151—1999《管壳式换热器》中管板布管区面积相等的原则,将开大孔的环形管板转化为普通圆形管板进行近似计算,通过对开大孔......
无人机因为其低成本、高机动性、易携带、部署快速、使用方便、时效性强等诸多优点，在军事、民用领域得到了广泛应用。由于无人机通......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
<正> OCTAPLAS是一种供输血用的无细胞标准血型的特异性人凝血活性的血浆。病毒的安全性主要基于有机溶剂/去污剂(SD)的处理。SD为......
在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件......
在高可信系统软件的整个生命周期中,会因为系统的需求分析、软件设计、代码实现及运营维护等方面存在某些微小的漏洞而引发无可预......
安全关键系统广泛应用于各种行业领域,例如国家的航空航天项目以及近年来迅速发展的无人驾驶、智慧医疗等领域。该类系统对安全性......
介绍了某市污水治理四期工程中双排平行顶管的施工,通过工作坑后靠土体稳定性验算,横向安全性验证,错位纵距控制,管线沉降控制,出......
