适用于捷联惯性/星光组合导航的导航星表构建方法

构建满足完备性、精简性和查询快速性的导航星表是实现捷联惯性/星光组合导航系统的重要前提和保证。为了达到这一目标,本文选取天文学中的Tycho-2星表作为导航星表的初始星表,它与TRC星表相比具有明显的优势,在实践运用过程中更加完备。在Tycho-2星表基础上,对球矩形分区方法进行了改进,包括明确了分区及子分区的划分方法,提出了备选导航星的选择策略。实验结果表明,采用改进型球矩形分区方法的备选导航星数量最多只占赤纬带法导航星的19.39%,仅占全天遍历法导航星的3.12%。因此,改进型球矩形分区方法更加精准,查询更快捷,更适用于SINS/CNS组合导航系统。     

65纳米工艺双层三维静态存储器的软错误分析与评估

首先搭建了3D SRAM软错误分析平台,可以快速、自动分析多层die堆叠结构3D SRAM的软错误特性。此平台集成了多种层次模拟软件Geant4、TCAD、Nanosim,数据记录处理软件ROOT,版图处理软件Calibre,以及用于任务链接和结果分析的Perl和shell脚本。利用该平台,对以字线划分设计的3D SRAM和同等规模的2D SRAM分别进行软错误分析,并对分析结果进行了对比。对比分析表明2D 和3D SRAM的翻转截面几乎相同,但3D SRAM单个字中发生的软错误要比2D SRAM更严重,导致难以使用ECC技术对其进行加固。静态模式下2D SRAM和3D SRAM敏感节点均分布于存储阵列中,表明静态模式下逻辑电路不会引发软错误。     

下反稳像火控系统炮控算法仿真验证平台的构建

下反稳像炮控系统具有较好的动力特性,为了克服传统PI控制算法的缺陷,研发先进的控制算法,提出了将笔记本电脑嵌入到炮控系统中,建立半实物炮控仿真平台的具体实施方法,为炮控系统先进控制算法的实现和性能评估提供了快捷实用的仿真开发环境。     

装甲车辆动力传动系统一体化仿真平台

建立了一种集性能、结构、强度、评价于一体的一体化仿真平台,平台由装甲车辆动力系统仿真试验、传动系统仿真试验、动力系统与传动系统一体化仿真试验、性能综合评价4部分组成,能够实现动力传动系统的部件性能仿真、部件结构仿真、性能与结构匹配分析一体化仿真以及性能综合评价等功能。通过对某主战坦克动力传动系统性能分析、结构仿真,验证了平台的可靠性、准确性,为全面提高装甲车辆动力传动技术水平提供了现代化的方法和手段。     

关于稳定 p 型 Banach 空间中有界 Borel测度的一个定理

本文推广了Ｅ．Ｄｅｔｔｗｅｉｌｅｒ［１］关于ｐ型Ｂａｎａｃｈ空间的结论,得到了在稳定ｐ型Ｂａｎａｃｈ空间上,有界Ｂｏｒｅｌ测度为某个无穷可分ｐ稳定测度的Ｌｅｖｙ测度的一个充分条件。     

干式空芯限流电抗器的优化设计

干式空芯电抗器采用多个并联包封式结构形式,如何设计出合理的包封个数、包封尺寸、包封内导线层数以及如何选取导线线径便成了一个问题。利用优化设计得到的干式空芯限流电抗器结构合理、耗材最少,并就优化设计的具体问题进行了实际解决。     

虚拟环境中视景的表示与生成

虚拟现实(Virtual Reality:VR)的飞速发展和PC机的广泛使用提出了基于PC的VR应用要求,视景的表示与生成是VR环境的基础与核心。文中介绍采用面向对象机制,在PC机上基于MFC和OpenGL实现的虚拟环境中视景表示与生成的方法。用该方法生成的视景具有良好的视觉效果。     

一类包含m—增生算子紧扰动的算子方程的可解性

设X为一致凸的Banach空间,T:X(?)D(T)→X为m—增生的且强增生的算子,T_0:X→X为线性紧算子。C:X→X为全连续算子,应用Leray-Schauder度理论,研究了算子方程Tx-T_0x Cx=f,f∈X的可解性。     

关于(S)_+型映射的一个区域不变定理及其应用

本文运用拓扑度方法,获得一个关于(S)_+型映射的区域不变定理。作为它的应用,本文得到了扩张映射的满值性,从而部分地回答了著名数学家L.Nirenberg提出的一个关于扩张映射满值性的公开问题。     

目标选择优化模型及算法

提出了可用于大威力武器火力分配的目标选择优化模型及算法。内容包括：问题的数学描述、问题的等价变换与分解、问题求解的动态规划算法和不同算法的计算次数比较。