解密“飞天”服

翟志刚穿着中国的"飞天"舱外航天服走出飞船,向全世界挥手致意,这意味着从此中国人不仅摆脱了地球引力的束缚,还摆脱了狭窄飞船对双手和自由的束缚,真正漂浮在深邃无垠的星际中。"飞天"服是中国迈向太空的一个崭新的起点。     

历史唯物主义逻辑起点问题研究回顾与反思

逻辑起点问题是重构唯物史现理论体系的首要问题。近三十年来,我目哲学界关于唯物史观理论体系逻辑起点的争论观点纷呈,马克思主义重点建设工程及马克思主义哲学教科书应该吸收这场学术争鸣的积极成果,以推进马克思主义哲学理论体系的重构。     

大型星座混合模拟退火遗传算法测控任务规划

提出了一种基于拥挤度的混合模拟退火多层编码遗传算法,用于解决大型星座的测控任务规划问题。首先,建立了大型星座测控问题的约束满足模型,对任务规划过程中的各种约束条件和优化目标进行了形式化描述。第二,采用多层编码的方法建立测控方案与解空间的对应关系,并采用遗传算法的启发式方法进行全局搜索。第三,为了增加种群的多样性并加快收敛速度,在每代进化结束后对种群中最优的部分个体进行基于拥挤度的模拟退火。超180颗卫星,32个地面测控天线的真实大型星座测控任务规划试验表明,基于拥挤度的混合模拟退火遗传算法的任务完成率高达99%,归一化综合收益大于0.9,算法运行时间小于15 min,验证了该方法具备工程实用价值。     

MJS-8型30秒计时器软件的设计

MJS-8型30秒计时器,采用8051单片机,利用可编程通用,键盘和显示器接口器件8279来完成整个系统。本文主要介绍软件部分的设计。     

小议我国标准的“不注日期的引用”

规范性引用文件在标准中广泛应用,我国各级各类标准规范性引用文件中“不注日期的引用”在执行中出现不少问题,解决这些问题可以分为“四步走”：在执行层面达成共识、试点参照AMS标准的表述修改我国标准的表述、推动国际标准采用AMS标准的表述方式、推动AMS标准的表述在我国各级各类标准中采用。     

浅析空中服务员直接观察客舱适航标准

运输类飞机针对空中服务员直接观察有相关的适航标准,本文介绍了运输类飞机在客舱区域改装设计时,对空中服务员直接观察适航标准的选择以及符合性方法的制定。     

应用变速控制力矩陀螺的卫星姿态机动的非线性控制

研究了以变速控制力矩陀螺(VSCMG)作为执行机构的卫星多目标快速机动的控制问题。首先建立了带有多个变速控制力矩陀螺的航天器姿态动力学模型,采用修正的罗德里格斯参数(MRP)描述姿态运动。在考虑执行机构饱和、机动速率限制、控制带宽限制等情况下,设计了基于Lyapunov理论的非线性姿态反馈控制器。针对外部干扰会使控制力矩陀螺的框架角偏移其标称值的情况,采取磁补偿控制来保持框架角在一定范围变化。以采用VSCMG为执行机构的某卫星为例进行了数值仿真,仿真结果验证了提出的非线性姿态反馈控制器的有效性,采取的磁补偿控制也很好地抑制了变速控制力矩陀螺框架角的偏移。     

空中交通管制员认知可靠性研究

针对空中交通管制员人因失误问题,首先分析了管制员人因失误的类型,然后利用核工业领域中的认知可靠性(HCR)理论对管制工作中的典型人机界面进行了研究。在DRS-98雷达模拟机上采集了短期冲突(STCA)告警环境下管制员反应时间,并利用SPSS软件进行数据分析,得出了不响应概率与规范化响应时间的概率分布拟合曲线。结果表明,在STCA告警界面下不响应概率与规范化响应时间服从3参数的威布尔分布,验证了HCR理论在空中交通管制领域的适用性。     

MBSE在航空飞行控制系统的应用研究

现代飞机系统的复杂性不断增长,传统的开发方法在管理和维护方面变得越来越具有挑战性。首先,对航空飞控系统研发过程在当前系统工程实践方面进行了评估,阐述了传统开发方式的不足和基于模型的系统工程（MBSE）的核心原则和优点,以及在实现中常用的工具和方法;然后,展示了MBSE如何在飞行控制系统研发时使用模型来支持复杂系统的规范、设计、分析、验证和确认的过程;最后,结合先进的MBSE工具和方法的发展,MBSE结合敏捷的开发前景,以及提高MBSE实践的互操作性和标准化的需求对未来的研究方向进行了展望。本文研究为利用MBSE方法论和工具来改进飞行控制系统的设计、开发和性能感兴趣的航空工业专业人员、系统工程师提供资源和解决思路。     

基于SIFT,K-Means和LDA的图像检索算法

图像检索一直是信息检索领域的难题。提出了一种基于尺度不变特征变换（SIFT,Scale Invariant Feature Transform）,K-Means和潜在狄利克雷分布（LDA,Latent Dirichlet Allocation）的图像检索算法。算法主要分为两个阶段。预备工作得到分类完成的图库、概率分配参数表和基本词库;实现检索是在预备工作的基础上归类测试图片,然后在该类下搜索最相似图片。对比传统的基于文本或内容的检索方法,该算法在检索之前将图片库中所有图片按其本身特征进行自动分类,取代人工标注图像信息的过程,同时由于整个算法完全基于图像特征,故此方法不会引入人工因素的干扰。实验结果表明,该算法能够较为准确地将要检索的图片归为图片库对应的类别中,有效地提高图像检索效率。