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机的扫描路径优化。     

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

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

“926”植物生长调节剂的经济效益与生态环境

简要评估了“９２６”植物生长调节剂的经济效益和生态环境。分析了开发应用的前景。     

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

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

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

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

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

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

废FCC催化剂中稀土元素的浸出及动力学分析

针对FCC废催化剂中所含的稀土元素,本研究以废FCC催化剂为原料,与无水碳酸钠混合焙烧活化,以盐酸为浸出剂,探究了盐酸浓度、浸出温度、浸出时间、浸出固液比以及焙烧时间等因素对FCC废催化剂中稀土元素镧(La)、铈(Ce)的浸出率的影响,并进行了浸出过程动力学分析和表观活化能计算。实验结果表明：废FCC催化剂在750℃条件下和碳酸钠以质量比为1:1混合焙烧300 min后,在70℃的条件下,用6 mol/L的盐酸溶液且固液比为1:25浸出120 min时,La、Ce最佳浸出率可达到88.06%、90.07%;FCC废催化剂浸出前后SEM和XRD测试分析表明废FCC在酸浸后衍射特征峰基本消失,晶格结构被破坏,浸出渣主要为SiO₂;缩芯模型浸出过程动力学分析和Avrami表观活化能计算结果均表明：La和Ce的浸出活化能的测定值分别为27.1、21.2 KJ/mol,该浸出过程受扩散控制。该研究对固废资源中稀土元素的高效回收具有一定的指导意义。