中地球轨道高能电子辐射环境特性分析

采用中国中地球轨道卫星在太阳活动下降相到上升相的高能电子探测数据, 首次分析研究了该轨道高能电子环境的空间分布、通量强度、时序变化以及对地磁暴活动响应的特性. 结果表明, 中地球轨道高能电子的空间分布 范围稳定, 电子通量强度随能量升高而下降; 中地球轨道高能电子环境是 一个在不同时间尺度上剧烈变化的动态系统, 该系统可能间歇性地出现27天重 现性变化, 该系统变化受地磁暴事件调制, 但其对磁暴的响应呈现出非线性特征.     

低轨航天器致空间等离子体尾流

建立起一个低轨道航天器引起的等离子体尾的二维计算机模式，结果表明：（１）尾流的宽度随表面负电位值的增加而变窄。（２）随离子马赫数增加尾流位垒变宽；（３）对正电位表面情况尾流近区有电子聚集，并且离子的放空更远。     

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

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

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

一种用于可靠性参数指标分配的新方法

提出了一种按组成系统的各单元任务失效率比例，并考虑各单元的重要度来分配系统可靠性参数指标的新方法；给出了分别以失效率、平均故障间隔时间表达的分配比例因子及分配公式。该方法是ＡＧＲＥＥ分配法的改进。文末举例说明该方法的应用及其分配结果的合理性     

靶机红外目标模拟装置的研究

通过对一种靶机红外目标模拟装置的研究，介绍了这种装置的设计特点、参数选择和试验结果。该装置以固体燃料作为燃烧剂，其红外辐射强度主要决定于燃料的组分、工作温度、辐射体的材料以及辐射体的面积，而工作温度的选取是设计的关键。文中提出一种实用而简便的综合分析方法，根据装置所需要的红外辐射强度来预计其工作温度与结构尺寸，据此设计的装置实物经红外辐射特性测定后证明能满足预定指标要求。本文陈述的这种方法已被用于某靶机红外目标模拟装置的设计，并取得实际应用成果，对同类装置的设计和研究可资借鉴     

考虑探测构形的多飞行器协同探测与制导一体化设计

针对多飞行器协同拦截机动目标时几何构形会影响协同探测和制导效果的问题,基于最优控制理论提出一种考虑探测构形的协同探测与制导一体化设计方法。基于飞行器相对运动学、动力学方程和双视线协同探测原理,建立了协同拦截模型。在制导设计中引入视线分离角参量以调制协同探测几何构形、减小相对距离探测误差,从而在制导全程增强协同探测效果。将相对距离协同探测结果应用到剩余时间和制导律解算中,基于最优控制理论实现协同探测与制导环节一体化设计。仿真结果表明：在目标进行不同程度机动的情况下,与修正比例导引律相比,所提方法在协同探测和制导方面均具有明显优势。     

高温超导X波段带通滤波器研制

本文选用 10× 15× 0 .4 4 m m3双抛 L a Al O3衬底上外延生长的优质双面钇系高温超导 (HTSC)薄膜的Yba2 Cu3O7(YBCO) ,设计并制作了结构紧凑的高温超导发夹线微波窄带滤波器。该滤波器工作温度在 90 K以下 ,77K时指标为 :中心频率 9.4 8GHz,3d B相对带宽 1.1% ,带内最小插损 0 .36 d B,带外抑制大于 4 5 d B。另外 ,本文还介绍了高温超导滤波器的精确设计方法 ,并对高温超导滤波器的功率容载、制作等问题进行了讨论 ,同时还研制了具有实用意义的全密封高温超导滤波器外壳 ,仅需液氮制冷即可进入工作状态 ,输入、输出采用 SMA密封接头。     

电子会议系统在型号产品研制中的应用

计算机技术和通信技术的结合把计算机从传统的孤立应用推进到支持群体协同工作，从而产生了计算机支持的协同工作和多媒体电子会议系统等新型应用。本文结合本单位的实际，进行了基于Sametime电子会议协同研制工作的研究，详细论述了型号研制对电子会议系统的要求及其实现。     

WAKE GEOMETRY CALCULATIONS FOR TILT-ROTOR USING VISCOUS VORTEX METHOD

A tilt-rotor unsteady flow analytical method has been developed based upon viscous vortex-particle meth- od. In this method, the vorticity field is divided into small assembled vortex particles. Vortex motion and diffusion are obtained by solving the velocity-vorticity-formed incompressible Navier-Stokes equations using a grid-free La- grangian simulation method. Generation of the newly vortex particles is calculated by using the Weissinger-L lifting surface model. Furthermore, in order to significantly improve computational efficiency, a fast multiple method （FMM） is introduced into the calculation of induced velocity and its gradient. Finally, the joint vertical experimen- tal （JVX） tilt-rotor is taken as numerical examples to analyze. The wake geometry and downwash are investigated for both hover and airplane modes. The proposed method for tilt-rotor flow analysis is verified by comparing its re- sults with those available measured data. Comparison indicates that the current method can accurately capture the complicated tilt-rotor wake variation and be suitable for aerodynamic interaction simulation in complex environ- ments. Additionally, the aerodynamic interactional characteristics of dual-rotor wake are discussed in different ro- tor distance. Results show that there are significant differences on interactional characteristics between hover mode and airplane mode.