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

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

葡萄酒月度价格指标的季节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…     

感受帕隆天险

青藏高原既是世界上最高的高原,同时也是地球上最年轻的高原.专家们通过地质历史考察发现,早在400多万年前,现在的青藏高原南部还是汪洋一片,后来受来自印度板块次大陆与欧亚主大陆碰撞的影响,致使青藏高原逐步隆起.