基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

平面交叉口混合交通流建模与仿真

在混合交通条件下,交通参与者成分复杂,各种交通方式速度各异,交通冲突频繁。特别是在交叉口机动车与非机动车相互干扰,带来了安全、效率、污染等多方面问题。本文首先介绍我国混合交通流的特点,然后对自行车个体微观行为进行定性的描述分析。通过对实际信号交叉口的调查研究,和对机动车流率与非机动车到达与释放规律的模型建立与定量计算。分析总结出平面交叉口机非干扰的一般规律和冲突避让原则。根据实测数据,结合视频处理和统计软件的使用通过计算直行与左转非机动车换算系数,提出了改进的机动车延误时间模型,并通过使用VISSIM3．6进行微观仿真验证了模型的有效性。     

新型单元的频率选择表面

在传统十字单元基础上,提出一种新型单元的频率选择表面(FSS)。分析传统十字单元FSS和新型单元FSS在大角度入射时的极化稳定性,并研究TM波入射角度变化时,中心频率的漂移及传输系数的变化。结果表明,传统十字单元FSS在45°入射时中心频率的极化稳定性很差,漂移量为406MHz,TM波由0°到45°入射时,中心频率漂移为448MHz;而新型单元FSS具有中心频率的角度稳定性,TM波入射角度由0°变到45°时,中心频率漂移量仅为28MHz,并且在大角度入射时具有中心频率极化稳定性。     

矩形橡胶复合材料层合板的大变形研究

本文应用Ｋｉｒｃｈｈｏｆｆ假设和ＶｏｎＫａｒｍａｎ理论对正交各向异性的矩形橡胶复合材料层合板进行了几何非线性分析。与线性结果相比,大变形理论所得结果更具准确性。     

一个非常规前体机身的流动显示研究

描述了有类似Ｅｒｉｃｋｓｏｎ前体的非常规机身的初步流动显示研究结果,包括测力、表面油流和激光片光流动显示结果和用层流Ｎ－Ｓ方程进行数值模拟的结果。计算和试验的参数范围：α＝０°～５０°,β＝０°～２０°,虽然计算与试验所用的外形在后部有一些不同,但是两者在涡的位置方面显示了良好的一致性。同时研究也表明,大攻角的流动特性可以通过改变机身前体形状进行控制。通过研究还表明,这类前体在改善大攻角横侧方向安定性方面具有很大的潜力。     

AIRCRAFT CONCEPT EVALUATION AND EFFECTIVENESS-BASED DECISION-MAKING

Based on effectiveness analysis, a novel method is presented for combat aircraft top-hierarchy concept evaluation and decision-making. Applying multi-criterion decision-making （MCDM） and analytic hierarchy process, the new method can help to overcome the limitations of existing evaluation systems and decision-make methods. The proposed method includes the following process~ （1） Establish a multi-criterion and multi-hierarchy evaluation attribute system by introducing combat effectiveness~ （2） Assign weight to the attributes and normalize them; （3） Evaluate and decision-make top-hierarchy aircraft concept based on effectiveness to reach a satisfactory design by comprehensively applying four multi-criterion decision-making methodologies, i.e. grey correlation pro- jection method, weighted summation method, weighted quadrature method and ideal solution decision-making method, while considering the attribute hierarchy system and the logical relations among the attributes. Finally, an example is given to indicate the validity and feasibility of the proposed method.     

On-orbit determination and adjustment of electrostatic accelerometer lever arm

In order to ensure the proof mass center of electrostatic accelerometer (EA) is fixed at the center of gravity of satellite as precisely as possible, an on-orbit determination and adjustment strategy of EA lever arm is presented in this paper. The EA lever arm is determined using the observations of EA, gyro and magnetometer first. Then it is adjusted by screw slider mechanism. The simulation results demonstrate that the proposed strategy can be carried out several times to yield better accuracy. Meanwhile, the optimal geographic location for EA lever arm determination along each axis is found.     

从EFA到“台风”看鸭式布局飞机设计的可持续发展

在关键技术上追求可持续发展,就要掌握好20世纪90年代国际先进技术战斗机一些有用的技术,相信凭借这些技术的支撑,鸭式布局设计必将为飞机设计的后续研究,为新世纪有人机或无人机的研发带来再创辉煌的光明前景。     

DELMIA在某民机前货舱门装配仿真中的应用

在现代自动化作业系统中,操作和管理的大多是一些复杂系统和各种数字化设备,这对操作人员观察周围环境和完成精准操作任务的要求很高。通过人机工程技术分析,可以对这些复杂、易错的任务逐个分析,合理分配注意力、安排操作顺序,既减轻操作人员的工作负荷又避免出错,切实提高人机工效。