极轨卫星验证相对论

~~极轨卫星验证相对论     

静电、电子水处理器研制

介绍了国内外水处理工业发展的趋势和动态，阐明了静电，电子水处理器的研制思路和技术特点，其使用范围和效益价值已从工业用水，动力运行扩展到能源，交通，卫生及农林领域的种植，养殖及环保方面，几涉涉及国民经济的所有领域。     

基于ARM处理器的空间可靠性软件架构设计与实现

将高性能的工业级ARM处理器应用于复杂空间环境时,由于器件本身没有抗辐照指标,因此可能会出现空间高能粒子触发指令或者数据比特异常的情况.如果指令或数据出错位置位于Bootloader加载区,软件将会无法正常加载,造成系统功能异常甚至崩溃.提出一种提升处理器空间可靠性的软件设计架构.通过对ARM处理器及主要功能模块的分析...     

迟到的旅客：误入时空隧道

英国南部的南安普顿港，2004年1月8日，海关大钟在午夜整整响了12下。从离码头不远的南安普顿港大酒店里冲出一个人来，他叫韦斯曼，他要乘坐世界上最大的“玛丽女王2”号豪华邮轮去美国，0时5分出发。这艘世界顶级的豪华邮轮可搭载2600名乘客，首航要横渡大西洋去美国佛罗里达州的劳德代尔堡。韦斯曼昨晚喝多了点酒，头有些发沉，刚才在旅店里差点睡过了头。醒来后他匆忙办了退房手续，便玩命般向码头跑去。尽管南安普顿港大酒店离码头不远，但5分钟的时间也实在太紧张了。     

基于时空显著性建模的空中飞行器跟踪方法

以复杂背景下空中飞行器的鲁棒视觉跟踪问题为研究背景，为解决现有跟踪方法目标表征模型不够精确，算法鲁棒性严重受到目标形变、宽高比变化、复杂背景等因素干扰的问题，提出了建模跟踪场景中独立物体的显著性特性，用于构建精确的目标模型。提出的显著性估计方法有别于传统的单帧检测方法，利用跟踪算法提供的背景先验知识以及多帧图像观测数据，使用时空联合的方式进行建模估计，其结果用来指导目标跟踪算法选取有效视觉特征，建立精确目标表征模型，减小背景区域对算法模型的干扰。实验表明，提出的方法为上述难点问题提供了有效的解决方案，对空中飞行器的跟踪精度与鲁棒性优于大多数最先进的主流方法，在其他类型的目标跟踪任务中也有十分优越的性能表现。     

MILS机载安全操作系统设计

针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。     

一种虚拟试验平台高速数据处理方法研究

为提高武器装备虚拟试验平台中单个节点的运算能力,解决海量数据处理和复杂模型结构运算问题,分析了虚拟试验平台中采用高速数据处理方法的必要性,对比了目前常用的几种高速数据处理方法,采用了Tile64多核处理器作为高速数据处理板的核心。最后,对本方法在一种虚拟试验平台中的应用进行了分析。试验结果表明,采用本高速数据处理方法可显著提高平台的计算速度和运行效率。