差分离散方法分布式并行计算的重叠边界优化

针对分布式存储环境下显式差分方法的并行计算问题 ,依据分布式存储多处理机的体系结构特点 ,提出了一个重叠边界优化模型 ;该模型目前已成功应用于中国科学院第三代海洋环流模式的分布式并行计算优化。     

云存储环境下的密文检索研究

随着用户数据量的不断增长,数据的存储模式逐渐由本地存储向云端存储转变。然而云存储面临的安全威胁也日益突出,给用户数据的隐私保护带来了极大的隐患。密文检索技术的发展有效地解决了这个问题。介绍了云存储环境下密文检索的应用场景,分析密文检索中数据的特点和安全需求,并提出其中的挑战性问题。通过研究现有的密文检索方案,提出了云存储环境下密文检索的通用模型与基本框架,并构建方案的评价体系。根据检索方法的不同,将密文检索分为基于密文全文的检索方法和基于密文索引的检索方法,并对其中的一些经典方案进行详细分析。最后,指出当前密文检索方案中主要存在的问题,并分析密文检索的发展趋势。     

分布式战术数据链网络规划中的数据库设计

以分布式战术数据链网络规划为研究对象,在设计了分布式战术数据链网络规划系统结构图的基础上,重点对数据链网络规划中数据库的设计进行分析。通过分析数据库设计需求提出了设计方法,然后根据不同的部门职责对战术数据链网络规划的参数进行拆分、组合,设计了网络规划数据库的实现方案。最后,利用Power Designer软件建立了概念数据模型和物理数据模型,实现了既能存储数据链网络规划内容,同时满足分布式网络规划系统要求的数据库存储结构。     

涵盖I/O的广义存储一致性模型

作为计算机体系结构核心问题之一的存储一致性研究主要是围绕CPU访存一致性问题展开的,I/O设备DMA操作引发的存储一致性问题则一直处于研究的边缘。从I/O与存储体系结构一体化设计理念出发,针对支持全局DMA访问的分布共享存储(DSM)系统存储一致性问题,研究广义存储一致性,定义了涵盖I/O的广义程序概念,建立了广义域存储一致性模型,研究了基于广义域存储一致性模型的Cache-Memory-I/O一致性协议实现技术,对于DSM系统实现全局共享I/O具有指导意义和参考价值。     

地理空间情报中遥感影像压缩处理系统的设计

遥感影像作为地理空间情报的重要组成部分.在情报分析与作战指挥中发挥了越来越重要的作用.针对海量影像数据快速漫游和压缩存储的问题,在借鉴瓦片金字塔数据模型基础上定义了XML标准的通用数据模型,并采用三缓存交替工作机制调度数据,设计一个开放性的遥感影像压缩处理系统,实现了对大规模遥感影像数据的正常浏览并有效节约了硬盘资源.     

虚拟维修仿真数据编辑系统研究

为有效解决虚拟维修系统中仿真数据编辑技术不通用的问题,在深入研究虚拟维修数据模型、交互任务分析、仿真数据管理等关键技术的基础上,设计开发了具有工程应用价值的虚拟维修仿真数据编辑系统.在分析系统设计需求的基础上,设计了系统总体结构,基于S1000D设计了虚拟维修数据模型,基于UML分析了维修样机编辑和维修规程编辑过程中的交互任务,基于XML实现了仿真数据的编辑、存储与发布.该系统应用于某型复杂装备虚拟维修,验证了系统的各项功能和应用效果.     

弹道跟踪数据处理中的几个计算问题

结合弹道跟踪数据建模和数据处理的实践 ,提出了几个有典型应用价值的测量数据模型 ,在应用这些数学模型解决实际问题时 ,涉及统计、优化、函数逼近等几方面的理论和计算问题。这些问题和模型的研究 ,对解决许多相关的实际问题有重要意义。     

防空作战仿真态势显示成员通用性研究

针对防空装备作战仿真中态势显示成员在防空武器作战仿真联邦中的通用性需求,本文进行了防空装备作战仿真态势显示成员通用性研究,并提出了基于语义映射的态势成员通用性实现方法,该方法依赖于数据模型模块,配置模块,动态公布订购模块,发送模块和接收模块。通过配置模块生成的配置文件记录公布订购信息,动态公布订购模块负责对信息的动态公布订购,发送和接收模块负责对数据的发送和接收,数据模型模块是介于态势显示成员中仿真模型和HLA/RTI数据接口之间的模块,主要负责在发送前和接收后对数据进行存储和管理,成功的解决了通用性问题。     

三维造型库的设计与实现

分布式虚拟环境中的三维造型和纹理资源通常都是分散存储的,此种存储方式占用空间大,管理困难.提出了在分布式虚拟环境中建立造型库,集中管理造型资源的方法.设计和开发了造型库管理软件.解决了三维造型的分散式管理体制所引发的存储资源浪费、造型一致性冲突、造型管理困难等诸多弊端.     

C4ISR系统数据集成研究

为了更好地实现各类C4ISR系统的有效融合,达到传感器到射手的无缝连接,必须解决数据集成问题。简要分析了数据集成的总体规划和共享环境建设问题,重点研究了数据模型的设计问题。利用IDEF1X方法,以成像侦察卫星军用系统为研究对象,按照模型设计的五个步骤,实现了其数据模型的构建。这类数据模型属于语义数据模型,是对系统中数据结构和语义的一种描述,强调了事物所具有的属性特征和事物之间的结构和关系,它是数据共享环境建设的基础,在C4ISR系统建设中发挥着巨大作用。     

分布式数据库系统中数据一致性维护方法研究

分布式数据库系统是数据库领域中的一个主要研究方向 ,数据一致性维护是分布式数据库系统中的一个非常关键的技术问题。在深入分析和比较各种维护数据一致性方法的基础上 ,提出了一种较为有效的维护数据一致性的方法 ,详细论述了该方法如何解决并发执行引起的冲突问题 ,以及如何利用消息队列机制保持各数据副本的一致     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

适用于云计算的多接收方代理重加密方案

在云计算环境下,绝大多数信息处理和存储都被转移到云中心,用户终端的计算和存储能力将逐渐弱化。本文针对这一趋势,提出一种适用于云计算的多接收方代理重加密方案,充分利用云中心的分布式计算能力,使用随机数重用和密文聚合技术,大大降低了计算和传输负担,实验表明本方案具有较高的效率。     

往返搜索发现概率仿真分析与应用

往返搜索是一种最常见的搜索样式,其搜索效能与搜索宽度、发现距离、搜索速度、突破速度等因素密切相关。在建立往返搜索行动模型的基础上,通过仿真实验得到耕耘数据,进而通过数据分析和处理得到往返搜索发现概率的经验公式。应用经验公式并结合声纳探测模型,对多搜索艇分段封锁搜索案例进行了优化研究。     

Search techniques for a nonlinear multiprocessor scheduling problem

The problem of assigning computer program modules to functionally similar processors in a distributed computer network is investigated. The modules of a program must be assigned among processors in such a way as to minimize interprocessor communication while taking advantage of affinities of certain modules to particular processors. This problem is formulated as a zero-one quadratic programming problem, but is more conveniently modeled as a directed acyclic search graph. The model is developed and a backward shortest path labeling algorithm is given that produces an assignment of program modules to processors. A non-backtracking branch-and-bound algorithm is described that uses a local neighborhood search at each stage of the search graph.     

空中突击兵力使用方案的优化方法

空中进攻战役全过程突击兵力使用方案的优化问题 ,是当前国内外亟待研究的重大课题。在提出多时段计划思想的基础上 ,给出了一种较为有效的优化模型 ,并探讨了有关的数据过滤问题     

基于DCSP的编队武器兼容性约束协调

编队武器兼容性约束协调,是一个典型的求解分布式约束满足问题的过程。针对这一特点,建立了编队武器兼容性约束满足问题模型,提出了一种基于异步回溯的分布式约束满足算法。该算法运用异步回溯获得一个初始可行解,然后以作战效能最优为原则增添新的方案,并进行约束一致性检查,最终得到满意的编队武器运用方案。仿真验证了算法的可行性。     

分布式储能技术的探索与实践

文章阐述了分布式储能技术的重要意义,介绍了分布式储能技术在经济社会可持续发展重要领域——能源互联网发展中的重要地位,并对分布式储能的技术形态与载体进行了分析,最后以信息网络重要组成部分——数据中心为应用场景,对分布式储能技术的实践进行了探讨。