卫星星座网络的信息安全

随着卫星星座系统的应用,星座网络的信息安全成为星座系统的一个热门研究课题。在分析星座网络信息安全需求的基础上,比较分析了星座网络的安全协议,提出一种适合卫星节点存储资源、计算能力限制以及卫星通信特点的密钥管理策略。     

高能发动机研制中的若干关键技术

对高能发动机研制中解决的系列关键技术进行了总结,包括高能推进剂及配套衬层的研制、高装填药柱结构设计以及相关试验验证、燃速相关性、喉衬烧蚀特性、推进剂贮存性、界面相容性、安全性等,提出了还需继续关注和深入研究的问题.     

气动增压器技术及其在空间推进系统的应用

液体火箭发动机用气动增压器技术在航天器推进系统中的应用,产生了一种全新的推进系统一气动增压式推进系统。介绍了气动增压器技术,分析了气动增压器技术应用于空间推进系统的优势和关键技术,并展望了应用前景。     

液体火箭发动机试验动应变参数测量工艺技术

介绍了液体火箭发动机地面试验中动应变测量系统的测量工艺技术。分析了长电缆对应变片灵敏度的影响因素,介绍了应变片的粘贴工艺,分析了动应变测量系统干扰信号的来源和抗干扰的技术措施,同时分析了温度对动应变测量系统的影响及工艺改进方法。     

空气循环制冷设备状态监测与故障诊断系统设计

该空气循环制冷设备用于飞机机上环境控制系统不工作状态时,向飞机提供给定温度和湿度的空气,达到降温或除湿的目的。在对该设备工作原理进行深入研究的基础上,针对其热力性能故障,选取了30个监测参数,并采用故障树分析方法,设计了该设备的状态监测与故障诊断系统。这里主要介绍了该系统的状态监测与故障诊断原理、主要功能、及其硬件设计和软件设计。该系统能够快速、准确地确定故障部位,提高维修效率。     

A NEW ALGORITHM FOR ALL EFFICIENT SPANNING TREES

Ｃｏｒｌｅｙ提出了一种求所有有效生成树的算法，但该算法得到的最终解含有许多非有效的生成树。本文提出一种新的算法，首先指明了Ｃｏｒｌｅｙ算法理论基础的缺陷，然后进一步提出并证明了一个子树是有效生成树的子树的两个必要条件。根据这个结果，建立了这种新算法并证明了它的有效性。     

产品概念设计网络求解的评价算法研究

产品概念设计是一种复杂的推理求解过程,它的设计过程的推理、判断工作量往往非常巨大.利用"与/或"树的知识表达方法,对产品概念设计过程的原理解答及其组合原理方案评价进行了深入的研究,提出了一种分解/综合网络评价算法,为产品概念设计过程的优化以及设计效率的提高打下良好的基础,并为进一步开发智能设计的计算机软件支持工具提供了一种形式化的评价方法.     

LAS词法及语法分析器自动生成工具

LAS是在VAX/VMS操作系统上用Ada语言开发的词法分析器和语法分析器的自动生成工具。词法分析器由词法执行程序和LAS根据词法规则说明文件生成的词法树组成,语法分析器由语法执行程序和LAS根据语法规则说明BNF范式生成的状态序列集组成,在BNF范式中插入语义标志,就可以在语法分析器分析到该语义标志时,使控制转入用户提供的语义处理程序。     

航班自动匹配的进一步研究

根据2个城市的航运时刻表,通过相应的程序计算出飞机在各机场停留的最短时间,完成每个航运时刻表最少使用的飞机架数与某架飞机完成一个飞行周期所需要的天数。给出4个例题的进一步讨论:1)当nm时的m×n阶停留时间阵;3)目标函数的极大值;4)多个城市间航空班次的最佳匹配问题。     

木马程序的加载及解决办法

木马是互联网所面临的一种主要的安全威胁，其加载的方法也是多种多样，通常使用的方式是利用系统的配置文件；但随着操作系统技术的发展，越来越多的木马程序将加载信息直接隐藏在注册表中，大大的提高了木马程序的隐蔽性及可能带来的破坏性。这里提出了几种常用的及特殊的加载方式，并给出了相应的解决办法。