液化气罐焊接质量的控制

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

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

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

HPMBP与N_（503）协同萃取钯（Ⅱ）的研究

研究了ＨＰＭＢＰ与Ｎ５０３的氯仿溶液从硝酸介质中协萃钯（Ⅱ）的性能．用斜率法和等摩尔系列法确定萃合物组成为（ＣＨ３ＣＯＮＨＲ２）Ｐｄ（ＰＭＢＰ）３；求得该协萃反应的平衡常数及协萃配合物的生成常数分别为：ｌｇｋ１２＝１．５４，ｌｇβ１２＝２．３９．考察了温度对协萃平衡的影响，测定了协萃反应的热力学函数．     

一类下级有穷的拟素整函数

证明了对有穷级整函数,若Julia方向总数有穷,且有一个有穷亏值,则能找到一个角形域,使该函数在此角形域内有界。并以此结论证明了该函数是拟素的。     

知识的粒度计算及其应用

粗糙集理论是一种较新的软计算方法 ,可以有效地分析和处理不完备信息 .本文介绍了知识的粒度、属性的重要度及协调度等概念及计算方法 ,并给出属性的重要度在求属性集的最小约简、协调度在构造决策树方面的具体步骤 .最后 ,通过几个例子说明了这些概念和方法的有效性.     

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…     

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

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

ze^z＋λ的动力系统

研究整函数族ｆλ（ｚ）＝ｚｅ＾ｚ＋λ（λ∈Ｃ）的动力系统。方法用Ｂａｋｅｒ研究ｅ＾λｚ所采用的方法。结果与结论设Ｄｐ＝｛λ∈｜ ｆλ（ｚ）有一个ｐ阶的吸性周期点｝,Ｄｐ表示Ｄｐ的一个连通分支。     

分层调整因子的模糊控制器

分析量化及比例因子对模糊控制性能的影响,设计一类分层调整量化及比例因子的模糊控制器．仿真结果表明,其控制效果优于常规模糊控制器．