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

中国机械工程 2010年第17期21卷 2053-2057页

作者：陈晓霞林树忠邢静忠天津工业大学现代机电装备技术天津市重点实验室天津300160

提出一种基于柔轮弹性变形的包络精确算法,精确计算切向位移引起的转角和齿廓对称线相对于径矢的转角。利用迭代法计算变形后啮合端齿廓共轭位置;根据柔轮中性层曲线不伸长条件确定输出端转角。通过算例对常见的五种波发生器作用下的轮... 详细信息

提出一种基于柔轮弹性变形的包络精确算法,精确计算切向位移引起的转角和齿廓对称线相对于径矢的转角。利用迭代法计算变形后啮合端齿廓共轭位置;根据柔轮中性层曲线不伸长条件确定输出端转角。通过算例对常见的五种波发生器作用下的轮齿的共轭区间和共轭齿廓进行比较计算,验证了算法的有效性和正确性,并给出了近似算法引起的偏差。总体来看,近似算法对共轭区间影响较大,对形成的共轭齿廓影响较小。

关键词：精确算法谐波齿轮柔轮共轭装配变形

来源：评论

学校读者我要写书评

暂无评论

最小最大圈覆盖问题的精确算法

引用

中国科学：信息科学 2022年第6期52卷 960-970页

作者：袁森陈开奇李江坤张鹏山东大学软件学院济南250101

最小最大圈覆盖问题是旅行售货商问题的推广,该问题在无线传感器网络和无人机救灾等领域有着广泛的应用.目前关于最小最大圈覆盖问题的研究主要集中在近似算法方面,而缺少精确算法方面的结果.本文根据最小最大圈覆盖问题的组合特征,对... 详细信息

最小最大圈覆盖问题是旅行售货商问题的推广,该问题在无线传感器网络和无人机救灾等领域有着广泛的应用.目前关于最小最大圈覆盖问题的研究主要集中在近似算法方面,而缺少精确算法方面的结果.本文根据最小最大圈覆盖问题的组合特征,对该问题设计了基于动态规划策略的首个精确算法,时间复杂度为O^(*)(3^(n)).本文将对最小最大圈覆盖问题的求解分为两个阶段,第一个阶段是对问题的输入进行预处理,第二个阶段是在预处理的基础上求问题的最优解.有趣的是,两个阶段的方法都是基于动态规划策略设计的,这是本文处理最小最大圈覆盖问题的一个主要的特色.本文所证明的求到最优解的时间O^(*)(3^(n)),显著优于基于暴力搜索策略的枚举算法的时间.

关键词：最小最大圈覆盖问题动态规划分支定界精确算法

来源：评论

学校读者我要写书评

暂无评论

可截切开放式矩形布置问题的一种新精确算法

引用

系统工程 2013年第11期31卷 1-7页

作者：董晓蕾孙林岩西安交通大学管理学院陕西西安710049 机械制造系统工程国家重点实验室陕西西安710049 过程控制与效率工程教育部重点实验室陕西西安710049

开放式矩形布置问题是典型的NP-hard问题之一,其各子型在工业设计和生产管理中有广泛的实际应用。针对带截切约束的开放式矩形布置问题,指出并证明了其解空间存在组合冗余性质,得出了最大非冗余系数,提出了一组包括避开冗余解空间、利... 详细信息

开放式矩形布置问题是典型的NP-hard问题之一,其各子型在工业设计和生产管理中有广泛的实际应用。针对带截切约束的开放式矩形布置问题,指出并证明了其解空间存在组合冗余性质,得出了最大非冗余系数,提出了一组包括避开冗余解空间、利用最小浪费面积和动态隐性空间约束的剪枝策略,给出了一种整合以上剪枝策略并在整体架构上采用相近排序规则和带广度探索的深度优先混合搜索策略的新精确算法。算例实验表明本文算法在求解效率及可求解问题规模上优于现有文献中领先的精确算法,冗余解空间剪枝策略对本文算法的整体性能起到关键作用。

关键词：开放式矩形布置问题截切约束精确算法解空间

来源：评论

学校读者我要写书评

暂无评论

MRCPSP的一种精确算法

引用

控制理论与应用 2001年第1期18卷 119-126页

作者：毛宁陈庆新陈新广东工业大学机电学院广州510090

着眼于多模式资源受限项目调度方法 .其特色在于 ,针对项目中每个任务的工期不仅取决于自身的执行模式 ,而且取决于该任务实际开工时间的一般情形 ,同时考虑每个任务对可更新 (再生 )资源需求呈任意分布、可更新 (再生 )资源的最大供给... 详细信息

着眼于多模式资源受限项目调度方法 .其特色在于 ,针对项目中每个任务的工期不仅取决于自身的执行模式 ,而且取决于该任务实际开工时间的一般情形 ,同时考虑每个任务对可更新 (再生 )资源需求呈任意分布、可更新 (再生 )资源的最大供给量随时间而变化的一般情况 .作为对前人研究成果的进一步推广 ,本文在经典单模式DH分枝定界算法的基础上 ,利用事件驱动的时间增量方式。

关键词：资源受限项目调度 MRCPSP 精确算法优化问题

来源：评论

学校读者我要写书评

暂无评论

配电网合环冲击电流精确算法

引用

电力系统及其自动化学报 2020年第4期32卷 123-129页

作者：吴艳娟王皓月杨理天津理工大学天津市复杂系统控制理论及应用重点实验室天津300384 国网重庆市电力公司永川供电分公司重庆402160

针对配电网合环冲击电流问题,提出一种基于闭区间求解目标函数最大值的数学计算方法。首先,将配电网合环电路的物理模型转化为满足工程要求的数学模型;其次,针对数学模型在自变量的闭区间内找出函数的所有极值点;最后,通过极值点得到函... 详细信息

针对配电网合环冲击电流问题,提出一种基于闭区间求解目标函数最大值的数学计算方法。首先,将配电网合环电路的物理模型转化为满足工程要求的数学模型;其次,针对数学模型在自变量的闭区间内找出函数的所有极值点;最后,通过极值点得到函数值域,值域的绝对值中最大值即为冲击电流最大值。所提算法结合拓扑搜索方法,实现合环回路中所有支路冲击电流的精确计算,对实际配电网的合环操作具有更加精确的指导作用。最后,在所开发的配电网合环分析平台上进行编程实现,并通过算例证明本文方法的正确性和可行性。

关键词：配电网合环冲击电流精确算法

来源：评论

学校读者我要写书评

暂无评论

基于加权分治技术的set packing精确算法

引用

小型微型计算机系统 2010年第6期31卷 1180-1184页

作者：李绍华王建新马振宇陈建二中南大学信息科学与工程学院湖南长沙410083 广东商学院信息学院广东广州510320

加权分治技术是算法分析中的一种新技术,该技术基于选择不同的量来描述分支子问题的大小,以求得到在最糟糕情况下最好的时间复杂度.setpacking问题是一典型的NP-hard问题,广泛应用于调度、代码优化和生物信息学等领域.本文对有n个子集的... 详细信息

加权分治技术是算法分析中的一种新技术,该技术基于选择不同的量来描述分支子问题的大小,以求得到在最糟糕情况下最好的时间复杂度.setpacking问题是一典型的NP-hard问题,广泛应用于调度、代码优化和生物信息学等领域.本文对有n个子集的setpacking问题,引入符号全集变量N设计基于分支搜索策略的递归算法,并应用加权分治技术对算法加以分析,得到时间复杂度为O*(1.1686n+N)的精确算法,当N≤n/4时,比现有最佳的算法O*(1.2209n)更加有效.

关键词：加权分治 set packing问题最大独立集精确算法

来源：评论

学校读者我要写书评

暂无评论

一种基于链暗示技术的Min-CVCB问题的精确算法

引用

计算机研究与发展 2008年第9期45卷 1509-1516页

作者：王建新许小双冯启龙李敏中南大学信息科学与工程学院长沙410083 中南大学信息科学与工程学院长沙410083 浙江中烟工业有限责任公司信息中心杭州310009

随着VLSI(超大规模集成电路)技术的发展,关于可重构阵列二分图的受约束最小点覆盖(Min-CVCB)问题受到了很多文献的关注.作为点覆盖问题的子问题,该问题已被证明是NP-完全问题.人们利用核心化和分支即使给出了时间复杂度为O((ku+k1)|G|+1... 详细信息

随着VLSI(超大规模集成电路)技术的发展,关于可重构阵列二分图的受约束最小点覆盖(Min-CVCB)问题受到了很多文献的关注.作为点覆盖问题的子问题,该问题已被证明是NP-完全问题.人们利用核心化和分支即使给出了时间复杂度为O((ku+k1)|G|+1.26ku+k1)的目前最好算法,然而仍不能满足实际工程的需要.通过进一步深入分析二分图的结构,对含有权值大于或等于3的块的连通子图分析其可能连接情况后充分利用'链暗示'技术和分枝搜索技术来建立起新的搜索递推关系;对于分枝后的块提出了一种动态规划算法,其可在多项式时间内完成处理.整个参数算法的运行时间为O((ku+k1)|G|+1.1892ku+k1),极大地改进了目前的最好结果.

关键词：二分图点覆盖精确算法参数计算动态规划

来源：评论

学校读者我要写书评

暂无评论

基于支持向量机的煤炭储量精确算法

引用

煤炭学报 2008年第9期33卷 1015-1019页

作者：邓兴升刘文锴王瑞芳武汉大学测绘学院焦作师范高等专科学校河南焦作454001 河南理工大学测绘学院河南焦作454000

针对目前煤炭储量估计方法的局限性,提出了基于支持向量机的煤炭储量精确算法.通过已知钻孔数据采用支持向量回归方法构造区域煤厚与密度模型,根据点与多边形关系判别算法剔除区域外部点,由区域积分求和得到精确的煤炭储量.列举了2个不... 详细信息

针对目前煤炭储量估计方法的局限性,提出了基于支持向量机的煤炭储量精确算法.通过已知钻孔数据采用支持向量回归方法构造区域煤厚与密度模型,根据点与多边形关系判别算法剔除区域外部点,由区域积分求和得到精确的煤炭储量.列举了2个不同类型煤矿的储量计算实例,分别构造了三维煤厚分布图,实例结果表明了方法的可靠性和优越性.

关键词：支持向量机煤炭储量估计精确算法

来源：评论

学校读者我要写书评

暂无评论

删除顶点生成二分图问题的精确算法

引用

小型微型计算机系统 2014年第9期35卷 2122-2125页

作者：支志兵宁爱兵熊小华王永斐陈吉珍杨晓芳上海理工大学管理学院上海200093 上海第二工业大学计算机与信息学院上海201209

分支降阶是目前广泛用于设计精确算法求解NP-Hard问题的技术之一,该技术主要通过快速降阶、分支及递归求解原问题及其子问题.为了降低分支降阶算法的时间复杂度,一方面可以增加降阶规则、改变算法的设计思想;另一方面可以运用更精确的... 详细信息

分支降阶是目前广泛用于设计精确算法求解NP-Hard问题的技术之一,该技术主要通过快速降阶、分支及递归求解原问题及其子问题.为了降低分支降阶算法的时间复杂度,一方面可以增加降阶规则、改变算法的设计思想;另一方面可以运用更精确的时间复杂度分析方法分析算法.本文针对删除最少顶点生成二分图问题,首先运用常规枚举方法得到一个时间复杂度为O(3n)的算法;然后通过增加降阶规则、改善算法设计和运用加权分治技术分析算法等方法,最终得到一个时间复杂度为O(1.8157n)的精确算法.本文中的结果表明运用上述方法降低算法的时间复杂度是非常有效的.

关键词：删除顶点生成二分图精确算法分支降阶技术加权分治技术

来源：评论

学校读者我要写书评

暂无评论

SAT及其相关问题的精确算法研究

SAT及其相关问题的精确算法研究

引用

作者：肖凡华中科技大学

学位级别：博士

给定一个合取范式CNF,合取范式中的每一项都是布尔变元的析取,SAT问题(Boolean Satisfiability Problem)是判断这个CNF是否可满足;MinSAT问题是指找到一组解使得CNF中满足的子句个数最少,即,使不满足的子句个数最多;MaxSAT问题是指找到... 详细信息

给定一个合取范式CNF,合取范式中的每一项都是布尔变元的析取,SAT问题(Boolean Satisfiability Problem)是判断这个CNF是否可满足;MinSAT问题是指找到一组解使得CNF中满足的子句个数最少,即,使不满足的子句个数最多;MaxSAT问题是指找到一组解使得CNF中满足的子句个数最多,它们都是经典的NP问题。MaxSAT问题和MinSAT问题都是SAT问题的扩展。这些问题在电路控制,社团检测,资源分配选址,AI规划,供应链优化等实际问题中存在着广泛的应用,与最大独立集、最小顶点覆盖、图染色等其它经典的NP难问题的关系也非常密切。研究这些问题具有重要的理论意义和实用价值。本文主要研究SAT问题和MinSAT问题。当前SAT问题和MinSAT问题的求解方法主要分为两种:精确算法和启发式算法。启发式算法通常能很快的给出一个较优解,但无法从理论上保证这个解是全局最优的。精确算法通过搜索问题的整个解空间,从而能确保最终得到的解为全局最优解。从理论上看,现有的NP问题的精确算法在最坏情况下的时间复杂度都是指数级的,但近些年来的研究进步使得精确算法的求解能力得到了显著的提升。本文的研究工作分为两部分,一部分是研究基于DPLL算法的CDCL SAT精确算法,另一部分是研究基于消解规则逻辑推理的MinSAT的理论求解,这两者联系紧密,因为求解SAT问题的精确算法最重要的一点是要尽快找到冲突以减小搜索空间,但是如何更快找到冲突非常不容易。而MinSAT的目标和策略是从子句集中找最多的冲突。我们希望,通过研究MinSAT找最多冲突的策略及这些冲突之间的关系,能对SAT问题的研究带来帮助。本文中的所有研究工作都与冲突的快速寻找密切相关。对于SAT问题,论文从分支启发式,子句库删减和子句化简这三个关键策略展开。具体工作体如下:(一)提出了一个名为nbSAT的策略,用来评估学习子句的质量并根据其进行子句库删减。学习子句对于CDCL SAT求解器的性能至关重要,好的学习子句能引导求解器快速的产生冲突,减小搜索空间。但是,大量学习子句的存在会影响单子句传播的速度,过多的学习子句也会导致内存溢出。为了弥补这些缺点,CDCL SAT求解器的一个常见做法是使用启发式方法评估每个学习子句的质量,并每隔一段时间删除一半低质量的学习子句。提出了nbSAT策略,在SAT求解器Glucose 3.0中做学习子句库删减的时候来评判学习子句的有用性。通过实验研究了nbSAT策略的有效性,并证明它比原始Glucose 3.0中使用的LBD策略更准确。这项改进,再加上一种学习子句消解策略,使得Glucose 3.0在2014年的SAT竞赛的工业算例和人造算例上的表现得到提升。(二)提出了一种基于完整蕴含图的分支启发式策略。好的分支启发式策略能使得求解器快速的找到解或者快速的产生冲突并减小搜索空间。由于现有的分支启发式策略都是基于变元过去参与冲突的情况,除了一些参数不同,在搜索的开始,进行中以及最后,这些分支启发式计算变元分数的方法都是类似的,冲突中所涉及到的所有变元的分数都是增加一个值,而不考虑这些变元对冲突的贡献的区别。然而,在搜索的最开始,一个变元的分数仅仅是基于很少次冲突中其被涉及到的次数,不是非常准确。所以,本文提出了一种分支启发式策略Distance,在搜索的初始化阶段,对完整蕴含图中所涉及的所有变元都根据其到冲突的最长距离打分,而不仅仅只考虑变元的出现次数,从很少的冲突中提取更多的信息,使得能更快的导向冲突的变元分数更高。实验表明,本文提出的分支启发式策略大大提升了求解器的性能,使得求解器在同等时间内能够解决更多的算例。值得一提的是,本文所描述的其中一个使用了Distance分支启发式策略的SAT求解器Maple CM Dist获得了2017年SAT竞赛Main组金牌,而且2018年SAT竞赛Main组的金牌和银牌获得者也都使用了本文提出的Distance策略。(三)将vivification子句化简策略扩展到了对原始子句的化简以及子句二次化简。子句化简策略对搜索过程至关重要,因为短的子句需要更少次的单子句传播就能快速的变成单子句或者产生冲突。本文提出了一种子句选择策略,在预处理过程中和搜索过程中,使用该策略选择一部分原始子句进行化简,并选择部分子句(包括原始子句和学习子句)进行多次化简。更重有的是,本文中做了大量实验对该子句化简策略进行了深入研究分析。结果表明,将本文提出的原始子句化简方法以及子句二次化简策略,可以使得求解器多解决出大量的算例。值得一提的是,本文所描述的其中一个使用了该原始子句化简策略以及子句二次化简策略的SAT求解器获得了2018年SAT竞赛Main组铜牌。对于MinSAT问题:MinSAT问题的目标和策略是找最多的冲突

关键词： NP问题 SAT问题 MinSAT问题分支启发式精确算法子句库删减 vivification子句化简 LBD 学习子句蕴含图冲突分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：