分布交互式仿真计算机系统的研究与实现

本文结合国内外仿真系统的研制情况,对适应现代仿真需求的仿真平台的课题进行了需求分析,并介绍了基于ＨＬＡ／ＲＴＩ的分布交互仿真计算机系统ＹＨ－ＮＩ／ＮＲ的体系结构、底层通信网络、运行支持系统、仿真应用对象模型和联邦总管。     

多线程技术的现状与前景展望

这几年,多线程计算机得到了较大的发展,也得到了越来越多的关注。本文在分析了多线程概念以及多线程计算机发展历史后,对多线程计算机的研究和开发现状、技术途径发展前景进行了较为系统的介绍,并对其中的关键技术问题展开了探讨。     

可信云服务

云服务是一类依托于云计算平台的新兴网络服务,其外包服务模式以及云平台自身的安全风险引起了用户的信任问题.云服务可信与否成为用户业务向云迁移的最大顾虑.如何构建安全可信的云服务,成为近年来研究领域的热点之一.该文在分析云计算安全威胁的基础上,提出了可信云服务的定义,并从用户信任预期、安全威胁来源和技术针对的安全目标等角度对可信云服务研究技术的类型进行了划分;然后,系统地梳理了数据存储外包、计算外包、虚拟机外包等典型云服务的安全可信研究工作;最后,探讨了可信云服务的未来研究趋势.     

一种复杂的动态实时强协同的协作系统的研究

经典的协作模型不能满足复杂的协作应用在动态性、实时性以及分布决策的强协同等方面的需求.本文针对复杂的动态实时强协同的协作系统,研究并构造了与之相适应的协作模型DReaSCoM(Dynamic Real-time Strong Cooperation Model).该模型在扩展的层次式"群簇"结构中实现了群体内和群体间纵横交错的强协同协作,提高了系统的协作效率和容错能力,具有良好的应用价值.     

基于RMC的蒙特卡罗程序性能优化

蒙特卡罗MC方法是核反应堆设计和分析中重要的粒子输运模拟方法。MC方法能够模拟复杂几何形状且计算结果精度高,缺点是需要耗费大量时间进行上亿规模粒子模拟。如何提高蒙特卡罗程序的性能成为大规模蒙特卡罗数值模拟的挑战。基于堆用蒙特卡罗分析程序RMC,先后开展了基于TCMalloc动态内存分配优化、OpenMP线程调度策略优化、vector内存对齐优化和基于HDF5的并行I/O优化等一系列优化手段,对于200万粒子的算例,使其总体性能提高26.45%以上。     

函数优化异步并行演化算法

提出了一种新型、高效的函数优化异步并行演化算法,利用这个算法,在巨型并行计算机上解决了一些高难度的大型优化问题,其中包括一个超高维的非线性规划问题－BUMP问题。由于BUMP问题的强非线性和超我峰特性,目前还未见有超过50维的BUMP问题的结果发表。而在此不仅仅得到了从2维到50维迄今最好的解,而且一直计算到了1000000维,并得到了满意的结果。数值实验表明,新算法是鲁棒和高效的。     

一个生物计算网格的设计与实现*

提出一种基于OGSA的生物计算网格体系结构,分析研究了生物应用标准化、资源描述、作业描述和作业调度等,对序列拼接应用Phrap在该网格环境下的运行情况进行了讨论。     

嵌入元级结构的基于事例推理研究

元级推理是智能软件系统中的一种重要机制。本文首先讨论元级推理的作用,原理以及实现策略,然后重点介绍了我们新近的一个面向事例诊断的推理器ＭＧＣＢＤ。本文各节介绍了ＭＧＣＢＤ的知识表示,元级推理框架以及事例检索,匹配和适配过程的设计方法和技术特点,并用一个具体裕列来说明ＭＧＣＢＤ的推理功能。     

基于序列标注的全词消歧方法

全词消歧(All-Words Word Sense Disambiguation)可以看作一个序列标注问题,该文提出了两种基于序列标注的全词消歧方法,它们分别基于隐马尔可夫模型(Hidden Markov Model, HMM)和最大熵马尔可夫模型(Maximum Entropy Markov Model, MEMM)。首先,我们用HMM对全词消歧进行建模。然后,针对HMM只能利用词形观察值的缺点,我们将上述HMM模型推广为MEMM模型,将大量上下文特征集成到模型中。对于全词消歧这类超大状态问题,在HMM和MEMM模型中均存在数据稀疏和时间复杂度过高的问题,我们通过柱状搜索Viterbi算法和平滑策略来解决。最后,我们在Senseval-2和Senseval-3的数据集上进行了评测,该文提出的MEMM方法的F1值为0.654,超过了该评测上所有的基于序列标注的方法。     

基于最弱前置条件的静态分析误报消除技术

针对程序静态分析技术误报过多的问题,提出一种基于最弱前置条件的静态分析误报消除方法。根据不同的软件安全性质,从目标状态出发,以需求驱动的方式得到过程起始位置的最弱前置条件,判断该条件公式的可满足性来消除误报。将该方法实例化来消除静态分析工具检测数组访问越界和空指针解引用的误报,实验结果表明该方法是有效且实用的。