三值逻辑方程和组合逻辑电路函数险象的检测

对于组合逻辑电路中函数险象的检测提出一种新的方法－解三值逻辑方程法，此方法的显著特点是可以检测出在任何输入状态下电路所可能产生的所有函数险象，所给的算法很容易在计算机上实现。     

二维物体相交检验的线性四叉树方法

在物体的平面布局问题中，判别两个物体是否相交是一个难点，以往的方法数据结构不统一，计算量大，算法复杂，本文首先讨论了二值图象的线性四叉树的表示及其有关术语和性质，然后在此基础上首次提出了二维物体相交检验的线性四叉树方法及其实现的算法，最后进行了算法的时空分析，与以往的方法相经，本文所提方法具有数据结构统一，算法简单，时空效率高等优点。     

扩展分形在SAR图像特定尺寸目标检测中的应用

介绍了扩展分形(Extended fractal)技术在合成孔径雷达(SAR)图像特定尺寸目标检测中的应用。与传统的检测特征相比，扩展分形特征不仅可以依靠时比度从背景中识别目标，而且对目标物体的尺寸敏感。文中对扩展分形的定义以及扩展分形的均值和方差进行了分析，表明了扩展分形对目标尺寸和对比度的敏感特性。在扩展分形定义中，通过比较不同的能量增长间隔比值对扩展分形均值和方差的影响，确定了最优能量增长间隔比值，将扩展分形技术用于对实测SAR图像中特定尺寸目标检测，得到了良好的识别效果。实验表明，扩展分形技术对特定尺寸的目标具有很好的检测性能。     

振荡翼型动态失速风洞试验研究

本文利用测力法对NACA0012翼型在振荡条件下的动态失速进行了风洞试验研究,阐述了测力法对动态失速试验的各主要环节的特殊要求和解决途径。试验结果表明,测力法与国外传统的测压法试验结果比较,吻合良好。因而为今后的振荡翼型气动特性的风洞试验研究开创了一条新的途径。     

北斗导航系统接收机 自主完好性监测算法及性能分析

北斗导航定位系统是我国自主研制的全球导航定位系统,其接收机的自主完好性是决定可靠性的关键因 素之一。文章推导了RAIM(Receiver Autonomous Integrity Monitoring)算法的观测模型,并在此基础上推导了基于 最小二乘法的RAIM算法、故障检测和故障识别算法。仿真表明,该算法可以检测出故障并识别故障卫星。     

自适应的光纤布拉格光栅图像寻峰算法

根据实际光谱特征, 提出了自适应的光纤布拉格光栅图像寻峰算法。针对 不同环境物理场及噪声分布下的光栅谱型,该算法能自动检测光谱的带宽和信噪比,自 适应地调整算法的高斯模板带宽大小,提高谱型匹配及滤波效果,从而提高寻峰精度。 将该算法与高斯拟合法、质心法进行对比,分析了其在不同噪声大小及非均匀温度场分 布下光纤布拉格光栅反射光谱的寻峰精度。理论仿真及实际寻峰结果表明,该寻峰算法 具有较强的抗噪能力及谱型适应性,较质心法、高斯拟合法具有显著优势。     

Evaluation of conflict-resolution policies on controller taskload

In an effort to maintain safety while satisfying growing air traffic demand, air navigation service providers are considering the inclusion of advisory systems to identify potential conflicts and propose resolution commands for the air traffic controller to verify and issue to aircraft. To understand the potential workload implications of introducing advisory conflict-detection and resolution tools, this paper examines a metric of controller taskload: how many resolution commands an air traffic controller issues under the guidance of an advisory system. Through a simulation study, the research presented here evaluates how the underlying protocol of a conflict-resolution tool affects the controller taskload (system demands) associated with the conflict-resolution process, and implicitly the controller workload (physical and psychological demands). Ultimately, evidence indicates that there is significant flexibility in the design of conflict-resolution algorithms supporting an advisory system.     

Two-Dimensional Modal Curvature for Damage Detection in Plates

Mode shape has become a hotspot of vibration-based damage detection in plates.Two-dimensional(2D)modal curvature(MC2D),derived from mode shapes,is a prevailing physical quantity used to indicate damage.Unfortunately,the physical mechanism of MC2 Dfor characterizing damage in plates has not been clarified to date.In contrast,one-dimensional(1D)modal curvature(MC1D)has explicit physical mechanism to portray damage in beams.Unresolved physical mechanism of MC2 Dseverely hampers its applications for damage identification in plates.To address this deficiency,the clarification mechanism of MC2 Dis investigated to identify damage.With the clarified mechanism,numerical and experimental cases are used to demonstrate the effectiveness of MC2 Din detecting damage in plates.     

一种翼身融合飞行器的失速特性研究

翼身融合（BWB）布局飞行器作为下一代商用飞机的主要构型之一，越来越受到重视。对于翼身融合飞行器的研究主要针对其巡航状态的特性，而对其失速特性的研究较少。对一种翼身融合客机构型进行风洞试验研究，采用测力试验方法对其无增升装置的构型，以及具有翼梢小翼、前缘缝翼和机身上部双吊舱的组合部件构型下的纵向特性进行研究，特别是对其失速特性的分析，并通过二维粒子图像测试技术以及油流试验对其失速过程的流动机理进行研究。结果表明，无增升装置的基本构型下，翼身融合飞行器可以保持低速飞行，而各组合构型都具有提高最大升力系数的作用。对失速过程的分析表明，随着迎角的增大，飞机表面流场分离区域从翼梢开始逐渐向翼根以及机身发展，当外翼段完全处于分离区域时，飞机并不会马上失速，因为中心体同样具有提供升力的作用，且中心体的流动分离较外翼的流动分离更晚，所以当外翼在失速迎角出现升力损失时可以通过中心体的升力进行补偿，维持其低速飞行状态，真正的失速发生在中心体出现流动分离之后。     

Recent development of casing treatments for aero-engine compressors

Casing treatment is a mature stabilization technique which has been widely applied on aero-engines for modern aircrafts and turbo-chargers for automobiles. After the investigations of half century since the 1960s, this technique has been well developed for various configurations with different effectiveness. From the perspective of stabilization mechanism, this paper roughly categorizes the configurations of casing treatment into two types: traditional ones which work by affecting the flow structure of blade tip region; a novel one named as Stall Precursor-Suppressed (SPS) casing treatment. The effectiveness of both types will be demonstrated for their applications on axial compressors and centrifugal compressors with uniform or distorted inlet. And the stabilization mechanism of casing treatments for regular types and SPS one will also be explained respectively. In addition, this review will summarize the methodologies of casing treatments with the numerical simulations for regular grooved configurations and the eigenvalue approach for SPS casing treatment. Looking forward to the future of compressor stabilization, casing treatment technique will still exist as a general and inexpensive option, and the exploration for its effectiveness and mechanism will be deeper with the development of computational fluid dynamics and advanced measurement techniques.