制造约束规则的表达方法研究

基于特征的年模型建立特征，制造方法和制造设备之间的关系，根据这种关系和制造设备的加工能力，建立制造约束，它包括对特征和特征间关系的约束，并利用Ｐｒｏｌｏｇ语言，给出了制造约束规划的表达方式。     

带重入约束的双集束型晶圆制造设备调度算法

为了有效解决集束型晶圆制造设备群加工过程中存在的重入调度问题,构建了带重入约束的双集束型晶圆制造设备调度算法.首先分析了双集束型晶圆制造设备中重入约束特征.在此基础上,建立调度问题域,并以系统加工周期最小为目标,建立调度模型.采用分解策略,将双集束型晶圆制造设备调度问题分解成单个设备调度问题,并提出了一种全新的机械手调度顺序搜索的启发式算法.最后对调度算法进行仿真实验分析,结果表明该算法是有效的.     

基于随机流网络与Markov过程的制造系统可靠性建模及维护优化

针对制造系统中设备数量与输入的不确定性,考虑制造过程中的不良品以及不良品的返工情况,分析系统可靠性与各设备数量、设备输入的关系,建立基于随机流网络的制造系统可靠性评价模型.采用齐次Markov过程对系统衰退和维护进行状态分析,以最小化维护成本为目标,以系统可靠性为约束,建立系统设备的维护模型.通过算例分析,验证该模型的有效性和先进性.     

可制造性评价中的尺寸分析和评价

通过建立子结构类型及其各定位关系的描述规则，可以自动得到零件上不能在制造中直接保证的设计尺寸．对设计尺寸进行必要的转换，使得零件上所有的尺寸都能直接保证．这样就可以根据加工设备的能力，判断零件的设计尺寸是否满足制造约束．     

基于制造约束的零件可制造性评价

通过对制造约束与零件模型的关系分析，讨论了制造环境对零件的约束，以及制造约束的表达和解约束的方法，并给出相应条件下零件可制造性评价的一个原型系统     

基于制造约束的零件可制造性评价

通过对制造约束与零件模型的关系分析，讨论了制造环境对零件的约束，以及制造约束的表达和解约束的方法，并给出相应条件下零件可制造性评价的一个原型系统。     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Petri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等.相关实例的仿真结果证明了该模型的有效性.     

一种考虑制造单元性能的工艺参数优化设计方法

针对挤吹塑产品制造过程中工艺参数设计受产品质量要求及设备工作能力的双重影响的问题,提出了一种考虑制造单元性能的产品制造工艺参数优化方法。首先针对产品质量要求,建立产品质量评价指标与工艺参数的约束关系,通过实验数据进行分析并得到影响该关系的回归方程,求解满足质量目标的工艺参数集合;在满足质量优化目标的基础上,综合考虑制造单元性能目标,通过定义制造单元性能指数及建立各工艺参数、制造单元性能指数间的约束和优化函数,实现同时满足质量目标和制造单元性能的最佳工艺参数设计与优化。以挤吹塑制造过程工艺参数优化问题为例对提出方法进行有效性验证,结果表明:利用提出的质量评价指标、制造单元性能指数对实验数据进行分析,可以实现综合质量目标和制造单元性能的挤吹塑制造过程工艺参数优化,有效解决了工艺参数与制造单元性能稳定性不匹配的问题,从而保证了产品生产率和质量稳定性。     

设备管理工作应健全完善约束和激励机制

设备管理是以企业生产经营目标为依据，运用各种技术、经济、组织措施，对设备从设计、制造、使用、检修等整个寿命周期内进行的科学管理。从某种意义上讲，约束机制是一种“法”制，而激励机制是促进“法”制能顺利执行的有效手段，两者相辅相成，互相促进，缺一不可。 1 约束机制 设备正常运行是企业安全生产的基本保证，而科学、细致的管理工作是设备能够保持其良好技术性能的必要条件。企业在认真贯彻执行国家有关设备管理条例和政策、法规的同时，还应根据实际情况，合理利用有关政策措施和经济手段，建立完善的制度体系和约束机制，…     

基于最低制造成本的一种公差优化设计法

提出一种基于加工能力约束最低制造成本的公差优化设计方法。利用加工的标准偏差估计值和制造成本－公差关系模型，以装配功能公差链，加工合格率以及加工方法的经济公差最大极限为约束条件，通过分别建立和求解公差优化的初始模型和最终模型，来实现公差的优化设计。     

商标图像检索中子图像特征融合准则研究

该文对商标图像检索中的子图像特征融合准则进行了研究，根据子图像可信度对子图像特征融合准则进行加权改进。用Hu不变矩进行基于子图像特征融合的商标图像检索实验，用PVR指数作为图像检索性能评价准则。实验表明，基于子图像特征融合的商标图像检索优于基于全局图像特征的检索，子图像特征融合加权准则优于未经加权的子图像特征融合准则，其中最小加权平均准则最优。     

数字化设备功能建模及其综合评价

根据数字化设备的特点,采用特征建模技术将设备信息分为6大类,并建立数字化制造资源特征模型.为适应快速多变的加工模式,提出设备加工能力评价体系:根据设备信息模型,提出特征筛选规则,建立设备加工能力规则库;采用综合模糊评价技术,建立综合评价模型,并且说明特征信息映射及其模糊化表示规则,给出了评价值规范化处理方法.通过实例分析可知,结果符合实际生产情况,实现了数字化设备的优化选择.     

A Workflow Authorization Model Based on Credentials

0 IntroductionWoofrfkifcleo wau ttoypmicatailolyn ,re mpraensuefnatcstu rpirnogce sasneds imnavnoylve odth ienrsystems . The various activities in a workflowcan usually beseparatedinto well definedtasks .These tasks can be executedonly by users who were authorized.To ensure these tasks be-ing executed by authorized users ,proper authorization mecha-nisms ought to bein place.Kandala S presented a secure role-based workflow mod-els[1]based onthe well-known RBAC96 framework[2]. Theirmain contr…     

基于相似度模型耦合角度制约规则的图像匹配算法

为了克服当前图像匹配方法主要通过测量距离的方法来实现图像匹配,忽略了图像间的相似度,导致算法存在错误匹配较多以及鲁棒性较差的问题。本文提出了基于相似度模型耦合角度制约规则的图像匹配算法。采用FAST检测方法对图像特征进行检测,快速获取鲁棒特征点,以改善算法的匹配正确率。随后,利用SURF特征描述机制,通过计算特征圆域内的Haar小波响应值,对特征点进行描述。引入结构相似度SSIM(structural similarity index measurement)模型,将其与欧氏距离模型相结合,构造相似度模型,从结构相似度与测量距离两方面出发,将特征点进行粗匹配。最后,利用特征点的余弦关系,求取特征点间角度,建立角度制约规则,对粗匹配结果完成优化。实验结果显示:与典型的匹配方法相比,该算法具有更好的匹配性能较好,在多种几何变换下仍具有理想的匹配精度。     

CAD／CAM集成系统中面向对象产品定义模型

分析ＣＡＤ／ＣＡＭ集成系统对产品定义模型的要求，利用面向对象的方法研究了产品设计信息、制造信息的特点及相互间关系，提出设计／制造特征（简称ＤＭ特征）的概念，建立了面向对象产品定义模型的总体结构，作为实现ＣＡＤ／ＣＡＭ信息集成的基础     

基于约束的特征关系表达

该文对基于约束的特征关系进行了深入研究。首先分析了约束与设计意图的关系及其对产品构成的影响,指出特征高层关系的表示是特征参数化的重要内容。在分析特征之间存在的各种约束关系的基础上,提出了用一种图———特征关系图（Ｆｅａｔｕｒｅ Ｒｅｌａｔｉｏｎｓｈｉｐ Ｇｒａｐｈ ,简写为ＦＲＧ） 来表示这些关系及其属性,并给出了对ＦＲＧ 图管理的具体算法。该文的研究结果在某ＣＩＭＳ工程中的产品建模系统ＸＬＭＦＣＡＤ 中得到了应用。     

基于Kinect 2的三维人脸个性化建模

提出一种基于五官形状特征点以及人脸肌肉函数的优化Kinect 2 个性人脸网格的算法,然后通过自适应uv贴图,使结果更符合个性人脸特征.首先,通过提取彩色图的特征点位置获取个性人脸的x,y 空间的特征信息,基本的五官形状特征点为83 个,通过相似三角关系在鼻梁和鼻翼处添加了6 个特征点以丰富五官形状特征信息.肌肉形状特征约束方面,综合肌肉形状约束量有43 个.其次,通过Kinect 2 人脸个性化建模得到中间模型,同时也获得了五官形状和肌肉形状特征的深度先验信息.接着使用基于拉普拉斯算子的微分网格变形算法对Kinect2 的中间模型进行五官优化及肌肉形状约束,通过对比ASM、正则化均值漂移和face + + 算法检测的人脸特征点来选择更精确的五官位置.最后,为了让人脸更具有真实感,还通过平面微分网格形变实现了uv 自动贴图,提升了maya中手动调整uv 坐标的准确性和效率.同时,使用次表面散射光照模型来使人脸皮肤的真实感加强.实验表明,本文所采用的三维人脸模型的个性化变形方法能使Kinect2 模型更好地符合个性人脸特征,这将为后期的表情生成和动画制作奠定良好的基础.     

基于特征单元的设备选型状态空间理论与方法

提出零件特征单元加工过程的状态空间理论,并将之用于解决零件加工的工艺设备选型问题.基于复杂零件特征具有多样性和复合性的特点,定义特征单元,以便于分析零件特征.针对单一特征单元,提取特征单元加工前和加工后两个状态,通过分析两个状态变换原因,构建状态变换矩阵,得出状态变换矩阵代表工艺设备加工能力的结论.通过构建状态变换方程描述加工过程.建立状态空间,将工艺设备选型问题转换为加工前和加工后两个状态在状态空间中的路径规划问题.在实际生产的约束条件下,将状态空间中路径规划问题转化为现有工艺路线的优化问题,并且建立工艺设备选型优化模型,优选出较理想的工艺路线,从而选出与该条工艺路线对应的一套工艺设备.应用算例验证了该方法的可行性.     

虚拟企业环境中支持完整性约束的主动规则

探讨了分布式环境下信息集成系统的完整性约束种类,并引入主动规则用于支持分布式对象间的完整性约束,研究不同的约束种类与主动规则的映射关系·最后,提出了ViaScope系统中支持企业信息完整性约束的规则定义语言和调度结构·基于主动规则的企业信息集成策略,将传统的模式集成和分布式对象调度相结合,支持企业用户在线定义不同的企业逻辑,为虚拟企业的信息管理提供了高度的灵活性、可重用性和实用性·