几何约束系统推理研究

来源 :华中理工大学学报 | 被引量 : 0次 | 上传用户:tangdeqian1102
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
融约束网络、自由度分析及图理论为一体,提出了一套关于几何约束满足问题的最大归约算法体系,最大归约理论首次揭示了几何约束系统内在的串、并、耦合机制,为几何约束推理提供了新的方法。
其他文献
对8元线列高温超导薄膜红外探测器进行了实验研究。高温超薄膜为采用电子束蒸发并后退火的方法制备的粒状YBa2Cu3O7-δ超导薄膜,器件的图形制备采用湿法刻蚀。探测器的光响应测试是在8-14μm的
探讨了作用在内燃机气缸套内壁上的燃气压力,活塞对气缸套内壁的侧压力和冲击,缸盖螺栓对气缸套的工作压力的计算方法,在考虑气缸套外壁冷却水与缸套相互作用的基础上,提出燃气压
根据智能制造系统发展的要求,设计了一种具有一定自治能力的智能加工中心原型,探讨了对智能加工中心的功能要求,介绍了智能加工中心的知识获取、表达与处理方法,给出了基于开放式
讨论了一类下层以最优函数值反馈到上层的二层系统决策模型,利在光滑分析理论与方法,对构成函数的可微和非可微两种情况,证明了下层极值函数和上层复合目标函数的Lipschitz连续性。
针对激光划线切割激光焦点位置控制系统,提出了一种估计未知扰动输入(工件起伏坡度)的重构方法,在此基础上引入前馈补偿信号,构成一个无静差复合控制器,就系统主要参数变动时,系统的
在数据库的项加密方法的基础上,给出了一种新的密钥生成函数并证明了它是安全的提出了以主密钥表密钥、数据加密密钥不同保护对象的一种多级管理方案,对各级密钥的作用及生成方
在分析螺杆压缩机泄漏通道与泄漏机理的基础上,导出了泄漏量公式,解析了密封线作用和影响,讨论了求解齿面密封线方程与长度的算法,提出了对应点序列法与递推公式来求齿面密封线长
在速度和位置控制和混合模式下,推导了CD唱机CPU的最佳控制方法,结合对SONY产品的分析,研制了独立的实验系统,在此系统上实现了CD唱机的优化控制和数字显示,其功能达到国外产品水平,为CD唱机的国
在分析柔性制造系统FMS故障诊断的基础上,探讨了面向CIM设备诊断的信息获取与管理,诊断模型与诊断推理等问题,并讨论了进一步的研究方向。
将多重网格与有限分析法相结合,用于快速生成贴体坐标,以充分利用有限分析解法的稳定、精确及多重网格法效率高、收敛速度快的优点。计算了一个二维卡门翼型的例子。计算结果与