Continuation-Based Multiprocessing

Any multiprocessing facility must include three features: elementary exclusion, data protection, and process saving. While elementary exclusion must rest on some hardware facility (e.g., a test-and-set instruction), the other two requirements are fulfilled by features already present in applicative languages. Data protection may be obtained through the use of procedures (closures or funargs), and process saving may be obtained through the use of the catch operator. The use of catch, in particular, allows an elegant treatment of process saving.We demonstrate these techniques by writing the kernel and some modules for a multiprocessing system. The kernel is very small. Many functions which one would normally expect to find inside the kernel are completely decentralized. We consider the implementation of other schedulers, interrupts, and the implications of these ideas for language design.     

Shape Analysis with Subspace Symmetries

We address the problem of partial symmetry detection, i.e., the identification of building blocks a complex shape is composed of. Previous techniques identify parts that relate to each other by simple rigid mappings, similarity transforms, or, more recently, intrinsic isometries. Our approach generalizes the notion of partial symmetries to more general deformations. We introduce subspace symmetries whereby we characterize similarity by requiring the set of symmetric parts to form a low dimensional shape space. We present an algorithm to discover subspace symmetries based on detecting linearly correlated correspondences among graphs of invariant features. We evaluate our technique on various data sets. We show that for models with pronounced surface features, subspace symmetries can be found fully automatically. For complicated cases, a small amount of user input is used to resolve ambiguities. Our technique computes dense correspondences that can subsequently be used in various applications, such as model repair and denoising.     

葛洲坝500kV MOA事故分析及反事故措施

本文扼要地介绍了葛洲坝电厂500kVMOA3次事故的情况，分析了事故原因，并给出了人工污秽试验和加裙位置优化计算的结果并介绍了实施反事故措施后安全运行一年多的情况。     

高速交通对沥青路面结构工程技术发展的影响

因高速交通的要求，路面结构使用性能的概念已经发展为包括结构性使用性能与功能性使用性能两大部分。对路面不仅要求强度与稳定性，而且要求平整、抗滑、抗车辙、抗裂与防止噪音。深层次的功能要求冲击着原有的路面结构理论。本文根据人－车－路－环境相互作用的系统分析，就极限标准、长期使用性能、路面结构组合、路面材料组成设计、振辗工艺等方面存在的问题及发展方向进行了分析讨论，并提出了具体建议。     

某多层砖混住宅楼严重开裂事故的分析和处理

通过对某多层砖混结构住宅楼严重开裂事故的调查与分析,阐述了该楼质量事故的主要原因并作出了定量分析,提出了处理措施和房屋基础设计应以建筑场地工程地质勘察资料为依据。     

Anisotropy of in-plane thermal conductivity in YBa2Cu3Oδδδ

The thermal conductivity of two untwinned single crystals of YBa₂Cu₃O_7-.     

An assessment of modula

Wirth has recently published a new programming language called Modula which he suggests is suitable for the programming of process control systems, computerized laboratory equipment and input/output device drivers. The authors have written a compiler for Modula running on a PDP-11 and generating object code for the same machine. Their experience in writing device drivers for a number of PDP-11 devices is reported, including simple mains frequency clocks, disks, CAMAC and a graphics processor. Some difficulties arose during the writing of these programs; these are investigated and solutions proposed, either within the existing language or by minor modifications to the language. The study shows the extent to which Modula meets the requirements for a general purpose real-time systems-implementations programming language; areas of deficiency are noted.     

电容补偿技术在热释电探测器上的应用

介绍了快响应热释电探测器电容补偿技术的原理和适用范围，给出了探测器／前放组件性能的理论计算结果，用该技术研制的大面积快响应探测器性能有很大提高。