减少鸟害事件 保障民用航空安全（续）

DecreasingtheBirdStriketoGuaranteetheFlightSafety三、降低鸟击事件的措施从我们对中国民用航空鸟击情况研究和国际民航组织的统计,飞机的鸟击75％发生在距地面200英尺以下范围,90％发生在1000英尺（305米）以下。所以飞机被鸟击多发生在起飞和着陆过程中。因此只要控制飞机起飞和降落200英尺的高度范围的航道上没有鸟类活动就可减少75％的鸟击事件。如可控制1000英尺范围内的鸟类活动,鸟击事件就可减少90％,当前,世界各国的机场控制鸟害的方法繁多,但归根结底来讲,对于鸟害的控制主要归纳为两种方法：一是静态鸟害控制;二是…     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

基于单代号网络的银行家算法

通过对银行家算法的分析,提出单代号网络的进程安全状态序列的改进算法-基于单代号网络的银行家算法,并通过具体的示例实现此算法。     

UWB与GNSS结合的室内外一体化定位系统设计

针对电力北斗安全应用、自动驾驶导航等应用场景对室内外一体化无缝定位的迫切需求,设计了一种将UWB与GNSS结合的一体化无缝定位系统.通过将UWB标签与小型化GNSS模块集成到手持智能设备上形成一体化定位终端,服务器软件对卫导结果与超宽带定位结果进行融合,输出连续定位结果.实验结果表明,该系统可以实现人员的室内外一体化无...     

精密热控技术在太极一号卫星上的应用

为探测空间引力波,中国科学院提出了太极计划,其第一步是通过近地轨道卫星太极一号对核心载荷的关键技术进行验证.由于温度稳定性直接影响干涉仪测距和加速度的测量精度,太极一号卫星提出了(T±0.1)K的高精度、高稳定度温控指标.针对该指标要求设计热控方案,从热组件的选取到单机设备的应用均依照高指标进行控制.为了保证方案实施的...     

电子商务的安全模型研究

本文在分析目前电子商务面临的安全威胁和现有局限性的基础上,系统地研究了电子商务的安全需求、安全基础、安全机制、安全服务,提出了一个电子商务的安全模型.讨论了其构成要素之间的相互关系.     

我国企业安全管理中的问题及对策分析

运用安全管理的一般原理,从现阶段我国企业安全管理的现状着手,分析和提出企业安全管理中普遍存在的问题,重点研究产生问题的原因,并在此基础上,系统论述解决问题的对策与建议。     

基于CCSDS空间数据链路安全协议的星载遥控认证保护

在国际空间数据系统咨询委员会(CCSDS)规定的空间遥控系统数据传输体制下,对星载遥控认证保护进行了研究.选择了遥控数据认证保护层次,并设计了认证保护数据范围.针对上行遥控的认证保护机制与国际空间数据系统咨询委员会的空间遥控链路命令操作过程(COP-1)之间存在的"闭锁"风险,设计了重传请求保护机制.基于空间数据链路安...     

基于身份的空间网络安全研究

空间网络安全的研究是天地一体化网络研究的重要组成部分,日益受到研究人员的重视。本文根据空间网络面临的安全威胁,分析需要采用的安全机制,构建了空间网络的安全体系结构。深入分析基于身份的密码体制（IBC）,在空间网络中应用IBC提供安全服务框架,以此为基础,提出了一种密钥交换协议,并详细描述了安全通信的建立过程。分析表明,同传统的基于公钥基础设施（PKI）体制的安全解决方案相比,IBC具有较低的存储、通信和计算开销,是适合空间网络的有效安全方案。     

隐私保护自我效能对App用户隐私安全保护行为的影响研究

在隐私侵犯事件频发的情况下,研究如何提高App用户运用现有能力应对隐私侵犯,对提高用户隐私保护意识,强化企业隐私保护服务具有重要现实意义。基于保护动机理论与控制代理理论探究隐私保护自我效能对用户隐私安全保护行为的影响机理,通过问卷调查收集数据,采用结构方程模型进行实证分析。结果表明,内部隐私保护自我效能对隐私保护机制(隐私设置、隐私声明和政府监管)的感知有效性产生正向影响,外部隐私保护自我效能对隐私声明和政府监管的感知有效性产生正向影响,隐私设置和政府监管的感知有效性对用户隐私安全保护行为产生正向影响。