Learning Organizations in Construction

The transformation of organizations from production-oriented entities to proactive learning entities that continuously leverage the knowledge of the workforce is a primary objective of management researchers. This focus has significant relevance to the construction industry where production-related research has predominantly overshadowed organizational development research. As one effort to change this emphasis, the writers present a research effort designed to study current organization learning techniques and technologies fielded by organizations both inside and outside of the construction industry. Through a series of exploratory case studies, the writers developed a maturity model together with the Construction Industry Institute that provides construction organizations with a framework for developing a learning organization culture. The maturity model focuses on learning organization characteristics of leadership, processes and infrastructure, communication/collaboration, education, and culture at the organization, community, and individual levels. This paper introduces the results of that effort including a presentation of the learning organization maturity model, framework application, and the overall characteristics of a learning organization.     

Balancing User Priorities for Sustainability versus Security

In these times of global change, many facility emphases are competing for limited resources. Competing factors include, but are not limited to, sustainable design or green buildings; security, hardening or force protection; accessibility; historic preservation; aesthetics; and functionality. Yet, unlimited resources are seldom, if ever, available to fulfill all of these competing requirements in private or public construction. The Georgia Institute of Technology designed a decision matrix to allow owners and planners to balance these competing requirements on a project-by-project basis and to document the rationale.     

中国硬质合金工业现状及发展趋势

简要总结了中国硬质合金工业所取得的成就及与国外先进水平比较存在的差距,并对国内外硬质合金市场和技术发展趋势进行了分析。     

项目管理软件的开发思路

详细介绍了项目管理的发展及项目管理软件的现状。通过对P3管理软件的分析论述，得出项目管理软件系统的开发方案。     

我国矿业城市实现可持续发展的途径分析

详细分析我国矿业城市可持续发展所面临的社会、经济、资源和生态环境等问题，提出了我国矿业城市应树立可持续发展目标及其内涵，系统分析矿业城市可持续发展的结构和模式，结合我国矿业城市发展存在的主要问题，以矿业城市可持续发展理念为指导，提出我国矿业城市实现可持续发展的途径及其建议。     

高合金钢铸造用涂料的试制与开发

介绍了炉爪用合金钢1Cr25Ni20Si2Re,导板用合金钢2Cr32Ni5采用串箱铸造过程中，有关镁砂粉涂料和石英粉涂料的试制。结果表明：镁砂粉涂料为不透气涂料，不太适用，而合理配方的石英粉涂料使用性能良好。     

Metric-based reasoning about pseudocode design in the partial metrics system

The goal of the PMS project is to produce an environment in which the intelligent online assessment of the design for large-scale ADA programming projects is provided. The focus is on the representation of knowledge about the design process for an individual module. Changes in pseudocode complexity are measured in terms of partial metrics. These metrics can take the designers inferences about the pseudocode program structure into account when assessing module complexity. Next, a model of the stepwise refinement process is given which demonstrates how pseudocode elaboration decisions can be modelled in partial metric terms. Finally, the decisions associated with each refinement step for 17 example refinements taken from the computer science literature are described using partial metrics.     

东江水库诱发地震探讨

阐述了东江水库基本情况，通过对库区及周围的地质构造特点、诱发地震监测，总结出东江水库地震的活动特征和诱发地震活动趋势。     

浅谈托辊的开发与实践

本钢１７００连轧机应用的托辊原由外企业制作，为了减少公司资金外流，公司技术人员和工人结合现有的生产条件，先后攻克了辊身铸造和加工，托辊装配等工艺方面的难关，研制成功了合格的产品，年创经济效益８０万元。     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002