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

计算机辅助设计与图形学学报 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路划分最小割超图聚类离散优化

来源：评论

学校读者我要写书评

暂无评论

超大规模集成电路布局的优化模型与算法

引用

运筹学学报 2021年第3期25卷 15-36页

作者：黄志鹏李兴权朱文兴福州大学离散数学与理论计算机科学研究中心福建福州350116 鹏城实验室广东深圳518055

布局确定集成电路单元在芯片中的具体位置,在单元互不重叠的基础上优化一些性能指标。该问题是NP困难的组合优化问题,是超大规模集成电路物理设计的核心问题之一,对集成电路的性能指标,如线网可布通性、时延、功耗、电路可靠性等有重大... 详细信息

布局确定集成电路单元在芯片中的具体位置,在单元互不重叠的基础上优化一些性能指标。该问题是NP困难的组合优化问题,是超大规模集成电路物理设计的核心问题之一,对集成电路的性能指标,如线网可布通性、时延、功耗、电路可靠性等有重大影响。在现代的集成电路设计中,布局问题通常包含数百万个集成电路单元,以及大小相异的异质性模块,和各种复杂的布局约束。目前的超大规模集成电路布局算法通常分解为总体布局、布局合法化和详细布局三个步骤。根据近年来集成电路布局算法的研究进展,综述并分析集成电路的总体布局、布局合法化和详细布局的相关优化模型和算法,并展望进一步的研究方向。

关键词：超大规模集成电路总体布局合法化优化算法

来源：评论

学校读者我要写书评

暂无评论

基于剩余寿命的劣化系统最优维修策略

引用

兰州大学学报（自然科学版） 2011年第4期47卷 103-107页

作者：苏锦霞赵学靖李维国兰州大学数学与统计学院兰州730000 福州大学离散数学与理论计算机科学研究中心福州350002

考虑Gamma型劣化可替换系统的最优观测/替换策略问题,给出了基于剩余寿命的观测函数,得到期望单位时间维修费用最小化准则下的最优维修策略.相对于传统的非周期观测策略,该方法只需要一个比例风险系数参数来确定检测时间,从而降低了策... 详细信息

考虑Gamma型劣化可替换系统的最优观测/替换策略问题,给出了基于剩余寿命的观测函数,得到期望单位时间维修费用最小化准则下的最优维修策略.相对于传统的非周期观测策略,该方法只需要一个比例风险系数参数来确定检测时间,从而降低了策略优化过程的复杂性.数值模拟表明在系统长期使用的单位时间维修费用上,基于平均剩余寿命的策略可以得到比一些基于状态的维修策略更优的结果.

关键词：剩余寿命维修策略劣化 Gamma过程

来源：评论

学校读者我要写书评

暂无评论

多维背包问题的变邻域填充函数算法

引用

福州大学学报（自然科学版） 2012年第1期40卷 14-21页

作者：林耿朱文兴闽江学院数学系福建福州350108 福州大学离散数学与理论计算机科学研究中心福建福州350108

首先给出解的两个邻域结构,并把多维背包问题转化为相应的无约束整数规划问题.其次构造一个单参数的填充函数,然后提出一类求解多维背包问题的变邻域填充函数算法.实验结果表明,该算法是有效的.

关键词：多维背包问题填充函数变邻域

来源：评论

学校读者我要写书评

暂无评论

MAX-SAT问题一种改进的局部搜索算法

引用

计算机工程与科学 2008年第11期30卷 50-52,79页

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

局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的。本文提出了用单纯形法产生"初始概率"(每个变量取1的概率) ,用"初始概率"对局部... 详细信息

局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的。本文提出了用单纯形法产生"初始概率"(每个变量取1的概率) ,用"初始概率"对局部搜索算法中变量的初始随机指派进行适当的约束,使在局部搜索的开始阶段,满足的子句数大大增加,加快了收敛的速度。通过对不同规模的随机STA问题实例的实验表明,这些改进有效地提高了局部搜索算法求解SAT问题的效率。

关键词： MAX-SAT问题局部搜索单纯形法

来源：评论

学校读者我要写书评

暂无评论

TSP问题的一种改进的GRASP算法

引用

计算机工程与科学 2008年第11期30卷 60-64页

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

本文对Marinakis等提出的扩展邻域GRASP算法进行改进。首先使用最近α值方法构造初始TSP回路,然后运用混合的局部搜索即2-opt算法、双桥策略和3-opt算法来改进初始回路,并且引进α-nearness候选集和don’t-lookbit技术来提高搜索速度。... 详细信息

本文对Marinakis等提出的扩展邻域GRASP算法进行改进。首先使用最近α值方法构造初始TSP回路,然后运用混合的局部搜索即2-opt算法、双桥策略和3-opt算法来改进初始回路,并且引进α-nearness候选集和don’t-lookbit技术来提高搜索速度。实验结果表明,本文提出的GRASP能够在合理的时间内得到很好的解,并且解的质量优于Marinakis等提出的扩展邻域GRASP算法得到的解。

关键词：旅行售货商问题贪心随机适应性搜索算法局部搜索算法候选集

来源：评论

学校读者我要写书评

暂无评论

非负张量Z-谱半径的上界（英文）

引用

数学进展 2016年第6期45卷 912-918页

作者：李薇常安福建农林大学计算机与信息学院福州福建350002 福州大学离散数学与计算机科学研究中心福州福建350003

一个m阶n维实张量是一组有n^m个实元素的多维数组.本文研究了非负张量最大Z-谱半径的一系列上界.

关键词： Z-特征值张量上界

来源：评论

学校读者我要写书评

暂无评论

基于离散动态凸化方法的VLSI电路k路划分

引用

新型工业化 2012年第6期 48-64页

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

电路划分是超大规模集成电路(VLSI)物理设计中的一个重要阶段。k路划分是把电路分成k个部分,划分目标是在保持各部分均衡的前提下,最小化被切割的线网数。本文把原问题转化为一个等价的非线性整数规划问题,并设计一个用于求解该问题的... 详细信息

电路划分是超大规模集成电路(VLSI)物理设计中的一个重要阶段。k路划分是把电路分成k个部分,划分目标是在保持各部分均衡的前提下,最小化被切割的线网数。本文把原问题转化为一个等价的非线性整数规划问题,并设计一个用于求解该问题的局部搜索算法。在此基础上,提出基于离散动态凸化方法的k路划分算法,并从理论上分析了该算法可以不断改进局部最优解,具有全局搜索能力。实验结果表明,该方法可以有效提高著名的k路划分工具h METIS-Kway的划分质量。

关键词：电路划分 k路划分离散动态凸化算法

来源：评论

学校读者我要写书评

暂无评论

图最小线性排序问题的Memetic爬山算法

引用

计算机科学与探索 2016年第11期10卷 1623-1632页

作者：陈雄峰陈振徐戈闽江学院计算机科学系福州350121 福建省信息处理与智能控制重点实验室福州350121 福州大学离散数学与理论计算机科学研究中心福州350108

针对图最小线性排序问题优化目标的特性及其可行域总是连通的特点,提出了一个新型的Memetic爬山算法。在Memetic算法框架及其主要算子内部流程中同时结合爬山法,并在主要算子内部采用迂回爬山策略。设计可变型顶点-边-邻接交叉算子,改... 详细信息

针对图最小线性排序问题优化目标的特性及其可行域总是连通的特点,提出了一个新型的Memetic爬山算法。在Memetic算法框架及其主要算子内部流程中同时结合爬山法,并在主要算子内部采用迂回爬山策略。设计可变型顶点-边-邻接交叉算子,改进使用基于贪心随机自适应搜索过程的初始解生成算法,采用动态更新等保持种群多样性策略。公认测试集的实验结果表明,与最近的两阶段模拟退火算法(two-stage simulated annealing,TSSA)和分散搜索与路径重链接算法(scatter search and path relinking,SSPR)相比,该算法具有更好的整体性能。在相近平均运行时间内,该算法近优解质量分别平均提高1.6%和2.01%,21个测试例子中13个获得当时最好的近优解,比TSSA算法多出4个,比SSPR算法多出2个。

关键词：最小线性排序 Memetic算法爬山法邻接交叉

来源：评论

学校读者我要写书评

暂无评论

超图中超星不交并的Turán数

引用

数学理论与应用 2023年第1期43卷 64-73页

作者：邓静华侯建锋曾庆厚张一枭福州大学离散数学与理论计算机科学研究中心福州350003

给定一个r一致超图F,F的Turán数exr(n,F)表示n个顶点不含F作为子图的r一致超图的最大边数.当r≥3时,确定exr(n,F)是一件非常困难的事情,尤其是当exr(n,F)=o(n^(r))时.对于一个图F,F的扩张F^(+)是指在图F的每条边上添加r−2个新的点... 详细信息

给定一个r一致超图F,F的Turán数exr(n,F)表示n个顶点不含F作为子图的r一致超图的最大边数.当r≥3时,确定exr(n,F)是一件非常困难的事情,尤其是当exr(n,F)=o(n^(r))时.对于一个图F,F的扩张F^(+)是指在图F的每条边上添加r−2个新的点所得到的r一致超图;F的Berge超图BergeF是一个r一致超图H,满足V(F)⊆V(H)并且存在一个从E(F)到E(H)的双射f,使得对于每个e∈E(F),e⊆f(e).在本文中,我们确定超图中超星不交并的扩张及其Berge超图的Turán数,这是Khormali和Palmer[14]的结果的推广.

关键词： Turán数星扩张 Berge超图

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：