约束传播相关论文
约束规划是人工智能领域的重要分支,它为解决组合优化问题提出一整套从建模到求解的解决方案。回溯搜索算法是求解约束规划的完备......
源语言中单词的目标语译文选择问题，一直是人们广泛关注的难题，直接决定译文的质量。本文采用基于语料库的统计方法，利用单词与单词的......
该文以智能教育物理平台为背景,结合人们在教学过程中的功能和教学环节的实际需求,结合作者在Z+Z智能教育初中物理平台的开发与研......
基于稀缺标记样本的半监督学习作为传统半监督学习的一个重要领域，主要研究当样本集中标记样本与未标记样本数量存在严重不平衡性时......
约束满足问题(CSP)是人工智能领域的重要的研究问题,它为计算机、数学、实际生产生活等领域的复杂问题的建模与求解提供了足够泛化......
讨论了基于热力状态参数的循环流化床燃烧锅炉状态监测与故障诊断专家系统ＣＦＢＢＥＸ－ＰＴＳ的推理控制机制。它是数据驱动的前向推理链和目标驱动的......
基于产品开发中的资源，提出了一个设计知识表示的资源模型，讨论了资源中可变部分与不变部分的性质，建立了资源间的运算关系模型．最后给......
基于非线性有限元的钣金件成形极限研究李靖谊 ,王化明 ,张中元 (5 17)…………………………………………………………镗削颤振快......
二、知识的表示 人工智能和专家系统主要研究、处理“知识”。为此,首先要解决的问题就是如何表达知识。一个理想的知识表示方法,......
本文综述了最新出现的一种并行计算模型——玻兹曼机的基本原理;学习过程;模拟退火算法和它们在图象处理、模式识别等方面的应用.......
本文提出了一种基于对复杂系统中各种相关过程描述的诊断知识模型.该模型具有如下几个方面的特点:a.它是一种基于复杂系统中各种相......
本文将探讨用信息分段线件（KJIA）模型仿真方法、面向对象的仿真方法，信息流发生时间约束传播的仿真策略研究综合C4ISR系统。对综合C4I......
Ａｌｌｅｎ的时间理论因直观、易懂而倍受推崇，但它存在不能处理连续变化事件等缺欠。本文提出更为一般的时间理论框架，以扩展Ａｌｌｅｎ的理论，本框架的特......
在计算机技术萌芽时期,实时系统和智能系统仿佛是两个毫不相干的星球,沿着各自的轨迹运转着。岁月流逝,星移斗转,有一天两个星球突......
在基于模型的诊断推理中，诊断是分两步进行的，一是与领域有关的冲突识别，二是与领域无关的候选产生。本文定义了测点元件影响集的概念......
对协同设计过程中的冲突特点以及冲突产生、冲突检测和冲突消解进行了详细的阐述
The characteristics of conflict in collabora......
利用企业现有资源降低生产成本、提高经济效益并为用户提供更好的服务一直是现代企业面临的重要课题,而这些问题可以通过制定合理......
概念设计时期，系统结构的信息是不充足、不完全的，不能或不需要利用传统的数值分析工具进行分析求解。多数情况下，只需利用系统的各种......
目前，概念设计仍没有一个统一的方法，且其理论还不成熟。定性推理是近年来新兴的一种人工智能推理技术，具有处理不完全的、不精确的、......
该文从约束满足问题开始,简要地概述了几何约束系统的基本概念,也探讨了几何约束的概念和分类.针对几何约束系统中求解机制,提出了......
概念设计作为产品创新的一个重要环节，受到了越来越多的关注。概念设计作为产品设计整个生命周期的初始阶段，在这个阶段我们所获得关......
针对钢管入库优化决策问题,建立了问题的约束满足优化模型,并通过对垛高和钢管堆放规则的分析,提出了基于聚类和约束满足技术的两......
通过操作感知信息或者自然语言来完成各种物理世界和精神世界的任务是人具有的非凡能力之一。开发基于感知的计算方法可能是构造智......
探讨人工智能中的约束网络及约束传播技术在并行设计中的应用。先将设计变量构成约束网络 ,通过约束传播技术使得设计变量趋于精确......
在现有自适应约束求解方法基础上，提出一种新的自适应约束传播求解算法ADAPTM^ACLmaxRPC．该算法能根据约束的不同特性，在传播能力强但......
热轧调度中的板坯排序问题是一类特殊的排序问题，具有约束条件复杂、NP难特点。为了简化问题，将板坯排序问题转化为一个约束满足问题......
电路的故障诊断在实际工程应用中占有重要地位,而故障定位是电路故障诊断的主要内容。对故障定位的方法进行了详尽的研究。首先建......
为了提高地铁正线的运营效率和保障乘务人员的身心健康,针对便乘情况下的地铁乘务任务配对问题,综合考虑了乘务人员总的工作量、乘......
将炼钢批量计划问题转化为一个约束满足问题处理，建立问题的约束满足模型，给出了基于约束满足的求解算法。仿真实验证明了模型和算法......
约束传播算法是求解约束满足问题的一种重要方法.调度问题是一种特殊的约束满足问题.本文介绍了调度问题中的Edge-Finding和Energy......
特征处理是基于特征的CAD的重要组成部分 .特征处理中的关键问题是特征的提取 .在对有关特征分析的基础上 ,提出了一种以 2D空间数......
为了满足单件小批定货生产方式下的交货期满足问题,本文着重研究CAPP/PPS集成并行模式下加工过程决策的调度方法,该方法采用基于动......
为进一步提高约束满足问题求解算法的效率，对约束传播过程进行了分析，并使用变量论域缩减比例对弧相容传播深度进行参数化描述，同时提......
将热轧批量计划问题作为一个约束满足问题处理，建立不确定计划数的VRPSTw约束满足模型．在求解过程中．先用约束满足的一致性技术过滤变......
根据知识不完备的复杂系统中部分变量的定量信息,合理地构造系统相关变量间的半定量约束,是建立复杂系统定性定量相结合模型的有效......
提出了一种基于约束传播的分布式多主体规划算法.主体之间的冲突检测与协调通过一种特殊的多主体协商来解决.在确定环境中该算法是......
在众多的自动谈判模式中，协同谈判是一种新型的多线程谈判形式。文章分析了面向电子商务的协同谈判中的冲突问题，提出了解决谈判冲突......
设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优......
约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simple tabular reduction, STR)算法来降低约束......
根据基于第一的多故障诊断理论，针对具有固定测量点的连续物理系统，提出一种实用诊断算法，算法分３步：（１）根据系统的结构和测量点分布等不变......
基于约束的参数化描述及求解是计算机辅助设计研究的一个热点 ,欠约束图的求解是参数化设计的基本问题 ,为了提高欠约束草图求解的......
约束程序设计作为面向智能应用的实用型程序设计风格正在AI领域产生越来越大的影响,其关键问题是如何将说明性的知识表示、系统化......
约束传播是约束规划成功应用的关键技术之一．针对累积调度问题提出一种结合工作间优先关系和工作最早开始／最晚完成时间约束的约束传......
随机测试是一种常用的软件测试自动化方法。该方法随机地从程序输入域中选取测试输入,其自动测试实现容易。但随机地从输入域中选......
将约束传播技术同分枝定界法相结合求解优化目标为最小最大完工时间的混合流水车间调度问题。算法核心是根据资源松弛度确定关键阶......
