高阶函数式语言到逻辑式语言的转换

本文给出高阶函数式语言到Ｐｒｏｌｏｇ语言的一种转换技术．其中主要用到抽象闭包分析、Ｌａｍｂｄａ提升、顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌ技术．本文的研究重点在于高阶性的处理上.     

Transputer多机系统在列车动力学并行计算中的应用

Ｔｒａｎｓｐｕｔｅｒ多机系统是实现高速计算的较为理想的工具。本文结合Ｔｒａｎｓｐｕｔｅｒ多机系统在列车纵向动力学计算中的应用，对Ｔｒａｎｓｐｕｔｅｒ多机系统的运行环境开发及应用进行研究。     

从FFT看并行程序设计特点：一个实例分析

本文通过在Ｍｕｌｔｉ－Ｐａｓｃａｌ并行程序设计模拟环境下，进行ＦＦＴ并行算法设计实验和定量的程序效率分析，总结出并行程序设计的特点，指出高效的并行程序的获得是由所求解问题的特点，并行自理系统硬件结构和性能特点及系统软件性能等诸因素动态作用下的优化组合。     

多处理机并行处理模拟器的设计与实现

“多处理机并行处理模拟器”是旨在帮助使用者巩固和加深对典型的并行计算机系统－－ＭＩＭＤ多处理机系统－－进行并行处理基本工作过程的理解，通过实际编写并行应用程序并对其模拟执行的过程进而引导其进行更为深入研究与开发的计算机辅助教学系统。通过对ＭＩＭＤ多处理机系统体系结构、编译器和操作系统基本牲的模拟，实现了对作业／作业步和ＤＯ循环级并行性的显式及隐式开发，依据“单独并行段”和“主动抽取”策略可对并行代     

可用合成原料数据库的建立

可用合成原料数据库是计算机辅助合成设计系统不可缺少的组成部分。本文介绍建立可用合成原料数据库所需考虑的几个主要问题：入库化合物的来源,入选原则,建立数据库的方法等。本文还简单介绍了已被步建成的含有３４００多个化合物的可用合成原料数据库。     

一种并行求解方法的研究及相关算法的分析

本文研究在分布式系统中如何利用分治算法来并行求解问题，并给出并行算法有效性度量和分析方法。     

基于符号计算研究一类6-SPS并联机器人运动学正解问题

并联机器人运动学正解问题是一个重要而且难以解决的问题．本文利用符号计算工具,应用Ｄｉａｌｙｔｉｃ消元法,对一类６－ＳＰＳ并联机器人的运动学正解问题进行研究．得到一个变元多项式方程,给出了正解的解析解．在此基础上确定其工作空间,求出其解范围内全部实解．此种方法对于一般６－ＳＰＳ同样适用     

一个基于面向对象方法的并行黑板系统的设计

本文论述了用面向对象的系统分析与设计方法和面向对象的编程技术构造大型、复杂的并行黑板实时控制系统的思想和方法。文章以四辊冷连轧机为对象给出了一个设计实例并给出了一个通用的实时控制并行黑板结构ＲＴＣＢ。贯穿全文的一个很重要的思想就是要致力于开发面向对象方法和黑板模型的潜在的并行、并发特性以及所构造系统的可扩充性和易维护性。     

并行和分布式计算机监测系统的全局时钟设计

在分布环境下高度精确、可靠并且具有容错和检错能力的全局时钟是并行和分布式计算机监测系统中的一个极其重要的组成部分,它直接决定子分布环境下监测工作的精度以至最终的监测分析结果,本文以并行和分布式计算机监测系统ＭＳ－１为例,介绍了一种全局时钟设计方案,这种设计方案结合数字技术和锁相技术,采用容错和检错设计,具有理想的精度和可靠性以及很低的连接成本,事实上,该时钟的设计思想可适用于任何分布式实时系统。     

计算机仿真中并行处理技术的研究

用多机系统进行并行仿真是解决大规模连续系统实时仿真问题的有效途径。多机并行仿真中关键要解决的问题，是如何有效地将一个仿真任务分配到多机系统上并发执行，并获得高的加速比。本文介绍了作者自行研制的并行仿真软件支撑环境ＰＡＲＳＩＭ，它可将一个传统单机上串行执行的仿真程序自动转换成在同构型多机系统上高效并发执行的并行仿真程序，并就并行性识别，多任务自动划分等问题展开了讨论，给出了相应的算法和应用实例。     

计算K（≥2）序线性递归N方程组的一种有效并行方法

本文提出计算K(≥2)序线性递归N方程组的一种有效并行方法,当k<相似文献   

旋转输入型并联机器人位置逆解分析的轨迹圆法

本文分析了几种典型旋转输入型并联机器人的机构形式和特点，提出了适用于各种旋转输入型并联机器人位置逆解分析的轨迹圆法，利用该方法可方便地进行位置逆解建模与求解、逆解情况（有无解及多解性）判断等，简化了位置控制算法     

并行文件系统PFS的设计与分析

并行计算机高速处理能力与低速Ｉ／Ｏ设备之间的矛盾目前已成为并行计算机系统中的主要问题之一，因此必须研制高性能的并行文件系统．。本文介绍的ＰＦＳ是为“八六三计划”中“曙光二号”并行计算机设计的并行文件系统，该ＰＦＳ分散Ｉ／Ｏ设备的管理到多个处理结点，使文件能交叉地分布在不同Ｉ／Ｏ结点所控制的物理设备上，以实现最大程度的并行访问。本文阐述了ＰＦＳ的基本设计、实现方法及其性能的粗略分析。     

基于环网的多DSP系统的并行算法的设计

在基于环网的多ＤＳＰ系统上,应用并行块处理的策略讨论了并行算法设计的调度模型;对可１００％利用的ＤＳＰ数目及调度模型的２个关键参数：块处理的时间和ＤＳＰ间的延迟时间进行了具体的分析;将ＤＳ寂的处理过程和Ｉ／Ｏ设备上的处理过程分开,得到了更加接近真实计算环境的调度模型;给出了算法的性能评价准则;对ＦＩＲ滤波器的并行算法进行了具体的设计和实现,在模拟环境下的测试结果表明,应用以上确定工模型的关键参数的     

一类递推方程的一个新的优化向量并行算法

本文提出一种新的解Ｋｏｇｇｅ和Ｓｔｏｎｅ所定义的一类递推方程的优化的并行算法，当采用ｐ台处理机，对规模为Ｎ的一类递推方程求解时，该算法的加速比为Ｏ（ｐ），其中１≤ｐ≤Ｎ＾１－ε，ε是一个任意小的正数，与已有的并行算法相比，该算法具有效率高，适用范围广的优点，该算法可以在ＥＲＥＷ ＰＲＡＭ模型机上实现，也可以在具有素数内存系统的流水线向量处理机上实现。     

特殊工艺约束下最小完工时间调度问题的新并行遗传算法

针对在特殊工艺约束下非等同并行机最小完工时间调度问题,设计了一个基于向量组编码的新的遗传算法。此算法的编码方法简单,能有效地反映实际调度方案,并能保证交叉和变异后染色体满足约束条件,收敛速度快。同时为更好地适应调度实时性和解决大型企业此类问题的需要,在基于遗传算法自然并行性特点的基础上,实现了主从式控制网络模式下并行遗传算法。仿真结果表明,此算法是有效的,优于普通的遗传算法,具有较高的并行性。     

大规模并行处理系统互连通信的新技术研究

本文综述了大规模并行处理系统研究了工作的概况，指出其研究热点和关键技术是实现高效的互连通信。文中重点介绍了该领域的研究内容：结点结构、网络接口、切换技术，拓扑结构，路由算法，通信机制，通信协议，计算模型等。     

PARALLEL PROCESSING FOR CHROMOSOME RECONSTRUCTION FROM PHYSICAL MAPS - A CASE STUDY OF MIMD PARALLELISM ON THE HYPERCUBE

Ordering clones from a genomic library into physical maps of whole chromosomes presents a pivotal computational problem in genetics. Previous research has shown the physical mapping problem to be isomorphic to the NP-complete Optimal Linear Arrangement (OLA) problem for which no polynomial-time algorithm for determining the optimal solution is known. Serial implementations of stochastic global optimization techniques such as simulated annealing yielded very good results but proved computationally intensive. The design, analysis and implementation of coarse-grained parallel MIMD algorithms for simulated annealing on the Intel iPSC/860 hypercube is presented. Data decomposition and control decomposition strategies based on Markov chain decomposition, perturbation methods and problem-specific annealing heuristics are proposed and applied to the physical mapping problem. A suite of parallel algorithms are implemented on an 8-node Intel iPSC/860 hypercube, exploiting the nearest-neighbor communication pattern on the Boolean hypercube topology. Convergence, speedup and scalability characteristics of the various parallel algorithms are analyzed and discussed. Results indicate a deterioration of performance when a single Markov chain of solution states is distributed across multiple processing elements in the Intel iPSC/860 hypercube.