软件化雷达在并行信号处理系统上的实现

随着数字化技术和系统软、硬件技术的不断提高,“软件化雷达”成为雷达信号处理领域的最新研究方向。通用并行信号处理平台是“软件化雷达”的重要组成部分。本文讨论了“软件化雷达”在一种通用并行实时雷达信号处理系统上的实现,提出了两种不同体系结构的软件平台实现方案。文中对两种方案的特点进行了分析,并给出了其各自的适用背景和性能。     

大型结构并行有限元分析软件研究

有限元分析在很多领域得到了应用,但其较大的计算规模对使用造成了限制,对复杂对象的分析难以在单台计算机上完成。提出并实现了一种并行化有限元软件的开发模式,在保留成熟的商业性有限元分析软件各种优点的情况下对关键计算进行了并行化开发,以较少投入成功实现了应用于大型结构分析的并行有限元分析系统。完成了数据在分布存储计算环境下的有效存储、高效的大型稀疏矩阵的并行算法,通过试验验证系统有良好的分析精度和扩展性。     

软件过程中的并行性挖掘

挖掘软件过程中的并行性,使其中的活动尽量并行进行,是提高软件生产率的重要手段。本文提出了一种通过活动间相关性分析,寻找软件过程中可并行化的因素,挖掘出可并行进行的活动,进而构造出Petri网表示的并行经的软件过程模型的技术,获得了较理想的并行性挖掘效果。     

基于软件配置模型的构件化领域框架研究

以软件复用研究为背景,对面向软件定制的构件化领域框架进行了研究,提出了一种基于软件配置模型的构件化领域框架,并着重分析了利用框架进行软件定制的配置机制以及框架运行原理,最后以灾害快速反应系统为例,对模型和框架进行了实现.     

一个基于Petri网的软件并行开发控制模型

软件开发活动的并行化是缩短软件开发周期、加快软件开发速度的有效途径。本文提出了一个基于Ｐｅｔｒｉ网的支持软件并行开发的并行控制模型ＣＣＭ及其构造方法，从而为实现软件并行开发的有效控制和开发相应的ＣＡＳＥ系统奠定了基础。     

基于SimOS的并行模拟平台的设计与实现

设计一个大规模并行处理系统，要求研制人员在设计阶段就尽可能多地掌握未来系统运行期间的各种信息。系统模拟逐渐成为人们获取系统信息的一种常用手段。模拟并行机器需要耗费的计算量与存储量随着模拟机器的规模增大和精度增加而大得惊人，因此要想跟上实际机器规模的发展，必须采用并行化的模拟方法。本文对并行化模拟方法进行了探讨。根据目前大规模并行系统的发展方向，设计并实现了一个并行模拟平台。     

并行软件模型检测

并行化是提高模型检测效率的重要手段。该文研究了基于标号迁移系统的C程序模型检测,提出一种软件模型检测并行化的方法。该方法利用软件模型检测工具模块化验证(MAGIC)的模块化特性对C程序进行组件分解,将各组件均衡地分发到若干计算节点,由节点调用MAGIC完成验证。由于保证节点间只有少量的通信与同步,该方法能达到较好的并行加速比,具有良好的可扩展性。实验结果显示,该方法大幅压缩了检测时间,有利于大规模软件的形式化验证。     

并行推理机及其基本软件综述

本文简要介绍FGCS计划的总体框架、PIM机及其基本软件。FGCS原型系统的核心是并行推理系统,包括并行推理机PIM和它的操作系统PIMOS。知识库管理系统(KBMS)建立在并行推理系统上,并与PIMOS共同构成FGCS原型系统的基本软件。在此基础上,开发出约束逻辑程序设计语言的LP(Language Processor)、并行定理证明器、自然语言处理系统等高级知识程序设计软件,以支持有力的推理和知识处理。为评估PIM和探索知识处理的新领域,研制了几个实验性应用系统。总之,有关PIM的成果和基本软件远远超过了FGCS计划的初始研究目标。     

面向软件脆弱性的并行检测系统相关技术研究与实现

软件脆弱性作为信息安全问题的根源之一,对信息安全构成了严重威胁。当前,普遍使用的符号执行技术受限于运算复杂度和计算能力,无法实现大规模应用。为此课题组提出了基于动态符号执行的软件脆弱性并行检测系统。并行调度是软件脆弱性并行检测系统的关键技术之一,与系统的检测效率紧密相关。本文提出了基于节点状态的子系统调度算法和基于路径广度优先遍历的任务调度算法,分别实现了并行系统的子系统调度和任务调度。两个算法在实现上简单易行,并且具有很高的效率。本文对具体编程的细节进行了介绍和分析。     

高性能并行集群计算环境的构建与性能测试

高性能并行集群系统在大规模科学计算中发挥着越来越重要的作用．本文介绍了一个集群系统的硬件和软件环境的设置，并利用通用的测试基准对该系统的性能进行了实例测试和对比分析。     

企业经营分析系统的构件化开发研究

介绍了软件构件技术的基本概念,并提出了一个基于软件构件技术适合于各种不同领域的企业应用构件化软件开发的开发模型,接着利用此开发策略,描述了一个具体实例,即企业经营分析系统的构件化实现的详细过程,特别是讨论了系统构件类的具体划分和要求,以及系统实现的一些相关问题。     

面向领域的软件构件技术研究

广州市软件协会与广州市各大高校合作,于2005年初开始了广州市软件构件库的建设.该项目的目标是研发面向领域的软件构件库、构建软件构件库管理系统、形成面向领域的构件化应用系统.软件构件库建设的一期任务是医院管理领域应用.一期工程目前已经顺利完成,各项指标均达到预定目标.广州市软件构件库的建设,对面向领域的构件库的研究具有一定的参考价值.     

银河—Ⅱ并行程序设计环境

本文阐述的银河－Ⅱ并行程序设计环境ＫＤ－ＰＡＳＴＥ以相关分析理论为基础，充分挖掘应用程序的向量成分，并同时对程序的微任务化进行了探索。该系统功能齐全，使用方便，可移植性强。     

并行程序设计技术与设计环境的探讨

并行程序设计是发挥并行计算机效率的关键,它涉及到并行算法与并行处理技术,并行程序设计,软件重用,设计工具与设计环境等诸多专业方向的研究与应用,是当前并行计算机应用领域中的一个重要研究方向,本文重点讨论并行算法与并行程序效率评测,并行程序设计与重构,软件重用技术,以及并行程序设计环境。     

企业经营分析系统的构件化开发研究

介绍了软件构件技术的基本概念,并提出了一个基于软件构件技术适合于各种不同领域的企业应用构件化软件开发的开发模型,接着利用此开发策略,描述了一个具体实例,即企业经营分析系统的构件化实现的详细过程,特别是讨论了系统构件类的具体划分和要求,以及系统实现的一些相关问题.     

一种面向数据流程序的软件流水并行化方法

数据流编程被广泛应用于多媒体、图像处理和信号处理等领域.多核处理器为数据流程序提供了强大并行计算资源,如何利用多核处理器的并行性以提高数据流程序性能,对满足媒体处理等实时性需求具有重要意义.基于多核处理器提出了一种面向数据流程序的软件流水并行化方法,利用整数线性规划理论对软件流水中的计算、通信资源和流水线执行阶段等进行...     

高性能计算机并行计算环境的构建及使用效能情况

介绍了对高性能计算机进行并行计算时所必需的基本环境构建情况,包括ssh配置、编译器f90安装及设置、并行mpi软件配置等,还进行了高性能并行计算环境下的应用试验,如对气象并行软件grpaes进行了编译,并在指定相关节点的情况下实现了高性能运行计算。最后通过对高性能计算机进行并行效率试验,找出同样计算规模的grapes模式进行并行计算时所应使用的最佳节点数。     

基于三级并行的遥感业务化处理系统研究

分析了遥感业务化处理系统的现实需求,针对当前遥感业务化处理系统存在的不足,结合遥感业务化处理系统和遥感影像并行处理算法两方面研究的成果,提出了基于三级并行的遥感业务化处理系统设计方案,将数据并行、功能并行、任务并行融合到遥感业务化系统中,并在环境与灾害监测预报小卫星星座系统工程中得到应用,为环境减灾提供了快速的遥感处理支持。介绍了系统的体系结构,工作流程,重点研究了三级并行的实现方式,并借助产品实例对其性能进行了测试。结果表明,基于三级并行的遥感业务化处理系统设计方案能够有效的提高遥感业务化处理的效率。     

面向对象软件自动生成在检测系统中的应用

本文运用软件自动生成的方法在检测系统的应用领域内进行研究,通过对应用系统的归纳、抽象,建立了本系统的应用模型;然后运用面向对象的分析和设计方法对该模型进行应用描述、参数化和编译连接,提出了检测领域软件自动生成的设计方案,提高了软件的复用性.     

银河－Ⅱ并行程序设计环境

本文阐述的银河－Ⅱ并行程序设计环境ＫＤ－ＰＡＳＴＥ以相关分析理论为基础［１］，充分挖掘应用程序的向量成分，并同时对程序的微任务化［１］进行了探索。该系统功能齐全，使用方便，可移植性强。