数字电视及其标准

电视技术的数字化是电视领域发展的必然趋势，它给电视技术带来了质的飞跃。在对比分析了电视模拟技术与电视数字技术的区别的基础上，对数字电视的相关技术及其标准进行了介绍，并提出了作者的看法与见解。     

Provision of accuracy for quantitative determination of small amounts of components: Principles of resolving the problem and their realization

Versions are suggested for resolving the problem of monitoring the accuracy of determining small amounts of components in samples of substances and materials. __________ Translated from Izmeritel'naya Tekhnika, No. 1, pp. 52–57, January, 2006.     

光谱法快速测定土壤中的多个微量元素

本法采用碳酸钡、氟化锂、石墨粉作缓冲剂，用锑做铅锌的标．用铪作铌的内标，用钯作铍、铬、镧、锶、铜的内标。采用小孔电极，交流电弧做为激发光源，同时测定铅、锡、锌、铍、铬、镧、铌、铜、锶等九个元素。分析数据基本稳定．能达到土壤样品的检出限要求。     

标准咨询服务探讨

通过对标准化咨询服务各种模式的具体阐述，论证了其对企业发展的重要作用，以及信息化在标准服务中的的重要地位。     

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

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

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.     

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

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

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

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

误读与纠正

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

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.