基于马尔可夫链的飞机刹车片检查时间确定

为结合飞机实际运行工况,科学合理地制定刹车片检查时间,提出了一种基于马尔可夫链理论的预测模型。以某一机群刹车片检查时间确定为例,分别论述了刹车片磨损状态的划分,以及转移概率矩阵的构造与估计,并对该机群刹车片磨损状态进行了预测,其预测结果与实际检查情况较吻合。根据刹车片磨损状况的预测结果,制定了该机群在实际运行工况下的刹车片检查时间。实际运行情况表明,所制定的刹车片查检时间可行、有效。     

基于SPN的跑道利用率模型分析与研究

采用随机Petri网(SPN)建立了跑道系统运行约束方程;通过构造同构马尔科夫链建立了系统处于各种状态时的稳态概率表达式;改变变迁的触发速率,分析跑道利用率的变化情况。证明了模型的可达性、有界性,且不存在死点。     

高可靠航电文件系统浏览技术研究

利用远程系统浏览技术,研究并实现了一种基于Reliance的高可靠航电文件系统的远程浏览系统。系统采用客户端／服务器架构,通过在综合化航电系统内核中建立一个嵌入式文件服务器,可使得用户通过集成在E—clipseIDE中的远程文件浏览器客户端,对此文件系统进行访问、浏览和管理。系统能够有效地提高远程文件操作的可视性和透明性,功能丰富,操作简便,可移植性好,易于扩展。     

嵌入式Linux下硬件中断驱动程序的开发

通过将摩托罗拉ColdFireMCF5272微处理器内集成的定时记数器作为字符设备使用并产生中断的编程实例,介绍了嵌入式Linux下硬件中断驱动程序的编写。     

人-机系统飞行安全可靠性问题的研究

在分析飞机电传操纵系统（FBW）特点的基础上，建立了习行器和电传操纵系统的数学模型，建立了电传操纵系统故障及飞行员干预的概率模型。应用马尔可夫链建立了人－机产行安全可靠性的数学模型，采用伊万诺夫法评估了某型第三代飞机在电传操纵系统故障报的排除的条件概率，并计算了电传操纵系统故障后该型飞机的飞行风险，最后提出了使用建议及技术改进建议。     

实时嵌入式系统MIPS R3000和Intel 80960处理器的适用性评估

MIPSR30 0 0和Intel 80 96 0是实时嵌入式系统的两种候选处理器。本文描述了MIPSR30 0 0和Intel 80 96 0的结构特征。通过对流水线互锁、上下文转换、进程间通讯、同步及多进程支持、过程调用、容错和例外处理、中断处理、超越 /特殊功能、数据类型和调试支持等的分析 ,做出了两种结构的适用性评估     

利用LEX及YACC实现嵌入式SQL分析器

Lex和Yacc是用来产生词法分析器和语法分析器的工具。本文讨论了LEX与YACC之间的关系 ,然后讨论了如何利用LEX和YACC实现嵌入式SQL分析器。在上面的研究基础之上 ,文章最后给出了利用LEX和YACC实现嵌入式SQL分析器的流程图。     

燃油计算机可靠性分析

简要介绍了燃油计算机系统结构及可靠性模型 ,针对单机系统与双机系统 ,从可靠性及可用度两个方面作了分析、计算与比较 ,对马尔可夫过程进行可用度计算作了较为详细的推导。     

战略储备系统备件最优储备量计算的解析方法

 首先简要介绍了战略储备系统及其寿命过程。然后从分析系统的寿命过程入手,将其寿命过程分为两个阶段,每个阶段分别用一连续时间马尔可夫链来描述系统的动态过程,在此基础上给出了战略储备系统最优战略储备量计算的解析方法,并针对不可修的情况给出了简化的计算公式。     

空地对抗马尔可夫链随机服务模型

将空地对抗动态作战过程视为一个随机排队服务系统．利用马尔可夫链随机服务理论分析了空地对抗动态作战过程，在基本假设的前提下给出了该随机服务系统在各种条件下的系统状态传递率图，最后根据统计平衡原则建立了空地对抗随机服务模型，比较真实地反映了实际作战过程。