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…     

二氢香芹醇的研制

用Bouvealt-Blane法将香芹酮还原成二氢香芹醇。在反应混和物中添加碱土金属的中性盐可抑制焦油的生成,提高产率。本文就碱土金属盐的种类及其用量、反应时间和反应温度对还原产率的影响进行了研究,选出了较好的反应条件,使香芹酮的转化率提高到66.3％。     

考虑声源非相干性的城市轨道交通全封闭声屏障降噪预测

以某轨道交通全封闭声屏障为研究对象,考虑简化线声源的非相干性,建立2.5维边界元衍射声场模型;通过现场沿线环境噪声测试,验证了该模型的准确性,并与相干源衍射声场预测结果比较;最后预测了在近场高层建筑附近,全封闭声屏障对近轨或远轨车辆噪声的降噪效果。研究结果表明,非相干线声源更符合城市轨道交通噪声源特性;对于轮轨噪声（315～1 000 Hz）,全封闭声屏障在高层住宅建筑区域有显著的降噪效果,1/3倍频程插入损失最大为30.0 dB。对于低频噪声（50～250 Hz）,全封闭声屏障会加重高层住宅建筑区域的声压级,使插入损失出现负值。针对高层建筑附近场点,全封闭声屏障的顶端拱形透光板对远轨车辆噪声有更为显著的附加降噪效果,大部分场点附加插入损失均高于5.0 dB。     

还原论思维方式的终结

“还原”一词有多重含义,通常被区分为以下三个层次：本体论还原,方法论还原和理论还原,在我看来,本体论还原不过是唯物论二,一个基本命题,而方法论还原也仅仅是分析方法,没有会么新意,实际,还原论者真正关头的是理还原,而这又被证明是失败的。因此,我主张科学在未来世纪的进步取决于人们摆脱还原思维方式的程度。     

拟塑性流体理论中一类奇异非线性边界值问题

研究了起源于拟塑性流体理论中的一类奇异非线性两点边界值问题正确的存在性和唯一性。     

加热速度对煤的气化反应性的影响

实验室条件下考察了五种不同类型的煤经不同加热速度处理后,煤中碳对ＣＯ２化学反应性及单位质量碳的气化反应速度常数－－特殊反应速度常数的变化规律。研究结果表明：适于直接还原回转窑窑头喷煤用的高挥发分煤,经不同加热速度处理后煤中碳对ＣＯ２化学反应性和特殊反应速度常数发生明显变化,随加热速度增大而明显增大,这一研究结果为直接还原回转窑窑头喷煤强化还原的机理研究提供了依据。     

用边界层理论计算平底闸孔出流的流量

应用边界层理论,对闸孔出流的水力计算方法进行了分析,得出了用边界层厚度表示的流量计算的表达式。该计算式物理意义明确、计算简单,经验证与试验结果一致。     

线性无关向量组正交化的矩阵解法

利用矩阵的初等变换,给出了线性无关向量组正交化的矩阵解法,使用该方法使得线性无关向量组正交化过程更加简捷易行。     

有关广义正定矩阵的几个性质

讨论了广义正定矩阵的一些性质,并给出一类较特殊的广义正定矩阵,它的多个自身的Ｈａｄａｍａｒｄ积仍保持广义正定性的一个充分条件。     

含碳球团生产海绵铁的研究

研究了含碳球团直接还原的金属化率与还原时间、温度和气氛之间的关系,并得到含碳球团生产海绵铁的工业参数。