空间电子设备辐射屏蔽方法的研究与软件实现

研究了空间电子设备辐射屏蔽分析的方法,利用计算机辅助设计(CAD)技术和软件开发工具,将复杂繁琐的计算过程编写成流程化的程序;利用三维CAD技术的二次开发功能,从Candence软件生成的记录文件中提取出信息,在计算机图形环境中高效自动地生成电路板模型;借助计算机交互技术,实现剂量点坐标的自动提取和保存;利用办公软件个性化设置功能,设计出提取背景信息的接口,实现了最终报告文档的自动生成.开发出的软件最终成功地实现了在不同结构和布局的空间电子设备中,在不同方向和位置上累积的空间带电粒子剂量值的计算,为电子设备结构的抗辐射设计提供了参考和依据.     

航空氧气调节器结构参数设计计算

阐述了某型航空氧气调节器肺式机构和空气进气机构的工作原理,对运动部件进行了受力分析并建立相应的数学模型.以供氧系统的性能技术指标和使用条件作为设计计算约束,根据数学模型,利用MATLAB/simulink软件建立仿真计算模型.在此基础上通过仿真计算特性曲线分析完成了系统主要结构参数的选取,并得出了系统的流量特性以及整个飞行高度上的含氧百分比特性.仿真结果表明:以上提出的设计计算方法对航空氧气调节器进行设计与改进是可行的.      

星载计算机拜占庭容错设计与验证

 为确保载人航天器的安全可靠,载人航天器控制计算机一般需具备拜占庭故障恢复的能力。根据拜占庭恢复理论,提出一种拜占庭容错计算机实现的原理性方案,然后对这种拜占庭容错方案进行了原型实现和验证,实验结果表明了方案的可行性和有效性。     

基于计算机视觉的UAV自主空中加油半物理仿真

设计并实现了一种基于计算机视觉的无人机（UAV,Unmanned Aerial Vehicle）自主空中加油仿真平台,采用点匹配与位姿估计算法对软管式加油锥发光二极管（LED,Light Emitting Diodes）标志进行识别.对大气扰动和尾涡流进行了建模,建立了加油锥模型,并设计了加油锥运动状态预估算法.在此基础上,设计了基于线性二次型调节器（LQR,Linear Quadratic Regulator）的飞行控制律.基于上述技术,在实验室环境下设计开发了基于单目机载摄像机的无人机自主空中加油半物理仿真平台.半物理试验结果表明：所设计的位姿匹配算法和飞行控制律能够满足复杂环境下无人机自主空中加油的性能要求,具有较强的实时性、准确性和鲁棒性.     

浅谈机场信息安全管理体系建设

引言随着民航业的蓬勃发展,各地机场的业务量一直在高速增长。而在信息化浪潮席卷全球的今天,机场的信息化建设从无到有,从辅助工具发展成了推动业务发展     

基于深度学习的小目标检测研究进展

随着深度学习方法的快速发展,目标检测作为计算机视觉领域中最基本、最具有挑战性的任务之一,已取得了令人瞩目的进展。现有的算法大多针对于具有一定尺寸或比例的大中型目标,但由于待测目标尺寸小、特征弱等原因,对小目标的检测性能还远远不能令人满意。小目标检测（SOT）作为一种广泛应用于室外远程拍摄和航空遥感场景的技术,近年来受到了广泛的关注,各种方法层出不穷,但是目前对该问题的全面综述较少。从问题定义、算法分析、应用介绍、方向展望等方面对基于深度学习的小目标检测研究进展进行了综述。首先,给出了小目标检测问题的定义,阐述了其技术难点及在实际应用中面临的挑战;接着,从8个不同角度分析了检测器对小目标检测精度较低的主要原因及相应的改进方法,详细归纳总结了小目标检测在各技术方面的研究工作;然后介绍了几个特定场景下小目标检测算法的典型应用;最后,对小目标检测未来的发展趋势进行展望,提出可行的研究方向,期望为该领域的研究工作提供可借鉴和参考的思路。     

为多处理器计算机重新设计Lantek Expert(专家)系统

Lantek修改了Lantek ExpertⅡ和Lantek ExpertⅢ的结构系统。软件已经优化,能充分发挥装备双核式四核处理器的计算机的能力,处理速度增加了30%～40%。     

计算机控制速率陀螺自动测试系统

介绍了计算机控制速率陀螺自动测试系统的构成、工作原理和功能。系统主要分为硬件和软件两大部分，作为硬件主要设备之一的９０１Ｃ速率转台是北京３０３所研制的新一代转台，可用单片机控制，并可与计算机连接，为陀螺的自动测试提供了条件。系统软件主要由核心部分和操作界面组成，前者负责控制硬件进行有序的工作以及数据处理等；后者采用图形方式下的中文菜单，美观大方，操作方便。整个测试系统经多次联试表明，方案设计合理、     

应用最优化理论中的投影定理计算平行正投影

拟应用最优化理论中的投影定理,从理论上严格证明物体平行正投影的存在和唯一性,并在此基础上建立一个全新的平行正投影计算方法.内容包括:①应用数学语言阐明三维物体平行正投影的含义;②应用最优化理论中的相关理论依次论证与投影定理有关的几个命题,并在此基础上严格证明物体平行正投影的存在和唯一性,以及利用傅里叶级数形式建立平行正投影计算式;③简要分析这种计算方法的特点.      

基于UML活动图模型的测试用例生成技术研究

为了设计和生成系统工作流程的测试用例,引入测试大纲模型的概念,设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型,以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作,选择基本输入数据集,并将其赋予测试大纲模型之上,从而构造测试用例模型的方法,以及最终基于测试用例模型生成完备的测试用例集合的方法.