基于计算博弈的脉冲作用下航天器追逃策略

本文研究了地球高阶引力模型中,基于脉冲作用的航天器轨道追逃问题。针对该问题,将航天器轨道追逃问题定义为两选手计算博弈,其中以博弈双方的距离和燃料消耗设计了性能指标函数,并以速度增量大小和方向构建容许控制集。此外,为了保证纳什均衡解的求解效率,引入了快速搜索(ARS)算法,并设计了一种数据剪枝方法用于优化搜索空间,最终实现了基于计算博弈的控制策略的快速求解。仿真结果表明:该方法能够有效解决脉冲作用下航天器的追逃难题,与传统方法相比,该方法能同时满足脱靶量精度和燃料消耗要求,具有一定的可行性和有效性。     

基于云计算的航天操作系统中的任务分区与迁移关键技术研究

云计算是一种按需提供资源的模式,虚拟化是云计算实现按需服务的基础.基于云计算的航天操作系统使得任务可以根据任务需求分配不同的物理资源,解决了航天器小型化趋势下如何充分利用物理资源的问题.本文通过虚拟化容器实现航天操作系统对分区的要求,设计了合理的任务调度和容器调度方案.通过仿真实验,验证了调度方案在满足航天操作系统对容错要求的同时,提高了航天器物理资源的利用率和负载均衡.     

AUTOMATIC FINITE ELEMENT MODELING OF A WING

研究了建立机翼有限元模型的自动化。用行列法标识结构的部件（肋、梁、蒙皮、立柱）,并用简单明了的表格界面来输入所有部件的几何、网格密度、材料、载荷、边界条件等参数。设计并用ＰＣＬ（ＰＡＴＲＡＮｃｏｍｍａｎｄｌａｎｇｕａｇｅｕｎｄｅｒＰＡＴＲＡＮ６．０）编制了相应的自动化建立整个机翼有限元模型的用户化程序模块。作为算例建立了ＶＦＷ６１４机翼的有限元模型并用ＮＡＳＴＲＡＮ６８进行了计算。结果表明,本方法有效和高效。     

一种软件测试过程的博弈模型

为分析软件测试的动态过程及其中诸影响因素之间的关系,运用博弈理论,提出了一种新的软件测试过程建模分析方法.建立了一种软件测试过程的博弈模型,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论,其结论有助于理论分析和解决"测试策略选择"和"何时停止测试"等问题.由于考虑了参与软件测试活动的各方利益和可能行为,此方法较之软件测试控制论更能够对软件测试过程中所出现的情况进行解释.本模型可为软件测试规程设计提供理论依据,增强软件测试过程的可管理性.      

用户自主完好性监测新算法

基于测量域提出了新的导航系统完好性度量算法。充分考虑所需导航性能参数和不确定的噪声的因素,运用概率优化方法进行故障监测。选择适当的性能参数,与漏检率具有一一映射关系,估算故障概率,并对此进行了讨论。在该算法中,利用残差灵敏度矩阵的各个特点提高识别有误差观测数据的效率。该算法可用于完好性监测的性能要求规定,计算高效。非精密进近的仿真结果证明了该算法的有效性。     

基于感应同步器的高速高精度位置测量技术

现有的基于感应同步器的鉴幅、鉴相位置测量法,由于其原理缺陷,不适合高速高精度的测量场合.为解决高速高精度位置测量问题,给出一种新型的基于感应同步器的位置测量方法--幅度细分法.感应同步器输出的感应信号是调幅信号且幅度很低,为采用幅度细分技术,需对其输出的感应信号无失真的放大.在阐述系统工作原理的基础上,给出了系统的结构,并对关键功能电路进行了实验及仿真研究.结果表明,此法从原理上克服了感应信号中动态分量对测量结果的影响,克服了现有测量法不适合高速高精度测量的缺点,具有测量精度高、时间间隔固定、适合高速度运动场合下的位置测量等优点.     

高分-2卫星正式投入使用 我国将加大遥感卫星数据开放和共享力度

<正>记者从国家国防科技工业局获悉,3月6日,高分-2卫星由研制单位交付给用户单位,正式投入使用。我国将进一步加强遥感卫星数据政策研究制定和示范推广,加大数据开放和共享力度。国防科工局局长、国家航天局局长许达哲表示,高分-2卫星投入使用后,将与在轨运行的高分-1卫星及我国其他遥感卫星相互配合,进一步完善我国高分专项建设,改善我国高分辨率对地观测数据主要依赖进口的状况,并推动数据应用和我国空间信息产业发展。高分-2卫星自2014年8月19日在太原卫星发射中心成功发射升     

基于窗口和面向对象的GUI设计

讨论了一种基于窗口和面向对象的用户界面设计思想及方法，并详细描述了各种类的定义．在ＤＯＳ环境下运用ＷａｔｃｏｍＣ＋＋语言开发并在微机上运行，可以使用户方便地进行再开发工作。界面运用事件处理方式由窗口、弹出菜单、图标、按钮等组成，效果良好     

基于活动预测和能耗均衡的WSN路由算法

无线传感网络（WSN,Wireless Sensor Network）中节点触发与数据传输往往会呈现出某种活动模式,基于活动模式特性提出了基于活动的节点分簇算法（AACP,Activity-Aware Clustering Protocol）,将网络中的传感器 节点分成多个活动簇,并通过对节点的历史触发数据进行分析,结合分簇结果对当前发生的活动进行预测.基于活动预测结果,综合能耗均衡、节点剩余能量、传输能耗等影响因素,提出了基于活动预测和能耗均衡的WSN路由算法（AEBRP,Activity-aware and Energy Balanced Routing Protocol）.仿真实验中与低功耗自适应集簇分层型协议（LEACH,Low Energy Adaptive Clustering Hierarchy）、基于跟踪的动态节点分簇算法（HCMTT,Hybrid Clustering for Multitarget Tracking in wireless sensor networks）和传感器信息系统中的高能效采集算法（PEGASIS,Power Efficient Gathering in Sensor Information System）进行比较,验证了AEBRP算法在维持网络能耗均衡、延长网络生命周期方面具有明显优势.      

简单用户微编码器件适航要求研究

用户微编码器件的便捷性与高效性,使其在机载设备研制中被广泛应用。由于具有高度集成性和复杂性,难以通过传统方法对开发过程中产生的设计错误进行管理和评估,其使用会对飞机的安全性造成影响,因此通常采用研制保证方法表明用户微编码器件的适航符合性。但在实际项目中,用户微编码器件实现的功能可能较为简单,采用充分的确定性测试和分析相结合的方法足以表明其功能确定性,确保其在机载设备中的使用安全性。通过对现有适航咨询通告、工业标准及实践指南等资料的分析和研究,旨在梳理出简单用户微编码器件通过充分的确定性测试和分析相结合的方法表明适航符合性需满足的相关要求和关键要素,为机载设备制造商完成简单用户微编码器件的适航验证提供支持和帮助。