左、右手媒质间电磁传输特性的对比分析

文章通过重新表述折射率，对比分析了左、右手媒质不同组合情况下，电磁波在媒质界面上的折射特性。通过引入色散关系的时域有限差分法对无限大左手介质板以及线源置于左手媒质覆层内两种模型进行了模拟，模拟结果与分析相符合。分析表明，负折射现象出现在界面两侧媒质类型（LHM／RHM或RHM／LHM）不同的情况下。对于同种类型媒质的情况，左手媒质并不能引起反常的折射现象。LHM引起的反常现象通过与RHM的对比才能得以有效考察。     

中国核电厂操作员反应时认知模型的应用(英文)

讨论了一些有关人员行为与时间有依赖关系的可靠性模型；给出了中国核电厂操作员在清华大学培训模型机上的一些可靠性实验结果。此外，还根据已获得的实验数据计算了在ＡＴＷＳ事故条件下人的失误概率。     

Comparison of decision tree methods for finding active objects

The automated classification of objects from large catalogs or survey projects is an important task in many astronomical surveys. Faced with various classification algorithms, astronomers should select the method according to their requirements. Here we describe several kinds of decision trees for finding active objects by multi-wavelength data, such as REPTree, Random Tree, Decision Stump, Random Forest, J48, NBTree, AdTree. All decision tree approaches investigated are in the WEKA package. The classification performance of the methods is presented. In the process of classification by decision tree methods, the classification rules are easily obtained, moreover these rules are clear and easy to understand for astronomers. As a result, astronomers are inclined to prefer and apply them, thus know which attributes are important to discriminate celestial objects. The experimental results show that when various decision trees are applied in discriminating active objects (quasars, BL Lac objects and active galaxies) from non-active objects (stars and galaxies), ADTree is the best only in terms of accuracy, Decision Stump is the best only considering speed, J48 is the optimal choice considering both accuracy and speed.     

热-机耦合分析的有限元法及其应用

基于有限元分析的基本原理,建立了热-机耦合问题分析的有限元基本方程,并对工件挤压过程及摩擦制动问题进行了分析。算例表明,热-机耦合分析方法能很好地模拟受热结构的温度场和应力应变场,为结构设计和工艺设计提供依据。     

结构比强度及其在优化设计中的应用

本文从结构重量角度推导了比强度(含比模量)表达式,分析了对同一材料不同比强度的关系,给出了比强度在结构动态分析中及结构优化设计中的应用。     

Singularity analysis for single gimbal control moment gyroscope system using space expansion method

Control Moment Gyroscope (CMG) is an effective candidate for agile satellites and large spacecraft attitude control because of its powerful torque amplification capability. The most serious situation, however, in using CMG is the inherent geometric singularity problem, where there’s no torque output along a particular direction. Space expansion method has been proposed in this work for the singularity analysis. Based on inverse mapping transformation, an expanded Jacobian matrix which is a full rank square matrix is obtained. The singular angle sets of the 3-parallel cluster and pyramid cluster are distinguished using space expansion method. An effective hybrid steering strategy, able to deal with the elliptic singularity, is further proposed. Simulation results demonstrate the excellent performance of the proposed steering logic compared to the generalized singular robust logic and pseudo inverse logic in terms of energy consumption and torque error.     

UDu~T分解滤波算法及其应用

本文介绍UDU~T 分解滤波算法;用工程师容易理解的方法重新推导时间修正和量测修正滤波公式,并给出标准通用的UDU~T 分解滤波子程序。本算法子程序已实际用于工程估计器中。本算法具有高的数字稳定性。作为UDU~T 分解滤波算法理论和工程应用之间桥梁的本通用标准子程序具有良好性能,使用方便,极易推广应用。     

运输环境中某战术导弹结构振动特性分析

应用三维有限单元和导弹实体简化模型对一种战术导弹的结构振动特性进行分析，并动用ＡＮＳＹＳ有限元分析程序，计算得到了“自由－固支”条件下，导弹竖立状态的固有模态，取得了与试验和数据基本一致的结果，证明了所建模型物正确性，进而对运输环境中导弹水平支承条件下的固有频率和振型进行了分析计算，所得结果为导弹的使用可靠性分析提供了依据。     

基于主成分的编队级网络对抗效能评估指标体系

分析建立编队级网络对抗评估指标体系的原则,用主成分分析法对指标进行处理,求得7个主成分.根据正交原则将20个指标分配到7个主成分中,赋予每个主成分以实际含义,最终建立了编队级网络对抗效能评估指标体系.     

80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.