Fatigue of workers, its relation to industrial production,

Report of the Committee by George C. Homans

Electric transmission of power for mill work.

Cover-title.

Treatise on analytical chemistry.

Publisher varies: 1961-68, Interscience Publishers; 1971- Wiley-Interscience and Wiley (an Interscience publication).

Effectiveness of incentive/disincentive contract provisions : final report /

"Project ID-H1, FY 93."

ESA special report series /

On p. [1] of no. 1: November, 1957

Education pamphlets

A collection of miscellaneous pamphlets.

Before the United States Railroad Labor Board; exhibit ...

[1] The development of collection bargaining on a national basis.--[2] Industrial relations on railroads prior to 1917.--[3] The sanction of the eight-hour day.--[4] Seniority rules of the national agreement.--[5] The recognition of human standards in industry.--[6] Human standards and railroad policy.--[7] Railroad boards of labor adjustment.--[8] Punitive overtime.--[9] Rules prior to national agreement.--[10] Occupation hazard of railway shopmen.--[11] The work of the railway carmen.--[12] The unity of the American railway system.--[13-16] Inadequacies of railway management, part I-IV.--[17] Specific cases cited by Mr. Whiter, and employees' rebuttal.--[18] Standardization.--[19] The problem of piece work.

Managing inspections for greater productivity.

Winter 1977.

Bulletin /

Some issues have title: Bulletin of the Women's Bureau (varies slightly); some have title: Women's Bureau bulletin.

A preform design method for sheet superplastic bulging with finite element modeling

Superplastic bulging is the most successful application of superplastic forming (SPF) in industry, but the non-uniform wall thickness distribution of parts formed by it is a common technical problem yet to be overcome. Based on a rigid-viscoplastic finite element program developed by the authors, for simulation of the sheet superplastic forming process combined with the prediction of microstructure variations (such as grain growth and cavity growth), a simple and efficient preform design method is proposed and applied to the design of preform mould for manufacturing parts with uniform wall thickness. Examples of formed parts are presented here to demonstrate that the technology can be used to improve the uniformity of wall thickness to meet practical requirements. (C) 2004 Elsevier B.V. All rights reserved.

Endocrine-disrupting compounds: A review of their challenge to sustainable and safe water supply and water reuse

The relevance of endocrine-disrupting compounds as potential contaminants of drinking water is reviewed, particularly in the reuse of wastewater. Growing populations and increasing intensification of land and water use for industry and agriculture have increased the need to reclaim wastewater for reuse, including to supplement the drinking water supply. The variety of anthropogenic chemicals that have been identified as potential endocrine disruptors in the environment and the problems arising from their use as human and livestock pharmaceuticals, as agricultural chemicals and in industry are discussed. The potentially adverse impact of these chemicals on human health and the ecology of the natural environment are reviewed. Data for the removal of estrogenic compounds from wastewater treatment are presented, together with the comparative potencies of estrogenic compounds. The relative exposure to estrogens of women on oral contraceptives, hormone replacement therapy, and through food consumption is estimated. A brief overview of some methods available or under development for the assessment of estrogenic activity in environmental samples is provided. The review concludes with a discussion of the directions for further investigation, which include human epidemiology, methodology development, and wastewater monitoring. (C) 2006 Wiley Periodicals, Inc.

Agent-based distributed software verification

Despite decades of research, the takeup of formal methods for developing provably correct software in industry remains slow. One reason for this is the high cost of proof construction, an activity that, due to the complexity of the required proofs, is typically carried out using interactive theorem provers. In this paper we propose an agent-oriented architecture for interactive theorem proving with the aim of reducing the user interactions (and thus the cost) of constructing software verification proofs. We describe a prototype implementation of our architecture and discuss its application to a small, but non-trivial case study.

Implementation of a triple modular redundant FPGA based safety critical system for reliable software execution

This paper describes the implementation of a TMR (Triple Modular Redundant) microprocessor system on a FPGA. The system exhibits true redundancy in that three instances of the same processor system (both software and hardware) are executed in parallel. The described system uses software to control external peripherals and a voter is used to output correct results. An error indication is asserted whenever two of the three outputs match or all three outputs disagree. The software has been implemented to conform to a particular safety critical coding guideline/standard which is popular in industry. The system was verified by injecting various faults into it.