δ星座的分析与设计

卫星星座的选择与设计是航天任务实现中的一项重要环节。如何有效地进行δ星座的设计是本文着重探讨的问题。本文首先从集合的角度探讨了任一时刻多颗卫星对地面给定区域覆盖情况的分析方法，利用仿真计算，对δ星座进行分析，提出δ星座的设计方法，并给出了相应的仿真设计结果。     

尾喷流底部流场与外流场干扰的拓扑结构数值模拟

本文从非定常全ＮＳ方程出发，运用时间推进方法，采用有限体积方法离散控制方程，模拟了轴对称钝锥尾喷流场与外流场的干扰，得到了随时间发展的精细的流场拓扑结构，并对几种出口压力比的不同情况进行了比较和分析。     

快速JPDA算法的递归和并行实现

本文从联合关联事件的构造出发，讨论关联假设事件的分层构造，以达到降低计算量的目的。这里的层次可从０取到Ｌ，０层表示没有任何目标能够跟当前的观测数据关联，Ｌ层表示共有Ｌ个目标可以跟当前扫描得到的观测数据相关联。本文的关联事件的构造中，各层次的搜索具有递归性并可以独立进行，因而可以并行实现。文中还将本文的方法跟有关文献作了比较，并且给出相应的计算机仿真实验及其结果。     

Poisson方程生成数值网格方法中的源项计算法

网格生成是数值研究方法得以实现的基础。本文采用了Ｐｏｉｓｓｏｎ方程生成数值网格，并针对方程源项的选择问题，对两种形式的源项作了比较研究。     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

具有电介质衬套的多波切仑柯夫振荡器

提出了具有电介质衬套的多波切仑柯夫振荡器的概念，并采用粒子模拟方法对之进行了研究。结果表明：电介质衬套能使器件在较低二极管电压下正常工作，同时，在低电压区的辐射效率明显提高。这对开发多波切仑柯夫振荡器在爆磁压缩产生高功率微波等领域的应用具有参考价值。研究还发现：微波频率随电介质的介电常数增大而单调下移，电介质的介电常数及导引磁场的强度均具有最佳值。     

α粒子在高温高密度氘氚等离子体中输运和能量沉积率的有限元计算

α粒子在高温高密氘氚等离子体系统中输运时其角密度分布函数满足非定态Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程。本文将一维球对称情况下的Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程在时域离散时分离成速度与坐标方向的两个方程，再对此两个方程中的速度变量作多群化处理，坐标变量（包括运动方向变量）采用有限元方法处理，分别得到了两个有限元方程。通过对两个有限元方程的耦合求解，数值求解了α粒子角密度分布函数随时间的变化，据此分别计算了α粒子对背景等离子体中的离子、电子的能量沉积率以及α粒子对背景等离子体的总能量沉积率随时空的演化。     

一维结构瞬态响应分析的传递函数方法

本文给出了一种求解一维结构瞬态响应问题的解析方法。通过对控制方程及其定解条件进行Ｌａｐｌａｃｅ变换，将问题写成状态空间形式，用传递函数法求得统一形式的解析解。通过Ｌａｐｌａｃｅ逆变换求得结构在时域内的瞬态响应。文中给出了一些一维结构动力响应问题的算例。     

MPP虚拟多机系统

ＭＰＰ虚拟多机系统是一个特殊的ＰＶＭ系统，本文阐述了ＭＰＰ虚拟多机系统的系统结构和实现技术，并对ＭＰＰ虚拟机的性能进行了初步测试和分析。     

战役优势参数及其应用研究

数学分析方法在军事行动计划中扮演着越来越显著的角色。对以兰彻斯特作战模型为基础的描述诸兵种合成作战的矩阵微分方程，以及由方程的控制矩阵和状态变量初值，在不解方程的情况下导出的战役优势参数进行了研究；以空战为例讨论了预测战役结局、辅助军事决策、优化兵力部署和规划火力分配等战役优势参数的主要应用；给出了对战役优势参数和数学模型的评价。