液化气罐焊接质量的控制

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

基于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…     

灌注桩超声脉冲检测法和判据的研究

本文论述了钴孔灌注桩超声脉中检测法的原理、仪器和方法.分析了当超声脉冲穿过缺陷区时其传播时间、幅值(或衰减)以及接收信号波形所呈现的变化.提出了基于"声时—深度"曲线的缺陷定量判据.即声时差值与斜率乘积判据.该判据能估算缺陷的性质和大小.而且,若将该判据与"幅值—深度"曲线综合运用,则可提高检测和判断结果的精度.     

上海股票市场弱式有效性实证分析

运用现代投资分析理论与实证研究方法,对上海股票市场从１９９１年初～１９９６年底的市场弱式有效性进行了全面综合分析．对收益率正态分布检验的研究结果表明,上海股票市场收益率自１９９３年始已逐步趋向正态分布;对股价收益率序列相关检验的结果则显示,上海股票市场在１９９１年初～１９９２年底存在秩相关性,而自１９９３年初则开始呈现市场弱式有效特征．     

逐步回归分析的拓展

给出一种方法,在逐步回归后,使每一前进（后退）步为一单元步,用Ｆ检验来判别这单元步的去留,使回归式子比逐步回归纳入更多的解析变量,同时能减低向后消元法产生多重共线性的可能性．     

用IDX法测定马尾松和樟子松种子发芽能力的研究

研究用ＩＤＸ法测定马尾松和樟子松种子发芽能力的方法及其标准化。结果发现,马尾松和樟子松种子浸种１６ｈ后,在１５℃、相对湿度接近１００％的培养箱内培养５６ｈ,然后在２５℃、相对湿度４０％的条件下分别干燥３ｈ、２ｈ,再作射线摄影,此时生活种子与死亡种子含水量的差异能在射线照片上形成密度反差,据此可以测定种子的发芽能力,即生活种子含水量高,吸收射线能力强,在射线图象上表现为密度均匀,胚与胚乳界限不明显,     

混沌理论与非线性经济系统

简述了混沌的定义、特征以及混沌系统的判定方法,并初步探讨了混沌理论在非线性经济系统中的应用,重点讨论了该理论在非线性经济结构的统计检验和经济系统控制等方面的应用     

城市CA模型建模原则与模拟结果检验方法研究

元胞自动机（CA）所独有的特征和构模方式使其在模拟复杂性系统如城市系统等方面表现出强大的模拟能力，作者通过分析CA的特点及其在城市模拟中的应用，着重探讨了城市CA模型的建模原则和城市CA模型模拟结果的检验方法。     

资本市场发展与经济增长均衡关系协整检验

在总结国内外相关成果的基础上,分析了股票市场促进经济增长的作用机制,运用1994年到2005年的季度数据进行分段检验,实证研究了股票市场发展与中国经济增长的关系,得出了出人意料的结论.