基于插件技术的人工免疫智能空间优化平台研究

采用人工智能方法求解空间优化问题已成为当前地理学研究领域的热点之一。研究目的在于通过设计一个开放的、可扩展的人工免疫空间优化模型框架,开发基于插件技术的优化工具软件,丰富空间优化决策支持的方法和技术体系。研究从空间优化问题的基本特点和计算需求出发,定义了面向空间优化问题求解的克隆选择优化模型框架。在此基础上,采用"插件-宿主平台"结构设计了人工免疫智能空间优化平台的总体架构,定义免疫算子插件与空间优化问题应用插件开发机制。实验结果表明,平台的架构和功能设计充分考虑了计算平台的开放性和扩展性,通过平台标准接口的功能扩展可实现对不同类型空间优化问题的求解。空间优化问题研究者或政府决策部门无需关系人工免疫优化方法的具体内涵即可基于本平台完成其具体空间优化决策支持任务。     

GNSS应急辅助定位及精度评估方法研究

在可视卫星数少于4颗、无法进行传统导航解算的恶劣环境下,导航接收机可利用外部高程气压计提供的高程或者内部守时模块的钟差等信息进行应急辅助定位。在该应急辅助定位工作模式的误差分析中,传统导航定位误差传递模型无法适用。针对此问题,本文在研究三星结合高程、三星结合钟差、双星结合高程钟差等几种应急辅助定位原理的基础上,给出了新的应急辅助定位误差传递的分析模型,利用仿真算例验证了该模型的正确性。最后通过对定位精度的分析,说明根据卫星分布特点可以按照本文方法量化得到伪距测量与辅助信息的精度的最优数量级关系,可以用最小代价实现定位精度的提升。该结论可指导接收机外部辅助器件的选择。     

HARNESSING GLOBAL TRADE DATA FOR BIOLOGICAL ARMS CONTROL

Unlike treaties dealing with nuclear and chemical weapons, the Biological Weapons Convention still lacks formal verification measures, 31 years after entering into force. Here we propose a global export-import monitoring system of biological dual-use items as an additional measure for a web of biological arms controls that could complement traditional export controls. We suggest that such a measure may help to guide consultation or verification processes in the biological area.     

Facing an uncertain economic future: Environmental management spending and rural regions surrounding the U.S. DOE's nuclear weapons facilities

Using an economic simulation model, the study finds that the proposed expenditure by the U.S. Department of Energy of billions of dollars to manage the nuclear weapons environmental legacy followed by sharp reductions in expenditures would cause economic spikes and then depressions in three rural regions (Hanford in Washington, INEEL in Idaho, and SRS in South Carolina). The economies of larger and growing metropolitan regions with DOE sites will not be noticeably impacted. Simulations suggest pronounced impacts on income, jobs, and gross regional product in the three dependent rural regions. Policy options are reviewed to address the economic stresses of these rural dependent regions.     

Book review

Jacques Fontanel, Les dépenses militaires et le désarmement, Editions Publisud, Paris, 1995, 136 pages.

Jean‐Paul Hébert ’Production d'armement — Mutilation du systéme français’, Paris 1995 La documentation française, 221 pages.     

面向分层混合存储架构的协同式突发缓冲技术

科学计算产生和分析的数据规模日益增长,高性能计算机的存储系统在体系架构和软件管理方法上面临重大挑战。针对天河-2系统的新型分层混合存储架构,提出一种由应用程序耦合的协同式突发缓冲技术来有效利用其存储资源优势。该方法采用运行时动态耦合的方法,将临近计算任务的分布式高速存储资源聚合成为一个的巨大的协同式突发缓冲区,通过采用文件命名空间投影的映射方法组织全局数据视图,利用位置亲和和感知数据意图的方法来挖掘空间局部性和时间局部性,并利用应用并发度感知的策略优化数据移动效率。天河-2系统的测试结果表明,该方法能够有效优化多种典型应用场景,可获得高可扩展的突发并行输出带宽和稳定的持续并行输出带宽,可显著提升数据分析场景的输入/输出性能,适合应用于大规模超级计算机的存储系统。     

GPS接收机模糊搜索粗时定位方法

由于难以获得免时定位算法所需的接收机概略位置,提出模糊搜索的粗时定位方法。为减小搜索空间,在位同步后优选几何精度因子值较好的4颗卫星通过遍历伪距模糊的方式进行位置估计,并基于伪距残余均方根最小准则选出最合理的位置估算结果。根据概略位置恢复所有卫星的完整伪距。利用5状态的免时定位算法估计接收机位置。使用11个国际卫星导航服务观测站的观测数据对算法进行验证,结果表明,在概略位置未知情况下该方法能够实现粗时定位,且定位精度与直接使用完整伪距的精时最小二乘定位精度相当。     

基于组织的社会技术系统程序设计模型及语言

互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。本文将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型ORAP来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化,包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制;论文提出了基于上述模型和机制的社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了本文研究工作的有效性。     

基于PEPA的防空通信系统抗毁特性分析

通信系统的抗毁性能是分析作战系统能力的一项重要指标。本文分析了防空通信系统的组织结构和对抗特点,利用性能评价过程代数（PEPA）描述了防空通信系统的状态演化,提出了基于PEPA的防空通信系统抗毁特性分析方法。通过具体案例,对通信系统的组织结构、抗击软硬杀伤的能力进行建模和仿真验证。实验结果表明,PEPA方法适用于防空通信系统的建模与分析,能够实现对防空通信系统的结构进行对抗过程的建模;通信系统的不同要素对抗毁性能的影响不同,可以采取有效策略以提高防空通信系统的抗毁能力。