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