多参数Wiener过程平方函数积分的重对数律

设Ｗ（ｔ）是ｄ维参数Ｗｉｅｎｅｒ过程，我们在此文中证明     

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…     

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

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

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

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

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

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

湖南大中型企业信息化建设的现状分析与路径选择

对于我国企业，尤其是湖南大中型企业而言，管理信息化是事关企业生死攸关的大事。在湖南大中型企业信息化建设中，湖南的基本现状与主要成效、制约因素与有利条件、解决措施与重点工作等方面，都是政府领导、企业经营决策者以及科研工作者关注的热点问题，文章就这几个方面的问题作了认真的思考和探索。     

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

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

思维逻辑转换与翻译

翻译和思维逻辑有极其紧密的联系。逻辑活动贯穿于翻译过程的始终。在翻译过程中,译者需要在原语和译 语间进行思维逻辑的转换。从三个层面上阐述了逻辑转换在翻译中的作用:逻辑对确定词义的作用、逻辑对确定译语 句子表达的作用和逻辑对从篇章结构角度检验译文的正误的作用。     

建筑物变形观测的过程控制与安全措施

分析了引起建筑物变形的原因及建筑物变形的类型，介绍了建筑物变形观测的实施过程及具体方案，并根据观测结果提出了确保施工与建筑物使用的安全措施。     

“Q宠宝贝”带来的思考

对腾讯公司推出的电子宠物——“Q宠宝贝”受宠现象进行分析。总结出其营销成功的主要原因:迎合消费者的各种消费心理,并逐一说明。