约束满足相关论文
针对当前时期舰船装备维修保障任务的特点,将其划分成常规维修任务和战前维修任务两种类型,研究了两种任务类型的约束集合、目标函......
多卫星任务规划是卫星应用的重要方面,对地观测卫星任务规划问题是一类典型的卫星任务规划问题.本文研究了多卫星任务规划框架,在......
针对空间站短期任务规划在处理任务相对时间约束时迭代判断次数多、计算效率低的问题,提出一套可快速准确对任务相对时间信息进行......
给出了器件的约束表示,实现了电气线路的约束网络化.分析了电气线路约束网络的特点,找出了故障树的剪节方法,提出了基于约束故障诊......
提出了一种在过点分配阶段解决噪声耦合效应问题的算法 .该算法采用优先队列同拆线重布策略相结合的方法 ,控制由互连线耦合电容引......
产品变型设计的基本思想是通过改进已有的系列产品或设计实例来适应新的设计需求。针对变型设计的基本特点，本文提出以基于实例的推......
该文首次将自适应概念引入到现有的约束满足神经网络中,提出了一种新的约束满足自适应神经网络(CSANN)模型,来求解作业车间调度问......
该文在对企业集成的相关方面进行详细的综述和分析的基础上,给出了该文的研究框架,并讨论了企业集成中的系统工程概念.该文明确提......
Max-SAT问题是一个著名的约束满足问题，在理论研究和实际应用中都有重要的意义。局部搜索框架是一个非常有效的解决带权重的Max-SAT......
该文阐述了缩略图数据模型并对使用缩略图数据模型进行视图的更新进行了算法研究.同样使用条件表表示关系视图,可以将视图更新问题......
约束满足问题（Constraint Satisfaction Problem，CSP）作为人工智能研究中多年来一个重要的分支，通常都是NP-hard问题。现实生活中的很......
二叉判定图这种数据结构主要用来表示逻辑表达式,而现在人们已经研制了一些表示方法:比如二叉判定树、真值表、卡诺图等等,但是对......
随着计算机技术的飞速发展,人们对计算机的需求和依赖与日俱增。计算机软件的应用领域正在进一步的扩大,伴随而来的就是软件的规模......
由于在软件产品的开发过程中,需要安排的任务和资源约束过多,且由于外界因素的影响,软件开发项目处于一个动态环境中,因此确定任务......
针对成像侦察卫星应急调度问题进行研究,在分析主要约束条件的基础上,构建了多星调度问题的约束满足模型.根据应急任务具有独立到......
在装配序列规划问题中解出符合约束条件、可行的装配序列,达成即定的装配目标是装配序列规划问题中一项重要的研究内容,也是研究中......
介绍了判决元理论的基本内容〔１〕，并将此理论用于解火控领域的武器分配问题（ＷｅａｐｏｎＡｓｓｉｇｎｍｅｎｔＰｒｏｂｌｅｍ，简称ＷＡＰ），从而提出一种新的分配算法。通过２２个战例的仿真，结果表......
P．Thagard的计算理论是北美科学哲学认知研究中的一个重要流派。Thagard利用G．Miller关于词汇记忆的WordNet模型来讨论理论体系内概......
工程设计问题本质上是一个约束满足问题 ,以往的研究集中在约束的求解上 ,忽略了对约束的检测和约束信息的可视化 ,随着工程规模的......
本文分析了约束在并行产品开发过程中所起的重要作用，介绍了约束管理系统的理论基础、体系结构和功能，提出了一种基于约束网络的冲突......
考虑卡车调度以及调度方案造成交通拥堵的影响下,研究堆场内部空间的分配和场桥(YC)的调度问题.将上述问题整合成一个整数线性规划......
针对客户订单的重量需求为固定值、客户订单分配过程中有最小重量限制的板坯设计问题,建立了以最小化板坯数量为目标的约束满足模......
提出用基于约束的思想设计液压集成块,把液压集成块的约束分为几何形状约束和设计约束,分别用面向对象的方法和产生式规则来表示,......
在冷装工艺生产模式下,不合理的轧制计划将导致不必要的钢坯库倒垛作业,严重时甚至会造成轧制生产的延迟或中断.本文在已知轧制计......
本文依据遥感卫星数据接收任务要求，分析研究了多站多星任务调度问题的主要约束条件，提出了优化目标函数，创建了基于约束满足优化问题......
对含等式约束的全系数未确知线性规划模型及其求解方法进行了讨论.通过引入未确知数λ-截集的概念给出求解不仅含有不等式约束而且......
本文叙述了一个以情境为单位基于情境间的相似和整体部分关系的类比知识表示系统．给出了描述这种知识结构的内涵命题逻辑的语法、语......
约束满足问题是人工智能的一个研究领域,诸如查找、规划等问题都可转化为约束满足问题利用约束满足方法加以有效地解决。方向关系......
本文首先阐述了神经网络中的一般更新规则，着重讨论了两类模型的更新规则，在此基础之上提出新的单元更新规则，通过利用ＴｕｒｂｏＣ语言实现由此得......
在一些约束满足问题（ＣＳＰ）中，使需要进行的约束评价的数目减到最低限度是一个十分重要的问题．本文提出一种改进的回溯算法，它借助基于假设的......
为实现基于曲线的参数化设计方法,给出了一个适合于参数化设计的Bezier曲线表示形式,提出了在几种约束条件下约束的满足方法,涉及......
搜索控制问题是大多数人工智能问题求解面临的一个根本间题,而约束满足是解决这一问题的常用方法之一它源于机器视觉领域中的情景......
由于标准BP算法是采用均方误差估计器，因而存在易陷入局部极小、收敛速度慢和对初始权敏感等缺陷．本文我们基于Lagrange乘子法和几种......
针对微波与激光混合链路中继卫星在执行初始调度方案过程中发生的各种动态扰动变化,分析研究各类扰动特点,把不同扰动下的动态问题......
该文提出一种基于推理规则的代数求解法。该方法首先用改进的几何推理法（旨在克服谓词逻辑描述不够直观和过于细化的缺点）建立特定几......
本文将概念学习视为约束满足问题，给出了两种约束的定义．在这些约束的基础上，实现了基于遗传算法的概念学习系统ＣＬＳ的预处理方法
In thi......
给出了器件的约束表示,实现了电气线路的约束网络化。分析了电气线路约束网络的特点,找出了故障树的剪节方法,提出了基于约束故障......
针对Job－shop调度问题，该文提出一种新的约束满足自适应神经网络和启发式算法混合方法进行水解。自适应神经网络具有在网络运行过程......
针对Ｊｏｂ－ｓｈｏｐ高度问题，提出了一种新的基于约束满足基础上的自适应神经网络并结合有关启发式算法进行求解的混合方法，自适应神经网络用来求得......
