异构计算开发最大循环并行性

首先给出了循环最大加速比的定义,它是循环体中隐含并行性大小的度量,并且讨论Do循环的各种类型和它们的相关性以及隐含的并行性．在异构环境中,如何开发这些并行性,文中给出了几种方法,这就是异构计算消除串行瓶颈,异构Do-all-loop调度,异构Do-aross调度．无论在理论分析还是在实验结果上,这些方法所得得的计算性能都优于同构计算．     

Prolog语言特点综述

对Ｐｒｏｌｏｇ语言的产生和发展过程作了清晰的介绍，重点将Ｐｒｏｌｏｇ这种逻辑型程序设计语言与其它语言进行了深入的比较研究，解释了Ｐｒｏｌｏｇ语言在描述、解问题方法方面所独具的突出特点。     

解释学习在机器人过程控制中的应用

机器人过程控制是智能机器人系统的一个特别重要而又十分复杂的研究课题。本文将解释学习应用于机器人过程控制，为之开发了一种新的方法。仿真结果表明，该方法可行、有效。同时，还尝试了将Ｐｒｏｌｏｇ语言作为机器人过程控制的运行机制的形式化表达工具的可能性。     

数据相关性分析的非精确算法

提出了一种行之有效的数据相关性分析的非精确算法．对该算法在运行效率及可行性上进行了详细分析，并在数据相关性分析非精确算法讨论的基础上，提出了一种对相邻循环进行并行性开发的一种新的程序转换技术，从而解决了相邻循环程序之间可并行执行程序段的转换问题．在多CPU高性能计算机的硬件环境下，为设计出高效率的、适合于并行处理环境的软件系统提供了一种有效的算法．     

冷冻电镜三维重构在CPU-GPU系统中的并行性

为了有效地发掘和利用异构系统在应用和体系结构上的并行性,以冷冻电镜三维重构为例展示如何利用应用程序潜在的并行性.通过分析重构计算所有的并行性,实现了将动态自适应的划分算法用于任务在异构系统上高效的分发.在曙光星云系统的部分节点系统(32节点)上评估并行化的程序性能.实验证明:多层次的并行化是CPU与GPU异构系统上开发并行性的有效模式;CPU-GPU混合程序在给定问题规模上相对单纯CPU程序获得2.4倍加速比.     

基于模糊理论的人才双向选择问题应用软件

基于模糊集理论开发了一种人才双向选择应用软件，由该理论在［０，１］区间取值及隶属函数等概念，把模糊命题量化，在构造关系矩阵基础上，对其中每一元素用真值、导出置信度、综合真理值进行检验排出无效元素，经排序得出所需结果，实用结果表明，用Ｐｒｏｌｏｇ语言开发的应用软件运作的结果与人为的主观判断一致。     

Prolog与C程序连接的实现技术

在图形用户界面广为流行的今天,人工智能程序设计大多仍基文本方式,通过程序连接的方式,人工智能程序也可以具有漂亮的ＧＵＩ界面,Ｐｒｏｌｏｇ是逻辑程序设计语言,Ｃ是过程型语言,Ｐｒｏｌｏｇ程序与Ｃ程序的连接为Ｐｒｏｌｏｇ提供了更强的计算能力和ＧＵＩ功能也为Ｃ语言的应用提供了智能推理能力。基于Ｔｕｒｂｏ Ｐｒｏｌｏｇ２．０和Ｔｕｒｂｏ Ｃ２．０,本文结合程序实例介绍了Ｐｒｏｌｏｇ程序和Ｃ程序的接口程序设     

基于Petri网的文件并行传输优化方案

Petri网是一种适合于描述异步并发现象的计算机系统模型.Petri网理论的分析方法和技术既可用于静态的结构分析，又可用于动态的行为分析，最适合表示事件之间的并行性和自然相关性.因而，用Petri网来描述、分析和研究并发现象有独特的优越之处.在分布式网络环境下文件并行传输方案的设计中,传统的分析方法是采用线性规划，这样往往需要求解庞大的线性方程组.基于Petri网的文件并行传输优化方案可大大简化这一过程，并能达到更直观、更理想的效果.     

专家系统中知识库的物理组织方法

论述了专家系统中知识库的组织原则，在对计算机上如何实现知识库的物理组织问题，提出可以采用顺序文件索引文件，多重链接表文件倒排文件及排列文件等方法来组织知识库，并用Ｐｒｏｌｏｇ编制了相应的程序。     

课程建设评价模式的探索与实践

课程建设评价模式是内含于课程评价模式而实践性程度颇为复杂的一项教学建设活动。本文针对课程评价的三种静态理论特点，以教育建模的思维加以借鉴，尝试在实践活动过程中建立综合化课程建设评价模式。     

截断谓词的研究与分析

回溯机制是Visual Prolog程序运行的重要机制,是获取所有可能解的一种方法.但在实际问题的解决过程中,有时却不需要回溯.Visual Prolog提供的内部谓词-截断谓词“!”可以用来阻止回溯,而且从某种意义上讲,只有学会了截断谓词的使用,才能自由驾驭Prolog.文章主要结合实例对截断谓词的作用以及使用方法进行了详细介绍,并指出了截断谓词的作用本质上是删除满足一定条件的回溯点。     

传递矩阵法在风力机塔架动力学分析中的应用

根据风力机圆筒型塔架和基础的结构特点,将塔筒简化为无质量梁单元和集中质量单元的组合,并将塔架基础简化为平动弹簧阻尼系统和扭簧扭阻系统的组合。使用传递矩阵法构建了风力机塔架及其基础的动力学分析模型。对某滩涂型风力机塔架进行了自振频率及振型分析,分析结果同测试结果和有线元结果基本相同。传递矩阵法相对于模态分析法和有限元法具有建模容易,计算速度快等优点,非常适合风力机塔架的结构动力学分析。     

Visual Prolog与Visual C++混合编程技术研究

分析了V isual Prolog论域与C数据结构的对应关系以及函数、谓词的调用约定,讨论了V isual Prolog与V isual C 进行混合编程的实现方法,并通过二者相互调用的代码演示了该方法,从而将VC与V isual Prolog的优势有效的结合起来,使智能应用的开发简单而高效。     

CFRP索斜拉梁面内自由振动建模及参数分析

利用张紧弦和欧拉梁振动理论分别描述斜拉梁结构中索与梁的振动,通过索梁连接处的动态平衡条件,建立斜拉梁平面内自由振动理论.利用传递矩阵法和边界条件对斜拉梁结构平面内自由振动的特征值问题进行求解.同时,建立斜拉梁的有限元模型,有限元法所得结果与本文理论研究非常吻合,证明了本文理论和方法的正确性.最后对CFRP索斜拉梁平面内自由振动进行参数分析.研究表明,CFRP索斜拉梁的基本动力学性能优于传统钢索斜拉梁.     

连接子结构法及其在沸腾冷却床动力分析中的应用

采用连接子结构法计算120T/H沸腾冷却床结构的动力学特性,将整结构分成3个子结构,中间连接件部分取作连接子结构,利用位移及力的双协调条件,综合得到了整体结构动力学方程,求得了其前5阶固有频率及振型,并与ANSYS程序的计算结果进行了比较,二者吻合良好.为了验证计算模型及计算方法的合理性及可靠性,设计了冷却床实验模型,并对实验模型进行了理论计算,通过对比实验结果及理论计算结果,证实理论计算模型及方法合理可靠.与ANSYS方法相比,所提出的连接子结构法大大降低了系统自由度,提高了计算效率.通过对沸腾冷却床的振型分析,找出了设计中存在的缺陷,从而可为产品改进设计提供理论依据.     

塑料注射成型过程工艺参数设置专家系统

对专家系统和用于实现专家系统的Prolog语言及其编译环境Visual Prolog作了简述。并应用Prolog语言实现了注射成型过程工艺参数设置的专家系统ES-IMPPS（Injection Molding Process Parameters’Setting），并将此专家系统在Visual Prolog中运行，通过设计的实例表明：用Prolog语言编写的此专家系统，符合注塑过程工艺参数的设定要求，而且运行速度快，程序容易理解。     

栅控电子枪部件的模型修正方法

在进行结构动力分析时,建立具有尽量精确的动力特性如固有频率及固有振型的计算模型是十分重要的,计算模型的正确与否直接影响进一步动力分析(如瞬态动力响应、谐分析和谱分析)的计算结果.但是通过实验得到的固有频率及固有振型实测结果与有限元模型的计算结果通常都存在偏差,因而有必要在实测结果的基础上对有限元计算模型进行修正.以栅控电子枪部件为对象,讨论了结构系统模态分析中的模型修正的一些方法.并运用这些方法对栅控电子枪部件实施计算想的振型与固有频率及相应振型.     

机械结构有限元建模动态凝聚技术的应用

探讨了较为实用的模态凝聚法在求解结构动力特性时的误差问题。实践表明,利用模态凝聚技术对复杂机械结构有限元模型的自由度进行大幅度减缩后,其动力特性的计算精度与保留的模态数以及阻尼的大小有关。     

Prolog的语义保持变换

程序变换方法在逻辑程序中的应用主要是基于这样的理论结果,即Fold/Unfold变换保持了逻辑程序的最小Herbrand模型语义和答复转换集语义,但是当逻辑程序的实现采用标准Prolog系统的最左计算规则和深度优先查找规则时,变换后的程序未必能保持原程序的语义,此外,程序的语义等价性证明也往往是难以理解和阅读的,为此,首先用与计算SLD－树叶结点有关的答复置换序列算法的方式,引入一个相对易于理解的Prolog语义定义,然后给出有关的语义保持变换规则并加以证明。     

车桥耦合动力学系统模态综合分析

由于桥梁上的车辆荷载是一个带有质量的振动系统，从而使得桥梁在该荷载作用下的动力响应问题比一般结构动力系统的响应问题更复杂。车辆和桥梁可看成一个整体耦合动力学系统的两个分支，并引入模态综合法来分析其动力响应。结果表明利用模态综合法可以将车辆与桥梁之间的边界作为系统的内部耦合条件，从而使边界条件比较明确。