基于极点配置的空间站角动量管理

针对惯性系下引力梯度力矩及其他干扰力矩引起控制力矩陀螺（CMG）角动量积累的问题,采用引力梯度力矩来平衡姿态,设计了基于极点配置的空间站角动量管理控制器。首先在惯性系下建立了空间站线性化模型,并分析了俯仰轴方向在惯性系角动量管理的不可行性。由此,将俯仰轴与滚动/偏航轴解耦,不约束俯仰轴方向的CMG角动量,将常值、1倍和2倍于轨道频率的扰动纳入状态方程以抑制其对俯仰轴姿态的影响。在滚动/偏航轴方向将常值扰动纳入状态方程中以抑制其对CMG角动量的影响;将1倍、2倍于轨道频率的扰动纳入到状态方程中以抑制其对姿态的影响。然后采用带极点配置的线性二次型（LQR）算法求解出反馈增益矩阵,该算法可以避免选取权重矩阵,并且根据系统性能要求即能将闭环极点配置到复平面虚轴左侧指定的区域。最后仿真结果验证了该算法的可行性。      

SRAM型FPGA单粒子效应试验研究

针对军品级SRAM型FPGA的单粒子效应特性,文中采用重离子加速设备,对Xilinx公司Virtex-II系列可重复编程FPGA中一百万门的XQ2V1000进行辐射试验。试验中,被测FPGA单粒子翻转采用了静态与动态两种测试方式。并且通过单粒子功能中断的测试,研究了基于重配置的单粒子效应减缓方法。试验发现被测FPGA对单粒子翻转与功能中断都较为敏感,但是在注入粒子LET值达到42MeV·cm 2/mg时仍然对单粒子锁定免疫。本文对翻转敏感度、测试方法与减缓技术进行了讨论,试验结果说明SRAM型FPGA对单粒子效应比较敏感,利用重配置技术的减缓方法能够有效降低敏感度,实现空间应用。
     

SRAM型FPGA单粒子效应逐位翻转故障注入方法

针对SRAM(Static Random Access Memory)型FPGA(Field Programmable Gate Array)空间应用的可靠性评测问题,提出一种逐位翻转的故障注入试验方法,利用动态重配置技术,通过检测逻辑电路设计配置存储单元中的单粒子翻转敏感位数量和位置,可计算出动态翻转截面和失效率,绘出可靠度变化曲线.分别对采用TMR(Triple Modular Redundancy)防护设计的和未采用TMR防护设计的SRAM型FPGA乘法器模块进行了故障注入试验,验证了得到的敏感位位置的正确性,并计算出各自的可靠性参数和曲线.     

微型后缘装置增升效率及几何参数影响研究

 为满足现代大型飞机增升装置简洁高效的设计需求,以典型三段翼型为对象,采用数值模拟研究在后缘襟翼上增加微型后缘装置(mini-TED)以提高增升装置效率的可行性;给出了微型后缘装置的作用原理,获得了微型后缘装置位置、长度、偏度等几何参数对增升和升阻性能的影响规律。研究结果表明:微型后缘装置明显改变了襟翼后缘弯度,对襟翼流动产生有利诱导作用,拓展加长了增升装置的有效"气动弦长",是一种附加气动襟翼。其几何参数设计原则是:以长度l≤1.5%c(c为干净翼型弦长)、位于95%襟翼弦向位置前较为合适;偏度则可根据起降等飞行状态进行选择。与四段及其以上增升装置相比,微型后缘装置具有增升效果显著、结构简单、附加重量小和易于工程实现等优点,是一种极具潜力的新型增升技术,具有深入的研究价值和良好的应用前景。     

浅析SITTI MULTIFONO M600S内话配置监控系统MMS的备份

内话系统主要负责处理VHF电台、外线电话、热线电话的语音交换,并把上述音频信号通过统一的人机界面提供给管制员使用,并负责相应的逻辑数据处理,是空中交通管制不可或缺的重要设备。河南空管分局目前主用的内话系统是意大利SITTI公司的MULTIFONO M600S内话系统。其配置监控系统MMS主要用于内话系统的频率配置、电话配置、席位面板配置等重要参数的配置以及内话系统运行状况的动态监控。     

实时雨流计数法的“三变程”计数原则

讨论载荷历程计数中的变程计数原则、雨流截断原则、峰谷值比较原则等主要计数原则,在此基础上重点论述雨流计数的"三变程"计数原则的原理、特点和使用方法,并指出与其他原则相比该原则所具有的优势.     

新型复合式无人直升机悬停/着陆控制

旋翼-涵道复合式无人直升机是一种具有特殊机体结构的新型无人直升机,悬停和着陆控制是该类无人直升机飞行控制设计的一大难点。依据复合式无人直升机运动机理建立了非线性动力学模型,在悬停配平状态下进行小扰动线化和降阶处理,给出了用于控制律设计和仿真的线性模型。运用期望隐模型和特征结构配置方法设计了姿态角速度与垂向速度控制内回路,内回路输出角速度积分得到的姿态角反馈和线速度反馈构成纵横向线速度控制外回路。悬停/着陆仿真验证了内回路能实现良好的角速度指令跟踪解耦控制,外回路能实现良好的悬停位置保持和着陆轨迹跟踪控制。     

无人机着陆控制的特征结构配置方法实现

针对无人机纵向着陆系统的控制需求,采用特征结构配置方法的设计方案。阐述了全状态反馈理论基础上的特征结构配置的原理以及根据设计指标确定特征结构配置的方法,并对某型无人机纵向飞控系统动态响应进行分析,给出仿真实例。仿真结果表明,应用特征结构配置方法设计出的控制器,能够使飞机准确地跟踪期望轨迹,满足系统动态性能要求。在工程中具有一定的实用价值     

集合论-泛逻辑悖论

对于一类 n(2≤n≤_n) 值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统 UL ₁.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.     

磁盘阵列多终端并发管理系统的设计与实现

针对磁盘阵列管理方式多样性的需求,设计并实现了一种可支持多种配置终端并发操作的管理系统,系统采用分层架构,界面显示层通过命令队列同底层通信,降低了系统的耦合度,提高了扩展性和可靠性。