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…     

Iterative Method for Constructing Complete Complementary Sequences with Lengths of 2^mN

Complete complementary sequences are widely used in spectrum spread communications because of their ideal correlation functions. A previous method generates complete complementary sequences with lengths of N^nN （n,N ∈ Z^＋）. This paper presents a new iterative method to construct complete complementary sequences with lengths of 2^mN （m,N ∈ Z^＋）. The analysis proves that this method can produce many sequence sets that do not appear in sequence sets generated by the former method, especially shorter sequence sets. The result will certainly increase the application of complete complementary sequences in communication engineering and related fields.     

新型红外测油仪中的液芯波导技术

首次将液芯波导技术应用于中红外吸收测量的油成分分析领域, 研制的新型MFA-450型红外测油仪的灵敏度比现有同类型仪器提高一个数量级, 检出限为0.01 mg/L(油/萃取剂).     

基于层面信息的路径优化

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

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

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

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

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

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

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

贵州省不同类型自然保护地空间分异及其影响因素

受自然与社会因素的影响,不同类型自然保护地的空间分异存在较大的差异.研究针对贵州省内的自然保护区、森林公园、湿地公园和风景名胜区等4类自然保护地,综合运用最邻近点指数、地理集中指数、核密度和地理探测器模型对其空间分异特征进行分析,并探讨其影响因素.结果表明：自然保护区与其余3种自然保护地在数量的空间分异特征上具有明显差异,但4种自然保护地在面积的空间分异特征上均表现出离散化分布的特征,具有较高的相似性.相同影响因素的解释力在不同类型的自然保护地上差异较大,在数量上主要影响因素呈现出趋异性,而面积上主要影响因素则呈现出趋同性.任意2个影响因素交互后其解释力均增强,交互的特征呈多维度复合影响的态势.不同类型自然保护地功能定位的差别是其主要影响因素呈现出趋异性和趋同性的主要原因.     

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

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

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

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