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

在国际空间数据系统咨询委员会(CCSDS)规定的空间遥控系统数据传输体制下,对星载遥控认证保护进行了研究。选择了遥控数据认证保护层次,并设计了认证保护数据范围。针对上行遥控的认证保护机制与国际空间数据系统咨询委员会的空间遥控链路命令操作过程(COP-1)之间存在的"闭锁"风险,设计了重传请求保护机制。基于空间数据链路安全(SDLS)协议体制,提出了一种遥控认证帧结构模型。在该模型中,通过插入随机序列码段,使相同指令/数据帧经认证算法计算后,其结果的非线性度扩大;通过插入毫秒级精度的时间序列码段,抵御重放攻击,并极好地适应不同地面控制中心对航天器的并行控制。提出一种针对遥控认证保护的,涉及"常态"和"应急态"的安全关联(SA)周期管理的方法、密钥生存周期管理的方法,有效实现各虚拟信道的独立保护及密钥的科学管理。同时,提出一种开展星载遥控认证保护业务的算法设计方法。     

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

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

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

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

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

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

量块计量保证方案（MAP）

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

基于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码传输的过程中，比较了串、并两种方式的优缺点。     

基于功率裕度的某型发动机全寿命性能研究

随着使用时间不断增加,研究飞行队所有选装ARRIEL2S系列发动机全寿命性能变化趋势的必要性突显.针对SRRIEL2S系列发动机全寿命性能参数变化特点,提出使用基于可几误差舍弃理论处理发动机功率校验数据,分区间描绘该系发动机全寿命性能指标变化趋势,给出该系发动机全寿命性能特点,为机务工程人员监控该系发动机提供有利依据；提出延长功率校验间隔的假设,并在理论上做了充分论证,为节约该系发动机运行成本提供一个明确及可行的方向.