遥感载荷通用数据处理平台设计与实现

针对遥感载荷下行数据流设计不一致问题,提出了一种遥感载荷地面数据处理平台的设计思路和实现方法,对遥感载荷数据流模型描述和任务指令建立等关键技术进行了分析。该方法构建的系统通过配置能够适应不同遥感载荷数据流结构,具备通用性。系统主要处理节点采用刀片服务器完成运算,各个处理节点之间松耦合,实现了插件式部署,可供多节点复杂结构处理系统设计时参考。     

远程高压大流量减压阀的研制

研制一种远程、先导式高压大流量减压阀;介绍了该减压阀特点,建立了减压阀数学模型,利用Matlab进行该减压阀动力学仿真,研究各个参数对减压阀性能的影响.根据仿真结果,加工了一台实物产品.搭建了减压阀性能测试试验台,分析了压力、流量特性,并和仿真做了比较.结果表明:仿真和试验符合的比较好,说明仿真对减压阀的研制与分析具有指导作用.该减压阀使用方便,安全、可靠,已经用于数个试验中.     

一种航电设备故障诊断专家系统的设计

故障诊断专家系统在自动测试与诊断领域有着广泛的应用 ,它是自动测试系统的核心技术之一。文中介绍一种航电设备故障诊断专家系统 ,对该系统的原理、系统组成和基本设计思想做了较详细的介绍     

自由飞行态主动式自旋稳定姿态控制

为改善航天器在自由飞行状态下的自旋稳定姿态控制精度，在分别采用消章和消偏的基础上，提出了一种消章消偏综合控制方法，并选用带消偏约束的消章控制法，对桌细长型航天器的姿态控制进行了仿真试验。理论分析和实验结果表明，该控制法的姿态角控制精度较高，所用时间较短，可满足控制精度的要求。     

计算大型实对称特征问题的 Lanczos-QR 算法

为了计算大型实对称特征值问题Ｋｘ＝λＭｘ的少数低阶特征值对,本文给出Ｌａｎｃｚｏｓ－ＱＲ迭代方法。首先,给定初始迭代向量ｖ１,作ｍ步Ｌａｎｃｚｏｓ分解：ＫＶｍ＝ＭＶｍＴｍ＋ｈｍｅｍＴ。取Ｔｍ的ｄ个最大特征值为移位量,对Ｔｍ进行ｄ步带原点位移的ＱＲ分解。然后,修改初始迭代向量ｖ１。迭代地重新开始这一过程,迫使初始迭代向量ｖ１进入需求的特征子空间,从而使残量‖Ｋｘ－θＭｘ‖→０。数值例子表明,该方法收敛性强,且稳定、有效。     

开放逻辑及其实现技术

定义了一个建立在一阶谓词基础上的开放的逻辑系统,它由证明演算和假设演算组成。本文在文献[1]的基础之上对假设演算进行了某些扩充,使得假设演算中所构造的删除规则集是完备的;并说明了对任一语句的可判定性。为便于机器实现,文中引入了删除推演序列的概念;并给出了如何构造删除规则的与或树以及如何生成删除推演序列的步骤。最后,讨论了开放逻辑系统的具体实现技术。     

On the electrodynamics of counter stream in pulsar’s inner annular cap region

The electric properties of pulsar’s inner annular gap are explored in this paper. Under two main assumptions, (1) the pulsar is alive, (2) the total charge of pulsar should not vary with time, the condition for the acceleration of negative particle in the annular region is derived. The acceleration condition is j₋ ? 0.5j₊, i.e., the current carried by negative particles is greater than or equal to 0.5 times of the current carried by positive particles. This condition holds even when the backward flow of positive particles exists in the annular region. It is noted that the outflow of negative particles offers good opportunities to understand the current closure problem of pulsar as well as wide radiation beam of pulsar observed at high energy band.     

民用飞机技术出版物规范应用

技术出版物作为民用飞机产品的重要组成部分,用于指导运营人正确地操作和维护飞机.为了满足相关适航规章的要求和用户对于交互式电子技术手册日益增长的需求,实现手册全寿命周期管理,飞机制造商应在保证手册完整、正确、准确的基础上,进一步实现手册的标准化、规范化和结构化.本文对国际主流技术出版物规范的特点、规范的确定、应用方法和风险等进行了介绍和阐述.     

长矩形盒零件超塑性胀形工艺加载规律的优化

本文通过对长矩形盒零件的力学解析，得到了优化加载规律的数学表达形式。按此规律进行气压胀形，与恒压胀形实验结果相比，能有效地提高成形极限，并使厚度分布情况有明显的改善。     

广义行列式及其应用

定义了一种广义行列式 ,并由此给出Gramer法则的一种推广