MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。     

高精度可编程流量积算仪的设计

本文介绍了一种高精度可编程流量积算仪的设计方法，包括该系统的测量数学模型建立，测量原理，硬件设计及软件设计。该系统可实现流量的高精度积算（优于１‰），软件校准，多种报警及掉电保护。     

星载激光测高地面数据处理设计研究

星载激光测高技术是对地观测系统中最为核心和前沿的信息获取技术之一,因其具有探测方向性好、测距精度高等特点,在地球科学领域中体现出了巨大的应用潜力。在ICESat/GLAS测高地面数据处理系统的基础上,针对将于今年发射的高分七号卫星的载荷特点,设计了一套星载激光测高地面数据处理系统软件。该软件可实现对星载激光测高数据的地面处理并生成3级数据产品,包含激光能量计算、波形分解和激光脚点定位等,以及相应各级产品的数据质量控制处理。利用高分七号仿真数据对该软件进行相应的性能测试,测试结果表明:该系统软件基本满足需求,已初步具备星载激光测高地面数据处理能力。     

某型号机襟翼机构摩擦磨损可靠性分析与计算(英文)

本文应用空间机构的建模方法建立了某型号机襟翼机构运动的数学模型。当给出输入参数时，可通过此数学模型求出襟翼机构的理论输出参数。输入参数相同时，通过引入摩擦磨损量至数学模型可获得襟翼机构的实际输出参数，并在此基础上求得襟翼机构的摩擦磨损可靠性。     

Remote upgrading of a space-borne instrument

The main purposes of experiment “Obstanovka” (“Environment” in Russian) consisting of several instruments are to measure a set of electromagnetic and plasma phenomena characterizing the space weather conditions, and to evaluate how such a big and highly energy consuming body as the International Space Station disturbs the surrounding plasma, and how the station itself is charged due to the operation of so many instruments, solar batteries, life supporting devices, etc. Two identical Langmuir electrostatic probes are included in the experiment “Obstanovka”. In this paper the Langmuir probes for “Obstanovka” experiment are described, including the choice of geometry (spherical or cylindrical), a more reliable method for the sweep voltage generation, an adaptive algorithm for the probe’s operation. Special attention is paid to the possibility for remote upgrading of the instrument from the ground using the standard communication channels.     

基于软件工程思想方法的CAI课件开发

介绍了软件工程思想方法，运用软件工程思想方法基于瀑布模型分析了CAI课件开发过程，实践创作开发了基于Web的多媒体《概率论与数理统计》CAI课件。     

亚跨超CFD软件平台研制

亚跨ＣＦＤ软件平台研制的宗旨是综合国内外计算流体动力学的最新研究成果，用计算机软件技术的新发展，建立一个面向对象的计算流体动力学的研究开发环境，加快计算流体动力学最新成果向工程应用的转换速度。本文介绍初级版本的研究进展和研究成果，主要匝数值网格生成技术，流场解算器，面向对象的界面设计等三部分组成。     

基于1553B和SpaceWire组合网络的星载数据管理软件设计

为同时满足对于星务管理数据和高速载荷数据的传输要求,国内外的飞行器趋于使用1553B和SpaceWire组合网络来进行星上数据传输。复杂而灵活的数据传输要求使得卫星数据流设计中引入了大量标准协议,同时大大增加了星载数据管理软件的复杂度。对一种基于1553B和SpaceWire组合网络的星载数据管理软件的协议体系进行了介绍,通过对协议进行分析,改进了已有的软件框架,形成了一种基于标准协议的分层的软件架构,以空间包为单位实现星内数据交互,实现了软件应用层与数据链路协议的分离。软件实现结果表明,合理的协议分层和有效的接口封装提高了软件的可拓展性和可移植性,有利于软件产品化。     

软件技术专业“订单式”人才培养模式的探索和实践

本文从“订单式”人才培养模式的客观需求入手，依据课题的研究和实践经验，综述了软件技术专业“订单式”人才培养的开展过程，分析了“订单式”人才培养模式的关键问题并提出了解决方案。     

一种同轴腔温漂问题的仿真

文章在三维仿真软件HFSS和CST中建立谐振腔模型，给出建模的原理和注意点；详细研究了腔体各尺寸随温度变化对腔体本征频率的影响的正负性及影响大小，得出引起腔体频率变化的主要结构因素；重点分析了调谐螺钉纵向扰动及径向扰动对谐振频率的影响。结合LC谐振电路对结果进行分析，得出减小温漂的措施。并根据仿真结果，对腔体的各个部分合理使用不同材料，使腔体温漂得到补偿。