基于场景控制特征的安全性需求分析方法

安全性需求是系统安全性保证的关键。随着系统复杂度和耦合度的剧增,安全性需求的分析提取日益困难。通过对系统需求场景的控制结构和过程分析建模,提出描述控制过程中系统变量间关系的变量影响图模型,进一步给出了安全性需求分析方法。通过该方法,使用变量影响图等对控制过程进行分析,生成基于系统理论事故模型和过程（STAMP）的危险性控制活动,并以此获得系统安全性需求。经实验验证,所提出的安全性需求分析方法在正确性和一致性方面具有较好的效果。      

机器人安全性研究现状及发展趋势

随着机器人逐渐应用于生产生活的各个领域,安全性也成为了机器人研究的重要方向之一。根据安全性研究目标对象的不同,分别从机器人自身安全性和交互安全性两方面概述了国内外研究现状,分析了机械结构与控制算法对提高机器人安全性所起到的作用。在此基础上,分析了目前研究还存在结构设计过于传统、对突发情况判断能力较弱、复杂条件下控制柔顺性不足等问题,限制了机器人的推广应用。指出了机器人安全性的研究正向着刚柔混合一体化机构、准确快速的环境判断、良好的柔顺控制的方向发展。      

一种卫星IP交换系统中ICMP协议FPGA实现方法

卫星IP交换技术是实现星上IP网络的关键技术,在卫星IP交换系统中,通过ICMP协议可报告差错报文信息,并可对卫星IP网络中的不同节点进行连通性测试,因此ICMP协议在卫星IP交换系统中起着重要作用。针对星上模块化设计及处理能力有限的特点,提出一种星上ICMP协议的FPGA实现方法,将ICMP报文的判断和生成流程分开,判断部分可在各个端口处理模块完成,生成部分采用单独模块完成,不需要在每个端口模块都完成ICMP报文生成处理操作,不仅优化了星上ICMP协议处理流程,并且节约了星上存储及处理资源。     

用EPP协议扩展ISA接口

介绍一种用 EPP协议扩展 ISA协议的方案 ,用于改进固态记录器数据检测方法 ,该方案采用 CPL D实现接口信号的转换 ,提供了原理、实现方法、仿真波形及设计中应注意的事项     

无人直升机遥控系统关键技术研究

遥控系统是无人驾驶直升机控制系统的主要组成部分。文中对其遥控指令、可靠性、实时性和安全性等关键技术进行介绍。这些技术已用于某型无人驾驶直升机的设计 ,这些技术简单、实用 ,实施结果运行情况良好 ,能较好地满足飞行控制要求。     

空间交会最终平移轨迹安全模式设计

追踪航天器在制导机动失效后的飞行轨迹的安全性,是最终平移段标称轨迹设计的主要依据。被动安全模式设定较低的逼近速度,可避免制导机动失效后两星碰撞,但飞行时间较长;主动安全模式设置避撞机动,确保制导机动失效后飞行安全,其逼近速度大于被动安全模式,可缩短飞行时间。本文以 V-bar逼近为例,对以目标航天器质心为中心的长方体飞行禁区与球形飞行禁区,给出被动安全模式与主动安全模式及其避撞机动的设计方法。     

导弹火箭系统安全工程概况

20世纪60年代,国外在借鉴航空事故统计和预防经验的基础上,将系统工程学的原理、方法、步骤等引用到导弹火箭安全性研究工作中,导弹火箭系统安全工程随之发展起来。70～80年代,在与核电、化工等行业系统安全工程的相互促进中,导弹火箭系统安全工程形成了比较完备的系统安全理论,制定了一系列系统安全性工作标准。90年代以来,随着电子计算机等新技术的不断进步和广泛应用,导弹火箭系统安全研究应用进入了快速高效、全面深入、经济适用的新阶段。     

航天通信IP网组播常见故障解决方法

航天通信IP网作为航天测控数据的传输载体,其关键业务往往采用组播方式传输。介绍航天通信IP网中的指定源组播和任意源组播技术,总结航天通信IP网组播技术在路由器转发过程中常见的故障,并给出相应的排查解决方法。     

萤火一号火星探测器综合电子软件自主管理设计

对萤火一号(YH-1)火星探测器综合电子软件自主管理设计进行了研究.给出了基于事件的工作模式转换和五层软件框架设计.基于对自主安全性需求的分析,设计了能源危机实时处理;巡航段禁止综合电子执行发射机开机指令;巡航段禁止火工品起爆指令执行;巡航段禁止无效注数执行;确保星星分离状态确认正确;确保执行对重要指令冗余设计;确保CPU板和功能板电源同组;自主判别长火影提前升温,确保平安渡过火影;对日充电满36h无条件执行平台自主信标模式等自主安全性措施,确保探测器在遇到不安全事件时能顺利识别并自主处理.     

SCPS-TP协议用于LEO卫星网的性能分析与改进

SCPS-TP是空间通信传输协议,可用于卫星网络。为分析SCPS-TP在LEO卫星网中的性能和选择合适的拥塞避免机制,进行原理分析和仿真实验。在LEO卫星网中的典型时延和误比特率条件下,SCPS-TP协议采用Ve-gas机制比Van Jacobson机制能达到更好的性能。但LEO卫星网中存在的切换和路径改变情况会严重降低Vegas机制的性能。对此提出一种利用SCPS-NP包头信息感知路径变化和更新时延基准的改进方法,具有较好的可实现性。仿真结果表明,此举能明显提高SCPS-TP协议在LEO卫星网路径改变时的性能。