Applying the mathematical theory of stochastic processes to lunar and planetary science: the ancient oceans on Mars case

The Mathematical Statistics Theory (MST) and the Mathematical Theory of Stochastic Processes (MTSP) are different branches of the more general Mathematical Probability Theory (MPT) that represents different aspects of some physical processes we can analyze using mathematics. Each model of a stochastic process according to the MTSP can provide one or more interpretations in the MST domain. The importance of MTSP is that each such interpretation can provide large amount of new information. While large body of work on the impact crater statistics according to MST has already been done, it is yet to be investigated as to how we can model a stochastic process according to MTSP; for example, bombardment of the planetary surface or something else in a Lunar and Planetary Science (LPS) domain. In order to show possible achievements, the possible existence of a Martian ocean was chosen as a query that could be addressed through computations using presumptions according to MTSP, including probability of existence as well as lateral and vertical extent and duration of time. While the presumptions for this particular case will also be addressed in certain degree, this will be done primarily to show complexities of some physical process that can be modeled, rather than to prove correctness of the concrete values computed here. While this in itself can be the objective in some future work toward the formal proof of the probability, extent, and timing of oceans on Mars, the basic idea here is to show the basic principles of MTSP, and its potential for addressing LPS-related phenomena. Here, I attempt to show how this approach can: (1) provide large amounts of previously unknown information about physical processes on the surface of the planet, (2) lead to a better understanding of the processes that have shaped the surface of the planet, and/or (3) help constrain the amount of resurfacing. Coupled with other current methodologies, MTSP can result in a better understanding of the history of Mars, as well as other lunar and planetary bodies.     

一种具有互锁功能的比例驱动电路的分析研究

介绍一种应用于双极型功率晶体管的比例驱动电路，它具有优良的驱动特性，能有效地减小功率开关管的开关损耗及存储时间，电路设置互锁功能防止桥臂上下两功率管的共同导通，保证逆变桥功率管可靠工作及减小驱动电路对输出波形的影响，尤其适用于ＳＰＷＭ桥式逆变器中，该电路已获得成功的应用，文中对该驱动电路及驱动变压器铁芯的磁化状态作了深入的分析和研究。     

基于检查单机制的过程剪裁方法CPTM

如何对组织标准化软件过程进行合理剪裁从而得到真正适合项目特点的项目定义软件过程是 一个既关键又复杂的技术.首先阐述了组织标准化软件过程;然后介绍了过程剪裁,深入分析 了4个影响过程剪裁的方面,在此基础上,提出一种基于检查单机制的过程剪裁方法CPTM(Ch ecklist-based Process Tailoring Method),并详细描述了运用它进行过程剪裁的步骤; 最后给出了CPTM的一个应用实例.实践证明,CPTM使过程剪裁简便易行,大大减少了软件组 织在过程剪裁上的投入.      

发动机控制系统限时派遣运行的成本优化方法

限时派遣TLD可以提高飞机的签派可靠度,降低由于航班延误或取消导致的运行损失。面向TLD分析建立了典型发动机控制系统马尔可夫模型,利用连续时间马尔可夫链CTMC推导了状态稳态频率公式,构建了系统单位时间运行成本模型。以平均完整性要求及签派可靠度要求为约束条件,以带故障派遣时间为决策变量,以系统单位时间运行成本以及签派可靠度为优化目标,分别构建了TLD分析的单目标和多目标优化模型。结合简化的发动机控制系统和实际全权限数字式发动机电子控制FADEC系统给出了工程应用实例,验证了模型的有效性。实例表明本文方法能够保证飞机在满足安全性要求和签派可靠度要求的条件下降低运行成本。     

飞机全生命期过程建模技术及支持环境

从飞机全生命周期过程建模的需求出发,针对大型复杂过程的建模提出了综合过程模型,对过程建模语言进行了扩充.探讨了大型复杂过程的建模方法,设计并开发了相应的过程建模和模拟软件,并成功地应用于某型飞机研制过程的建模.      

MEWMA控制图ARL计算及参数优化

平均运行链长(ARL)是控制图性能评价的一个重要指标,深入研究ARL是控制图参数优化、性能评价和实际应用的重要工作.在采样数据标准化处理的基础上,应用马尔可夫链进一步研究了多元指数移动平均(MEWMA)控制图中ARL计算的数学模型,采用Matlab实现了算法,就算法的收敛性及计算结果进行分析.以ARL为优化指标,给出了MEWMA控制图参数优化的具体步骤、计算实例和参数优化结果.      

带马尔科夫参数时滞容错控制系统稳定性分析

在主动容错控制系统 (AFTCS, Active Fault Tolerant Control System)中,故障检测与隔离(FDI,Fault Detection and Isolation)装置是核心部分,对系统故障诊断过程建模并研究其对整个系统的影响是十分重要的内容.考虑控制系统传感器到控制器之间由网络传输造成的常时滞,用两个马尔科夫随机过程分别描述系统的故障过程和故障诊断过程,建立多马尔科夫参数的系统模型;进而研究故障诊断装置对系统稳定性的影响,基于矩阵直积的方法,给出了不依赖延时的系统均方随机稳定的充分条件,为故障诊断方法的选择和评估提供了依据;最后给出了计算实例,根据稳定性条件,得出了在保持系统稳定的前提下,时滞、误检率和漏检率应满足的条件.      

考虑备件约束的多部件串联系统使用可用度计算方法

使用可用度是衡量装备系统保障效能的重要指标,而备件供应是保障活动中的关键,故在计算系统的使用可用度时有必要考虑备件约束对其的影响。在现有的使用可用度计算方法中,马尔可夫更新理论很少用于分析考虑备件的系统,基于库存理论的可用度计算模型没有考虑备件供应延误对系统更换维修活动的影响。为了解决以上问题,首先将整个系统故障与维修过程分为故障系统的更换维修和故障件的维修周转2个子过程,并分析了2个子过程之间的影响关系;然后给出一种考虑备件约束的多部件串联系统使用可用度计算模型;最后实例分析表明,该模型可以方便地计算多部件串联系统的使用可用度,且与库存理论中的计算模型相比,该模型计算结果与仿真结果更为接近。     

双机编队的对地攻击效能分析

双机编队是空防体系对抗中一种主要的作战模式,其目的是为了更有效地打击敌战略目标.通过采用概率论中常用于效能评估的马尔柯夫随机过程理论,建立了双机编队条件下对敌对战略目标进行攻击的战场想定和数学模型,推导出任务成功率、目标被毁率和飞机损失率等作战效能指标的计算公式.最后,通过生存力扩展因子的引入,在比较双机独立和双机编队相关效能指标的基础上指出了双机编队的作战优势.      

容错待命储备系统的任务可靠性计算

讨论了待命储备系统具有容错性能时的任务可靠性计算, 由于故障检测器、切换器和待命器件是否可靠,直接影响该容错系统的可靠性.为了正确评估系统的任务可靠性,这里考虑了检测器和切换器存在一定的误警率和误切换率. 据我们所知,Markov模型是处理这个问题的主要工具,而国内很少有这方面的讨论.本文用Markov理论来确定系统的状态及其状态转移矩阵, 从而容错可靠性的计算问题得到解决,此外还讨论了有关误差概率的计算模型.