反汇编技术在嵌入式软件安全性分析中的应用

分析了航天型号嵌入式软件代码安全性分析中对目标码进行反汇编的必要性,总结了两种静态反汇编技术的优缺点,提出了适用于航天型号嵌入式软件代码安全性分析的反汇编算法,并介绍了结合编译信息的反汇编算法在软件安全性分析中的应用。     

面向航天领域的模型驱动软件设计开发方法

针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自动机模型,分析验证软件安全性与可调度性;通过构建航天领域模型库,支持大规模软件复用。最后,基于所开发的航天型号软件模型驱动开发平台,对航天飞行器GNC系统的软件开发进行了初步验证,结果表明模型驱动的软件开发方法能有效提高航天型号软件开发效率和质量。     

卫星安全性设计

论述了卫星安全的重要性,提出了在卫星型号研制中如何进行安全性设计。从总体的角度提出在卫星飞行试验中应采取的安全措施。     

基于正交试验法的故障诊断软件测试方法

针对故障诊断软件代码量大、推理规则多及测试耗时大的问题,提出了基于正交试验法提取有代表性推理规则的测试方法。分析了故障诊断软件的需求特性,介绍了正交试验法的理论依据,阐述了使用正交试验法在故障诊断软件测试中提取代表性推理规则的方法,并说明了根据提取出来的推理规则进行测试用例设计的思路和具体实施效果。     

软件可靠性与安全性工作要求综述

在航天、军事等领域中,硬件功能软件化、软件密集化已成为发展趋势。软件作为系统中的关键组成部分,其对系统的影响比重日益增大,如何保证软件的可靠性与安全性受到广泛关注。特别是当前型号中软件规模、复杂度、软硬件耦合程度大幅提升,对软件可靠性与安全性工作提出了更高的要求。本文在调研国内外有关标准的基础上,结合实际型号工程经验,对软件技术管理要求、不同阶段的可靠性与安全性工作要求等进行了系统总结,可为后续的软件可靠性与安全性设计、验证及管理等工作提供输入。     

产品编号与产品化工程实践

从标准化的角度,提出一种产品编号方法,以解决产品化与客户需求的差异化,通过某型控制器产品的研制、生产和交付,实践了集成产品开发模式的实施及其"VRM"产品的编号规则在型号产品研发上的应用,验证研究成果可以在航天型号的产品化推进中加以推广的结论。     

型号软件可靠性和安全性设计标准化研究

通过编制国家军用标准《软件可靠性和安全性设计准则》的实践,概述了型号软件可靠性和安全性设计标准化研究的重要性,论述了其标准中的软件设计工作涉及到的软件需求分析、软件设计和软件实现等三个阶段需要特别注意的几个关键问题,而且均属于标准化范畴研究的问题。     

浅谈型号标准化物资信息分类编码

分析当前国内外航天行业物资信息分类编码的研究现状,介绍航天型号物资编码的原则和方法、航天型号物资基础数据内容及填写规范,并针对标准紧固件物资编码工作中遇到的问题,提出几点改进建议.     

基于系统状态分析的软件可靠性测试方法

航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视.但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型号工程类软件中开展可靠性测试提供了一条可实现途径.     

型号设计中的安全性设计分析

通过对“长征三号”运载火箭的一些安全性设计实例帕的分析来建立安全性设计的概念，论述安全性设计在型号设计中的重要作用和地位。分析认为，安全性设计应以总体、系统设计师为主，并从设计初期抓起。     

RSA算法在QR码防伪技术中的应用

QR码是目前应用较为广泛的一种二维码,具有超高速全方位识读、编码字符广泛、能更有效表示汉字等特点。随着QR码越来越广泛的应用,对QR码的图像质量及安全技术要求也越来越高。如何对QR码进行加密实现产品防伪是当前业界研究的热门话题。RSA算法是第一个能同时用于加密和数字签名的算法,也是目前最有影响力的公钥加密算法。针对QR码防伪的要求,提出了使用RSA算法对QR码进行加密的防伪技术。编码方首先使用公钥对原始数据信息进行处理,产生密文信息,再用此密文信息生成QR条码。用户获得条码后,需要得到授权,才能使用QR码译码程序进行计算并获得明文,从而判断条码的合法性。经实验,测试效果良好,速度较快。该方法为生产企业提供了一种防伪新思路,具有很好的实用价值。     

用于空间通信的级连码

1966年提出的级连码是一类纠错能力强的渐近好码,它将在空间通信中得到广泛应用。本文研究RS/Viterbi级连码,从理论上证明了它的性能满足Zyablov限;探讨了RS/Viterbi级连码的编译码方法,对RS码的连分式译码方法作了改进,使之更适于实用。     

基于快速编译码的LDPC-CPM系统设计

低密度校验(LPDC)码是目前公认的性能最好的信道编码之一,而连续相位调制(CPM)是一种具有高频谱效率和高功率效率的调制方式,根据级联码理论将二者进行合理的级联设计将更好地发挥出他们的优点.在对LDPC和CPM进行详细分析的基础上,设计了一种CPM调制的快速编译码方法,并基于该方法设计了LDPC - CPM串行级联系...     

LDPC码在深空通信中的应用技术研究

在DVB-S2标准提出的LDPC码校验矩阵的构造方法以及编码算法的基础上,对LDPC码编码复杂度以及译码性能进行了分析和仿真验证;在AGWN信道下,采用BPSK调制方式对DVB-S2标准码长为16200、码率为0.5的LDPC码进行了计算机仿真。仿真结果表明,LD-PC码纠正突发错误和随机错误的能力均很强,具有很高的纠错比特数,适合应用在深空通信的恶劣环境中;并初步论述了深空通信的信道特点,通过和Turbo码比较,分析了LDPC码作为深空通信系统信道编译码方案的可行性。     

基于改进快速距离转化的移动机器人路径规划方法

在分析快速距离转化法不足的基础上，提出了一种利用空间数据结构及编码方案的特性进行距离和安全转化，使用约束参量控制路径搜索过程的三维空间机器人路径规划方法。这种方法使用八叉树建立空间模型，通过构建树节点的拓扑关系使路径搜索转化为图搜索算法。根据拓扑关系按照波动传播的方法依次对各个节点进行距离和安全转化，保证了可行路径的产生。约束参量的使用能够有效地避免传统方法在搜索过程中的随机性，协调路径规划中的最短距离和最大安全需要，搜索给定参数下的最优路径空间。理论分析和仿真实验验证了该算法的可行性和正确性。     

城市环境下北斗B-CNAV1电文RS-LDPC 级联编码方法

针对城市环境下卫星导航系统用户接收终端对电文编译码算法的低复杂度和抗衰落性能需求，以北斗导航系统B-CNAV1电文为改进对象提出了一种外码采用RS码、内码采用二进制LDPC码的电文级联编码方法。通过RS码提高电文对抗突发错误的能力，同时利用二进制LDPC码保证电文对抗随机错误的能力。采用LMS信道对城市接收环境建模，仿真结果验证了本文提出的RS-LDPC级联码与B-CNAV1电文64进制LDPC码具有相近的性能，同时大幅降低了算法复杂度，较好地实现了电文纠错性能和实现复杂度的平衡，提供了一种适用于城市环境的高性能、低复杂度电文编码方法。     

真空热试验测控软件系统架构设计

随着航天器真空热试验的不断增多,对真空热试验热流模拟、温度测量与控制系统的热流模拟精度、速度、模式、测控通道数、系统功能等要求也越来越高。为进一步增强整个测控试验流程的可靠性、安全性、易用性、可扩展性,缩短试验准备时间,文章基于现有硬件系统与测控系统任务要求,提出了一套测控软件系统架构设计,即采用自顶向下逐步细化的分层设计将整个系统软件分层,再根据功能进行模块划分,保证了上层软件的设备无关性与各模块间的独立性,能够作为代码并行开发的基础,为代码开发人员提供指导和限制。     

一种高速保密卫星信息传输系统

为进一步提高卫星数据传输速率、增强保密性，在综合多载波(MC)、跳频(FH)和直接序列码分多址(DS-CDMA)技术的基础上，提出了一种高速保密卫星通信FH/MC DS-CDMA系统的方案，并给出了多速率发射机和接收机的原理框图。所设计的系统采用自适应速率传输技术支持多速率数据传输，采用预测功率控制算法保证收发双方在高速移动状态下通信的可靠性和各子信道发射功率的动态分配，获得系统最大的传输效率。     

Alice in Licenseland: US satellite export controls since 1990

The events leading up to the convening of the Cox Committee by the US Congress in 1998, and those following the declassification of its report in 1999, have had a significant worldwide impact on the US export licensing process. US laws that were once business-friendly have become more stringent to accommodate national security concerns, but with no differentiation between potential adversaries and allies. Whether the change will actually be able to achieve the intended national security goals is uncertain, especially since many of the new measures taken differ from the actual recommendations of the Cox report. In the meantime, international aerospace commerce has become encumbered by rules at best ambiguous, at worst counterproductive.     

一种适用于深空通信的有限随机性喷泉码算法

基于数字喷泉的编译码技术无码率、不需要反馈的特点可适应深空环境下的文件传输。但传统的喷泉随机编码算法需要10^4量级以上的码长以保证可恢复概率,且原有的译码算法是一种次优方案,无法满足功率和存储空间严格受限的深空通信系统。提出了一种限制编码过程中部分随机性的相关列补偿编码算法,采用渐增高斯消去算法优化译码性能。仿真结果表明所提出的联合优化编译码方案能使码长不大于10^3的喷泉码在冗余度小于0.20的情况下,获得10^-4的译码失败率,较好地解决了传统数字喷泉码在空间通信系统中的适用问题。