二位置数字捷联寻北仪的设计与实现

陀螺寻北仪作为一种定北装置,在军事和民用定向中应用愈来愈多.讨论了二位置寻北算法,该方案能利用转位消除陀螺的常值漂移,而且陀螺的随机漂移影响也小,寻北时间短且能达到很高的精度.在阐述了寻北算法的基础上,介绍了系统的数字化设计和实现.实践证明该寻北仪各项指标达到了设计要求.     

基于Langevin型随机共振的水中目标线谱检测

将Langevin型双稳态随机共振系统应用于水声时变线谱信号的检测,提出了设计水声线谱检测系统可以利用的外在参数。在水听器端建立了时变线谱模型,考查了随机共振系统对水声环境的适应能力。实验发现在信噪比变化、声压起伏、线谱漂移等情况下,系统都能较好的工作,为水声领域新型线谱检测系统的设计提供了依据。     

环形区域极点/协方差约束下的模型简化设计

提出离散随机系统模型简化的一种新方法,即环形区域极点／协方差约束下的模型简化方法。这种设计方法的基本思路是构造指定维数的降阶模型,使其匹配给定的环形区域极点和稳态协方差参数,在系统的动态特性和稳态特性方面逼近给定的满阶模型。文中导出了期望的简化模型的存在条件及解析表达式,并提供了一个数值算例。     

软件可靠性模型技术分析

软件可靠性模型技术对评估和提高软件可靠性具有重要作用。归纳了软件可靠性模型的特点与分类方法,阐述了随机过程类与非随机过程类两大类模型,初步探讨了模型之间的相互关系,分析并提出了软件可靠性模型建立过程与评价标准,为软件可靠性模型技术的进一步研究和应用提供了理论方法与启示。     

桁架式水塔结构的优化设计

本文将桁架式水塔结构等效成单自由度弹簧质量系统,考虑其在风载（包括定常与随机波动两部分）作用下,以桁架中的最大应力及频率耦合等作为约束条件的优化设计问题,导出了设计变量的最优化设计数学模型。     

C~3I系统的决策时延分析

决策是C~3I 系统的核心问题之一。用Petri 网理论研究C~3I 系统的决策问题已取得了长足的进展。根据决策过程各阶段之所需时间具有随机性及不独立性的特点,以变迁发射时间不独立的随机Petri 网作为决策时延的建模与分析工具,并给出了这种随机Petri 网模型的一般分析方法。     

倒向随机微分方程在欧式期权中的应用

假设市场为无套利市场,而且市场上只有两种证券:一种是无风险债券;一种是有风险的股票。通过自筹资策略,得到期权价格所满足的倒向随机微分方程(BSDE),利用倒向随机微分方程给出欧式期权价格概率表示;并证明欧式期权的完全套期保值性。     

基于分布式排队网络的防空战术协同模型

分析了多个防空火力单元的作战过程,将战术BM/C3的控制协调决策抽象为决策策略。建立了多个火力单元协同作战的排队网络模型,并运用SPN理论对排队网络的运行机制进行了强有力的描述,有效地体现了防空作战过程中的威胁评估、目标分配等战术决策过程。这将为建立大型复杂排队网络,模拟仿真战役层面防空作战过程奠定基础。     

GSPN的分析方法及其应用

随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了广泛的应用。基于结构分析方法、可达图分析和数值分析方法讨论分析了G SPN,并给出了具体的算例,最后讨论了G SPN的应用领域。