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.     

新型引线热浸镀锡合金的研究

分析比较了进口锡与国产锡的成分和性能。设计出了新型的引线热浸镀锡合金，它具有较低的工作温度、优良的抗氧化性、流动性和可焊性。     

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.     

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

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

How to make and defend a proposal in a deliberation dialogue

In this paper it is shown how tools developed in argumentation theory and artificial intelligence can be applied to the development of a new dialectical analysis of the speech act of making a proposal in a deliberation dialogue. These tools are developed, modified and used to formulate dialogue pre-conditions, defining conditions and post-conditions for the speech act of making a proposal in a deliberation dialogue. The defining conditions set out what is required for a move in a dialogue to count as the making of a proposal by one of the parties. What is required are the conditions that (1) the move fit the requirements of the argumentation scheme for practical reasoning, and (2) the premises are propositions describing common goals of both parties or propositions that they reasonably consider means to achieve these goals. The analysis goes beyond the standard speech act approach by specifying not only the normative requirements for making a well-formed proposal, but also the requirements for responding to it by questioning or criticizing it, and the requirements for defending it.     

OPC 技术与应用

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

电子商务对企业集团营销手段的影响

介绍了电子商务，以及目前电子商务的发展趋势及对社会的影响，特别阐述了蓬勃发展的电子商务对企业集团的经营环境与手段的影响。     

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

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

从含有机物的金废料中提取纯金的研究

物料的经蒸发、燃烧和焙烧除去有机物。焙渣用硝酸浸出可溶性杂质，金富集在渣中。用正水溶解金。金溶液用Ｈ２ＳＯ４和ＮａＯＨ进行纯化处理，用亚硫酸钠沉积金。金粉洗至无Ｃｌ＾－反应后，加稀硝酸煮沸３０￣６０ｍｉｎ，得到纯度９９．９５％以上的海锦金。     

电子引伸计的数字智能化研究

由于目前的电子引伸计精度不高、不快捷、智能化程度不高,对其数字智能化方向的研究十分必要。从数字智能式电子引伸计的特点、关键技术、技术指标及应用入手,制定开发的技术路线,并介绍相应的信号处理技术。