首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 765 毫秒

1.  基于树状线性规划搜索的单调速率优化设计  
   陈力  王永吉  吴敬征  吕荫润《软件学报》,2015年第26卷第12期
   改善单调速率(rate monotonic,简称RM)可调度性判定算法的效率,是过去40年计算机实时系统设计的重要问题.最近,研究人员把可调度性判定问题扩展到了更一般的优化设计问题,即,如何调节在区间可选择情况下的任务运行时间,使得:(1)系统RM可调度;(2)系统的某个性能(如CPU利用率)达到最优.在已有的求解实时系统RM优化设计问题的方法中,都是先把原问题建模成广义约束优化问题,然后再对广义约束优化问题进行求解.但现有方法的求解速度较慢,任务数较多时不再适用.提出一种求解优化问题的方法——基于树状的线性规划搜索(linearprogramming search,简称LPS)方法.该方法先将实时系统RM优化设计问题建模成广义约束优化问题,再将其分拆成若干线性规划子问题,然后构造线性规划搜索树,利用剪枝搜索算法求解部分线性规划子问题,最后得到优化解.实验结果表明:LPS方法相比于已有的方法能够节省20%~70%的求解时间,任务数越多,节省时间越多.该研究成果可以与计算机可满足性模定理(satisfiability modulo theories,简称SMT)领域的多个研究热点问题联系起来,并可望改善SMT问题的求解效率.    

2.  基于逻辑"或"约束优化的实时系统设计  被引次数:1
   刘军祥  王永吉  王源  邢建生  曾海涛《软件学报》,2006年第17卷第7期
   标准约束优化问题的等式或不等式约束之间是逻辑"与"关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑"与"关系,而且还包含逻辑"或"关系,现有的针对标准约束优化问题的各种算法不再适用.给出一种新的数学变换方法,把具有逻辑"或"关系的不等式约束转换为一组具有逻辑"与"关系的不等式,并应用到实时单调速率调度算法的可调度性判定充要条件中,把实时系统设计表示成混合布尔型整数规划问题,利用经典的分支定界法求解.实验部分指出了各种方法的优缺点.    

3.  考虑禁止运行区的环境经济调度混合逻辑约束优化方法  
   郭小璇  龚仁喜  鲍海波  杭乃善《电力系统自动化》,2015年第39卷第23期
   为了准确描述考虑禁止运行区域的发电机出力限制,分析了优化问题约束条件之间存在的“与”和“或”的逻辑关系,研究了一种同时包含“与”和“或”逻辑约束的混合逻辑约束优化(MLCO)问题,并基于此,将考虑禁止运行区域的发电机出力限制表示为一组“或”逻辑关系的约束条件,建立了环境经济调度的MLCO模型。根据布尔代数逻辑变换的思想,延伸出约束条件逻辑关系的等价数学变换,实现了“或”逻辑和“与”逻辑的约束条件之间的转换。从而将MLCO问题转化为仅含“与”逻辑约束的常规非线性优化问题,最后采用现代内点算法加以求解。6机和15机系统的测试结果表明所提出的MLCO模型与方法行之有效,具有较高的求解精度和效率。    

4.  约束优化模式搜索法研究进展  被引次数:7
   黄天云《计算机学报》,2008年第31卷第7期
   实际工程应用中的优化问题通常包含复杂的约束条件,其目标函数可能是非线性、非连续、不可微甚至随机函数;而约束函数可能是线性、非线性、离散变量集,甚至黑盒函数(例如,由程序代码生成的值集合);约束变量也可能是包含连续、离散或分类值的混合变量.这些复杂的情况,使得没有任何导数/梯度信息可供利用,因此无法利用现有的凸优化技术求解.文中研究如何利用模式搜索法对常见的混合变量约束优化模型进行求解.首先对直接搜索法的发展历史进行概述;特别地,给出模式搜索法统一的数学描述和收敛性分析.对约束条件从无约束(一般模式搜索)到线性约束(广义模式搜索GPS)、非线性约束(GPS过滤法)和混合约束(广义混合变量规划GMVP)的推广以及在边界约束条件下,算法搜索方向从有限集向紧致集的扩展(网格自适应直接搜索MADS),进行了全面分析;在此基础上对该领域尚存在的问题及进一步的研究方向进行了总结.    

5.  RTL验证中的混合可满足性求解  
   邓澍军  吴为民  边计年《计算机辅助设计与图形学学报》,2007年第19卷第3期
   RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类.前者主要使用逻辑推理的方法,目前已在处理器验证中得到了广泛的应用,主要得益于SMT支持用于描述验证条件的基础理论;后者能够充分地利用电路中的约束信息,因而求解效率较高.介绍了每一大类中的典型研究及其所采用的重要策略,以及RTL可满足性求解方面的研究进展.    

6.  基于非线性规划理论的凸多面体最小平移距离算法  
   周之平  张少博  吴介一  张飒兵《中国图象图形学报》,2006年第11卷第10期
   凸多面体的最小平移距离问题一直以来都成为计算机图形学的一个研究热点.目前已有的距离算法在稳定性、可实现性、精确度和实现效率这几方面或多或少都存在一定的缺陷.为此,从最小平移距离定义出发,引入广义分离平面概念,提出一种用非线性规划求解距离问题的新算法.算法先定义一对最优广义分离平面以确定凸多面体最小平移距离;然后,将最优广义分离平面对的搜索问题等效变换为非线性规划问题;最后,用非线性优化工具软件对非线性规划问题进行求解,从而确定最小平移距离.实验结果表明:该算法能提供一个准确的距离值和实现向量,其性能优于其他同类算法;迭代次数与多面体的顶点数呈线性关系.此外,该算法只需提供顶点信息即可实现,求解过程中避免了死循环,故实现简单、可靠.因此,此算法是一种快速而有效的距离算法.    

7.  基于SMT的不完全信息游戏求解  
   李健  郑荣基  汤宇锋  袁立然  陈寅《计算机系统应用》,2020年第29卷第1期
   不完全信息博弈是人工智能领域的一个重要研究领域.本文提出了一种基于可满足性模理论(Satisfiability Modulo Theories,SMT)的不完全信息游戏求解方法,首先通过情景演算将游戏动态过程描述成对应的约束,并将约束编写成命题逻辑公式,然后将推理问题转化为逻辑公式可满足性问题,调用SMT求解器Z3进行求解.应用表明,本文的算法能有效地推理出游戏的正确结果.    

8.  基于遗传算法的临床营养治疗食谱优化研究  
   黄肇明  陈以  张勇胜《软件》,2012年第3期
   提出一种基于MATLAB遗传算法的线性整数规划算法,求解临床营养上的治疗食谱优化问题,建立满足营养素要求的约束方程和最小化花费等式的整数线性规划数学模型,利用matlab中的遗传算法与直接搜索工具箱GADS求解,很好地解决临床的治疗食谱优化问题。    

9.  多行设备布局的一种多目标差分进化算法和线性规划混合方法  
   管超  张则强  李云鹏  贾林《机械工程学报》,2019年第13期
   针对现有对多行设备布局研究中预先固定布置行数和未考虑行间距约束的不足,在满足最小间隙约束条件下,构建了优化物料流成本、布局行数和布局占地面积的多目标多行设备布局模型,并运用数学规划软件Lingo对模型进行了精确求解。基于所提问题的多目标、多约束、混合优化特性,提出一种基于Pareto解集的多目标差分进化算法和线性规划混合优化方法。该方法采用四列表直接编码方法表示可行解;提出一种结合改进换行策略的解码方式,该解码方式可以在满足边界约束条件的同时对所有可行的布局方案进行确定;为获得收敛性、分布性良好的多目标布局结果,采用Pareto思想、NSGA-Ⅱ拥挤距离机制筛选外部档案中的非劣解。应用所提算法求解不同规模多行设备布局问题测试算例,比较分析3种差分进化模式对所提方法在求解质量和求解效率方面的影响。最后,将所提模型和求解方法应用至两个布局实例中,不同算法的对比试验表明了所提方法的有效性、优越性。    

10.  量子遗传算法在多输出Reed-Muller逻辑电路最佳极性搜索中的应用  被引次数:2
   汪鹏君  李辉  吴文晋  王伶俐  张小颖  戴静《电子学报》,2010年第38卷第5期
    量子遗传算法是一种融合量子计算和遗传算法优点的智能算法,常用于求解组合优化问题.本文给出多输出RM(Reed Muller)逻辑电路最佳极性搜索方案,将量子遗传算法应用到多输出固定极性RM电路逻辑优化中.针对量子遗传算法易陷入局部极值的缺陷,结合群体灾变思想,提出一种基于量子遗传算法的多输出RM逻辑电路最佳极性搜索算法.最后对多个大规模PLA格式基准电路测试表明:该算法与基于遗传算法的最佳极性搜索相比,在优化能力、寻优性能和收敛速度等方面都有不同程度的提高.    

11.  一种新型线性约束系统预测控制算法  被引次数:1
   邹志云  刘建友  于德弘  刘兴红  赵丹丹  王志甄  郭宁《化工学报》,2010年第61卷第2期
   通过对无约束预测控制算式的修正,应用线性规划求解技术,提出了一种基于脉冲响应模型的线性约束系统的预测控制算法。理论特性分析表明,该方法在一般情况下具有与无约束预测控制算法相同的稳定性和鲁棒性。以蒸馏塔质量控制为例进行了控制仿真,结果表明,这种新的预测控制算法不仅能满足系统存在的线性约束条件,而且有着比无约束预测控制和最优状态反馈控制更好的控制响应;与二次规划等优化算法比较,这种新的预测控制算法计算效率更高,能更好地满足生产过程实时控制需要。    

12.  采用二元CSP引擎求解RTL数据通路的可满足性  
   吴为民《计算机辅助设计与图形学学报》,2009年第21卷第4期
   针对寄存器传输级(RTL)验证和测试过程中非常重要的数据通路可满足性求解问题,提出一种基于二元约束满足问题(CSP)的求解方法,包括数据通路提取、二元CSP建模和搜索求解3个步骤.数据通路提取通过对接口布尔变量和某些字变量赋值,为各个数据通路器件建立环境;二元CSP建模则根据该环境和各个数据通路器件的功能,将数据通路的可满足性问题转化为二元CSP描述;该二元CSP问题的描述被送入到二元CSP引擎,并采用冲突引导的回跳搜索策略进行求解,获得有解的例证或无解的判定.实验结果表明,即使在没有采取很多优化策略的条件下,该方法仍有较好的性能,并优于基于线性规划(LP)的求解方法.    

13.  基于逻辑的炼油厂原油库存调度优化  被引次数:1
   田文德  孙素莉  李英《石油炼制与化工》,2005年第36卷第1期
   根据现有炼油厂原油库存调度优化大多基于线性模型,通过混合整数线性规划来求解的情况,指出这种模型仅将复杂的生产操作逻辑关系进行简单的线性化,而没有考虑各种逻辑关系的内在联系,存在模型表达复杂、优化算法效率不高等问题。对此介绍了采用专家系统对上述的逻辑关系进行特定推理后再进行优化计算,经过反复迭代而构成的一种混合算法。应用该算法对实例的计算结果表明,它不仅具有模型表达简单的优点,而且效率较单纯的混合整数规划算法也有了一定程度的提高。    

14.  以多人博弈效用函数为演化指导函数的演化算法  
   徐敏  张四海  王煦法《模式识别与人工智能》,2006年第19卷第6期
   研究一种基于多人纯策略非合作博弈的演化优化算法,可用于一类组合优化问题的求解.该算法的演化过程可建模为一个马尔科夫链模型.它将组合优化问题映射为多人非合作博弈,通过博弈主体的理性行为对问题的解进行优化.给出定义良好并可供扩展的算法框架,明确算法的要素所必须满足的3个约束:有限性约束、弱一致性约束和收敛性约束,并应用于若干典型NP-Hard的组合优化问题的求解.理论和实验结果表明,与一些传统优化算法相比,本算法在实际应用中具有良好的问题求解能力.    

15.  一种基于服务选取的SBS云资源优化分配方法  
   赵秀涛  张斌  张长胜《软件学报》,2015年第26卷第4期
   获取满足全局优化目标的资源分配策略,是影响云环境中基于服务的软件系统(service-based software system,简称SBS)运行时优化效果的关键.然而,由于SBS内部复杂的业务逻辑关系和云环境中的资源约束,现有分配方法无法得到最优资源分配量.以满足SLA约束和最小化资源成本为目标,根据不同资源状态对应不同组件服务性能的特点,将组件服务可能的资源分配量、相应性能及成本转换为备选逻辑服务集,进而提出了一种云环境中基于服务选取的SBS资源优化分配模型,并设计了一种求解模型的混合遗传算法.算法采用整数编码以提高求解效率,并在选择算子中引入了精英保留策略,从而保证收敛到全局最优解.为提高遗传算法的局部搜索能力、加快收敛速度,以局部搜索策略改进了标准变异算子.实验验证了所提出的资源优化分配模型和求解算法的有效性,并表明:与分支定界法及精英保留策略遗传算法相比,混合遗传算法能够在较大规模的问题上快速获得具有较低资源成本的资源分配策略.    

16.  集成偏好的高维多目标最优软件产品选择算法  
   向毅  周育人  蔡少伟《软件学报》,2020年第31卷第2期
   在基于搜索的软件工程研究领域,高维多目标最优软件产品选择问题是当前的一个研究热点.既往工作主要采用后验方式(即先搜索再选择)处理软件工程师或终端用户的偏好.与此不同,将用户偏好集成于优化过程,提出了一种新算法以定向搜索用户最感兴趣的软件产品.在算法中,运用权向量表达用户偏好,采用成就标量化函数(achievement scalarizing function,简称ASF)集成各个优化目标,并定义一种新关系比较个体之间的优劣.为了增强算法快速搜索到有效解的能力,分别采用DPLL/CDCL类型和随机局部搜索(SLS)类型可满足性(SAT)求解器实现了替换算子和修复算子.为了验证新算法的有效性,采用21个广泛使用的特征模型进行仿真实验,其中最大特征数为62482,最大约束数为343 944.实验结果表明,基于DPLL/CDCL类型SAT求解器的替换算子有助于算法返回有效软件产品;基于SLS类型SAT求解器的修复算子有助于快速搜索到尽可能满足用户偏好的最终产品.在处理带偏好的高维多目标最优软件产品选择问题时,综合运用两类SAT求解器是一种行之有效的方法.    

17.  广义动态约束满足问题的一种双层组合启发式求解算法  
   阴艳超  刘泓滨《机械工程学报》,2011年第47卷第3期
   为了求解并行协同设计过程中诸多制约关系形成的约束网络,研究动态约束满足问题,提出一种基于模糊物元分析和改进微粒群算法的双层组合启发式求解算法。将模糊物元分析理论作为算法的第一层,建立广义动态约束满足问题的可拓关系元形式化模型,并应用模糊关系元优化方法完成从求解空间到寻优空间的转换;将改进微粒群算法作为第二层,在基本微粒群算法基础上,引入柔性变异概率及动态更新响应方式提高算法对复杂动态系统环境变化的适应性,追踪协同设计进程中动态约束带来的系统极值的最新变化。通过设计实例验证所提算法的有效性。面向广义动态约束网络的双层组合优化算法为协同设计过程中的约束建模和求解提供了一种形式化和动态的研究方法。    

18.  基于遗传模拟退火算法约束求解算法  被引次数:6
   王远志  孙立镌《哈尔滨理工大学学报》,2005年第10卷第2期
   针对基于图构造方法的可扩展性差的缺陷,根据遗传模拟退火算法,结合空问约束求解,提出了基于遗传模拟退火算法的约束求解算法,解决了过约束和欠约束的问题,可扩展性也得到了提高.而且基于遗传模拟退火算法的约束求解算法有很强的全局搜索与局部快速收敛能力,从而提高了约束求解的效率.    

19.  基于禁忌搜索算法的Web服务组合优化  
   董宗然  李迎秋  陈明华《计算机工程与设计》,2010年第31卷第5期
   为有效集成网络中的Web服务,组成满足用户需求的服务链,提出了基于禁忌搜索算法的Web服务组合优化方法.建立了基于QoS感知的Web服务组合优化模型,该模型从全局限制了用户的QoS约束.简述了禁忌搜索算法求解的基本框架,在此基础之上分析了应用禁忌搜索算法求解过程中的关键设计步骤.实例仿真计算结果表明,该算法求解具有比线性规划算法更好的时间性能,并具有与遗传算法相仿的表现.    

20.  社会认识优化在非线性规划问题中的应用  被引次数:1
   苏俊霞《计算机仿真》,2007年第24卷第9期
   社会认识优化(Society Cognitive Optimization,SCO)是一种基于社会认知理论提出的模拟人类社会的演化算法.社会认识优化是通过竞争选择和领域搜索来模拟社会认知理论中的社会学习能力,用代理来代表社会中的人,用知识库来代表社会中的知识,通过代理与知识库之间不断的交互来模拟人类的社会学习过程,从而达到优化学习的目的.命题逻辑中合取范式的可满足性(Satisfyability,SAT)问题是当代理论计算机科学的核心问题,是一典型的NP完全问题.可满足性问题的有效解决有着重要的理论意义和实际应用价值.文中将社会认识优化算法应用于求解可满足性问题,得到了比较满意的结果.    

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号