约束推理相关论文
船舶制造中的装配过程部分耗时最久、需要关键资源最多,研究船体分段装配过程中的最优化问题,对缩短船体建造周期、减少装配成本以......
约束推理被用于获取访问受限的敏感信息时,就形成推理攻击。在XML应用领域,约束推理是推理攻击中危害很大、破坏性很强但又非常隐......
探讨并行设计环境下基于特征模型的工艺设计过程，提出通过关联特征约束推理和特征分组，实现加工工艺方案优化的方法。分析引起产品制......
模块化设计方法在机床的设计与制造中起着越来越重要的作用。本文在机床的模块化设计中提出了智能方案设计和布置设计方法。根据模......
本文主要研究基于本体的推理技术在产品设计过程中的应用,分别对基于本体的Jena、Pellet、Jess三类推理机的关键技术、Jena自定义......
分析了传动方案设计的特点，探讨了如何利用人工智能理论及专家系统与常规ＣＡＤ技术解决传动方案设计问题。并给出了智能模型的建立及知识......
中国计算机学会人工智能与模式识别专业委员会、中国人工智能学会、中国自动化学会模式识别与机器智能专业委员会、中国高校人工智......
参数化设计是一种基于约束的设计方法,而设计约束的本质是几何约束.该文讨论了几何约束的束类型、方向性、层次性以及表示方法,同......
为解决单件小批订货生产方式下交货期满足问题,研究CAPP/PPS集成并行模式下加工过程决策的调度方法,提出把交货期和资源负荷作为工......
基于在加工过程分析的基础上 ,建立了适合于加工过程决策的基于表面的零件网络信息模型 ,在此基础上 ,探讨了加工过程优化决策的方......
为对普通零部件和广义部件的自定义属性进行分级管理，定义了一个特有属性模型。针对配置知识表示难的问题，采用约束表达式和判定表对......
基于在加工过程分析的基础上，建立了适合于加工过程决策的基于表面的零件网络信息模型，在此基础上，探讨了加工过程优化决策的方法，提出......
结合三维模型外形修改问题研究了约束推理求解方法．从约束参数结构人手分析了位姿约束组合的解耦性质，提出了约束分量独立求解的判据......
为了满足单件小批定货生产方式下的交货期满足问题,本文着重研究CAPP/PPS集成并行模式下加工过程决策的调度方法,该方法采用基于动......
为了解决优化和约束推理，基于向导遗传算法（GGA）和分布式向导遗传算法（DGGA），通过引入向导概率Pguid、本地优化监测LOD和权ε共3个新参数......
参数化设计在现代 CAD技术中占据着越来越重要的地位,本文详细介绍了目前流行的几种参数化技术,并提出了一种基于自由度亏损的约束......
提出了基于成功回溯的约束推理技术及其相应的约束求解算法MAC_BTS,并证明了该算法在一条分枝上回溯到网络相容状态的最坏时间复杂......
为解决单件小批订货生产方式下交货期满足问题，研究CAPP／PPS集成并行模式下加工过程决策的调度方法，提出把交货期和资源负荷作为工艺......
约束程序是人工智能的重要研究方向,约束推理是约束程序领域中一个重要的概念,它包括在求解一个约束满足时,为找到满足所有约束的......
数据库安全中的推理问题是恶意用户利用数据之间的相互联系窃取其不能直接访问的数据,从而造成敏感数据泄露的一种安全问题。推理......
基于网格与差分隐私保护的空间数据分割得到了研究者的广泛关注,空间数据的大小、数据的偏斜性以及拉普拉斯噪音的多少直接制约着......
对象作为面向对象方法的核心概念，具有静态结构和动态行为两方面的特征，本文基于时序的观点，利用时序逻辑系统形式化地描述对象的行为......
通用型计算机辅助设计(CAD)软件中不包括铁路车站咽喉平面设计的工具,因此需要研究专业的设计平台。本文认为解决该问题的途径是,......
对当前基于手绘建模技术的研究现状进行分析,提出一个融合手绘识别与几何约束推理为一体的智能化建模体系,突出了概念建模过程中的......
金属门窗属于建筑物围护结构,在当前的金属门窗设计过程中,普遍存在设计过程信息量大、设计周期长、出错率高、重复劳动工作量较大......
