国外生土建筑发展对我国的启示与借鉴

生土建筑形式多样,不仅是中国传 统建筑重要的组成部分,在世界范围内也有 广泛分布。在全球能源危机背景下,生土建 筑材料的生态性能又一次受到世人瞩目。我 国研究生土建筑时间较早,但相较于发达国 家,在研究探索与经验累积等方面还存在一 定差距。本文从研究机构、教育模式、规范 标准三个不同层面对国内外生土建筑研究进 行分析判断,寻找出目前国内外生土建筑发 展的现状和需要改进之处,总结国外先进研 究经验,以高校教育作为理论支撑、规范标 准作为实践场地、研究机构作为理论与实践 结合的统筹研究单位,使三方面形成集“产 学研”为一体的完整链条,为我国生土建筑 的进一步发展提供依据。     

热轧无缝钢管的质量缺陷界定问题

随着轧管生产技术的进步和一些钢管新机组的相继建成投产,热轧无缝钢管产品质量缺陷的种类和表现形式也在发生变化,对产品质量缺陷准确界定提出了新的要求。介绍了热轧无缝钢管产品质量缺陷的类别和表示方法。提出了钢管行业编制缺陷图谱和制定有关行业标准的问题。     

电力行业标准DL/T5178-2003《混凝土坝安全监测技术规范》修订介绍

本文叙述了电力行业标准DL/T5178-2003《混凝土坝安全监测技术规范》修订过程、修订原则及修订的主要内容。     

Kinetics of the process of electroslag surfacing and the tructure of deposited metal based on nickel aluminide

The course of overlay welding technology qualification using welding procedure test according to the PN-EN ISO 15614-7 specifications is described. How the preliminary welding procedure specification (pWPS) should be prepared is clarified and the type of test pieces as well as the type of tests that should be carried out after overlay welding are presented. The criteria to be met by test pieces so that the welding procedure may be qualified as acceptable are discussed. The qualification range and the details of the welding procedure qualification record (WPQR) also presented. Numerous examples of overlay welding procedure qualification tests, carried out at the Welding Institute are described.     

DOS操作系统下内存资源的利用

从计算机用户的角度出发，说明如何在ＤＯＳ操作系统下更好地使用更多的内存资源，并给出了有关扩充内存的高级编程方法。     

基于OPC规范的智能化系统集成方案设计

智能小区是数字化、网络化和信息化结合的产物。但系统集成过程中却存在着严重障碍,即各子系统之间难以实现开放的、无缝隙的联接。OPC是与厂商无关的软件数据交换标准接口和规程,为解决这一问题提供了先进的技术手段。     

Analysis and Suggestion on TCG Specifications

Trusted computing is a new technology for building secure system in recent years. TCG （Trusted Computing Group） has drafted a series of specifications on trusted computer. More and more hardware and software have been developed by manufactures, and trusted computer shows many advantages to protcct information security. In the period of designing secure platform, TCG specifications arc analyzed and some deficiency is found in them. This paper presents the main idea of TCG specifications and gives some suggestions on three neglected problems： compatibility with old applications, security policy and mechanism of self recovery.     

Static extensivity analysis for λ-definable functions over lattices

We employ a static analysis to examine the extensivity (∀x:x≤f(x)) of functions defined over lattices in a λ-calculus augmented with lattice operations. The need for such a verification procedure has arisen in our work on a generator system (called Zoo) of static program-analyzers. The input to Zoo is a static analysis specification that consists of lattice definitions and function definitions over the lattices. Once the extensivity of the functions is ascertained, the generated analyzer is guaranteed to terminate when the lattices have finite-heights. The extensivity analysis consists of a sound syntax-driven deductive rules whose satisfiability check is done by a constraint solving procedure. Hyunjun Eo: He is a Ph.D. candidate of Computer Science Dept. at KAIST (Korea Advanced Institute of Science and Technology). He received his B.S. and M.S. in Computer Science from KAIST in 1996 and 1998, respectively. For 1998–2003, he was a research assistant of the National Creative Research Initiative Center for Research On Program Analysis System. His research interest has been on static program analysis, program logics, and higher-order and typed languages. He is currently working on developing a tool for automatic generation of program analyzers. Kwangkeun Yi, Ph.D.: His research interest has been on semantic-based program analysis and systems application of language technologies. After his Ph.D. from University of Illinois at Urbana-Champaign he joined the Software Principles Research Department at Bell Laboratories, where he worked on various static analysis approaches for higher-order and typed programming languages. For 1995–2003, he was a faculty member in the Department of Computer Science, Korea Advanced Institute of Science and Technology. Since Fall 2003, he has been a faculty member in the School of Computer Science and Engineering, Seoul National University. Kwang-Moo Choe, Ph.D.: He is a professor of Computer Science at Korea Advanced Institute of Science and Technology. He received his B.S. from Seoul National University in 1976, and his M.S. and Ph.D. from Korea Advanced Institute of Science and Technology in 1978 and 1984, respectively. For 1985–1986, he was a technical staff of AT&T Bell Labs at Murray Hill. His research interest is formal language theory, parallel evaluation of logic programs, and optimizing compilers.     

基于SCORM规范的智能化通用教学平台的实现

最新的SCORM规范从SCORM内容聚集模型和运行时刻环境两方面构造了符合当前软件发展方向的远程教育教学资源共享的实现框架。如何实现智能化、个性化教学,如何最大限度地使这些教学资源共享,成为随之而来的问题。通过研究和引入Prolog方法,以及同Java技术的整合,简单实现了一个基于SCORM规范智能化通用教学平台。