航天运输系统中软件复杂性度量与控制

用软件度量学的方法来科学地评估软件质量,能够更有力地对软件开发过程进行控制和管理,合理地组织和分配资源,制定切实可靠的软件开发计划,从而获得高质量的软件.     

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

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

Aeronautical use of semiconductor lasers for short optical pulses

In this paper, we investigate the feasible schemes to generate periodic optical pulses of width between several picoseconds (ps) and tens ps. Gain-switched semiconductor laser diodes are shown to be more suitable for avionics applications than mode-locked laser diodes. In the experiment, we use a low-cost Fabry-Perot laser diode to generate short optical pulse streams. A simple optical injection-locking scheme is then used to reduce the timing jitter and frequency chirp in such laser diodes, which in turn can improve the transmission performance of the generated optical pulses. It is expected that the use of gain-switched semiconductor lasers can meet the requirement of high-speed airborne communication networks or ground supporting systems at airports. Moreover, we discuss the possibility of using the pulsed semiconductor lasers to generate millimetre-wave (mm-wave) signals for future applications to airborne high-resolution, mm-wave radars.     

A strategic flight conflict avoidance approach based on a memetic algorithm

Conflict avoidance （CA） plays a crucial role in guaranteeing the airspace safety. The cur- rent approaches, mostly focusing on a short-term situation which eliminates conflicts via local adjust- ment, cannot provide a global solution. Recently, long-term conflict avoidance approaches, which are proposed to provide solutions via strategically planning traffic flow from a global view, have attracted more attentions. With consideration of the situation in China, there are thousands of flights per day and the air route network is large and complex, which makes the long-term problem to be a large-scale combinatorial optimization problem with complex constraints. To minimize the risk of premature convergence being faced by current approaches and obtain higher quality solutions, in this work, we present an effective strategic framework based on a memetic algorithm （MA）, which can markedly improve search capability via a combination of population-based global search and local improve- ments made by individuals. In addition, a specially designed local search operator and an adaptive local search frequency strategy are proposed to improve the solution quality. Furthermore, a fast genetic algorithm （GA） is presented as the global optimization method. Empirical studies using real traffic data of the Chinese air route network and daily flight plans show that our approach outper- formed the existing approaches including the GA .based approach and the cooperative coevolution based approach as well as some well-known memetic algorithm based approaches.     

一种基于语义的Ontology映射方法

O n to logy映射是实现异构O n to logy互操作的有效方法,目前的O n to logy映射主要采用句法方法,而很少采用语义方法。本文提出了一种基于语义的O n to logy映射方法,该方法考虑了O n to logy中的概念属性,采用概念名称相似性、概念属性集合相似性、相关概念集合相似性等确定O n to logy之间的语义映射关系;采用语义半径提高了语义映射方法的灵活性。试验分析表明:该方法得到的映射的准确率和查全率在90%以上,准确率和查全率均优于S-M atch方法。该方法已在基于知识需求的主动式知识系统原型中实现,并在某研究所得到了应用。     

论动机理论对大学英语教学的启示

学习动机是学习者在第二语言习得过程的诸多因素中最具能动性的因素,是推动大学生进行学习活动的动力,直接影响到大学生进行学习活动的积极性。二语习得中的动机理论给我们大学英语教学以重要启示,它将会成为大学英语教学成功与否的关键所在。     

基于最小值原理的冗余度机器人动力学控制

为了解冗余度机器人全局法优化中数值求解的困难,本文讨论了动力学方程的建立,无约束和有约束最优控制问题之间的内在联系,重点分析了求解最优控制问题的数值方法,文中提出了双向异步积分迭代的求解正则方程组的直接迭代法,较好解决了状态方程和协态方程稳定相逆给求解两点这值问题带来的困难。     

一种基于红外序列图像的弱小目标检测方法

针对天空背景下红外运动弱小目标的检测问题,提出一种结合小波变换和管道滤波的序列图像的检测算法。首先对红外序列图像采用小波变换,再采用全局门限法进行阈值分割提取出潜在目标,用形态开运算去除噪声点,以减少候选目标数目,最后再使用管道滤波的方法确定真实目标。实验结果表明,该方法能有效地检测运动红外弱小目标,显著提高红外弱小目标的检测概率,并易于硬件实现。