管制扇区的最优划分方法研究

在研究管制员工作负荷的统计方法和描述空域拓扑结构的数学模型的基础上，利用基于自然法则的模拟退火随机优化算法对扇区最优化问题进行求解。并通过对厦门管制区的扇区最优划分实例分析，验证了扇区优化数学理论正确性和使用该算法达到的预期效果。     

时序信号设计的一种新方法

文章结合高速时序工作的特点,从实现的角度提出了一种利用软件调整时序的新方法。在可编程逻辑器件中,利用数字时钟管理器(DCM),通过模块化和增量式设计思想达到对高速时序信号的精确调节。最终实现了一个20MHz速率的时序控制,调节精度达到100ps。     

具有容错性的自重构机器人变形原理

自重构机器人通过自主变形来适应环境和任务的需要，它具有低成本、多样性、自修理和容错性等特点。本文针对系统的容错性目标，深入研究了具有容错性的自重构机器人的自组织变形方法。首先建立能够表达失效模块信息的系统结构描述模型；然后建立自重构机器人的模块运动规则；提出可以实现容错性的自组织变形算法。在系统出现失效模块的情况下，机器人依然能够有效完成指定的任务。本文以平面正方形晶格机器人翻越障碍物为例对变形原理和算法进行了验证和仿真。     

一种微内核分区操作系统C库的适配验证方法

针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点.     

“Modular Biospheres” – New testbed platforms for public environmental education and research

This paper will review the potential of a relatively new type of testbed platform for environmental education and research because of the unique advantages resulting from their material closure and separation from the outside environment. These facilities which we term “modular biospheres”, have emerged from research centered on space life support research but offer a wider range of application. Examples of this type of facility include the Bios-3 facility in Russia, the Japanese CEEF (Closed Ecological Experiment Facility), the NASA Kennedy Space Center Breadboard facility, the Biosphere 2 Test Module and the Laboratory Biosphere. Modular biosphere facilities offer unique research and public real-time science education opportunities. Ecosystem behavior can be studied since initial state conditions can be precisely specified and tracked over different ranges of time. With material closure (apart from very small air exchange rate which can be determined), biogeochemical cycles between soil and soil microorganisms, water, plants, and atmosphere can be studied in detail. Such studies offer a major advance from studies conducted with phytotrons which because of their small size, limit the number of organisms to a very small number, and which crucially do not have a high degree of atmospheric, water and overall material closure. Modular biospheres take advantage of the unique properties of closure, as representing a distinct system “metabolism” and therefore are essentially a “mini-world”. Though relatively large in comparison with most phytotrons and ecological microcosms, which are now standard research and educational tools, modular biospheres are small enough that they can be economically reconfigured to reflect a changing research agenda. Some design elements include lighting via electric lights and/or sunlight, hydroponic or soil substrate for plants, opaque or glazed structures, and variable volume chambers or other methods to handle atmospheric pressure differences between the facility and the outside environment.     

基于划分检测模型的终端区异常轨迹检测方法

针对异常轨迹对轨迹聚类效果的影响以及给进离场程序管制适用性的量化分析提供分析数据的考虑，在结合数据挖掘中异常检测理论的基础上，利用划分检测框架及将距离和密度结合起来，设计了一种有效检测算法，运用到终端区飞行轨迹的异常检测当中，检测出飞行轨迹中的异常轨迹，从而改善轨迹的聚类效果。实例仿真结果表明：方法可以准确地检测出异常轨迹。     

基于图剖分的多块结构网格负载平衡方法

负载平衡是影响并行计算性能的重要因素。针对多块结构网格,给出了一种改进的多层次图剖分负载平衡方法。该方法设计了新的网格剖分算法,采用改进的子块分裂方法与图剖分算法的循环调用实现结构对接网格剖分,并通过建立不同物体重叠网格间的连接关系,实现了结构重叠网格的负载平衡。采用2个典型算例对方法进行了对比验证,数值结果表明,子块分裂方法对剖分结果具有重要影响,采用循环调用算法及改进的子块分裂方法能有效地实现计算负载均衡及通信量优化,同时显著减少了网格块数及因虚网格导致的内存需求,有利于提高并行效率。该负载平衡方法与网格拓扑无关,适用于多块结构对接网格及重叠网格,且整体型剖分方式对于多块结构重叠网格具有更好的剖分效果。     

民用飞机综合模块化航电系统分区和资源分配的研究

对比航电传统系统架构,分析了综合模块化航电系统(Integrated Modular Avionics,简称IMA)架构的优点;针对IMA系统功能的高集成度带来的资源分配难度和安全性要求,提出了IMA系统分区和资源分配策略,并给出了具体方法,对民用飞机IMA系统设计具有一定的指导意义和实用价值。     

基于区域划分的LEO卫星星座QoS路由算法

针对LEO卫星网络中由于流量分布不均导致的拥塞问题,以及多种通信业务带来的QoS保障问题,提出了基于区域划分的多业务QoS路由算法(MSR-RP).算法考虑了信关站有限分布造成的漏斗流量问题,一方面通过划分动态区域,减少区域节点数量,降低了算法整体计算复杂度;另一方面,在轻负载区域采用最短路径算法计算路由,重负载区域采...     

TDICCD时序设计在FPGA中的工程实现

文章结合TDICCD和FPGA器件特点，主要从设计目标分析，VHDL算法描述、综合、布线、仿真、代码优化、代码测试验证等几方面，阐述了TDICCD时序设计的全过程；利用同步设计的思想避免了竞争与冒险；利用RC延迟模块实现了时序的精确调整；利用模块化思想提高了代码的可重用性、可测试性、可读性。最终，实现了一个6MHz像元输出速率下能正常工作的TDICCD的成像系统。