信念修正与开放逻辑之间的关系

基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义,分析了三者之间的内在联系及本质差别,证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下,3种运算的操作结果一致。     

737-300机务维护模拟机技术探讨

在分析系统硬件和软件的基础上,简要地分析了系统模拟故障的方法,同时分析了在系统中加入新故障的可能性,提出了加入新故障的基本方法。     

某型弹载固态转电模块的可靠性预计分析

针对某型弹载固态转电模块工作可靠度R>0.999 9这一可靠性指标,首先推导了其可靠性预计的数学模型;然后在已完成详细设计方案的前提下,使用应力分析法,根据GJB/Z 299C-2006中的电子元器件工作失效率模型及数据,计算统计了转电模块的总失效率λ_S为36.099 3(10^-6/h);最后对转电模块进行了可靠性评估,算得可靠度R=0.999 994,证明了转电模块的设计方案满足总体单位的可靠性指标要求。上述可靠性预计过程对武器装备的可靠性设计工作具有明确的指导与参考意义。     

综合模块化航空电子核心系统技术研究

介绍了一种综合模块化航空电子核心系统.在系统应用需求及技术特征的分析基础上,提出了一种通用的开放式体系结构模型,并对系统的关键技术进行深入研究探讨,包括系统管理、网络通信、时间同步、容错策略等,最后给出系统设计方案的建议.系统具有可重构性、可重用性、可扩展性和健壮性,可满足先进飞机航空电子系统的应用要求,并为未来新型分布式综合模块化航空电子系统的研究与设计提供技术支持.     

某型飞机惯导主平台故障影响备平台无显示问题的分析

针对某型飞机主惯导平台故障后备份惯导平台无法正确显示信息的故障进行了分析,找出了故障原因,并提出了解决方案。     

通用电路板自动测试与故障诊断系统

针对综合保障和维修工程的需要 ,提出了一种通用电路板自动测试与诊断系统的设计方法 ,该系统集自测试 /校准于一体 ,通用性好 ,易于扩展和维护 ,能对数字、模拟、数模混合和微波电路进行自动测试和故障诊断。     

基于NIOS II系统多串口通讯模块的设计与实现

介绍了基于NiosII嵌入式系统多串口通讯模块的设计方案,阐述了多串口通讯模块的设计思路及实现的体系结构,从硬件和软件两方面论述了具体设计与实现过程.     

一种基于贪婪算法的最小成本关键措施集合计算方法

安全改进活动是整个网络系统风险评估流程中至关重要的一个环节。为了使评估结果更加有效地支持安全措施的改进,在逻辑渗透图模型LEG的基础上提出了一种基于贪婪算法的最小成本关键措施集合计算方法,该方法通过求解MCCSM问题来寻找解决目标网络安全风险的最小成本关键措施集合,在消除了所有已识别威胁的前提下,使得整个投入成本最小。最后,对该算法进行了分析。     

某型飞机近地告警系统自检故障分析

某型飞机在内外场使用过程中,多次出现近地告警系统自检不合格故障,本文通过对近地告警系统的工作原理进行分析,查找故障原因,成功排除故障。