求解布局模型的并行矩阵算法研究

布局设计通常要建立抽象状态空间模型。求解布局模型，实现从模型状态到坐标图的转化，是计算机辅助布局设计的重要研究内容之一。本文在简要介绍一种层次布局模型ＨＬＭ１的基础上，引入了模型的解的概念；研究了ＨＬＭ１的子模型－层次约束图解的存在条件；提出了求解层次约束图，实现从模型到坐标图转化以及检测约束矛盾的一种并行矩阵算法，并给出了一个计算实例。     

并行巨型机的一种虚拟存储器模型

本文讨论了在分布式存储器并行计算机中使用的一种虚拟存储器模型。它使用一个Ｎｏｖｅｌ并行计算操作系统呆，定义了两种实现并行虚拟存储器的策略。通过仔细分析和模拟，结果表明动页页面分配能比较好地适用于那些具有公共数据访问局部性的应用和一些数据空间与可用物理存储器不相配的应用。如果应用的局部性差，并且数据空间小（不需要虚拟存储器），则使用静态页面分配更为有效。     

一种立体空间布局模型及布局算法

本文首先讨论了空间布局的同态变换求解思想，分析了基于长方体的立体布局的空间关系，借助图论中的某些概念，建立了一种立体空间布局模型ＳＯＳＧ图，给出了该模型表达立人本空间布局的完备性与封闭性。本文还讨论了基于该模型的布局算法，简要介绍了该方法在计算机结构布局中的应用。     

基于量子模型的快速FPGA布局算法

为能在全局范围内快速搜索到优化的布局结果,提出一种基于量子模型的布局算法,并结合传统模拟退火算法实现FPGA布局。测试结果表明,相比VPR布局算法,该算法的布局运行速度平均提高了2倍以上,时序性能提升了2%,且随着FPGA芯片和电路规模的不断增大,能有效提高FPGA的软件运行效率。     

一种基于约束的布局求解算法

在研究现有布局求解的基础上，提出了一个基于约束的布局求解算法，该算法借助机构分析与综合中有关自由度分析的概念，在两个层次上进行布局求解，即在高层次上对层布局顺序进行规划，而在较低层次上进行具体的数值定位，通过两层次上交替进行求解最终求得布局结果。     

蚁群算法的三种并行模型分析

在单机多核下分别构造基于OpenMP和MPI的并行蚁群算法模型,在多核集群机下构造基于MPI和MPI+OpenMP的并行蚁群算法模型,并提出动态蚁群择优策略及分段周期交流策略。基于实际路网的路径寻优问题对上述模型进行比较,实验结果表明,在单机多核下,基于MPI的模型与基于OpenMP的模型相比,运行时间短,加速比高,在多核集群机下,基于MPI+OpenMP的混合模型相比基于MPI的模型,在进程数较多时仍具有较高的加速比。     

一种改进的启发式布局算法

提出了一种带部分举的启发布局排样算法，对板材的选取和单块大板材的排样采用启发算法，以提高排样速度；对小规模板材和切割科料则采用穷举算法，以减少切割损耗，讨论了算法所采用的超时限制，阈值的自适应调整等技术，实际应用表明算法是成功的。     

运用可变模板进行并行图像处理的一种快速算法

提出了一种在并行机上有效地计算（空间）可变模板的方法，论证了利用一个在图像网格点处计算多项式的优化算法，可以大大减少可变模板的运算量，对于包含非多项式函数的可变模板，可以用函数的泰勒级数展开实现在像素点上的递推运算，详细分析了可变模板中若干常用函数的泰勒展开用于实现模板运算的合理性，准确性和有效性，关于硬件的影响以及该方法的适用范围，也做了讨论。     

基于阶段并行模型的算法设计研究

NOWs正成为并行计算领域的一个新的发展热点,以太网构成的微机集群系统是NOWs的一种重要实现形式。阶段并行模型是BSP模型的改进,它更接近于表述实际的机器行为,同时具有编程简单、独立于体系结构和执行性能可预测等特点。文章研究了群集系统中阶段并行模型上的并行算法设计,以FFT算法为例,进行了设计和分析,并给出了测试结果。     

一种基于并行策略的BP改进算法

介绍了BP神经网络的基本结构及原理,分析了其收敛慢的原因.为加快其收敛速度,结合带动量梯度下降法提出一种新的算法(PBBP),用多个学习速率不同但结构相同的网络进行并行训练,在每次迭代后都根据误差找出处于最佳状态的网络,并使其它网络的训练参数作适当变化再进行下一次迭代,直到整个网络的误差减小到允许范围内或达到训练次数要求,加快了其收敛速度,能够很好地脱离平坦区.通过在Matlab里编程进行仿真实验证明,该算法是可行的.     

基于装配关系的CAD并行设计支持系统原型的研究

分析了并行工程的特点以及当前机械ＣＡＤ系统的现状，提出在并行设计过程中根据产品的装配关系管理设计参数和几何模型。文中建立了一个数据模型描述机械产品零／部件的层次关系，装配关系以及参数间的继承与依存关系，最后讨论了基于此模型的并行设计支持系统的功能和工作原理。     

VLSI定时驱动布局算法

定时驱动布局算法是改善ＶＬＳＩ性能的重要措施，现有算法主要建立在面向网络和面向通路两种技术之上，仅获得局部最优解．本文以获得全局最优解为目标，从电路逻辑结构和传输延时出发，提出了面向电路最大延时的布局算法．实验表明，本算法是有效的．     

求解机械装配规划的新方法

本文提出一个求解机械装配规划的算法,其计算量～O(sN~2),其中s是零件所有可能装配方向的个数,N是工件的零件数(一般s～O(N)).而现行的求机械装配规划的算法,其计算量均随N的增加按指数律增加.     

一个有效的圆片规模布局算法

本文提出了一个圆片规模布局算法，它是国外一个相应算法的改进形式，区别在于利用力定向布局法的方式不同。在相对位置阶段，该算法利用布局的层次特性将需确定所有电路元件相对位置的问题缩减至仅需确定宏电路元件相对位置的问题；在实际位置阶段，采用分治策略和取消前阶段层次划分的方式回避了需确定任意元实际位置的问题．其时间复杂度远低于国外相应算法．     

并发和实时系统的模型检验技术

模型检验是一种重要的自动验证技术,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态／命题性质,以保证通信协议、数字电路等设计的正确性。详细阐述了模型检验技术的发展与研究现状。首先描述了并发系统分别基于自动机理论和符号化的两种主要模型检验策略,并给出解决状态爆炸问题的主要方法;然后介绍了针对实时系统以及面向对象设计的模型检验方法;对每种方法都介绍了相应的典型工具,最后分析了模型检验面临的困难以及今后的发展趋势。     

并行设计过程建模及优化

设计过程建模及优化对于缩短产品开发时间、提高企业的竞争力具有重大意义，本文提出了面向对象（Ｏ－Ｏ：Ｏｂｊｅｃｔ－Ｏｒｉｅｎｔｅｄ）的设计和并行设计过程建模方法，随后以二级圆柱直齿减速器的设计为例，介绍了以Ｏ－Ｏ过程模型为基础，以设计结构矩阵为工具的设计活动重组，并比较了重组前后所用时间，取得了明显的效果。     

支持并行设计的产品数据管理

产品数据管理是基于数据库,分布计算和网络通讯等技术发展起来的新型工程数据管理技术,是有效管理和控制所有与产品有关的信息的并行设计框架,本文研究了支持大型电子设备并行设计的产品数据管理系统ＹＣ－Ｂｒｉｄｇｅ的开放式体系结构,并介绍了它的主要功能,实现方法及技术特点。     

延时优化驱动布局中的消除重叠算法

文中给出了一种新的延时优化驱动布局算法，并着重介绍它的消除重叠技术，试验表明，它布局速度快，布局效果好。     

面向问题的多领域设计过程管理方法

现代产品设计的复杂性要求设计过程管理向高层转移,并能支持多领域并行设计,针对这种需求,文中提出基于问题解决模型的设计过程管理的概念与方法,将设计过程视为问题定义、规划与求解的过程,并利用过程描述语言捕获领域知识,通过设计过程文法,实现设计问题的求解与映射,该方法抓住设计过程的本质,可为设计者提供高层次跨领域的设计过程管理支持为设计周期的缩短提供了可能。     

尺寸封闭性检验的新算法

对尺寸标注系统中尺寸封闭性的检验，一直是计算机辅助设计和辅助制造中未能得到很好决策的问题。本文利用图论，提出了一种新的有效算法。