论文部分内容阅读
对并行设计基于约束的一致性检测算法进行了研究,建立了Petri网模型. 分析了模型的性质,给出了适用于并行设计冲突检测的算法,并且通过具体应用实例进行了验证,说明了方案的可行性.
并行设计中冲突的一致性检测算法
【摘 要】
：
对并行设计基于约束的一致性检测算法进行了研究,建立了Petri网模型. 分析了模型的性质,给出了适用于并行设计冲突检测的算法,并且通过具体应用实例进行了验证,说明了方案的
【机 构】
：
北京科技大学信息工程学院,哈尔滨理工大学工业技术学院
【出 处】
：
北京科技大学学报
【发表日期】
：
2002年4期
其他文献
研制成功国内第1台大面积CVD金刚石膜热铁板抛光机．它可以在10Pa真空条件下，加热到1 100℃；抛光台可以在0～10 r/min间实现无级调速，一次完成3片110 mm的金刚石膜的抛光．金刚石膜在9
邯钢引进的薄板坯连铸连轧(CSP)中，用长行程液压缸与阶梯垫板结合的热轧板带厚度自动控制(AGC)，提高了快速液压执行机构的稳定性和响应速度．以热轧机组液压AGC系统为对象，利用Mat
在烧渣生物脱硫的试验.论研究了矿浆浓度、Fe3+浓度及pH值对游离T.f.菌浓度和脱硫率的影响.证明烧渣脱硫是T.f.菌直接浸出作用和由细菌而产生的Fe3+间接浸出作用的联合;脱硫
针对运用常规张力公式计算厚度不均匀轧件的张力时存在困难的问题,基于原连轧张力公式, 首先导出了楔形轧件的张力公式,然后将这一结论推广到了具有任意形状的轧件,采用数值
针对应用模式识别技术进行数据降维过程中存在的人为性及冗余性等不足,提出一种有效的数据压缩技术--主元分析法.研究表明,此方法具有快速、准确、一次自动完成等显著优点,有
针对轧件弹塑性变形与轧辊弹性变形计算分离的弊端,用轧制力分布系数将这2个模型结合起来,并解决了此2个模型之间的耦合问题.理论计算结果在1 700 mm热连轧机组样品进行验证,
介绍一套目前已在实验室中开发成功的冷轧带钢表面缺陷在线监测系统，该系统用于在线检测和识别冷轧带钢的表面缺陷．系统采用多个面阵ＣＣＤ摄像头同步采集带钢表面的图像，并通过并行计
试验研究熔融还原过程条件下SiO2还原氧化行为及对过程的影响.研究表明:喷吹煤粉燃烧温度、煤的灰份组成影响SiO2还原过程.通过适当选择煤种和控制氧煤喷枪的喷吹位置,可以减
基于专家系统的基本理论，根据胶带输送机设计、选型的特点和现场的实际条件，开发了胶带输关机设计、选型专家系统。该系统采用VisualC++语言编程，模块结构，图形化用户界面等。
通过对螺旋孔型的钢球斜轧轧辊的结构分析,在ARX开发环境下,先利用MDT的API开发工具,从零件的三维模型中提取零件的轮廓信息,确定零件的类型和基本形状、加工特征和基本尺寸;再根据对应的二维工程图提取具体的工艺信息,最后根据二维图纸和三维模型的对应关系,对信息进行分类整理和自动识别.在此基础上开发了一个斜轧轧辊的零件信息系统,实现了在CAD/CAPP/CAM集成环境下,从CAD系统中直接提取零件信