基于神经网络的民航安检系统风险评价研究

随着民航事业的快速发展,民航安全问题引起了广泛的关注.民航安全检查是民航管理安全重要的组成部分,如何建立一个合理的风险评价模型,指导民航安全检查的管理工作,已成为民航管理者的迫切需求.将BP神经网络模型引入民航安全管理,在分析民航安检系统的基础上,建立了安检系统的风险评价模型.通过实际应用验证了该模型的可行性.     

基于区块链+北斗的铁路装备可信数字身份服务方法

智能铁路装备是一个典型的分布式物联系统,具有大量复杂的数据交互共享的需求与场景,装备及其产生的数据信令在系统中的数字身份标识是其重要安全基础。应用基于区块链去中心化的分布式数字身份标识技术,结合北斗时空信息,设计了铁路装备身份标识(railway decentralized identifier, RDID)可信数字身份服务,包括服务架构、生成流程、流转流程和验证流程,并进行了应用模型实现与效能分析。服务可以有效提升装备及其产生的数据信令的规范安全性,保证标识身份全局唯一,可追溯认证,从而提高智能装备系统通信过程数据的完整性与可靠性。     

航模驱鸟设备的综合安全性研究

综合分析了影响航模驱鸟设备安全性的航模、操纵者及环境三方面的因素,为了提高航 模驱鸟设备的综合安全性,结合专家经验及数据,提出了相应的保证安全的措施。     

拟线性最优平滑滤波及其应用

在普通推广卡尔曼滤波（Ｅ．Ｋ．Ｆ．）的基础上，提出了一种更加适用于非线性状态方程和观测方程的改进的滤波算法－－拟线性最优平滑滤波（Ｑ．Ｌ．Ｏ．Ｓ．Ｆ．）算法，在求该滤波算法的状态转移矩阵时，加进了二阶导数项，同时线性化的标称值取为单步平滑值，降低了非线性对滤波的影响，提高了滤波精度。通过对某歼击机的仿真飞行试验数据及实测数据的处理，表明该算法比普通推广卡尔曼滤波具有更好的收敛性、精确性。     

量块计量保证方案（MAP）

量块计量保证方案(MAP)是美国NIST近年来推行的一种科学的量值传递方法。它打破了传统的量值传递方法,采用l检验和F检验对量值传递过程进行控制,并通过数据反馈对参加试验室进行综合考核,以确保量值传递的质量。介绍了在我国推广应用量块计量保证方案的实施情况,并进行了技术分析。     

内置式重力空射火箭运动出舱安全性分析

为研究内置式重力空射火箭运动出舱的安全性,应用多体动力学软件(ADAMS)构建了重力空射载机-箭-伞系统的动力学仿真模型,利用动态链接子程序实现了气动力的加载,分析了稳定伞阻力特性、滚轮摩擦系数、载机飞行速度和载机飞行俯仰角对火箭出舱安全性的影响,根据仿真计算结果得出了影响因素对火箭运动出舱整个过程安全性的影响规律.     

基于Klocwork的C/C++软件静态检查

为了保证基于Linux与VxWorks操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与ClearCase作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、ClearCase版本库的代码更新、以及Klocwork分别在Linux与VxWorks操作系统下进行Klocwork检查的步骤。给出了Klocwork检查分别在Linux与VxWorks操作系统中的详细检查步骤与检查脚本,以及对已经被检查出来的缺陷的处理。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。     

我国空间遥控技术发展的若干课题

从我国空间遥控发展的需求出发，提出了当前应组织力量进行研究的一些课题。主要是：遥控设备的三化、研制遥控专用集成电路、遥控数据安全和分包遥控等。     

计算机网络安全通信保密机制

本文以计算机网络开放系统互连(OSI)参考模型中的传输层(TP-4)标准服务为基础,在其提供的服务中,增添相应的保密机制及修改某些部分,来向上层(会话层)提供包括保密通信功能的有效的传输服务(TP-S)。文中着重讨论了防止信息丢失攻击、防止流量分析攻击、信息流篡改攻击检测、拒绝信息服务攻击检测以及伪连接初始化攻击检测等保密目标,所采取的加密方法和工作方式以及为达到上述目标提供的有效服务。     

基于CPLD的循环冗余校验码的实现

本文介绍了利用VHDL语言，在MAXPLUSⅡ平台上，使用CPLD实现串行、并行两种信源方式的CRC码的设计及其模型验证结果。无论是串行，还是并行的信源要想实现CRC码设计必须建立校验、纠错两个模块，完成数据传输中的差错控制。同时在用硬件实现CRC码传输的过程中，比较了串、并两种方式的优缺点。