955 resultados para Reuse
Resumo:
Project manager : Holt, Ross & Yulish, Inc.
Resumo:
Mode of access: Internet.
Resumo:
Cover title.
Resumo:
"ILENR/RR-92/12."
Resumo:
"ILENR/RR-92/12."
Resumo:
"ILENR/RR-90/02"--Cover.
Resumo:
At head of title : 93d Cong., 2d sess. House report no. 93-1012.
Resumo:
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.
Resumo:
Proof reuse, or analogical reasoning, involves reusing the proof of a source theorem in the proof of a target conjecture. We have developed a method for proof reuse that is based on the generalisation replay paradigm described in the literature, in which a generalisation of the source proof is replayed to construct the target proof. In this paper, we describe the novel aspects of our method, which include a technique for producing more accurate source proof generalisations (using knowledge of the target goal), as well as a flexible replay strategy that allows the user to set various parameters to control the size and the shape of the search space. Finally, we report on the results of applying this method to a case study from the realm of software verification.
Resumo:
Users of safety-critical systems are expected to effectively control or monitor complex systems, with errors potentially leading to catastrophe. For such systems, safety is of paramount importance and must be designed into the human-machine interface. While many case studies show how inadequate design practice led to poor safety and usability, concrete guidance on good design practices is scarce. The paper argues that the pattern language paradigm, widely used in the software design community, is a suitable means of documenting appropriate design strategies. We discuss how typical usability-related properties (e.g., flexibility) need some adjustment to be used for assessing safety-critical systems, and document a pattern language, based on corresponding "safety-usability" principles
Resumo:
In designing new product the ability to retrieve drawings of existing components is important if costs are to be controlled by preventing unnecessary duplication if parts. Component coding and classification systems have been used successfully for these purposes but suffer from high operational costs and poor usability arising directly from the manual nature of the coding process itself. A new version of an existing coding system (CAMAC) has been developed to reduce costs by automatically coding engineering drawings. Usability is improved be supporting searches based on a drawing or sketch of the desired component. Test results from a database of several thousand drawings are presented.
Resumo:
In the context of Software Reuse providing techniques to support source code retrieval has been widely experimented. However, much effort is required in order to find how to match classical Information Retrieval and source code characteristics and implicit information. Introducing linguistic theories in the software development process, in terms of documentation standardization may produce significant benefits when applying Information Retrieval techniques. The goal of our research is to provide a tool to improve source code search and retrieval In order to achieve this goal we apply some linguistic rules to the development process.