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

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

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

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

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

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

弹道数据处理融合算法的并行计算

针对参考文献[1]中提出的融合多信源信息的融合算法,讨论了其中大计算量的测元遴选问题,并给出了它的并行算法。最后详细地分析了此并行算法的高效性和可扩展性,给出了加速比的仿真结果     

柔性机械手加速度反馈抑制振动的机理与稳定性分析

在柔性机械手的控制中,末端加速度反馈是一种抑制振动有效而简便的途径。但直到现在对其中抑制振动和稳定性的机理并不很清楚。本文深入系统地分析了其内在原因,证明其反馈稳定性,并在自行建立的柔性手实验平台上完成了实验证明,得出了几个确定性有实际指导意义的结论     

Alpha 工作站仿真一体化环境交互系统设计

交互系统是一体化建模仿真环境中的一个重要环节,主要解决人机关系,使用户可以方便地与仿真机作高速通讯,对仿真运行进行实时监控。本文在简要介绍整个系统概况的基础上,对交互系统的总体设计、命令分析与处理、功能实现等几个方面展开了讨论。此外,还简单介绍了交互界面的设计和实现情况     

一类扩散过程的最优停止

金融数学中关于美式期权的定价理论最后归结为一个对扩散过程的最优停止问题,扩散过程是特殊的马氏过程,本文讨论了当报酬函数非负时的值函数性质及其最优停时的表示。特别对带折扣的报酬的讨论,更加符合金融数学的需要     

复合材料圆锥壳稳定性分析的传递函数法

基于线弹性小变形理论， 利用Ｆｏｕｒｉｅｒ级数展开、Ｌａｐｌａｃｅ 变换和摄动方法， 建立了复合材料薄壁圆锥壳的静力响应、频率响应、自由振动与屈曲特征值问题的渐近传递函数解。构造了复杂边界条件、中间带支撑、变锥度及阶梯变厚度圆锥壳的传递函数解。数值计算结果表明该方法具有很高的计算精度。     

高可靠、强实时分布式系统的切换技术研究

本文首先给出某高可靠、强实时分布式系统及系统的两种切换方案的简要描述，然后对切换技术的实现进行讨论；最后，在建立强实时双工系统的可靠性模型基础上，对系统的两种切换方案进行分析与比较。研究结果表明：对于本系统，机组级切换优于结点机级切换，且可以减少程序的复杂度，提高系统的可靠性与实时性。     

一种基于细胞动力学的双目匹配方法

双目匹配是计算机立体视觉的一个难点。以往的各种模型把注意力集中于将左视图像和右视图像中的要素特征唯一地进行双目匹配的任务上。有别于以往的这些模型，文章在ＦＡＣＡＤＥ模型框架的基础上，利用细胞动力学模型隐含了竞争和合作这一原理，实现了一个采用“方位合作，视差竞争”方法的双目匹配模型，从而探索一条利用生物视觉原理进行计算机立体视觉研究的可行途径。