液化气罐焊接质量的控制

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

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

对于高校非统计专业的统计教学改革的思考

高校非统计专业的统计教学因为课时有限,目前主要是对理论的概括介绍,而缺乏实际的应用和操作;为了在有限的时间里使学生理解统计思想,在教学中必须转变教学观念,因材施教,通过综合案例结合计算机进行教学,使学生对统计有一个系统的认识过程。     

基于STIRPAT模型的京津冀“碳达峰”预测研究

为了解决京津冀地区碳排放量达峰问题,以河北省为例,研究京津冀碳排放达峰实现路径,对京津冀未来的碳排放量进行预测分析,建立以河北省2004—2021年碳排放相关数据为基础的STIRPAT碳排放预测拓展模型。设置了6个情景,通过综合考虑人口规模、人均GDP、城镇化率、产业结构、能源强度、能源结构数据的变化速度,模拟不同情景下京津冀2022—2040年的碳排放趋势,进而预测京津冀三地的“碳达峰”时间与碳排放峰值。结果表明：北京除清洁发展情景是在2030年达峰,其余情景均在2035年达到峰值;天津除经济放缓情景是在2030年达峰,其余情景均在2035年实现“碳达峰”;河北除基准情景在2035年达峰外,其余情景均是在2030年达到峰值。所提的碳排放预测拓展模型在考虑多情景分析下,就京津冀地区如何控制和减少碳排放量提出相关建议,可为京津冀低碳经济的发展提供一定的参考依据。     

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

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

DMloDS的多媒体存储服务器中可丢弃帧的分配问题

分布式多媒体信息点播系统（ＤＭＩｏＤＳ）要求其多媒体存储服务器能够同时为大量的客户提供实时的信息服务,为了保证每个客户的ＱｏＳ要求,系统必须提供接纳控制机制以限制客户的数量．首先从理论上描述了一种适合于ＤＭＩｏＤＳ中多媒体存储服务器的统计型接纳控制算法ＳＡＣＡ,并对统计过程中产生的可弃帧的分配问题进行了深入的研究,提出了可丢弃帧分配的数学模型,保证了每个客户的基本ＱｏＳ要求,为ＤＭＩｏＤＳ系统的设计提供了理论依据     

基于人工神经网络降维映射的统计优化方法

提出将多维空间的样本数据降维映射到二维平面上,并在该平面上自动生成函数的等值分布曲线,从而,可直观出该函数的最优点或最优区域,通过本文提出的逆映射算法可将其还原到多维空间用原始变量表示．运算实例结果表明,基于神经网络降维映射的优化方法,直观、准确、可靠,对于有约束优化问题的求解特别有效．