约束满足
约束满足的相关文献在1994年到2021年内共计142篇,主要集中在自动化技术、计算机技术、机械、仪表工业、经济计划与管理
等领域,其中期刊论文117篇、会议论文5篇、专利文献22962篇;相关期刊67种,包括中国管理信息化、军民两用技术与产品、系统工程与电子技术等;
相关会议5种,包括2011嵌入式技术开发论坛、2008年军民两用维修技术学术研讨会、中国系统工程学会全面建设小康社会和系统工程会议等;约束满足的相关文献由307位作者贡献,包括李铁克、张文学、王柏琳等。
约束满足—发文量
专利文献>
论文:22962篇
占比:99.47%
总计:23084篇
约束满足
-研究学者
- 李铁克
- 张文学
- 王柏琳
- 郭冬芬
- 蔡庆生
- 谭跃进
- 陈恩红
- 廖乐健
- 易先清
- 曹元大
- 李俊芳
- 李占山
- 李迪
- 王晶
- 肖拥军
- 贺仁杰
- A·L·小布朗
- 任永吉
- 余培军
- 冯明月
- 刘媛媛
- 刘建平
- 刘洋
- 刘辉
- 史兼郡
- 周庆
- 夏建军
- 姜博
- 宋艳波
- 尹静
- 张丽萍
- 张天骄
- 张永刚
- 张立明
- 曾建潮
- 朱俊
- 李娟
- 李晶
- 李辉
- 李铁颖
- 杨建军
- 杨洁
- 杨育
- 柏亮
- 樊恒海
- 欧阳丹彤
- 涂雪平
- 温新
- 熊智勇
- 王亚平
-
-
郭帅;
罗亚中;
史兼郡
-
-
摘要:
针对空间站短期任务规划在处理任务相对时间约束时迭代判断次数多、计算效率低的问题,提出一套可快速准确对任务相对时间信息进行处理的方法.梳理空间站短期任务规划中任务相对时间约束的特点,建立通用的时间约束描述模型;基于模型将具有时序关系的关联任务梳理成任务时序链,并建立根据任务时间约束类型而划分任务层级的时间约束层次网络,提出考虑任务关联重要度的冲突化解策略;设计出基于标称时间的时间冗余启发规则规划流程,使规划可以由时间确定任务向时间不确定任务层层递推,减少规划中反复搜索,提升计算效率;最后通过一个包含177个任务的规划场景验证方法的有效性.结果表明:所提算法在处理相对时间约束的规划问题时效率比已有的规划方法提高约20%.
-
-
史兼郡;
张进;
罗亚中;
郭帅;
李智远;
李大鹏
-
-
摘要:
针对空间站短期任务重规划问题规划周期短、实时性约束多、约束传播复杂的特点,结合深度强化学习在智能学习和决策上的优势,提出了适用于深度强化学习的空间站任务状态空间编码方式,实现了基于深度确定性策略梯度算法的空间站任务重规划方法.该方法可以通过学习,自主化解约束冲突,摆脱人为预先设定约束冲突化解策略的限制.仿真分析表明:该方法可以通过算法本身不断地学习进化,找到空间站任务重规划问题的近似最优解,相比于传统解决方法,具有很强的智能性和适应性,为解决空间站任务规划问题提供了新思路.
-
-
王旭亮;
柴旭东;
张程;
赵晓芳
-
-
摘要:
为解决云制造环境下的跨企业协同生产调度问题,提出一种适用于云制造环境下生产资源调度的混合集合规划方法.该方法基于切削算法框架,综合考虑多种约束,提出一种有效的求解策略,实现了一种面向订单且适用于跨企业、多约束、多品种、小批量的有限能力调度算法,为供应链中供需企业提供了一份拖期小、费用低、跨度短的协同生产计划.利用多组制造企业真实数据对模型进行测试,结果表明,该模型可在合理时间内有效求解实际应用规模的跨企业协同生产调度问题.
-
-
翟治年;
卢亚辉;
余法红;
高慧敏
-
-
摘要:
互斥约束工作流可满足决策是关系到安全业务可行性的重要问题,而其现有算法的理论和实测性能,或时间和空间代价严重失衡.根据其低约束密度特征,利用Jegou的树分解回溯方法来解决上述问题.因该方法仅根据约束不相关性得出子问题独立性,不能保证部分解之间的兼容性,从变量不相交和约束不相关两个角度建立了完备的子问题独立性及其部分解缓存原理,设计了相应的算法,并通过交错归纳的方法证明其正确性.分析表明,该算法时间复杂度为O*(|S|3×dW+1),一定条件下低于目前最优的O*(2|S|(|X|+|U|2))时间,其中S、d、W分别为步骤集、步骤授权列表的最大规模、树分解宽度.实验表明,该算法在低密度约束下,时间性能显著超过现有理论或实际性能最优的算法,且未付出很大空间代价.
-
-
孙伟;
孙见君;
陈卫;
佘宝秋
-
-
摘要:
根据绿色设计的优点,在分析约束满足问题、范例推理优化算法与绿色设计相似点的基础上,将绿色设计应用到机械密封系统设计之中.通过具体示例,对绿色设计方法与流程进行应用与评价.结果显示,该设计流程与优化算法能够实现环保、节能和经济高效统一,具有推广价值.%Based on the comparison among constraint satisfaction problems(CSP),case based reasoning(CBR) and green design,a new design model is taken to solve the mechanical seal design problems.A working situation was selected as an example to state this method.It has been demonstrated that the design model and optimization algorithms can achieve the balance among the environmental protection,energy conservation and economic interest.
-
-
李慧旻;
苏依拉;
王斐
-
-
摘要:
针对用户喜好多样化、旅游线路个性化、旅游成本优减化等问题,本文提出了基于约束满足与连续型Hopfield神经网络二者相结合的旅游线路模型.首先利用回溯算法和启发式分支算法求出基础解,然后运用连续型Hopfield神经网络优化基础解,最后使用Matlab进行仿真实验.实验结果表明该模型能够有效地解决旅游线路规划问题,具有一定应用价值.
-
-
吴子轩;
李铁克;
王柏琳
-
-
摘要:
为解决热轧无缝纲管在多工艺路线下的订单排程问题,将工艺路线因素引入热轧钢管订单排程中,建立了以合理的工艺路线切换、最小化机器设备调整和准时制生产为优化目标的约束满足模型,并设计了求解算法.该算法根据模型特征,提出基于降序最佳适应的约束满足算法和基于约束的聚类算法,对订单进行整理并形成初始轧制计划;设计了两种批次交换搜索算法,分别对单日内及日间的初始轧制批次进行排程优化.通过基于实际订单数据的实验讨论了上述算法两两组合的求解效果和各自的适用情况,验证了模型和算法的可行性和有效性.
-
-
涂雪平;
李铁克
-
-
摘要:
为解决订单在生产过程中因某动态因素导致其出现产品质量问题而无法按期交货的问题,建立了以最小化产品替补总成本和订单之间替补次数为目标的多等级产品动态替补模型;根据问题的特点,证明了该问题为NP完全问题;基于约束满足技术,提出求解该问题的动态产品替补算法.该算法旨在根据订单交货期紧急程度以及其中的产品等级进行产品替补以制定替补机制.通过实验验证了模型和算法的可行性和有效性,并且完全能在满足生产实际的条件下获得最优解.
-
-
王桢;
黄磊
-
-
摘要:
This paper studied a logistics scheduling problem based on order regions,and established a two-stage multi-objec-tive integer programming model.The model contained two parts as the orders assigned model of the vehicle and the vehicle rou-ting scheduling model.For the characteristics of the model and the problem,it proposed a two-stage optimization algorithm. First,it designed a clustering-constraint satisfaction algorithm to assign the best vehicles to orders.Second,it used a PGA al-gorithm to formulate the best logistics solution for the vehicles.Through the verification of the experiment,it can get the practi-cal distribution scheduling scheme,the model and algorithm are feasible and effective.%研究了一种考虑订单发货区域的物流配送问题,针对问题建立了两阶段多目标整数规划模型:订单车辆指派模型和车辆配送调度模型;基于对模型及问题特点的分析,构造了一种两阶段优化算法。第一阶段,基于聚类—约束满足优化算法为待发货订单指派最佳车辆;第二阶段,基于单亲遗传算法为车辆指定最佳的物流配送方案。数据仿真验证表明,通过模型和算法能够得到切实可行配送调度方案,该模型及算法是可行且有效的。
-
-
王申雯
-
-
摘要:
本文从项目可行性的层面,提出属性基础上的一种访问控制模型.先对模型形式进行介绍,明确模型属性、属性项等多方面概念,并在此基础上,利用约束的形式来满足访问控制原则形式化模型需求.证明给定属性项值域基础下的正向规则以及负向的规则,二者是可以相互转化的,最终提出一致性的策略概念.
-
-
廖乐健;
许开全;
曹元大;
胡晶晶
- 《第四届全国计算机支持协同工作与第二届全国智能信息网络联合学术会议暨第四次CSCW学术会议》
| 2004年
-
摘要:
在基于虚拟组织的e-commerce中,常常涉及从大量的网上服务提供者中找到所需的供应商,并将发现的服务提供者集成起来,实现业务协作,为用户提供一系列流程服务.我们拟将语义Web服务和约束满足技术各自优势结合起来,解决虚拟组织的活动管理.并用此思想构建了一个旅游规划系统.本系统可以适用于Internet等动态开放的环境,其根据用户的要求找到合适的资源信息,然后将问题模型描述为约束满足问题进行求解,特别是我们采用约束对象表示以便实现高层次建模,从而实现真正意义的E-Traveling.
-
-
-
-
-
-
-
张博;
阎晋屯;
夏旻
- 《2008年军民两用维修技术学术研讨会》
| 2008年
-
摘要:
针对当前时期舰船装备维修保障任务的特点,将其划分成常规维修任务和战前维修任务两种类型,研究了两种任务类型的约束集合、目标函数,基于ILOG实现了对两种类型维修任务的统一建模,引入权重变量,能够依据实际情况在经济效益和时间效益之间进行适当权衡。
-
-
张博;
阎晋屯;
夏旻
- 《2008年军民两用维修技术学术研讨会》
| 2008年
-
摘要:
针对当前时期舰船装备维修保障任务的特点,将其划分成常规维修任务和战前维修任务两种类型,研究了两种任务类型的约束集合、目标函数,基于ILOG实现了对两种类型维修任务的统一建模,引入权重变量,能够依据实际情况在经济效益和时间效益之间进行适当权衡。
-
-
张博;
阎晋屯;
夏旻
- 《2008年军民两用维修技术学术研讨会》
| 2008年
-
摘要:
针对当前时期舰船装备维修保障任务的特点,将其划分成常规维修任务和战前维修任务两种类型,研究了两种任务类型的约束集合、目标函数,基于ILOG实现了对两种类型维修任务的统一建模,引入权重变量,能够依据实际情况在经济效益和时间效益之间进行适当权衡。
-
-
张博;
阎晋屯;
夏旻
- 《2008年军民两用维修技术学术研讨会》
| 2008年
-
摘要:
针对当前时期舰船装备维修保障任务的特点,将其划分成常规维修任务和战前维修任务两种类型,研究了两种任务类型的约束集合、目标函数,基于ILOG实现了对两种类型维修任务的统一建模,引入权重变量,能够依据实际情况在经济效益和时间效益之间进行适当权衡。