顺序程序并行转换系统通过专家鉴定

我校计算机系分布式程序设计科研组研制完成的七·五攻关项目——顺序程序并行转换系统,1990年11月16日在我校通过由南京大学主持的专家鉴定.这套系统能把FORTRAN 77顺序程序转换成MIMD系统上运行的并行FORTRAN程序,使得微型机所组成的分布式系统具有大中型计算机的计算能力,从而大大提高了程序的执行效率.     

顺序程序并行转换系统中程序中间表示的管理与维护

研究了基于并行分布式环境下的顺序转换系统中有关程序中间表示的管理与维护，讨论了顺序的转换过程的可视性与可干预性，并讨论了用图定义引导生成对程序相关图（ＰＤＧ）操作等方面的问题。     

UML在本体开发中的应用

分析了将UML运用于本体开发的原因，介绍了一种将OWL本体通过UML类图向面向对象语言转换的方法，讨论了OMG与W3C标准转换存在的问题，提出了改进的方向。     

顺序程序并行转换系统通过专家鉴定

由我校计算机系分布式程序设计科研组完成的七·五科技攻关项目——顺序程序并行转换系统于1990年底在我校通过由南京大学主持的专家鉴定.鉴定委员会认为,该系统设计思想新颖、系统运行稳定,在转换技术及算法方面有所创新,处于国内领先地位,具有80年代中后期国际先进水平.     

关于调和图的一些结果

本文讨论调和图的边数以及调和转换的一些应用，本文提供了关于调和图边数的由顶点数表示的上界，并且给出一种可用于将调和图标号转变为序列标号的方法。     

从控制传播图导出分层结构图

为了转换数据流图成为结构图,引入了一种新的图形工具即控制传播图(CSD)。控制传播图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文着重讨论从控制传播图导出分层结构图的基本原则和方法。     

并行计算在分布式环境下的一种实现方法

介绍了一种并行计算的实现方法．通过在顺序程序中加入两种进程操作原语，用户就能使其应用程序在分布式环境下并行执行，从而提高速度．     

时序逻辑电路的次态卡诺图分析法

讨论了同步时序逻辑电路的次态卡诺图分析法与异步时序逻辑电路的次态卡诺图的分析法,这两种方法分别是利用状态方程给出各触发器的次态卡诺图,并由次态卡诺图画出状态转换图以及利用状态方程和时钟方程绘出包含“动令”在内的各触发器的次态卡诺图,并由次态卡诺图画出状态转换图,该法是１种分析时序逻辑电路功能的新方法。     

转换波勘探的若干问题

根据仁苏和四川油区转换波勘探试脸的结果,作者讨论了转换波应用中的四个问题,首先由大t的AVO曲线的分析,提出了主转换波的概念,确定了主转换波的波型;确定了接收主转换波的最佳未集范围。其次讨论了在实际地襄图中如何识别转换波。然后,文中介绍了转换波共转换.点(CCP)登加的一步法[lj,将反射点精确归位、非双曲线动校和CCP受加一步完成.最后讨论了转换波钊面的地质意义.     

基于峰值频率特征的音-图转换音频隐密分析

为了分析音-图转换音频隐密方法嵌入的秘密信息长度，通过考察音-图转换后小波系数直方图的分布特性，提取出与嵌入容量成线性关系的峰值频率特征，建立了线性回归模型，根据音-图转换后小波系数子带选取的不同，确定不同的嵌入方案，并针对这些方案进行了相应的隐密分析，实验结果表明：所提特征与秘密信息长度之间存在显著的线性相关性；同时，对于音-图转换隐密算法性能如不可感知性、提取信息正确率等有重要影响的隐密参数TH，对回归模型参数的估计值影响较小，所提出的方法可较为准确地估计出利用音-图转换隐密方法嵌入信息的长度。     

基于MPI/OPENMP混合编程的三维粒子模拟并行优化

针对MPI、OPENMP并行程序各自存在的缺陷,将MPI与OPENMP结合起来,实现了MPI/OPENMP混合并行编程;通过实验对MPI、OPENMP并行程序及MPI/OPENMP混合并行编程进行了分析.实验结果表明:MPI/OPENMP混合并行编程可以大大减少通信量,其效率和加速比均优于纯MPI并行程序,克服了MPI并行程序中因粒子分布不均匀使负载不均衡而导致的程序性能下降的问题,使得可以利用集群中的更多结点来进行计算,缓解了MPI并行程序的通信延迟问题;同时,MPI/OPENMP混合并行编程克服了OPENMP并行程序依赖于单台计算机处理能力和存储空间的问题,大幅度提高了模拟规模.     

关于串行程序并行化

并行程序设计主要有两种途径,即使用并行程序设计语言编写并行程序,或将串行程序并行化.串行程序并行化是一种比较有效的并行程序设计的途径.通过介绍并行技术的现状及相关分析的一些定义,给出了一个关于在串行程序中识别可并行执行语句的算法,论述了这一算法的意义.     

基于时延Petri网的并行程序的分析

在分析并行程序时,很多问题需要考虑,如通信、同步、数据划分和分配、负载平衡、容错、异构、死锁及竞争等问题,采用一般方法是很困难的.时延Petri网能够很好地描述这些问题,使并行程序的分析变得简单,且有利于并行程序的分割.给出了并行程序的时延Petri网建模方法,并对一个实例进行了分析,得出了并行程序的Petri网模型,对并行程序的分析及验证打下了基础.     

MPEG-程序流的软件合成实现方案

对MPEG2程序流语法格式进行分析，利用计算机的并行处理技术，提出了基于微机的MPEG-2实时音视频编码时的程序流合成方案。     

一个并行程序开发环境的研究与实现

文章介绍一个面向普通ＰＣ互连构成的多处理机系统的并行程序开发环境ＰａｒａＤＫ．ＰａｒａＤＫ由并行程序设计语言ＰａｒａＣ、并行操作系统ＰａｒａＯＳ和一个并行程序调试工具组成．ＰａｒａＣ是标准Ｃ＋＋扩展了支持并行的宏与库函数而成．ＰａｒａＯＳ在ＭＳＤＯＳ基础上增加了并行处理所需功能并支持多线程．对ＰａｒａＯＳ的多线程机制和线程间同步与通信的方式作了较详细的讨论，并简要介绍了并行调试工具的功能．     

近似相对论与非相对论密度泛函理论高精度计算方法和程序

在已有的高精度非相对论密度泛函理论计算程序中编入新的方法进行近似相对论密度泛函计算、产生对称性群轨道和实现解析能量梯度计算及几何构型自动优化功能的程序。改进了原有程序的数值积分方案并且在MPICH环境下实现了程序的并行化。程序能满足对各种体系,特别是含重元素的体系进行量子化学计算的一般要求。对扩展后程序的功能和结构做了简要介绍。     

异构计算的一种可移植编程模型及实现

介绍了异构计算的一种编程模型．该模型处理的对象是任意非一致的求解任务映射到任意非一致的系统结构上．文中分别给出了任务图的分簇算法,系统图的分簇算法和映射算法及实例．利用该模型可设计出可移植的并行程序,然后调度到可动态配置的异构计算机组织上运行     

科学实施大学生创新性实验计划

从大学生创新性实验计划实施的关键环节入手,以有效实施该计划、科学合理评价计划项目为出发点,在宣传推广、立项准入、搭建研究平台、中期检查、经费管理、结题验收等方面作了积极的探索与实践,以保证该计划的有序开展、高效运行并得到可持续发展。     

一类构造性几何定理并行数值检验证明机

为实现构造性几何定理机器证明的数值并行法，作者提供了一个证明机，它适用于由所谓“直线程序”构造的语句。     

一种面向应用的开放式并行操作系统的设计原理

设计了一个能降低系统自举时间，避免系统调用瓶颈，容错，动态可变以及面向应用的开放式并行操作系统。系统范围的消息传递是低延迟高效率，把并行操作系统设计成一族程序模块，并行应用是这个族不可缺少的组成部分，利用面向对象来高效地实现这样的并行操作系统。