基于Petri网的产品研发设计工作流的柔性建模方法

为了解决复杂产品研发设计工作流建模问题,提高产品研发设计工作流管理系统在运行中对动态变化的响应能力,提出了一种基于Petri网的柔性建模方法.该方法结合面向对象和分层的思想对Petri网进行扩展,利用优先级、变迁触发规则等属性规则描述了模型的柔性.该方法不仅可以降低产品研发设计工作流建模的复杂度,还可以支持产品研发设计...     

时间约束工作流模型的简化分析与可调度性验证

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.     

基于面向对象赋时Petri网的工作流建模方法

介绍了一般Petri网代数表示的基本定义，分析了赋时Petri网引入时间因素的两种方式。将面向对象建模技术融入到Petri网模型中，形成了面向对象赋时Petri网模型，讨论了建立基于面向对象赋时Petri网的工作流模型的步骤。最后运用面向对象赋时Petri网建立了某制造企业业务流程的工作流模型，并运用可达树分析方法分析了网模型的活性。     

基于Petri网的工作流技术复合建模与系统分解

通过对工作流模型过程定义的分析，利用不同的模型机制聚合工作流建模及涉及的要素，认为工作流模型是一个基于信息模型、功能模型、组织模型和资源模型的复合模型，探讨了模型之间的逻辑关系，以及基于复合建模原理的建模步骤。在针对面向过程开展的资源配置研究的基础上，借助敏捷制造过程的应用实例，分析了基于Petri网的复合工作流 模型的建模步骤。根据分层和分块原则，对基于Petri网的复杂工作流模型的简化提出了一种分解策略，并以实例说明这种分解策略。     

基于petri网系统规约的工作流建模验证

本文针对工作流过程建模的复杂性和易出错的状况，提出了基于Petri网系统规约的模型验证方法，提出了工作流网向Petri网映射的对应关系，给出了Petri网模型的八种规约规则。这些规则在实际应用中证明是可行的。     

基于Petri网的轻量级工作流引擎设计与实现

工作流引擎是工作流管理系统的核心。一个可复用、可扩展的工作流引擎将极大的缩短整个系统的开发周期。该文通过将Petri网映射到工作流过程模型,提出一种基于Petri网的轻量级工作流引擎的设计与实现方法。该工作流引擎能方便地嵌入到到各种体系架构中,可以容易地进行扩展,形成完整的工作流管理系统。     

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

基于Petri网的海关业务流程工作流模型分析

Petri网作为当今最具有前途的建模工具,它的应用几乎涉及到计算机学科的各个领域。这里通过对基于Petri网的海关业务流程工作流模型的实例分析,最终得出优秀的工作流模型可以优化工作流程、提高企业运行效率、增强企业竞争力的结论,而且该建模方式也为设计与开发高可靠性、柔性和适用性的工作流模型提供很好的依据。     

面向制造过程的工作流建模

分析了物料清单 (BOM)在产品制造过程中的核心地位 ,并根据工作流的建模模型 ,提出了将BOM表映射成Petri网的算法 ,利用所得到的Petri网建立了面向制造过程的工作流管理系统的过程模型。从而允许设计者仅根据产品的结构 ,而不需要知道实际的过程流程来自动地安排和执行生产任务。     

一种新的基于Petri网的分层工作流过程模型

过程模型的描述能力和分析能力难以满足企业的要求,为此,提出了一种新的基于Petri网的分层工作流过程模型。在深入研究各种工作流模型的基础上,通过对基本网进行一定的扩展,给出工作流过程的分层模型。该模型由工作流描述模型和工作流分析模型组成。工作流描述模型直接支持所有工作流模式,特别是多实例、取消、高级同步等高级Petri网无法直接描述的模式。工作流描述模型在Petri网的基础上增加了控制变量,并将变迁划分为变迁入口和变迁体两部分。控制变量与变迁之间构成读写关系。变迁入口函数通过判断控制变量,消解工作流描述模型中的冲突;变迁体函数通过可扩展逻辑描述语句,实现对控制变量的读写操作。工作流分析模型作为工作流描述模型的分析模型,剥离了工作流描述模型个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型。最后,通过几个例子说明了如何使用本文提出的模型对各种复杂流程进行建模和分析。     

周向接触弧长对闸片温度场分布影响的研究

提出了热流分配系数受摩擦副周向接触弧长影响的观点;使用分段二次插值法确定了摩擦副周向接触弧长和热流分配系数随径向位置的变化关系;基于能量守恒法,计算和比较了2种不同热载荷下闸片的温度及其分布规律。结果表明:周向接触弧长随径向位置呈先增大后减小的变化规律,而热流分配系数的变化趋势正好与其相反;由2种不同热载荷计算得到的温度峰值发生时刻虽接近,但差值较大;温度在径向和轴向方向上的分布规律也不相同。因此,在摩擦副的热分析过程中必须考虑闸片结构带来的影响。     

应力多轴度对机械零部件破坏的影响研究

目前工程实际应用中大多是直接采用单轴试验的数据,没有考虑到应力状态的影响,这与构件实际应力状态不符,很多研究者对多轴应力状态下材料的行为进行了研究。介绍了应力多轴度对断裂韧性以及多轴应力状态对材料的疲劳断裂和蠕变失效的影响研究的最新进展,对几种具有代表性的多轴应力状态下破坏准则以及多轴应力状态下蠕变损伤准则做了简要的回顾,并进行简单的评述。     

基于AutoCAD校核图形尺寸准确性方法研究

为了满足企业在数控编程系统中对于图样信息准确性的需求,基于AutoCAD软件二次开发平台,利用C#.NET编程,建立校核图形尺寸准确性系统.研究在AutoCAD系统中实现校核图形尺寸准确性的方法,描述了该系统的主要步骤,并且以某工程图样为例,证明该系统的可行性,为满足企业对于图样信息正确性的需求,提供了一种简单有效的方法.     

基于SolidWorks建立轴承标准件库方法的探究

针对机械设计中大量使用标准件的问题,从建立轴承库入手,利用SolidWorks软件环境进行轴承的建模,对常用的几种建模方法进行了分析和探讨,提出了装配特征建模法.在此基础上建立了轴承标准件库,并阐述了库的实际应用.     

在机检测技术在航空发动机制造中的应用

美国康涅狄格州米德尔顿的普惠公司是大型商用喷气飞机制造商,它是在机检测技术(OMI)在喷气发动机零件加工领域的早期采用者.早在1990年,普惠就成立了由各部门人员组成的小组来发展和贯彻质量控制与自动工件检测战略.我们从风扇外罩壳(图1)这一大型、高价值的复杂薄壁零件的加工工艺入手,在Renishaw的帮助下完善了我们的方案.我们见证了在机检测技术是如何在柔性制造高价值零件中发挥效益的,详细过程如下.     

防腐剂在摩擦副表面的吸附性能探索

利用模拟轴承对润滑油中的防腐蚀添加剂进行吸附实验,通过对吸附前后润滑油的紫外吸光度的测量,表征实验前后润滑油中防腐剂的质量分数变化,进而证明摩擦副对防腐蚀添加剂的吸附作用;在含有定量防腐剂的润滑油中添加不同质量分数的抗磨剂,进行模拟轴承的吸附实验,通过紫外吸光度的测量发现抗磨剂对防腐剂在摩擦副表面的吸附性能有较大影响,说明防腐剂与抗磨剂在摩擦副界面存在竞争吸附效应。     

张力减径机轧辊孔型设计方法的研究

针对钢管张力减径机的轧辊孔型设计方法进行研究,建立了传统孔型、椭圆孔型以及圆孔型三种轧辊孔型设计的数学模型,采用面向对象的程序设计方法,用V isual Basic6.0作为集成开发环境,采用模块结构进行程序设计,传统孔型设计方法以减径率为依据来分配变形量,在孔型设计过程中不考虑壁厚的影响,椭圆孔型设计和圆孔型设计方法以延伸率为依据分配变形量,综合考虑壁厚和外径的影响,并进一步考虑到椭圆度曲线的调整和孔型尺寸的优化,从而设计出更加合理的轧辊孔型,为钢管生产厂家提供孔型自动设计系统。     

基于OpenGL的沙尘暴天气仿真研究

自然景物的模拟一直是计算机图形学中的热门研究课题,文章深入研究和分析了沙尘暴发生时沙尘的形态及运动状态,以Microsoft VC＋＋6．0编译环境为开发平台,基于OpenGL图形库,采用粒子系统模拟沙尘颗粒的运动,采用雾函数模拟朦胧的环境,完成了沙尘暴场景的模拟,其模拟效果逼真。     

基于ANSYS的数控车床床身的动态特性分析

车床床身是生台机床的基础和支架,它的振动影响着零件的加工精度,由于PRO/E强大的建模功能及ANSYS的分析功能,本文在PRO/E中建立模型,在ANSYS中进行模态分析,提取了床身的前五阶模态,并分析床身的因有频率,振型及其动态特性.为设计者在床身的设计中提供理论依据,避免产生大的振型或者发生共振,从而保证整台机床的设计和加工精度.     

温度对尺寸测量的影响研究

分析尺寸检测中温度对测量结果的影响及控制措施,介绍传统的测量结果修正方法。如何确定恒温时间(以pro/e的动态温度显示及温差、时间变化趋势),以消除温度变化对测量结果的影响。