伪谱法模拟各向异性/非均匀介质中弹性波的传播

数值模拟一直是研究弹性波在复杂介质中传播问题的有效手段之一。各向异性问题和非均匀问题日益引起关注。伪谱法是近年来发展较快、建立在弹性波动方程基础上的一种数值模拟方法。它的主要特征是将波动方程中的空间微分变换成频域中的乘法运算 ,从而只需要较少的空间格点就可以得到较高的计算精度。介绍了伪谱法及其稳定性条件 ;编制了一个适合于小型工作站或者PC机的模拟地震波在二维各向异性均匀 /非均匀介质中传播的数值模拟程序 ,模拟了各向异性 /非均匀介质中弹性波传播理论 ,分析了裂纹以及各向异性界面对波传播的影响     

分布式计算环境下的栅格数据存储策略

针对传统的栅格数据存储策略不能满足分布式计算环境下粗粒度数据访问需求,应对海量栅格数据计算时效率低下的问题,结合分布式文件系统的存储特点,同时考虑地图代数算子在Map/Reduce阶段以栅格瓦片为单位的计算特点,提出一种基于Hadoop分布式文件系统的栅格瓦片存储策略。围绕栅格数据瓦片分割、压缩瓦片数据组织与存储、分布式文件输入输出接口改进等方面对该存储策略加以实现,并使用基于该存储策略的地图代数局部算子的分布式计算流程加以验证。理论分析与实验结果表明,该策略能够显著提高分布式计算环境下空间分析算子的运算速度。     

美军无人机集群项目发展

近几年来,无人机集群技术在美军多个方面的推动下,引起了全世界的热切关注。文章简要总结了美军无人机集群发展现状,梳理了美军开展无人机集群技术的初衷,并分析认为美军数量型无人机集群发展战略不完全适用于现阶段我军军情。文中给出了我国现阶段发展无人机集群的思路,这对全面认识无人机集群的优势、明晰我军无人机集群技术发展方向具有一定的参考价值。     

作业名层次化聚类算法预测作业运行时间

预测作业的运行时间有益于提升系统的调度性能,而聚类有助于训练出更好的预测模型。传统的聚类算法很难将相似的作业名聚类,为了将相似的作业更好地聚类,通过分析其组成成分的语义重要性,构建字母-结构-数字的作业名层次化聚类算法。以两台超级计算机的真实数据为例,实验结果发现,应用此算法聚类后的数据训练模型的预测精度相较传统方法有一定的提升,整体预测精度为70%～80%。     

双二体几何切面法及天梯地月转移轨道分析

双二体模型是求解地月转移轨道的重要基础。与传统的采用月球影响球入口点经纬度的描述方式不同,本文提出一种基于飞行轨道面参数来描述地月转移轨道的双二体模型几何表达方式,结合一维非线性方程求根算法Brent算法和Lambert原理,将原始三维球面搜索算法降维成为二维圆上的搜索算法,可以高效求解地月转移轨道的形状参数。为避免重复计算,将转移轨道窗口计算的轨道多变量搜索问题解耦分解成两个子问题——转移轨道形状参数求解问题和转移轨道面空间定向问题,降低了问题的求解维度。形成两级并行计算算法,充分发挥多核计算机算力,加速计算过程。仿真结果表明,基于提出的并行圆锥曲线几何切面法,可以成功应用于计算天梯地月转移轨道分析。     

面向指挥信息系统与训练仿真系统互联中间件研究

针对实装系统与仿真训练系统的运行机制、实现机理、技术规范和应用需求的差异,实装系统与仿真系统的互联问题制约着基于信息系统的指挥对抗训练,构建融“导”、“控”、“仿”、“裁”、“评”等功能为一体的综合训练环境是一种迫切需要。本文采用基于主动感知的数据转换方法、基于模板的信息智能交互方法和异构系统集成方法等构建中间件系统,并从数据转换桥接、时间管理桥接、导调监控桥接、指挥命令桥接和互联规范桥接等方面实现实装系统与仿真系统互联、互通。     

Inspection games with local and global allocation bounds

This article discusses a two‐player noncooperative nonzero‐sum inspection game. There are multiple sites that are subject to potential inspection by the first player (an inspector). The second player (potentially a violator) has to choose a vector of violation probabilities over the sites, so that the sum of these probabilities do not exceed one. An efficient method is introduced to compute all Nash equilibria parametrically in the amount of resource that is available to the inspector. Sensitivity analysis reveals nonmonotonicity of the equilibrium utility of the inspector, considered as a function of the amount of resource that is available to it; a phenomenon which is a variant of the well‐known Braess paradox. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

云计算中基于公平的安全判定相等协议的身份认证方案

云用户与云之间的双向认证是云计算中用户访问云中资源和数据的重要前提。为解决云计算环境下基于口令的身份认证方式存在的问题,并保证海量用户环境下认证的效率,对一个常数复杂性的判定口令相等的百万富翁协议进行了改进,提出了一个公平的安全双方判定相等协议,可以公平且秘密地比对认证方与被认证方所拥有口令的一致性。在上述协议的基础上,基于具有语义安全的加法同态算法――Bresson算法,实现了一个保护云用户和云服务提供者双方隐私的身份认证方案,最后,证明了该身份认证方案在判定相等方面的正确性,并给出了方案的安全性分析。     

舰船维修Hedonic价格指数模型的构建

针对舰船维修具有的异质性特点导致“纯样本匹配法”并不适用于舰船维修价格指数编制的问题,首先提出采用特征价格理论,选取舰船维修特征属性并给出了量化处理原则;然后,利用合并数据特征价格建模方法,建立了舰船维修线性Hedonic价格指数模型,并针对线性模型拟合精度不高等问题,通过多种形式的Box-Cox转换,构建了舰船维修的非线性Hedonic价格指数模型,得出了舰船维修Hedonic价格指数,以反映舰船维修的“纯价格变化”趋势.最后,与通过“纯样本匹配法”获取的价格指数进行比较,并解释了二者的差异性.     

基于MPI+CUDA的异构并行可压缩流求解器

在CPU/GPU异构体系结构计算集群上,建立了基于MPI+CUDA的异构并行可压缩流求解器。讨论了异构结构上的可压缩流并行算法的并行模式,在CPU上执行计算密集度低、指令复杂的计算任务,在GPU上执行计算密集度高、指令单一的计算任务。通过数个算例,对比了异构并行计算和传统CPU并行计算计算结果和计算效率。将该算法运用于高超声速流动的数值模拟中,数值结果显示,基于MPI+CUDA的异构并行可压缩流求解器鲁棒性好,计算效率较CPU同构并行计算提高10倍以上。