期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
Parameter vertex method and its parallel solution for evaluating the dynamic response bounds of structures with interval parameters 被引量:4
1
作者 ZhiPing Qiu PengBo Wang 《Science China(Physics,Mechanics & Astronomy)》 SCIE EI CAS CSCD 2018年第6期62-74,共13页
In this article, we propose a parameter vertex method to determine the upper and lower bounds of the dynamic response of structures with interval parameters, which can be regarded as an extension of the matrix vertex ... In this article, we propose a parameter vertex method to determine the upper and lower bounds of the dynamic response of structures with interval parameters, which can be regarded as an extension of the matrix vertex method proposed by Qiu and Wang. The matrix vertex method requires considerable computation time and encounters the dependency problem in practice,thereby limiting its application in engineering. The proposed parameter vertex method can avoid the dependency problem, and the number of possible vertex combinations in the proposed method is significantly less than that in the matrix vertex method.The parameter vertex method requires that each matrix element in the dynamic differential equation is monotonic with respect to the uncertain parameter, and that the dynamic response reaches its extreme value when the uncertain parameter is at its endpoint.To further reduce the runtime, both vertical and transversal parallel algorithms are introduced and integrated into the parameter vertex method to improve its computational efficiency. Two numerical examples are presented to demonstrate the proposed method combined with both parallel algorithms. The performances of the two parallel algorithms are thoroughly studied. The parameter vertex method combined with parallel algorithm can be used for large-scale computing. 展开更多
关键词 parameter vertex method dynamic response interval parameter parallel algorithm upper and lower bounds
原文传递
Vertex solution theorem for the upper and lower bounds on the dynamic response of structures with uncertain-but-bounded parameters 被引量:4
2
作者 Zhiping Qiu Xiaojun Wang Institute of Solid Mechanics, Beihang University, 100083 Beijing, China 《Acta Mechanica Sinica》 SCIE EI CAS CSCD 2009年第3期367-379,共13页
The aim of this paper is to evaluate the effects of uncertain-but-bounded parameters on the dynamic response of structures. By combining the interval mathematics and the finite element analysis, the mass matrix, dampi... The aim of this paper is to evaluate the effects of uncertain-but-bounded parameters on the dynamic response of structures. By combining the interval mathematics and the finite element analysis, the mass matrix, damping matrix, stiffness matrix and the external loads are represented as interval matrices and vector. With the help of the optimization theory, we present the vertex solution theorem for determining both the exact upper bounds or maximum values and the exact lower bounds or minimum values of the dynamic response of structures, in which these parameters reach their extreme values on the boundary of the interval mass, damping, stiffness matrices and the interval extemal loads vector. Three examples are used to illustrate the computational aspects of the presented vertex solution theorem. 展开更多
关键词 Dynamic response vertex solution theorem Uncertain-but-bounded parameters
下载PDF
随机图点覆盖1度顶点核化算法分析 被引量:1
3
作者 黄海滨 杨路明 +2 位作者 陈建二 王建新 李绍华 《小型微型计算机系统》 CSCD 北大核心 2008年第4期659-666,共8页
将随机图引入参数计算领域,利用随机图统计和概率分布等特性,从全局和整体上研究参数化点覆盖问题1度点核化过程中问题的核及度分布演变的内在机制和变化规律,并得出关于随机图1度点核化强度与顶点平均度关系及随机图点覆盖问题的决策... 将随机图引入参数计算领域,利用随机图统计和概率分布等特性,从全局和整体上研究参数化点覆盖问题1度点核化过程中问题的核及度分布演变的内在机制和变化规律,并得出关于随机图1度点核化强度与顶点平均度关系及随机图点覆盖问题的决策与度分布关系的两个重要推论.最后分别从MIPS和BIND提取数据进行1度核化实验和分析.初步结果表明,对随机图点覆盖问题的分析方法不仅具有理论上的意义,而且随着问题随机度的大小而对问题有不同程度的把握能力. 展开更多
关键词 参数计算 点覆盖 核化 随机图 生物计算
下载PDF
特定边界的凸组合球面参数化 被引量:2
4
作者 朱杰 刘惠义 张银川 《系统仿真学报》 CAS CSCD 北大核心 2013年第9期2184-2187,共4页
凸组合球面参数化是根据网格的边界点来运算的,由于零亏格封闭三角网格没有边界条件,传统的凸组合参数化方法需对原始网格进行切割或根据预先设置的固定点,通过构建非线性方程组,对三角网格所有顶点进行凸组合运算,其计算量大,效率低。... 凸组合球面参数化是根据网格的边界点来运算的,由于零亏格封闭三角网格没有边界条件,传统的凸组合参数化方法需对原始网格进行切割或根据预先设置的固定点,通过构建非线性方程组,对三角网格所有顶点进行凸组合运算,其计算量大,效率低。因此提出一种在网格内部寻找边界点的方法,通过对原始网格预处理,筛选出需凸组合计算的顶点,判断出此区域的边界点,只对这一参数化后结果无效的区域做凸组合运算。与已有方法相比,大幅降低了求解方程组的数目。同时改进传统求解方式,进一步降低求解难度。实验结果表明:该方法大幅提高模型球面参数化的运算效率。 展开更多
关键词 三角网格 凸组合 边界点 球面参数化
下载PDF
一种基于链暗示技术的Min-CVCB问题的精确算法 被引量:1
5
作者 王建新 许小双 +1 位作者 冯启龙 李敏 《计算机研究与发展》 EI CSCD 北大核心 2008年第9期1509-1516,共8页
随着VLSI(超大规模集成电路)技术的发展,关于可重构阵列二分图的受约束最小点覆盖(Min-CVCB)问题受到了很多文献的关注.作为点覆盖问题的子问题,该问题已被证明是NP-完全问题.人们利用核心化和分支即使给出了时间复杂度为O((ku+kl)|G|+1... 随着VLSI(超大规模集成电路)技术的发展,关于可重构阵列二分图的受约束最小点覆盖(Min-CVCB)问题受到了很多文献的关注.作为点覆盖问题的子问题,该问题已被证明是NP-完全问题.人们利用核心化和分支即使给出了时间复杂度为O((ku+kl)|G|+1.26ku+kl)的目前最好算法,然而仍不能满足实际工程的需要.通过进一步深入分析二分图的结构,对含有权值大于或等于3的块的连通子图分析其可能连接情况后充分利用"链暗示"技术和分枝搜索技术来建立起新的搜索递推关系;对于分枝后的块提出了一种动态规划算法,其可在多项式时间内完成处理.整个参数算法的运行时间为O((ku+kl)|G|+1.1892ku+kl),极大地改进了目前的最好结果. 展开更多
关键词 二分图 点覆盖 精确算法 参数计算 动态规划
下载PDF
一种可重构阵列的最小瑕点覆盖算法 被引量:1
6
作者 张祖平 陈建二 《计算机科学》 CSCD 北大核心 2004年第4期184-188,共5页
关于可重构阵列的瑕点覆盖问题受到了很多文献的关注,特别地,关于可重构阵列的最小瑕点覆盖问题等价于二分图的受约束最小点覆盖问题,并被证明是NP-完全问题.针对本问题提出的算法运行时间为O(1.19k+kn),这里k为可替换行与列的数目,改... 关于可重构阵列的瑕点覆盖问题受到了很多文献的关注,特别地,关于可重构阵列的最小瑕点覆盖问题等价于二分图的受约束最小点覆盖问题,并被证明是NP-完全问题.针对本问题提出的算法运行时间为O(1.19k+kn),这里k为可替换行与列的数目,改进了原有的最好结果,其运行时间为O(1.26k+kn),较好地组合并扩展了研究参数计算的最新技术与经典匹配理论,且具有较好的实用价值.这是关于可重构阵列的最小瑕,点覆盖问题算法又一较大的改进,也是目前最小点覆盖问题相关参数算法的较有意义的改进. 展开更多
关键词 超大规模集成电路 电路芯片 最小瑕点覆盖算法 可重构阵列
下载PDF
基于子图的随机图点覆盖2度点核化研究
7
作者 黄海滨 杨路明 +2 位作者 王建新 陈建二 李绍华 《计算机研究与发展》 EI CSCD 北大核心 2009年第1期31-40,共10页
点覆盖问题虽然可以在参数计算理论的架构内求精确解,但是目前在理论及应用上有一定的局限性.根据不同度的顶点之间及顶点与边的关系,提出随机图参数化点覆盖问题的d-核化可决策性及2度点三角形子图的计数方法;通过研究子图对顶点的共... 点覆盖问题虽然可以在参数计算理论的架构内求精确解,但是目前在理论及应用上有一定的局限性.根据不同度的顶点之间及顶点与边的关系,提出随机图参数化点覆盖问题的d-核化可决策性及2度点三角形子图的计数方法;通过研究子图对顶点的共享关系,分析2度顶点核化过程中核及度分布演变的动态过程,得出随机图2度点核化强度与2度点概率关系及2度点核化可决策性的两个推论:2度点核化算法对2度点分布概率约为0.75的随机图的核化强度最高;对顶点度概率分布为φ(x)的随机图的参数化点覆盖问题(G,k),当k小于某一与φ(x)有关的值时,它是2-核化可决策的.仿真结果证实,该理论能够把握2度点核化的内在机制,提供随机图上这一NP完全问题的求解方法,也为参数计算在已知度分布的一类不确定问题中的应用提供了可能. 展开更多
关键词 子图计数 核化 点覆盖 参数计算 随机图
下载PDF
反馈集问题的研究进展 被引量:2
8
作者 王建新 江国红 +1 位作者 李文军 陈建二 《计算机科学》 CSCD 北大核心 2011年第1期40-47,共8页
反馈集问题是经典的NP难问题,在电路测试、操作系统解死锁、分析工艺流程、生物计算等领域都有重要应用,按照反馈集中元素类型可分为反馈顶点集(FVS)问题和反馈边集(FAS)问题。人们利用线性规划和局部搜索等技术设计了一系列关于FVS和FA... 反馈集问题是经典的NP难问题,在电路测试、操作系统解死锁、分析工艺流程、生物计算等领域都有重要应用,按照反馈集中元素类型可分为反馈顶点集(FVS)问题和反馈边集(FAS)问题。人们利用线性规划和局部搜索等技术设计了一系列关于FVS和FAS问题的近似算法,并基于分枝-剪枝策略和加权分治技术提出了FVS问题的精确算法。随着参数计算理论的发展,近年来参数化反馈集问题引起了人们的重视,并取得了很大突破。目前已经证明了无向图和有向图中FVS问题和FAS问题都是固定参数可解的(FPT)。利用树分解、分支搜索、迭代压缩等技术,对无向图FVS问题提出了一系列FPT算法。针对某些特殊的应用,人们开展了对具有特殊性质的图上FVS问题的研究,提出了一些多项式时间可解的精确算法。现首先介绍了在无向图中关于FVS问题的近似算法与精确算法,然后具体分析了FVS问题的参数化算法。进一步阐述了关于有向图和特殊图上FVS问题的研究现状,介绍了FAS问题的研究成果。基于对反馈集问题研究现状的分析,提出了今后FVS问题研究中值得关注的几个方面。 展开更多
关键词 反馈顶点集 反馈边集 近似算法 精确算法 参数算法
下载PDF
一种基于链暗示技术的二分图受约束最小点覆盖问题的近似算法 被引量:1
9
作者 许小双 王建新 +1 位作者 刘云龙 陈建二 《计算机科学》 CSCD 北大核心 2007年第6期270-273,282,共5页
二分图受约束最小点覆盖问题作为一个NP-完全问题,无法在多项式时间内得到最优解,除非P=NP。基于此,本文提出了一种基于链暗示技术的二分图受约束最小点覆盖问题的近似算法,具体为:当二分图受约束最小点覆盖问题实例中存在满足约束条件... 二分图受约束最小点覆盖问题作为一个NP-完全问题,无法在多项式时间内得到最优解,除非P=NP。基于此,本文提出了一种基于链暗示技术的二分图受约束最小点覆盖问题的近似算法,具体为:当二分图受约束最小点覆盖问题实例中存在满足约束条件的最小点覆盖(ku,kl)时,对任意给定的近似率δ=1+ε>1,一定可以找到一个受约束近似点覆盖(ku,kl),对应的近似率为max{ku/ku,kl/kl}≤1+ε,整个近似算法的运行时间复杂度为O(22/ε)。显然,它是二分图受约束最小点覆盖问题的一个多项式时间近似方案(polynomial time approximation scheme,PTAS算法)。 展开更多
关键词 二分图的受约束最小点覆盖 近似算法 参数计算 PTAS算法
下载PDF
参数算法的实现研究
10
作者 张祖平 周苗苗 陈建二 《计算机科学》 CSCD 北大核心 2005年第7期228-230,共3页
参数算法在工业制造和生物化学等很多领域得到了广泛的应用。在典型的参数算法中,有界搜索树和动态规划是常用技术。论文以代表性的可重构阵列瑕点覆盖参数算法为例,论述了算法基于面向对象思想的模块设计及基于Java的实现技术,详细说... 参数算法在工业制造和生物化学等很多领域得到了广泛的应用。在典型的参数算法中,有界搜索树和动态规划是常用技术。论文以代表性的可重构阵列瑕点覆盖参数算法为例,论述了算法基于面向对象思想的模块设计及基于Java的实现技术,详细说明了有界搜索树与动态规划的具体实现技术,对复杂参数算法从纯理论研究走向实际应用作了探索性的研究。 展开更多
关键词 参数算法 面向对象思想 动态规划 实现技术 可重构阵列 生物化学 工业制造 JAVA 模块设计 理论研究 搜索树 代表性 探索性 应用 有界
下载PDF
点覆盖问题的近似算法研究
11
作者 高文宇 李华 《系统仿真学报》 CAS CSCD 北大核心 2016年第11期2784-2789,共6页
点覆盖问题是最重要的NP完全问题之一,也是近年来参数算法设计中研究得最多的问题之一。针对现有点覆盖近似算法的一些不足,基于点覆盖问题参数算法的进展,提出了该问题一个基于NT定理规约的2-近似算法。利用了参数算法中的核化技术对... 点覆盖问题是最重要的NP完全问题之一,也是近年来参数算法设计中研究得最多的问题之一。针对现有点覆盖近似算法的一些不足,基于点覆盖问题参数算法的进展,提出了该问题一个基于NT定理规约的2-近似算法。利用了参数算法中的核化技术对图进行化简,在剩余图上采用贪心策略来指导节点的选择,核化技术为算法提供了有效的近似度保障。为检验新算法性能,在不同类型的随机图上通过仿真实验比较了新算法和经典的基于匹配的2-近似算法。仿真实验结果表明新算法较基于匹配的2-近似算法有着明显的优势。 展开更多
关键词 点覆盖 NP完全 近似算法 参数算法 NT定理
下载PDF
顶点覆盖问题线性内核算法 被引量:2
12
作者 蔡晟 Rudolf Fleischer 朱洪 《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期53-56,共4页
参数复杂性作为算法研究的一个重要分支近10年在国际上受到了广泛的关注,线性内核问题作为参数复杂性研究的一类重要问题被广泛研究.主要给出了顶点覆盖问题的线性内核算法,在国内首次从理论上证明了顶点覆盖问题存在线性内核.算法首先... 参数复杂性作为算法研究的一个重要分支近10年在国际上受到了广泛的关注,线性内核问题作为参数复杂性研究的一类重要问题被广泛研究.主要给出了顶点覆盖问题的线性内核算法,在国内首次从理论上证明了顶点覆盖问题存在线性内核.算法首先通过顶点覆盖问题的2近似算法,将图的顶点集合分成两个顶点集合A,B,进而通过一系列规约将原始图的顶点覆盖问题转换到新图的顶点覆盖问题,然后证明了新图的顶点数目至多为2k,并且2k是这个问题的下界(k为参数具体定义见文章). 展开更多
关键词 参数复杂性 内核化 线性内核 定点覆盖
下载PDF
一种移除所有皇冠的扩展NT算法
13
作者 常乐 王建新 陈建二 《计算机科学》 CSCD 北大核心 2007年第10期173-176,191,共5页
皇冠分解和NT算法长久以来被认V_1为是在参数化点覆盖的求核问题中有着广泛应用的两种相互独立的方法。NT算法将给定的图分成V_0,V_1和V_(1/2)三部分,将V_0和V_1移除从而完成图的分解。而皇冠分解则是找到尽可能多的皇冠结构,删除这些... 皇冠分解和NT算法长久以来被认V_1为是在参数化点覆盖的求核问题中有着广泛应用的两种相互独立的方法。NT算法将给定的图分成V_0,V_1和V_(1/2)三部分,将V_0和V_1移除从而完成图的分解。而皇冠分解则是找到尽可能多的皇冠结构,删除这些皇冠以降低图规模。最近的研究结果表明NT算法和皇冠分解存在很强的内在联系:NT算法中的V_0,V_1部分正好构成一个皇冠结构。本文进一步研究了皇冠分解和NT算法的内在联系,提出了严格皇冠和非严格皇冠的概念,提出了一般图中存在皇冠的判定定理,证明了NT算法可以移除一般图中存在的所有严格皇冠。论文还提出了一种扩展NT算法,能够移除图中的所有严格和非严格皇冠,即证明了用扩展NT算法处理过的图中将不会存在任何皇冠结构。 展开更多
关键词 点覆盖 参数计算 核心化算法 皇冠分解 NT算法
下载PDF
基于核心化技术的点覆盖改进算法 被引量:1
14
作者 骆伟忠 蔡昭权 《计算机工程与科学》 CSCD 北大核心 2018年第8期1405-1411,共7页
点覆盖是一个著名的NP难解问题,在通信网络和生物信息学等领域具有重要应用。针对点覆盖的研究主要集中在启发式或近似算法,其主要不足是无法实现全局最优。核心化是处理难解问题的一种新方法。提出融合启发式操作和核心化操作的算法框... 点覆盖是一个著名的NP难解问题,在通信网络和生物信息学等领域具有重要应用。针对点覆盖的研究主要集中在启发式或近似算法,其主要不足是无法实现全局最优。核心化是处理难解问题的一种新方法。提出融合启发式操作和核心化操作的算法框架,利用核心化技术进行点覆盖启发式算法优化。核心化操作挖掘出全局最优的顶点集,而启发式操作改变网络拓扑,使下一轮核心化操作能够继续,两者交叉执行实现解精度优化。实验结果表明,提出的算法在不同网络中均能实现不同程度的优化,在几乎所有稀疏网络实例中获得了最优解。 展开更多
关键词 点覆盖 NP难解 核心化 启发式算法 参数计算
下载PDF
2-Club簇图顶点删除问题改进参数算法
15
作者 谭冠兰 孙龙志 +2 位作者 冯启龙 郑莹 谭培强 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2018年第2期371-377,共7页
2-club簇图修改问题是经典的NP难问题。对通过对2-club簇图修改问题的参数算法进行研究,提出简化问题实例的若干规则。基于对2-club簇图结构的分析和提出的简化规则,并采用自顶向下的分支方法,提出时间复杂度为O~*(3.24~k)的固定参数算... 2-club簇图修改问题是经典的NP难问题。对通过对2-club簇图修改问题的参数算法进行研究,提出简化问题实例的若干规则。基于对2-club簇图结构的分析和提出的简化规则,并采用自顶向下的分支方法,提出时间复杂度为O~*(3.24~k)的固定参数算法,降低了目前求解该问题的时间复杂度。 展开更多
关键词 2-club 2-club簇图顶点删除 固定参数算法
下载PDF
Parameter Ecology for Feedback Vertex Set
16
作者 Bart M.P.Jansen Venkatesh Raman Martin Vatshelle 《Tsinghua Science and Technology》 SCIE EI CAS 2014年第4期387-409,共23页
This paper deals with the FEEDBACK VERTEX SET problem on undirected graphs, which asks for the existence of a vertex set of bounded size that intersects all cycles. Due it is theoretical and practical importance,the p... This paper deals with the FEEDBACK VERTEX SET problem on undirected graphs, which asks for the existence of a vertex set of bounded size that intersects all cycles. Due it is theoretical and practical importance,the problem has been the subject of intensive study. Motivated by the parameter ecology program we attempt to classify the parameterized and kernelization complexity of FEEDBACK VERTEX SET for a wide range of parameters.We survey known results and present several new complexity classifications. For example, we prove that FEEDBACK VERTEX SET is fixed-parameter tractable parameterized by the vertex-deletion distance to a chordal graph. We also prove that the problem admits a polynomial kernel when parameterized by the vertex-deletion distance to a pseudo forest, a graph in which every connected component has at most one cycle. In contrast, we prove that a slightly smaller parameterization does not allow for a polynomial kernel unless NP coNP=poly and the polynomial-time hierarchy collapses. 展开更多
关键词 feedback vertex set parameterized complexity parameter ecology program structural parameterizations kernelization
原文传递
求解最小点覆盖问题实例的计算成本的一种度量方法 被引量:2
17
作者 王丽丽 崔晋川 《数学的实践与认识》 北大核心 2017年第23期142-149,共8页
最小点覆盖问题是NP难问题,传统的计算复杂性理论认为,当规模n较大时,问题是难计算的,但大量的实例表明,即使规模相同的实例,由于其结构的不同,求最优解时也会花费不同的计算时间,所以建立一种度量具体实例求解难度的方法是必要的.介绍... 最小点覆盖问题是NP难问题,传统的计算复杂性理论认为,当规模n较大时,问题是难计算的,但大量的实例表明,即使规模相同的实例,由于其结构的不同,求最优解时也会花费不同的计算时间,所以建立一种度量具体实例求解难度的方法是必要的.介绍了一种度量最小点覆盖问题任一实例求解所需计算成本的方法,度量方法是以计算时间复杂度为O~*(2.314^(k-vc^*)(G))的参数算法为参照的,参数算法可用来求解点覆盖问题的判定问题,在参数算法中,当参数k为常数时,点覆盖问题可在多项式时间内求解,当k表现为n的函数时,点覆盖问题的难解性就表现出来了,结合最小点覆盖问题的近似算法—线性规划松弛来估计每个实例对应的参数k的取值范围,可在多项式时间内实现对最小点覆盖问题实例的计算成本的预测.对于平面点覆盖问题,则以EPTAS算法为工具实现更精确的度量. 展开更多
关键词 计算成本 参数算法 点覆盖 近似算法
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部