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

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

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

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

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

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

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

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

MPP虚拟多机系统

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

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

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

利用星载GPS伪码测距进行小卫星星座的整网定位

首先针对小卫星星载ＧＰＳ伪码测距，基于星间差分消除／消弱误差，并引入星座网形约束，论述了星座模式下提高小卫星定位精度的一种整网数据处理方法，并给出了一个算例。然后进一步论述了不依赖ＧＰＳ的小卫星星座测控，以及提高小卫星星座定位自主性问题的几点设想。     

并行调试环境中的追踪和重演

通过传递消息进行通信的并行程序，由于受进程调度和消息等待时间变化的影响，其执行结果可能是不确定的。这导致调试时相继执行不能再现先前的故障，为此，在并行调试环境中引入了追踪和重演机制。本文详细讨论了一种比较先进的追踪和重演算法及其工程实现。     

战场数字化条件下的单兵数字化系统——“数字化战场与单兵数字化系统”系列论文之二

本文首先讨论了战场数字化条件下单兵数字化系统的概念和内涵，用Ｌａｎｃｈｅｓｔｅｒ模型分析了单兵系统的作战效能，然后以此为基础研究了单兵系统的基本功能单元和实现其整体功能的组成结构。     

二维Root-MUSIC

将一维Ｒｏｏｔ－ＭＵＳＩＣ推广到二维，从而得到了一种新的二维方向估计方法，它具有计算量小的优点。