系统工程技术（SE）在空管固定格式报文交互测试中的应用

1、引言 系统工程（SE）研究如何将用户的需求正确地转化为系统要求。对于不同复杂度的项目，系统工程（SE）都能提供一套较为完整的逻辑方法来得出最佳的解决方案。另一方面，系统工程还能在一个系统的设计中权衡取舍并整合出各种要素以获得更好的产品和最佳的系统性能。因此，系统工程的正确实施有助于从一开始就正确执行项目，并能及早发现和解决问题，极大地降低了项目的成本和风险。     

一种可编程逻辑器件在导弹地测设备上的应用

介绍一种具有内部边线式结构、可预知逻辑定时关系、资源规模庞大、Ｉ／Ｏ管肢数目丰富的一种ＥＰＬＤ（Ｅｒａｓａｂｌｅ ＰＬＤ）器件ＭＡＣＨ４，该器件且可在系统上进行现场编程ＩＳＰ（Ｉｎ Ｓｙｓｔｅｍ Ｐｒｏｇｒａｍｍａｂｉｌｉｔｙ），能有效消除竞争冒险、作用灵活方便、可靠性高的一种－ＭＡＣＨ４系列器件，并以设计某型导弹武器系统仪器－－测时测频仪为例说明了应用ＩＳＰ技术实现该系统设计的方法及技术要点。     

基于认知心理学的不精确概率推理

本文从获取知识的角度出发,肯定了主观概率作为命题信任程度度量的作用,并根据心理学中的一些实验结果,提出应把 P(H/E),P(H/～E)定义为规则的强度;在此基础上,给出了一种新的不精确推理模式。     

连续逻辑DYL电路在测试系统中的应用

本文利用DYL多元逻辑电路的特点,提出求极值和中间值的“地址”的方法和电路。使DYL多元逻辑电路的应用更加完善。     

浅论MSG-3的逻辑分析方法在修改维修方案中的运用

维修方案是航空公司对某一型飞机进行预定维修工作的基本文件，是机队的适航性、安全性、可靠性的有力保证。     

多变量非线性非定常气动力的模糊逻辑模型

应用模糊逻辑算法，建立了带升降舵偏角影响的非线性非定常气动力模型逻辑模型，并进行了验证，结果表明：所建立的非定常气动力模型逻辑模型有较强的预测能力，此方法为今后建立多变量、复杂运动的非线性非定常气动力学数学模型，提供很好的借鉴。     

中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

民航机场行李分拣系统的技术与应用

一、概述近年来,随着国内经济改革开放的不断深入,国内民航事业也获得了空前的发展,各地民航机场的基础设施的新建或改建也进入了新的阶段,许多大型的、现代化的机场不断地涌现出来。机场行李自动分拣系统近年来凭借其自动化程度高、处理量大、分拣准确、减少分拣人员工作强度等优点,逐渐在国内各民航机场中得到了广泛应用。行李自动分拣系统是一套面向大中型机场,对旅客行李进行集中统一的传送、分拣与处理的一套自动化系统,集计算机、工业控制网络、PLC及电     

X射线脉冲星导航硬件脉冲轮廓累积研究

为了在X射线脉冲星地面实验系统仿真源模拟产生X射线的基础上,能够快速稳定地得到脉冲轮廓,采用硬件历元叠加的方法获得脉冲轮廓。研究了用硬件实现历元叠加及其数据整合的算法,该算法首先在MATLAB现场可编程逻辑阵列(FPGA)中实现,再通过MATLAB硬件描述语言(HDL)代码生成模块把算法转换成HDL,经编译后获得配置硬件的Bit文件,最终在开发板FPGA上实现数据处理的硬件模块。一段时间内的光子到达时间数据通过MATLAB算法得到的脉冲轮廓数据与通过硬件模块处理后得到的数据结果存在误差,在单个时间窗口内误差最大值为2个光子数,误差平均值占光子数统计平均值的0.084%;两组统计的脉冲轮廓数据中不同数据占总数据个数的9.481%,这样的误差不影响后端模拟导航模块的导航。利用硬件实现的历元叠加及其数据整合模块具有处理速度快、设备紧凑、功耗低的特点,为航天器利用X射线脉冲星导航提供了一种可行的硬件数据处理技术上的支持。