【摘 要】
：
研究了机床产品协同开发中约束的种类和特点以及约束模型的建立方法，描述了约束网络的一致性、有效性、完备性和全面性等特性，并列举了一个具体的约束网络实例。建立了协同产品
【基金项目】
：
江苏省高技术研究项目（编号：BG2003020）,江苏省科技厅软科学项目（编号：BR2004503）
论文部分内容阅读
研究了机床产品协同开发中约束的种类和特点以及约束模型的建立方法，描述了约束网络的一致性、有效性、完备性和全面性等特性，并列举了一个具体的约束网络实例。建立了协同产品开发中的动态约束模型，将约束分为耦舍约束和独立约束两种类型，通过设定耦舍约束的变量的取值范围，将耦舍约束转换为独立约束，并综合利用约束传播算法和区间求解算法对该约束模型进行求解。最后给出了协同产品开发中约束模型的网络实现流程并开发了相应的原型系统，为冲突的检测方法提供了量化手段，可以提前发现潜在的冲突。
其他文献
笔者在医疗实践中应用鸡蛋配伍治疗疾病,疗效满意,现介绍二则验方如下.
肌肉注射是临床护理操作中广泛应用的给药技术,但是长期注射,特别是对小儿及皮下肌肉比较薄的病人,即使按正规操作执行注射,也不可避免地会造成大小不等的皮下硬结.对硬结的
文章介绍了一种基于Tcl的BGP4以及BGP4＋协议自动化测试系统的设计方法,该系统使用了一种针对网络协议测试特点的分布式虚拟测试法,并且根据路由协议测试的特点增加了控制通道,
慢性支气管炎经用药后咳嗽可暂愈或缓解减轻,但易受外邪侵袭而复发,临床很难根治.笔者根据本病的发病特点,自制润肺药梨治疗中老年慢性支气管炎疗效满意,现报告如下.
在WPKI中，如何在无线终端设备中验证服务器证书是否撤销是一个复杂的问题。对此提出一种新的方案，称之为“代理OCSP方案”。它是对OCSP协议的改进，能够用较小的代价获得证书的实
张老家世六代中医,现为武汉市中医医院儿科主任医师,国家级导师之一;全国中医儿科学会理事。其消食导滞法治疗儿科急重症,屡治多验,本文系其学子撷要辑录,与同道共研。案一、
笔者近几年来应用补气养阴法治疗便秘,取得了较好的疗效,现介绍如下.治疗方法药用枸杞30g,黄芪30g,人参10g,白术15g,甘草15g,当归10g,陈皮15g,莱菔子20g,天冬15g,麦冬15g.每
在传统的数学教学中,教师教什么,学生就学什么,学生在教学过程中,完全处于被动的地位。因而,在学生对数学学习存在的诸多障碍中,我认为最大障碍在于：学习的被动性,主动参与的
近年来,我们对四肢软组织开放伤64例进行了就地处理,收到了良好的效果.
费菜别名养心草、七叶药,全草入药.味甘淡微酸,无毒,能养阴退热,增液润燥.