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.     

安阳市民用建筑有线电视管道工程设计及施工规范

针对近几年安阳市城区规模的不断扩大和安东新区的开发启动以及房地产市场的迅速发展，根据相关标准，结合安阳市城市发展的实际需要，提出了安阳市民用建筑有线电视管道工程设计及施工规范。     

同时含有稀土元素La Ce Pr Nd的材料的电子探针定量分析方法

研制了稀土六硼化物单晶LaB_6、CeB_6、PrB_6和NdB_6电子探针分析标样。根据X-射线峰位表和实测的特征X-射线谱,考察分析了La、Ce、Pr和Nd元素谱线之间的干扰情况,发现分析谱线PrLα_1受到L_αLβ_1线严重的干扰。以混合稀土金属为试样,采用扣除谱线重叠强度的背底非对称测量等方法对L_n、Ce、Pr和Nd进行了电子探针定量分析,其结果与荧光X-射线光谱分析结果符合较好。     

OPC 技术与应用

OPC规范是应用软件与数据源的通用接口标准，实现了应用软件与现场设备的开放的、无缝隙的联接。OPC作为新技术，在工业自动化中占重要的地位。分析了OPC技术及其在工控中的应用。     

贯彻ISO9002标准提高企业设备管理水平

根据企业特点 ,在贯彻ISO90 0 2标准中 ,建立健全设备管理机构及制度体系 ,提高企业设备管理水平 ,建立设备台帐等提出了几点看法     

网络条件下的资本一般及其逻辑推演——利益、规则与标准

通过对资本一般概念的分析，结合资本一般的运动功能论述，认为在经济全球化和网络条件下，资本增值属性必然导致对规则和标准的争夺与控制，标准战是资本一般在新的经济社会形态下发展的必然逻辑结果。     

标准模型下的无证书代理环签名方案

由于无证书公钥密码体制是一种新型公钥密码体制,它既克服了密钥托管问题,又不需要使用公钥证书,而在标准模型下所构造的方案与在随机语言模型下所构造的方案相比,具有更高的可证安全性,因此,该文在标准模型下,提出了一个无证书代理环签名方案。与现有的代理环签名方案相比,它具有更高的执行效率和可证安全性,能够归约于CDH（computational diffie-Hellman）问题假定。分析结果表明：它既能有效抵制来自密钥生成中心和授权人的伪造攻击,又能满足代理环签名的其他安全性需求;并且,该方案具有更高的执行效率,只需要两次对运算。