预应力梁钢管脚手支撑方案设计

为防止由于器具质量不符合施工规范,导致模板支撑体系坍塌事故,对模板支撑进行设计和验算,同时对模板支撑的施工验收。通过按模板支撑的设计和交底要求施工,并经过实践检验,支撑体系安全可靠。     

劳动力投入对中国建筑业影响的实证分析

本文是以基础的计量经济学分析工具，通过建立多元线性回归模型，对影响中国建筑业的因素作了初步的讨论。经过对相关变量的筛选，得出了影响建筑业的两个重要因素，在此基础上得出一个二元回归模型，并就模型进行分析，实证分析了一些基本结论。     

起动用铅酸蓄电池试验需注意的几个问题

本文主要讨论了起动用铅酸蓄电池试验时的几个注意点以及对检验结果造成的影响。     

葡萄酒月度价格指标的季节ARIMA时间序列分析

以时间序列分析为工具,研究了法国葡萄酒价格月度指标,使用基于周期图的Fisher检验证实该数据指标具有潜在周期,最后发现(1,0,0)×(1,0,0)12模型能较好地拟合数据.在此基础上给出相应的预测.     

数学期望模型应用实例

混合样本检验法是预防医学中常用的方法，通过建立数学期望模型，可以在定量分析中减少检测次数，达到减少工作量，提高工作效率的目的。     

液化气罐焊接质量的控制

本文对液化气罐体焊缝和热影响区在高温冶金反应、结晶动力学及热循环的作用下,产生的一次结晶和二次结晶的组织形态、性能特征作了分析。实践表明,焊接夹杂和气孔是引起罐体焊缝裂纹或导致爆炸的主要原因。为此,作者提出,为了保证液化气罐焊接质量,必须从冶金和工艺两方面采取有效措施,迅速建立焊接质量监控系统,对焊接检验手段要进一步完善。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

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…