《石油沥青纸胎油毡》国家标准的修订

《石油沥青纸胎油毡》国家标准进行了第三次修订。本文介绍了修订的理由、修订的内容与依据，并与国内外同类产品标准进行了比较。     

Estimation of errors of hydrogen standard time scale preservation taking account of systematic frequency changes

Metrological characteristics of active hydrogen frequency standards are investigated on the basis of internal and external comparisons. The stability of random changes and drift of hydrogen frequency standards and also the potential capabilities of time scale preservation with effective consideration of systematic changes in their frequency are demonstrated. __________ Translated from Izmeritel’naya Tekhnika, No. 3. pp. 42–45, March, 2007.     

用穿透法测量声速时初始点的选择问题

用穿透方法测量岩心或固体的声速时，从测量波形中确定纵波（或横波）的到达时刻（或称初始点）比较困难，当声波的频率比较低时，其误差对测量结果影响比较大。本文用相位分析的方法研究了初始点的选择问题。首先，用各向同性较强、均匀的汉白玉制作标准件，测量其不同传播距离的波形，再用相位补偿的方法得到其传播速度；其次，利用传播速度，可从不同距离的测量波形中确定初始点及其对应的测量系统的时间延迟常数；最后，确定波形的其他位置为初始点时对应的时间延迟常数，因此，我们可以根据实际测量波形的特点选择最佳的初始点，利用其对应的时间延迟常数得到比较精确的声速。模型测量结果表明，初始点位置不同，其对应的测量系统的时间延迟常数也不同，也即测量系统的时间延迟常数是与初始点的选择相对应的。     

有效烃源岩下限指标初探

有效烃源岩下限标准是大家长期争论的问题,各界学者在评价有效源岩时采用的有机碳下限标准各异.本文从有效烃源岩的概念、限制条件着手,从国内外油气勘探的发现入手,以大量国内外已发现油气田(藏)已知的有效烃源岩统计数据为依据,结合源岩成熟度参数,提出有效烃源岩评价标准是灰岩有机碳含量≥0.3%;泥灰岩有机碳含量≥0.5%;泥岩有机碳含量≥1.0%;油源岩成熟度上限指标Ro≤1.5%;气源岩成熟度上限指标Ro≤4.0%.     

浅谈2000版IS09000族质量管理体系标准的结构与特点

结合对2000年版ISO9000族质量管理体系标准的理解和分析,对标准的结构和特点进行了探讨。     

GB/T5213-2001深冲压用冷轧薄钢板及钢带标准述评

介绍了标准编制的技术工作及内容 ,简述标准修订的创新点及应用推广、实施效益情况。     

误读与纠正

分析材料试验机度盘偏转角度小 (准确度低 )、试样打滑、定义 (上屈服强度 -下屈服强度 -屈服强度 )模糊、不同应力速率等导致误读 ,并针对误读原因提出纠正方法。     

A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs

In this paper we try to introduce a new approach to operational semantics of recursive programsby using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu ofmodelling partial functions by introducing undefined values in a traditional approach,we shall define apriority derivation tree for every term,and by respecting the rule“attacking the subterm of thehighest priority first”we define transition relations,computation sequences etc.directly based on astandard interpretation which includes no undefined value in its domain.Finally,we prove that ournew approach generates the same operational semantics as the traditional one.It is also pointed outthat we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semanticsof recursive programs cannot be built based on predicate logic.     

工业固体核磁Magmonitor用于聚烯烃质量参数测试方法的建立

利用实际采集的系列试样 ,在工业固体核磁Magmonitor(IMR)上建立了标准曲线 ;在IMR上运行标样的核磁信号后 ,对FID信号与实验数值之间的匹配使用 32个误差分析因子进行分析 ,并在Cregcon软件下运行回归分析 ,将结果转化成仪器预测模型。结果表明 ,测试相对偏差在 10 %以内 ,数据重现性好 ,而粉料与共聚物的测试误差有待改进。将IMR测试结果与不同测试方法进行比较 ,建议测试前对粉料进行脱气与脱水处理     

On the notation of CALM — common assembly language for microprocessors

Common Assembly Language for Microprocessors (CALM) is a set of notations, independent of any manufacturer but strongly inspired by the best existing assemblers.

The paper contains a discussion of assembler addressing modes and their expressions in CALM. A program example of the Bubble Sort subroutine written for 4 processors (hypothetical, 8085, 8086, 68000) gives an idea of CALM programs.