扩充OpenMP并行编程模型支持事务存储执行

虽然OpenMP是多核体系结构上的流行多线程并行编程模型,但是OpenMP编译器不检查数据相关性、访问冲突和其他可能导致程序错误执行的问题,这些问题传统上完全依赖用户使用锁机制来保证程序的正确性.锁机制的并行编程中存在并行程序效率和并行编程难度的矛盾.粒度大的锁机制编程容易,可应用的并行性挖掘比较差;粒度小的锁机制应用的并行性挖掘较好,可编程难度大,容易带来优先权倒置、死锁和锁护航等问题.通过动态二进制插桩技术,扩充OpenMP支持事务存储执行功能,可有效缓解OpenMP并行编程中并行程序效率和并行编程难度之间矛盾.     

Auto－DB的编译器的原理

程序方式是自动编程数据库管理系统ＡＵｔｏ－ＤＢ提供的最重要的运行方式Ａｕｔｏ－ＤＢ的编译器是一种解释性编译程序，它的任务是将用户提供的非程序信息，编译成目标程序．它具有小型、简捷、结构化等特点，本文以查询操作为例介绍了Ａｕｔｏ—ＤＢ的编译原理．     

Java语言中数组做方法参数的深入分析

介绍了Java语言中数组的概念和访问方法，深入分析了数组做方法参数和返回类型的使用方法及注意事项，并论述了在软件开发中如何巧妙、正确地使用它们，从而大大提高程序的方便性和通用性，最后针对每种情况举了相应的实例和内存变化图来加以说明，尤其指出了数组做方法参数的各种情况的使用区别。     

波前法有限元网格生成中Schoenhardt类多面体的剖分

基于推进波前法实现三维有限元网格自动生成中，在网格生成的最后阶段，不可避免地遇到Schoenhardt类多面体，波前三角平同找不到相应顶点，从而导致有限元网格自动生成的失败，本文通过移动剩余多面体某个顶点的方式，使Schoenhardt多面体的某一边成为凸边，并给出了问题的解决方法和具体的递推算法。     

控制多面体邻接多重表的单链三表结构

介绍了在闭曲面造型研究中，为描述控制多面体M的几何信息和拓扑信息而设计使用的一种单链三表的数据结构、与其他适用与描述控制多面体的数据结构相比．该结构在结合了邻接多重表方法后的特点是：关系描述清楚，节省存储空间，方便查找和交互修改形体在介绍单链中三表(面表、边表、顶点表)所含的几何信息细节、以及单链的三表之间的表示面、边、顶点拓扑关系的指针的邻接多重连接方式之后，本文给出了以C语言数组方式简明描述的数据结构实例．     

Floyd算法的一个通用程序及在图论中的应用

给出了图结构中Floyd算法的一个通用程序,并应用该程序提出了图的许多重要性质的充分必要判别条件和图论中若干重要问题的不同于传统的新解法．提出的实现动态数组的思想对设计以多维数组为参数的通用程序具有普遍意义．     

按序选取的并行存储系统数据分布方式研究

针对采用轮转方式的并行存储系统在增加新存储节点后的重均衡操作中移动数据量大、资源消耗高的问题,提出了按序选取的数据分布方式.它通过多次模拟数据重均衡操作来完成并行存储系统的数据分布,从而使得系统更易于节点扩展.基于此,又提出了优化按序选取方式,这样可以通过改变数据抽取规则来提高按序选取方式的访问并行度.理论分析和模拟实验表明,采用所提方式的并行存储系统,数据重均衡操作均可达到零无效移动率,从而最大程度地减少数据的移动量,降低系统的资源耗费.     

在CROMEMCO Z-80微型机上运行较大型程序的方法及其实现

八位微型机受硬件的限制,不能象某些小型、微型机那样,通过硬件的地址变换机构,使一小逻辑空间与一大实地址空间相对应,从而扩大可访问的地址空间[4]。因此,针对较大程序的一般特点:1.程序本身较长,2.数组体积较大,我们从软件的角度出发,设计并已实际应用了以下两种方法──数组虚拟存贮法和内存连体运行法,成功地在微型机上运行了较大型的程序。上述方法是在CROMEMCO Z-80微型机上实现的,也可以移植到其它类型的微型机上。 一、数组虚拟存贮法 基于CROMEMCO Z-80微型机外存容量较大的优势,加之其配有Z-80 DMA器件,具有存取速度较…     

波前法网格生成中最后剩余多面体的剖分

在利用推进波前法实现三维网格自动生成中，在网格生成最后阶段，不可避免地遇到波前三角平面找不到相应顶点，而导致不能生成新单元的困难。本文通过将剩余多面体与之相临的四面体单元合并，或者移动剩余多面体某个顶点的方式，给出了解决方法。     

一种裂隙岩体力学参数的评价方法及应用

针对裂隙岩体的力学参数选取问题，提出了一种两阶段评价方法.通过裂隙岩体力学参数的三维空间分布情况，评价其各向同性与各向异性状态，对两类情况采用不同的计算模型处理；采用Kolmogorov-Smirnov(K-S)检验法对力学参数的概率分布模型进行假设检验，对检验合格的试验数据分布进行置信区间选取，在给定的置信区间内获取计算参数.在某地下硐室工程中运用该方法进行了开挖模拟计算，计算位移与实测位移吻合较好.     

基于ORC的OpenMP编译器设计与实现

该文提出了一种OpenMP翻译技术,旨在提高OpenMP编译系统的性能,并在这种技术基础上构造了一个完整的基于ORC的OpenMP编译系统。系统采用了下面的主要技术来提高性能:1)系统集成在后端的优化编译器中,具有更多的优化机会,并可以采用更为精细的开销模型;2)提出了一种基于指导语句全局嵌套类型的OpenMP翻译技术,可以有效地减少翻译代码的长度,并减少运行时开销。这个OpenMP系统从设计开始,就是为了提供一个合适的编译技术研究平台,具有更好的可控制性、可调试性和丰富的工具支持。     

带有一个余凸约束的凹极小

针对在线性约束加一个余凸约束的条件下，求拟凹函数的全局极小问题，提出一个先构造包含整个可行域的单纯形，然后在目标函数值最小的极点附近逐步予以修正，使之局部重合于可行域的凸包，而得到问题的全局最优解。算法采用分枝和割平面相结合的技巧，对于凡能计算函数值的拟凹函数和凸约束函数，算法就易于执行，并具有有限步终止的收敛性质。由于算法仅在目标函数小的局部搜寻可行域的极点，故当变量及约束个数较大时，计算量远小于极点排序法。     

基于拉格朗日函数鞍点理论的梯度最优潮流算法

拉格朗日函数的鞍点符合非线性规划的K-T条件,是一种特殊的逗留点,当满足凸性条件时,又是全局最优解.在梯度法最优潮流的求解过程中,确定不等式约束的拉格朗日乘子以及求取最优步长等比较困难,文中在采取一定假设的基础上,运用鞍点迭代算法进行上述问题的求解.最后将该方法应用于IEEE-30节点系统,验证了它的有效性.     

基于自适应邻域选取的局部投影降噪

提出一种以相点距离矩阵和信噪比为测度的自适应选取邻域参数的局部投影降噪方法.首先将一维时间序列重构到高维相空间,然后计算相空间中各个相点间的距离以构成相点距离矩阵,并据此设定参考相点的初始邻域半径和动态搜索步长,自适应地选择邻域大小,再利用局部几何投影方法消除噪声,迭代此过程,历史输出信噪比达到最大时获得优化邻域.     

共享内存并行编程最优同步方法的研究

共享内存并行编程是并行编程开发与研究的标准之一,为了保证程序运行的准确性和线程执行的高效率,对共享内存同步机制的研究具有重要意义。互斥锁与事件同步是Open MP标准中的混合同步机制,而斯坦福大学的Baek等人扩展Open MP提出的面向事务存储的Open TM应用编程接口,事务内存同步是其突出特点。通过研究发现混合同步存在部分互斥锁同步会严重消耗系统空间资源、线程资源利用率有待提高等问题,而事务同步忽视不可恢复行为的影响。因此,提出一种基于共享内存的最优同步方法,即优化后的混合同步和事务内存同步的结合体,实验论证此优化方法的可行性,程序运行更加高效。     

快速有效的染色体自动分割算法

染色体的自动分割一直是一个难题 ,现在取得的成就大部分针对二体、三体的交叠、粘连情况 ,更多的染色体交叠、粘连问题还需要人机交互来解决。介绍一种基于边界几何分析的分割算法 ,算法第一步进行边界的提取和处理 ,提出了对内部空洞的处理方法 ,第二步进行凹点和凸点的搜索与标示 ,最后根据凹、凸点提供的几何信息对染色体进行逐步分割。该算法可以大大降低所需要的人机交互量和人机交互的难度 ,从而提高了染色体分析的自动化程度     

带有二次约束的一般二次规划问题的松弛分枝定界方法

考虑带有二次约束的一般二次规划问题的求解，当约束条件为非凸二次函数时，对原问题中的某个二次约束进行凸二次松驰，或在原问题的约束条件中增加一个球约束，使得原问题的可行域包含在松驰二次规划问题的可行域内。采用椭球剖分策略剖分可行域为小 椭球，用投影次梯度算法解松驰二次规划问题的拉格朗日对偶问题，从而获得原问题的一个下界。原问题最优值的一个上界可从迭代过程中的可行点得到，并在迭代过程中得到调整。该算法或在原问题最优值的一个上下界相同时终止，得到原问题的整体最优解；或产生一无限序列，其任一聚点都是原问题的整体最优解。     

计算机编程语言的发展与输入输出设备的使用

在编程中涉及的数据结构初始状态的赋值及计算结果的输出要用到各种不同的输入输出(I/O)设备,这是使程序正确运行的关键问题之一。在介绍编程语言发展阶段的同时,分析比较了它们在I/O设备中的使用方法．     

不等式约束非线性规划的拉格朗日乘子的收敛

对于等式约束的非线性规划问题,一般的解决方法是在每次迭代中更新拉格朗日乘子且逐渐增大拉格朗日函数的惩罚因子,当罚因子充分大或充分接近局部最优解时,二阶充分条件是满足的;对不等式约束问题也采用了相应的方法.在凸的情况下,对于任意的罚因子或者在每次迭代中不要求精确极小化,就能全局收敛到最优解;证明了拉格朗日乘子是收敛的.