离散数学中与量词有关的推理规则

清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件,而这些条件在许多离散数学教科书中叙述得相当含糊.与某些教科书中存在量词消去规则只能用于无自由变元的公式不同,按照本文给出的条件,存在量词消去规则也可以用于有自由变元的公式,因而增强了系统的推理能力.引进了解释之间和赋值之间关于公式集的等价性,从而证明了系统是可靠的,即一个证明中的结论是其前提的逻辑推论.     

基于EBA-FLC的飞机急滚机动分支分析与控制

结合扩展分支分析(EBA)和模糊逻辑控制(FLC),提出了一种新的闭环分支控制方法,即EBA-FLC方法,并将其应用于某机动飞机的无侧滑滚转机动研究。揭示了飞机全局非线性动力学特性,实现了无侧滑滚转机动的闭环分支控制,使飞机在大范围内具有期望的动力学特性,改善了飞机无侧滑滚转机动的动态和稳态特性。     

加速度-气动力综合试验系统研制

加速度-气动力综合试验系统主要用来考核飞行器结构强度和内装物的环境适应性。LJ-1离心机半径10.8 m,适合开展大尺寸、危险品加速度试验,但是其吊篮只能固定在水平或竖直方向上,也不具有与加速度协调施加气动外压的控制系统。文章采用新颖的胀套锁紧结构,实现了吊篮在任意角度固定,并且抗翻转力矩达到13000N·m。气动力控制电路和气路安装在离心机上,上位机将转速通过光纤以太网发送给离心机上的PLC,PLC根据加速度控制气囊压力。试验验证LJ-1离心机具有对试件施加加速度载荷和气动力的综合试验能力。     

空间高速总线SpaceWire节点的设计与实现

根据SpaceWire总线的组成结构以及采用的数据-滤波编解码技术,针对SpaceWire节点需要与主机设备、SpaceWire接口设备进行异步交互的特点,文章给出了一种SpaceWire节点的高效实现方案。首先,该方案在硬件设计中采用了SpaceWire节点的多时钟域设计,使得节点整体性能得以显著提升;第二,采用双倍数据速率寄存器设计来降低SpaceWire节点发送端设计难度,解决了高速数据发送问题;第三,采用手动布局接收端的底层器件来满足时序要求,解决了高速数据接收问题;第四,计算出接收端RX FIFO的理论读出时钟频率指导硬件程序设计。在此基础上,采用SpaceWire节点的点对点数据传输实验对文章设计验证,结果表明文章给出的方案可以工作在240MHz时钟频率下,满足空间高速数据传输中高可靠性、低误码率和低复杂度的要求。     

基于MicroBlaze软核的反作用飞轮控制器设计

为提高卫星用反作用飞轮控制器的可靠性及实现其小型化,对基于MicroBlaze软核为控制核心的反作用飞轮控制器设计进行了研究。根据MicroBlaze软核开发环境,给出了反作用飞轮控制器结构和包括软硬件的现场可编程逻辑阵列(FPGA)内核配置与设计,介绍了片内电流环实现、直流无刷电极控制模块和模/数(A/D)转换等关键技术。试验结果表明:该反作用飞轮控制器体积明显减小,可靠性高,实用价值较大。     

基于逻辑回归的电子企业员工工作满意度研究

工作满意度是组织行为研究的一个重要概念,常有研究者把它设计为顺序因变量,但又怯于数据处理,故将其作为等距变量来分析,进而得出错误结论.文章概略考察了近年发展起来的多分类顺序因变量逻辑回归分析,并用该方法研究了电子企业员工的工作满意度的影响因素,建立了影响因素作用的预测模型.     

流氓件全流程管理模型研究

分析了民航维修中流氓件的特性和危害,提出了针对流氓件的全流程管理模型,通过对流氓件的状态监控、识别与处置、使用限制和送修策略等一体化管理,实现对流氓件及时、有效的管理,降低流氓件对航空公司的危害。     

存储器阵列的奇偶校验电路设计探讨

奇偶校验电路是一种最小码距为2的一种随机存储器（SRAM）的故障测试方法，实践证明，该方法能够测出的差错占全部存储器差错的97％以上．文章论述了标准INTEL80286计算机的存储器阵列的奇偶校验电路的基本原理；详细地讨论了奇偶校验电路的设计及测试方法．     

机翼防冰自动作动功能的逻辑设计及验证

首先从适航规章出发提出了某大型民机的机翼防冰自动作动功能要求,包括结冰探测、起飞抑制、温度抑制、机组操作指令和发动机引气状态等子功能,以及实现各子功能所需的信号及信号状态组合;接着设计了满足功能要求的基于主导式结冰探测的自动作动组合逻辑电路,推导了逻辑真值表;最后采用matlab软件simulink模块搭建了自动作动组合逻辑电路,数字验证的工作波形与真值表一致,表明设计的自动作动组合逻辑电路能够实现机翼防冰的自动作动功能。