检索结果-内蒙古大学图书馆

计算机辅助设计与图形学学报 2016年第11期28卷 2000-2008页

作者：朱自然陈建利朱文兴福州大学离散数学与理论计算机科学研究中心福州350116

超大规模集成电路总体布线是集成电路物理设计的关键环节之一,对芯片的可布线性、线长、通孔数等性能指标有重大影响.针对拆线重布方法容易陷入局部最优解的问题,提出一种基于多阶段拆线重布的总体布线算法.该算法根据不同布线阶段对最... 详细信息

超大规模集成电路总体布线是集成电路物理设计的关键环节之一,对芯片的可布线性、线长、通孔数等性能指标有重大影响.针对拆线重布方法容易陷入局部最优解的问题,提出一种基于多阶段拆线重布的总体布线算法.该算法根据不同布线阶段对最小化溢出值和最小化线长这两个目标的侧重点不同,通过构造不同的布线代价函数、确定不同的布线顺序、选取不同的布线模型及布线算法对线网进行拆线重布,使得基于多阶段拆线重布的总体布线算法可以有效地跳出局部最优解,快速地提高布线质量.采用ISPD08总体布线竞赛中的标准测试例子集的实验结果表明,与NTUgr,NTHU-Route2.0和NCTU-GR2.0相比,所提出的总体布线算法在平均总溢出方面分别减少了1.4%,2.4%和21.5%,在平均运行时间方面分别快了10.4倍,1.6倍和1.3倍.

关键词： VLSI 总体布线可布线性多阶段拆线重布

来源：评论

学校读者我要写书评

暂无评论

不具有稳定性质的4-一致超图族献给刘桂真教授80寿辰

引用

中国科学：数学 2024年第11期54卷 1905-1924页

作者：张一枭李恒侯建锋福州大学离散数学与理论计算机科学研究中心福州350108

不同于图的情形,对于正整数r≥3和一些经典的r-一致超图族M,顶点数固定条件下边数最多的不含M的r-一致超图(称为M的极图)可能不止一个,而且这些超图在距离上相距较远,这种现象被称为不稳定性,也是确定此类超图Turán数的基本障碍.Li... 详细信息

不同于图的情形,对于正整数r≥3和一些经典的r-一致超图族M,顶点数固定条件下边数最多的不含M的r-一致超图(称为M的极图)可能不止一个,而且这些超图在距离上相距较远,这种现象被称为不稳定性,也是确定此类超图Turán数的基本障碍.Liu和Mubayi(2022)给出了第一个具有不稳定性的3-一致超图族的例子.对于r≥4,通过具有不稳定性的3-一致超图族可以构造具有同样性质的r-一致超图族.本文构造第一个不依赖于3-一致超图的4-一致超图族M,使得M有两个在距离上相距较远的极图.同时,本文证明相应的Andrásfai-Erd?os-Sós型稳定性定理:任意最小度接近于极图平均度的不含M的4-一致超图一定是这两个极图中一个的子图.此外,作为本文结果的推论,本文还证明了M的可行域具有两个最大值点.

关键词：超图 Turán数稳定性可行域

来源：评论

学校读者我要写书评

暂无评论

基于贪心随机自适应搜索的电路划分改进算法

引用

浙江大学学报（工学版） 2007年第10期41卷 1679-1683页

作者：詹青青朱文兴福州大学数学与计算机科学学院福建福州350002 福州大学离散数学与理论计算机科学研究中心福建福州350002

为提高基于迭代改进的传统电路划分算法的划分质量,提出了一种基于贪心随机自适应搜索过程(greedyrandomized adaptive search procedure,GRASP)的电路划分改进算法.GRASP由构造阶段和局部搜索阶段组成,能够快速构造较好的初始划分.在... 详细信息

为提高基于迭代改进的传统电路划分算法的划分质量,提出了一种基于贪心随机自适应搜索过程(greedyrandomized adaptive search procedure,GRASP)的电路划分改进算法.GRASP由构造阶段和局部搜索阶段组成,能够快速构造较好的初始划分.在其构造阶段引入启发式子集选择策略,并与高效搜索技术Path-Relinking相结合,在各个局部最优解之间建立路径,从而有效搜索了局部最优解空间.实验结果表明,该算法与基本GRASP相比,能在合理的时间范围内改进解的质量,获得更好的划分结果.在获得的最小划分上,改进程度最大达到33.3%;而在平均划分上,最大达到27.4%.

关键词：电路划分贪心随机自适应搜索过程启发式策略 Path-Relinking

来源：评论

学校读者我要写书评

暂无评论

不具有稳定性质的4-一致超图族献给刘桂真教授80华诞

引用

中国科学:数学 2024年

作者：张一枭李恒侯建锋福州大学离散数学与理论计算机科学研究中心

不同于图的情形,对于正整数r3和一些经典的r-一致超图族M,顶点数固定条件下边数最多的不含M的r-一致超图(称为M的极图)可能不止一个,而且这些超图在距离上相距较远,这种现象被称为不稳定性,也是确定此类超图Turán数的基本障碍. Liu... 详细信息

不同于图的情形,对于正整数r3和一些经典的r-一致超图族M,顶点数固定条件下边数最多的不含M的r-一致超图(称为M的极图)可能不止一个,而且这些超图在距离上相距较远,这种现象被称为不稳定性,也是确定此类超图Turán数的基本障碍. Liu和Mubayi (2022)给出了第一个具有不稳定性的3-一致超图族的例子.对于r4,通过具有不稳定性的3-一致超图族可以构造具有同样性质的r-一致超图族.本文构造第一个不依赖于3-一致超图的4-一致超图族M,使得M有两个在距离上相距较远的极图.同时,本文证明相应的Andrásfai-Erd?s-Sós型稳定性定理:任意最小度接近于极图平均度的不含M的4-一致超图一定是这两个极图中一个的子图.此外,作为本文结果的推论,本文还证明了M的可行域具有两个最大值点.

关键词：超图 Turán数稳定性可行域

来源：评论

学校读者我要写书评

暂无评论

VLSI标准单元布局问题的增强型混合遗传模拟退火算法

引用

模式识别与人工智能 2014年第9期27卷 815-825页

作者：陈雄峰吴景岚朱文兴闽江学院计算机科学系福州350108 福州大学离散数学与理论计算机科学研究中心福州350003

提出有效处理百万个VLSI标准单元布局问题的混合遗传模拟退火算法.首先采用小规模种群、动态更新种群和交叉局部化策略,并协调全局与局部搜索,使遗传算法可处理超大规模标准单元布局问题.然后为进一步提高算法进化效率和布局结果质量,... 详细信息

提出有效处理百万个VLSI标准单元布局问题的混合遗传模拟退火算法.首先采用小规模种群、动态更新种群和交叉局部化策略,并协调全局与局部搜索,使遗传算法可处理超大规模标准单元布局问题.然后为进一步提高算法进化效率和布局结果质量,将爬山和模拟退火方法引入遗传算法框架及其算子内部流程,设计高效的线网-循环交叉算子和局部搜索算法.标准单元阵列布局侧重使用爬山法,非阵列布局侧重使用模拟退火方法.Peko suite3、Peko suite4和ISPD04标准测试电路的实验结果表明,该算法可在合理运行时间内有效提高布局结果质量.

关键词：混合遗传算法模拟退火标准单元布局线网-循环交叉算子局部搜索

来源：评论

学校读者我要写书评

暂无评论

求解VLSI不可二划分布图规划问题的混合遗传算法

引用

福州大学学报（自然科学版） 2014年第5期42卷 688-693页

作者：陈建利朱文兴福州大学离散数学与理论计算机研究中心福建福州350116

超大规模集成电路(VLSI)布图规划是VLSI物理设计的关键环节之一,对集成电路的芯片面积、线长等性能指标有重大影响.基于B*-tree的结构表示,结合遗传算法的思想,提出一种用于解决VLSI不可二划分布图规划问题的混合遗传算法,并用MCNC标准... 详细信息

超大规模集成电路(VLSI)布图规划是VLSI物理设计的关键环节之一,对集成电路的芯片面积、线长等性能指标有重大影响.基于B*-tree的结构表示,结合遗传算法的思想,提出一种用于解决VLSI不可二划分布图规划问题的混合遗传算法,并用MCNC标准测试例子对所设计的算法进行测试,证明该算法的有效性.

关键词：超大规模集成电路布图规划 B*-tree 混合遗传算法

来源：评论

学校读者我要写书评

暂无评论

非负约束稀疏优化问题的一个等价性条件

引用

运筹学学报 2022年第1期26卷 43-59页

作者：吕亚星韩美佳黄子麟朱文兴福州大学数学与统计学院福州大学离散数学与理论计算机科学研究中心

加权l最小化是稀疏优化的主流方法之一。本文对带非负约束的l最小化问题与加权l最小化问题的解之间的关系进行了研究,给出了加权l最小化问题的约束矩阵和目标函数的系数是“s-权优”的定义,并通过该定义给出了加权l最小化问题的解是带... 详细信息

加权l最小化是稀疏优化的主流方法之一。本文对带非负约束的l最小化问题与加权l最小化问题的解之间的关系进行了研究,给出了加权l最小化问题的约束矩阵和目标函数的系数是“s-权优”的定义,并通过该定义给出了加权l最小化问题的解是带非负约束的l最小化问题的解的条件。进一步,本文给出了“s-权优”的充分条件及其具体表示形式,并对其上下界进行了可计算的有效估计。

关键词：线性规划非负稀疏解误差分析等价性条件

来源：评论

学校读者我要写书评

暂无评论

一种用于并行电路仿真的电路划分算法

引用

福州大学学报（自然科学版） 2014年第4期42卷 531-536页

作者：陈家瑞朱文兴福州大学离散数学与理论计算机科学研究中心福建福州350116

结合递归的多级二路划分方法和迭代改进方法,提出一种用于并行电路仿真的电路划分算法.该算法第一阶段用递归的多级二路划分方法获取较好的初始解,第二阶段用迭代改进方法不断改进负载平衡和通信量目标.实验结果表明,相对于k路划分工具h... 详细信息

结合递归的多级二路划分方法和迭代改进方法,提出一种用于并行电路仿真的电路划分算法.该算法第一阶段用递归的多级二路划分方法获取较好的初始解,第二阶段用迭代改进方法不断改进负载平衡和通信量目标.实验结果表明,相对于k路划分工具hMETIS-Kway,该算法可以获取更好的划分质量.

关键词：并行电路仿真电路划分负载平衡

来源：评论

学校读者我要写书评

暂无评论

集成电路二划分的一维泊松方程方法

引用

福州大学学报（自然科学版） 2023年第6期51卷 749-755页

作者：余永昕潘萍梅朱文兴福州大学离散数学与理论计算机科学研究中心福建福州350108

将集成电路二划分问题转化为等价的一维离散布局问题,在全局布局阶段将问题松弛为连续布局问题,并推导得到一维显式泊松方程.以线长作为目标函数,由泊松方程建立的密度函数作为罚函数,使用非线性优化方法得到全局布局阶段的连续解.在合... 详细信息

将集成电路二划分问题转化为等价的一维离散布局问题,在全局布局阶段将问题松弛为连续布局问题,并推导得到一维显式泊松方程.以线长作为目标函数,由泊松方程建立的密度函数作为罚函数,使用非线性优化方法得到全局布局阶段的连续解.在合法化阶段将连续解映射至原问题的离散解空间,得到原问题的可行解.在详细布局阶段使用FM(factorization machines)算法对离散解进行局部优化,得到最终解.上述二划分方法在ISPD98标准测试样例中的表现相较于传统FM算法,割边减少约36%.将上述方法嵌入多级划分框架KaHyPar,割边约减少7%.

关键词：集成电路二划分多级框架泊松方程集成电路布局

来源：评论

学校读者我要写书评

暂无评论

基于再聚类和离散优化的k路划分算法

引用

计算机辅助设计与图形学学报 2024年第3期36卷 473-484页

作者：潘萍梅刘欣恬李兴权朱文兴福州大学离散数学与理论计算机科学研究中心福州350116 福州大学数学与统计学院福州350116 鹏城实验室深圳518073 闽南师范大学数学与统计学院漳州363000

为了寻得集成电路更优的k路划分,提出将再聚类和离散优化应用于k路划分算法.首先利用再聚类缩小超图规模,即根据给定划分计算顶点间的评级函数值,依据取值大小进行顶点聚类;然后将超图转换为星型图,并将k路划分问题转换为无约束的离散... 详细信息

为了寻得集成电路更优的k路划分,提出将再聚类和离散优化应用于k路划分算法.首先利用再聚类缩小超图规模,即根据给定划分计算顶点间的评级函数值,依据取值大小进行顶点聚类;然后将超图转换为星型图,并将k路划分问题转换为无约束的离散优化问题;进而设计一个算法迭代移动增益值最大的顶点,在算法求解过程中放宽平衡约束,允许暂时处于不可行域的解,扩大问题的求解空间.在同一平台上使用ISPD98电路测试基准对所提算法、hMETIS-Kway和KaHyPar-K进行测试,并比较最小割值和运行时间.实验结果表明该算法优于hMETIS-Kway,特别是在k=2时,最小割值减少了0.173,速度提升了0.706.此外,该算法对KaHyPar-K也有相应的改进效果.

关键词： k路划分最小割超图聚类离散优化

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：