分布内存系统中流水并行代码的自动生成

并行循环分为DOALL和DOACROSS。DOACROSS循环携带数据依赖,在并行执行时需要通信支持,对于可以精确分析依赖关系的DOACROSS循环可通过流水并行方式提高性能。该文针对流水并行代码的自动生成进行讨论,包括数据依赖关系图和流水关系图的建立、流水并行判别准则和流水代码的自动生成等。实验证明流水并行后能获得较好的加速比。     

适用于分布式静态检测的Java代码依赖性分析技术

为满足Java静态分布式检测系统对Java程序源代码解耦分包的需求,解决代码检测单节点单进程运行耗时过长问题,实现分布式检测系统单任务多节点并行运行的目的,本文提出了Java源代码文件间依赖性分析方法.该方法以生成源代码文件抽象语法树的方式抽取文件文本信息,遍历分析抽象语法树,获取文件与其他源代码文件类依赖关系,再通过定位类所在的文件方式得到文件与文件之间依赖关系.同时,以无入边顶点的带环有向图表示文件间依赖关系图,本文提出的方法基于该图进行了文件间解耦的分析.最后,通过对示例程序逐步剖析的实验以及对数个开源工具源代码解耦拆分的实验,验证了本文提出的文件间依赖性分析方法的可行性.     

并行程序验证的调度策略

针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。     

一种包含异常传播的类间数据依赖分析方法

类间数据依赖分析是类间数据流测试的基础。本文通过分析类簇级测试中的异常传播对程序数据依赖的影响,提出一种包括异常结构在内的类间C++程序数据依赖分析方法,根据类间关系增量式地构造类间数据依赖图,并给出类间数据依赖图的构造算法。最后,在程序切片中应用了该数据依赖分析方法。结果证明,该方法通过分析异常传播对数据依赖的影响能够带来切片精度的提高。     

对SUIF中依赖关系分析技术的研究与改进

介绍了SUIF中作为并行化依据的数据依赖关系分析技术,并针对其未将分析结果加以保存的不足,利用SUIF系统提供的遍、注释等技术,通过对依赖关系库和遍skweel的修改,对依赖关系分析的结果进行提取,并以注释的形式输出到SUIF中间文件中。     

有向图并行计算中的多目标剖分算法

在以离散网格为基础的某些数值模拟中,网格间的数据依赖关系可以抽象为有向图．如何剖分这些有向图成多个子图,将各子图对应的数值模拟任务映射到不同的处理机,是该类数值模拟并行计算的基础．剖分算法中,需要综合考虑连通性、并行度、负载平衡、通信开销四个目标．文章在传统有向图剖分算法的基础上,提出了一个权衡这四个目标的有向图多目标剖分区域分解算法．应用于二维非结构网格上的柱对称中子输运并行计算中,通量扫描并行算法在该区域剖分算法上获得的并行效率比原来的无向图区域剖分算法高50％以上．     

一种基于通知波动效应的面向方面系统依赖图构造方法

为更好地分析面向方面程序中的控制依赖关系和数据依赖关系,需要对面向方面程序构造系统依赖图。本文针对面向方面程序的结构和机制,考虑通知优先级对程序依赖关系的影响,提出通知波动效应图(AFG)及其生成算法,从而构造基于通知波动效应的面向方面系统依赖图(AOSDG)。此方法构造的系统依赖图能够更准确地表示面向方面程序中的依赖关系,且构造成本相对较小,可应用于面向方面程序切片。     

并行性挖掘的图文法方法

并行性分析技术一般通过对程序的控制与数据流图或相关依赖图的分析来实现,因而需要从程序中抽取出相应依赖图的算法的支持.本文基于上下文相关图文法RGG形式框架,定义了一种任务级的并行编程图语言GPPL来直接描述顺序或并行程序的控制与数据流图,而且设计了相应的并行性分析算法以挖掘GPPL图程序的并行性特征.GPPL图语言可视为并行程序设计与程序代码生成之间的协同语言,从而使并行性挖掘避免了从程序中抽取出相应依赖图的过程.与已有的描述顺序或并行程序的图语言及其分析算法相比,GPPL图程序形式更为简洁和直观,易于设计,描述能力也更强;基于GPPL图的并行性分析算法的分析能力更强,而且具有可扩展性.     

JAPS中并行性分析的设计与实现

并行性分析技术是并行编译器中的关键分析技术，也是这一领域研究的热点问题，其目的是对串性程序进行依赖关系分析，提取可并行成分，并在此基础上对串行程序进行变换和分割。文章主要讨论了在基于JAVA的自动并行编译系统JAPS中，并行性分析模块的设计框架和实现方式。     

基于依赖分析的并行化验证策略

提高验证过程的并行性是提高程序验证效率的重要手段之一。为此,提出一种基于控制结构依赖分析的方法来组织程序的并行验证,在验证过程中,并行验证完的控制结构直接触发支持控制结构,无须等待其他操作,从而可以提高程序验证的并行性。此外,还给出提取控制结构依赖图算法和验证过程调度算法,并用实验证明其正确性和高效性。     

基于描述逻辑的带依赖属性UML类图

分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。     

Ladder Climbing Method for the Limb Mechanism Robot ASTERISK

A ladder climbing method for the limb mechanism robot ASTERISK is proposed. This robot has six legs. The upper three legs hold on to the upper rung from both sides alternately, just like pinching it. The lower three legs hold on to the lower rung in the same way. Hence, the robot can take hold of the ladder stably. First, the robot releases the left upper and lower legs from the current rungs, and hangs them on the next rungs while supporting itself with the other four legs. Then, the mid two legs and the right two legs are moved to the next rungs in sequence. Finally, the robot lifts up its body using the six legs. Depending on the relative pose of the robot to the ladder, the robot automatically selects the legs that can support vertical and/or horizontal forces applied by the rungs. The robot then distributes its weight to the legs supporting the vertical force based on their force margins. The legs that cannot support forces are controlled to always touch the rungs slightly in order to pinch the rungs with the other legs. The advantages of the proposed gait and control method are verified by analysis of the leg workspace for generating the ladder climb gait, analysis of the range of force direction that the legs can support, analysis of the joint torques required for ladder climbing and an experiment on force distribution. Finally, the range of ladder pitch variation that ASTERISK can climb is clarified.     

Voronoi图k阶邻近并行矩阵迭代算法

针对Voronoi图k阶邻近矢量法构建复杂发生元困难,栅格法耗时长、精度受限等问题,提出了一种基于矩阵迭代的并行计算方法。以刀片机作为并行计算的硬件平台,采用Arcgis软件将MapInfo格式矢量数据转换为栅格数据,实现了MPI并行环境中Voronoi图k阶邻近的栅格计算新方法。实验结果表明,改进后的Voronoi图k阶邻近栅格并行算法明显地提高了计算效率,且在栅格Voronoi图精度较高时,运行时间的拐点后移,加速比提高。     

基于三支决策的两阶段实体关系抽取研究

实体关系抽取作为信息抽取研究的重要研究课题之一,对知识图谱数据层的构建有着重要的意义。提出一种基于三支决策的两阶段分类技术实现实体关系抽取,首先构建SVM三支决策分类器实现第一阶段实体关系抽取,采用softmax多分类函数作为三支决策概率函数,然后采用KNN分类器对三支决策分类后的中间域样本进行二阶段分类。以ACE2005的语料作为实验数据,将三支决策两阶段分类结果与传统SVM方法分类结果进行比较,实验结果表明,基于三支决策的两阶段实体关系抽取方法取得了很好的分类效果。     

关于软PLC梯形图向语句表转换方法的研究

以行双向链表作为梯形图数据结构,记录梯形图载有的信息,确保梯形图的正确显示和存储;从有向图的角度出发,经过顶点扫描﹑弧扫描﹑和构图,将梯形图映射至AOV网;根据顶点在AOV网中位置关系的不同,研究转换算法的实现。     

梯形图转语句表的等效网络合并方法研究

目前常用梯形图转语句表方法有拓扑排序、二叉树、广义表、串并联归并等,但在梯形图编辑软件中难于直接同图形编辑的描述对应起来,编程难度也较大。为解决这些问题,提出了一种等效网络合并方法,采用一个矩阵和相关的PLC梯形图符号来描述一个梯形图,并用一种类似于电阻网络的合并算法来实现梯形图的合并,变成一个最简化的合并图,然后再从该合并图生成语句表。该方法在编辑软件中梯形图的描述与转语句表运算采用完全相同的数据结构,并可从编辑软件中动态绘制梯形的合并过程,具有直观、易于理解、易于编程等优点。     

一种基因本体术语间的语义相似度计算方法

计算基因本体中的术语的语义相似度是基因本体的一个重要应用。基于信息量和基于距离的语义相似度计算方法都只从各自的角度计算术语间语义相似度。提出了基于基因本体中术语所在有向无环图的计算方法。该方法既考虑了术语的祖先对其的信息量的影响,又考虑了术语所在的位置以及术语间的语义联系类型。实验结果表明该方法有较高的准确度。     

基于SAO结构的非分类关系抽取研究

针对非分类关系抽取中的关系识别问题,提出利用SAO结构和依存句法分析相结合的识别方法。该方法将中文专利领域的非分类关系抽取问题转化为符合SAO结构的识别问题,通过SAO结构中的动词信息可以解决关系识别的问题,并在此基础上,利用依存句法分析得到的依存关系强度结合传统的特征,分别对新特征、词特征、上下文特征、距离特征的有效性进行验证分析。实验结果表明,该方法优于传统方法,也验证了依存句法分析在非分类关系抽取中的可行性。     

外部压力法（EPM）的二值图像骨架提取

提出了基于边界外部压力的二值图像结构化骨架提取方法。先标记出二值图像的边界,判断各个边界点的受力情况,通过三个条件判断各个边界点是否为骨架单元。迭代这一过程,直到没有新的骨架单元产生,即得到初步的骨架结构。通过对骨架中3×3区域内骨架形状分析,对骨架中的冗赘单元进行查找并删除。将该方法得到的骨架结构图与软件Matlab 6.5骨架提取函数（Bwmorph）得到的骨架结构进行了比较,表明用该方法得到的结果比Matlab 6.5中得到的骨架线条更平滑,而且细小分枝更少。将该方法应用到海表温度锋面的提取上,结果显示锋面位置与结构准确,说明利用该方法进行骨架提取是可行的。     

基于CCRF的领域本体概念上下位关系抽取

现有领域本体概念上下位关系抽取方法受到手工标注和特定模式的限制。针对该问题,提出一种基于层叠条件随机场的领域本体概念上下位关系抽取方法。以自由文本为抽取对象,采用两层条件随机场算法,将训练数据处理成条件随机场能识别的线性结构。低层条件随机场模型考虑词之间的长距离依赖,对词进行建模,识别出领域概念并对概念进行顺序组合,结合模板定义特征得到概念对;高层模型对成对概念进行上下位语义标注,识别出领域本体概念之间的上下位关系。采用真实语料进行实验,结果表明,该方法具有较好的识别效果。