Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

基于层面信息的路径优化

根据分层物体快速成型（LOM）中零件逐层累积的特点，从缩短加工时间、提高制件效率方面着手阐述了路径优化的必要性，针对LOM机的运动机理和软件数据结构，给出了扫描路径优化的原理，将图论中的便宜算法用于LOM机的扫描路径优化。     

面向对象数据库"联系_选择"查询操作的优化

综合考虑逻辑因素和选择谓词的选择率、谓词本身的复杂度等物理因素后，给出了“联系_选择”及其拓展“联系_选择_投影”两个重要的复合操作的优化算法，提高了查询的执行效率。     

钢丝绳断丝定量检测中径向随机晃动误差的补尝

本文论述了钢丝绳断丝定量检测中径向随机晃动误差存在的必然性及该误差对定量检测的影响,基于模拟实验结果,给出了适用于多种类型钢丝绳的V_H-S数学关系式;提出了波形因素的概念与形式,并用软件实现了钢丝绳断丝定量检测中径向随机晃动误差的补偿。     

用焓法有限元解相变问题的离散化方法

为了消除应用焓法进行含有相变的有限元传热计算结果呈台阶形的现象,本文作者提出“焓计算单元”和“固相分数”的概念,并将几种一维有限元实施方案的计算结果与精确解对比,说明采用所提出的概念,可以使有限元计算得出更为合理的结果。     

外加电磁场对火焰结构及燃料燃烧特性的影响

燃料在电、磁场作用下的燃烧是一个新的跨学科性质的研究课题.它涉及磁流体发电、空间技术中电磁燃烧技术的应用以及能源与动力工程中能量转换与效率.本文从实验和理论两个方面,扼要地报导了碳氢燃料在外加磁场、电场影响下的火焰结构及其燃烧特性.把近年来我研究小组的主要研究结果汇总发表.     

反胶束溶液和血红蛋白水溶液相平衡的研究

研究了十六烷基三甲基溴化铵－正庚烷反胶束溶液和牛血红蛋白水溶液的相平衡,探讨了有机相助表面活性剂种类和浓度、水相ｐＨ值、水相离子种类和强度、表面活性剂浓度的影响,适宜条件下,牛血红蛋白的萃取率可达９５％以上。对实验结果从表面活性剂极性头与蛋白质分子间的相互作用和反胶团包溶蛋白质时的空间阻碍作用上进行了解释。     

16MnR钢夹杂物的行为

系统地调查研究了１６ＭｎＲ钢在整个生产过程中钢中夹杂物的演变规律和清洁度水平,重点考察了钢锭中大型氧化物夹杂的类型,数量,分布,来源的形成,结果表明：钢锭中夹杂物主要是块状Ａｌ２Ｏ３,钢锭中大颗粒夹杂物主要来源于复合渣卷渣。     

三自由度耦合非线性振动的同步混沌

讨论了一个三自由度耦合非线性振动的混沌响应。利用非线性振动的模态分析方法,将这一高维非线性性系统降维到一维子流形上来研究,对降维解耦后的模态振动方程采用平面Ｍｅｌｎｉｋｏｖ方法,得到了系统发生同步混沌的临界条件,并进行了数值计算,从中得到了一些有益的结论。