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…     

修正的Navier—Stokes方程的再生性质和周期解

本文证明了由提出的修正的Navier-Stokes方程在小外力的条件下对t_1∈(0,T]存在唯一的初始速度分布使得相应的初边值问题的广义解具再生性质:(t_1)=(0)=.从而当外力还是时间t的周期函数时,是周期解.进而证明此周期解以指数方式吸引相应于同一外力但初值可任意的其它解.上述结论的证明基于对广义解v的导数v在空间L~∞(0,T;L~2(Ω))中估计.     

活塞环表面碳化铌镀覆新工艺试验研究

用化学液相沉积方法，在高强度灰铸铁活塞环表面实现了Ｎｂｃ覆层，盘销磨擦磨损试验表明，无论在无润滑的情况时，Ｎｂｃ镀层表面要比镀Ｃｒ表面或铸铁原始表面具有更高的耐磨性，可以延长活塞环使用寿命，而Ｎｂｃ镀层与铸铁之间低的磨擦系数可使Ｓ１９５柴油机磨擦损失降低０．３５ｋＷ，降低比油耗９－５ｇ／（ｋＷ．ｈ）。     

优化铅酸蓄电池化成工艺参数的研究

本文针对生极板为同一型号的电池，采用二次加酸化成，改变电流密度和时间．控制电解液的温度等方法．得到优化的工艺参数。采用该组工艺参数，不仅缩短铅酸蓄电池化成周期．提高生产效率，而且节约能源。     

高等级公路水泥稳定土施工工艺--博茨瓦纳帕塞公路水泥稳定层平地机施工技术研究

以博茨瓦纳帕塞公路工程施工为例，详细介绍了高等级公路水泥稳定土的施工准备、工艺流程与技术要求，指出了施工中应注意的问题。     

两指标随机过程的停止

~~(2 ) z∈ R+ 2 ,{z∈ D′{ D相似文献   

2′—羟基—5′—甲基苯乙酮—铜—三苯基膦三元配合物的电化学合成及光谱表征

在非水溶剂中用直接电化学方法合成了金属铜与2′ 羟基 5′ 甲基苯乙酮(HMAP)及三苯基膦(pph3)的三元配合物,产物经元素分析、拉曼光谱、核磁共振表征及合成过程电流效率测定,该配合物组成为(MAP)Cu(pph3)2,其中Cu和MAP 的两个氧原子配位形成一个五元环结构,同时还和两个中性三苯基瞵配位,形成金属Cu的一价配合物.还探讨了电合成条件,反应机理以及中性配体在低价配合物形成过程中的作用.     

并行处理可视化监测环境

针对并行程序的工程化开发中缺乏有效的并行程序执行过程的可视化、性能监测与分析工具 ,该文设计和实现了一个面向并行程序的集成开发环境的可视化与监测分析工具。该环境集成并行过程的可视化、并行性能监测和评价于一体 ,根据它提供的直观可视信息 ,程序员能形象化地看到并行程序的运行状况 ,了解并行程序的执行性能 ,并通过性能监测分析比较并行算法 ,找出并行算法的性能瓶颈。该工具已应用于胜利油田的油藏数值并行模拟中 ,有效地支持了油藏数值模拟并行程序设计的开发 ,并获得了较好的效果     

银行系统网络运行现存的若干问题和解决建议

通过对银行系统网络现状的分析，从广域网和局域网两个不同的角度指出了银行现有的网络结构、体系存在的问题及其原因，并提出了较为可行的解决方法，对现在的大型网络系统有普遍的意义。     

大孔树脂提取中药有效成分的放大研究

用两种不同的方法对大孔树脂吸附柱进行了工艺放大,确定了大柱的上柱流量,计算出其吸附量、吸附效率等参数.结果表明,采用保持柱内通过时间不变(v/L=常数)的方法进行放大,其计算值与实验值吻合较好,树脂的吸附效率在90%左右,处理能力能够满足生产需要,可以作为大孔树脂吸附柱工艺放大的依据.当上柱流量在40～170L·h-1范围内变动时,其吸附效率在71 15%～91 56%的范围之内变化.