作者:杨效民 期刊:《电子产品可靠性与环境试验》 2019年第05期
高加速应力筛选是一种能够快速、有效地剔除产品潜在缺陷的方法。通过对小型通信产品高加速环境应力筛选方法的研究,寻找到了一种适用于小型通信产品高加速环境应力筛选的有效途径,从而提高了生产效率,降低了产品的周期费用,提高了实物的质量。
作者:常志超; 牛秦洲; 陈晓辉 期刊:《信息技术与网络安全》 2009年第05期
容错和控制系统的安全性验证是自发机扑系统成功的关键,一种叫做任务数据系统MDS(Mission Data Symstem)的控制框架的软件理论被提了出来,而它的产生则推动了一种基于对象的控制方法的产生。本文将讨论一种设计方法,该方法的设计目的是将对象网络控制程序转化为线性混合系统。该线性混合系统在使用信号模拟检测器进行检测时,在出现错误时是可以证明其安全性的。本文将结合例子介绍这种方法。
作者:李飞敏; 胡毅 期刊:《航空标准化与质量》 2018年第02期
在军用飞机适航性开展的趋势下,通过建立军用涡扇发动机适航试飞安全性验证要求研究方法,初步建立了安全性验证要求,为军用涡扇发动机适航试飞安全性验证工作提供验证指导和审查方向。
因为难以突破的技术难点和安全性验证等问题,无人驾驶10年之内恐将无法正式上路. 如今,全球智能驾驶产业正行驶在不断加速的跑道上,对于技术研发和资金投入等方面都处于世界领先水平的中美两国尤其如此.
作者:杨旭; 曹凯; 刘秀芳; 沈鹏; 乔义义 期刊:《科学技术与工程》 2018年第20期
针对目前传统算法在安全性验证中置信水平较低的问题,将自主车辆在道路上的行为视为混合系统,提出以道路边界为约束条件的安全区域可达集建模方法。在此基础上建立安全等级评判标准,给出自主车辆道路行为的哈密顿雅可比方程;提出自主车辆避障问题的最优控制方法。结果表明,该方法不仅可以应用于自动驾驶车辆的安全性验证,还能够对手动驾驶的危险行为进行预警和规避,增加了车辆安全性验证的置信度。
作者:施君宇; 彭美璇; 丁雪雯 期刊:《通信技术》 2018年第10期
无人机因为其低成本、高机动性、易携带、部署快速、使用方便、时效性强等诸多优点,在军事、民用领域得到了广泛应用。由于无人机通信网络的自组织特点,它极易受到干扰和黑客攻击,威胁无人机通信的安全性。针对多架无人机组成的无人机群在执行需要相互通信的任务的情况,从安全通信的角度展开研究,提出了一种无人机群网络安全通信的实现新方法。该方法结合哈希函数、密钥对和随机数等技术,融合拜占庭将军问题理论,保障无人机...
作者:李宙洲; 魏欧; 黄鸣宇 期刊:《小型微型计算机系统》 2017年第10期
安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这样的安全关键系统进行建模,不仅可以描述系统标定的软硬件行为,还可以描述系统的概率性故障、故障对系统的影响和系统恢复.本文从软件产品线角度提出一个新颖的、针对SLIM扩展模型的验证方法—将软件产品线中产品的可变性引入安全性验证过程,将系统中的故障看作系统中可以进行配置的特征,直观、清楚地刻...
作者:仵志鹏; 胡军; 陈松; 石娇洁 期刊:《计算机科学与探索》 2017年第01期
嵌入式系统在航空、航天、交通等安全关键领域的使用愈加广泛,AltaRica是一种描述安全关键系统的建模语言,同时基于AltaRica模型的安全性分析已成为欧洲的工业标准。提出了一种面向AltaRica模型的嵌入式系统安全性验证方法,包括:使用AltaRica语言对嵌入式系统进行建模;给出AltaRica模型到Promela模型的转换规则;对转换规则进行形式化证明,得到嵌入式系统的Promela模型;使用模型检验工具SPIN进行安全性验证。通过机轮刹车系...
电子商务是目前新兴的商务交易模式,主要利用互联网技术通过网络交易平台,再配以物流服务来完成日常商务活动,具有物美价谦、简便快捷等特点,能够真正做到足不出户就可以采购商品,因而成为目前比较流行的交易方式。但由于目前互联网技术的局限性和一些意外因素的存在,使电子商务交易存在一定的风险性。为保证电子商务交易活动的安全,必须了解电子商务中安全问题和相应的安全对策。
作者:严悍; 王宇; 丁锋; 朱文; 许昌年 期刊:《现代电子技术》 2015年第13期
针对多角色协同交互式工作流系统中多重语境约束交互操作导致冗余操作和错误操作的问题,提出语境判定树CDT模型。采用元模型建模方法给出CDT建模规范,利用令牌建立动态计算规则,并讨论比较CDT和其他模型的特点,分析语境判定树模型的优势。实例分析表明,该模型能够满足安全性验证需求,具有良好的规范性、适用性和可扩展性。
作者:常志超 牛秦洲 陈晓辉 期刊:《微型机与应用》 2009年第05期
容错和控制系统的安全性验证是自发机扑系统成功的关键,一种叫做任务数据系统MDS(Mission Data Symstem)的控制框架的软件理论被提了出来,而它的产生则推动了一种基于对象的控制方法的产生。本文将讨论一种设计方法,该方法的设计目的是将对象网络控制程序转化为线性混合系统。该线性混合系统在使用信号模拟检测器进行检测时,在出现错误时是可以证明其安全性的。本文将结合例子介绍这种方法。
作者:佘志坤 刘铁钢 郑志明 期刊:《宇航学报》 2009年第01期
目前对非开普勒轨道分析和优化控制的研究相当热门。通过此研究,可以分析并实现卫星在非开普勒轨道间的自由跃迁,以达到预期目的,如侦探、反侦探、拦截、检修等。由于空间非开普勒轨道所表现出来的行为在数学上具有(类)动力学性质,基于我们以前所取得的研究成果,我们对其进行了普适的数学建模(也就是构造了带参数和约束条件的(类)动力系统,亦即混杂系统)。在此数学模型的基础上,我们进一步发现侦探、反侦探、参数调整...
作者:徐丙凤 黄志球 胡军 于笑丰 期刊:《航空学报》 2012年第05期
在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证...
作者:王曦 徐中伟 期刊:《小型微型计算机系统》 2012年第08期
以带有多个可接受条件的广义Büchi自动机为研究对象,提出基于启发式NDFS的模型检测新算法.该算法结合on-the-fly算法与启发式NDFS算法,能较快地判断出广义Büchi自动机非空性,通过理论证明和实验验证了算法的正确性和可行性.与已有算法相比,在广义Büchi自动机非空的情况下,该算法减少了系统状态空间的搜索,提高了检测效率,且能形成相应反例,为缓解形式化验证中的状态空间爆炸问题提供了有效的解决途径,为安全苛求系统的安全性保障提...
作者:朱怡 刘永恒 期刊:《电子产品可靠性与环境试验》 2013年第A01期
为了解决目前软件研发过程中存在的与需求安全性、验证工作相关的技术、规范、工具缺失的问题.切实保障安全相关系统的软件安全性,在分析现有的软件安全性测试方法的基础上,结合工程实际,提出了采用映射分解方式的软件安全性测试方法和测试流程,并在某伺服系统中得到了有效的应用.该方法从工程上为软件的质量和安全性验证提供了手段.
作者:侯利明 期刊:《计算机光盘软件与应用》 2014年第20期
随着网络的发展,私有云计算也逐渐发展起来,而存储海量数据的私有云数据中心网络存储环节也称为各大企业关注的要点。海量的数据能否安全地存在私有云计算系统中以及如何在保证数据安全的情况下提高数据网络系统的运输效率成为了阻碍私有云数据发展的关键因素。因此,越来越多的企业对私有云数据中心网络的安全性提出了更高的要求,只有存储系统保持稳定性、可使用性和安全性,企业的数据库就能得到保障。
作者:杜军威 江峰 张会萍 曹玲 殷文文 期刊:《山东大学学报·理学版》 2014年第09期
受制于系统状态组合爆炸,并发系统的组合状态验证一直是困扰模型检验的难题。基于图形转换的组合框架,研究了该框架的组合状态安全性验证技术。采用Petri网模型构造系统组合框架,分析出组合系统可达状态空间与部件可达状态空间的包含关联关系,提出了组合状态危害等级分类模型,设计出组合状态可达性分析方法和层次化多级安全性验证算法,并实例应用于轨道交通列车控制系统的功能安全性验证。
栅栏函数在连续系统验证方面有着广泛的应用,其主要想法在于:在可达集和非安全集之间寻找一个栅栏,从初始区域出发的路径不会越过这个栅栏,而非安全区域在栅栏的另外一端.这样,就可以通过寻找栅栏函数来验证一个系统的安全性.近年来,已有一些工作讨论连续系统在无界时间情况下的栅栏函数生成.但是对于有些系统,人们可能只关心其在有界时间内的安全性.因为在无界时间内不安全并不能说明在给定时间内也是不安全的,所以对于这类问题,...
新型转基因水稻既高产又环保来自中国、美国和瑞典的联合课题组,首次成功研发出了第一种转基因水稻,可以同时减少甲烷释放量和提高稻谷颗粒淀粉含量。其中的关键基因是大麦中的糖信号分子(sugar signalling in barley2,SUSIBA2)。SUSIBA2是一种只存在于植物的转录因子,参与调节糖分子诱导的基因表达,因而可能参与了能量分子从合成到固定下来的信号通路。过量表达SUSIBA2可以导致植物更高的淀粉合成水平和沉积量,并且减少甲...