Search NASA⌕ Search

SEARCH · Search NASA

Results for “reasoning about programs”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 235 records · Page 13

Baseline program

This assumed program was developed from several sources of information and is extrapolated over future decades using a set of reasonable assumptions based on incremental growth. The assumptions for the NASA baseline program are as follows: balanced emphasis in four domains; a constant level of activity; low to moderate real budget growth; maximum use of commonality; and realistic and practical technology development. The first domain is low Earth Orbit (LEO). Activities there are concentrated on the space station but extend on one side to Earth-pointing sensors for unmanned platforms and on the other to the launch and staging of unmanned solar system exploration missions. The second domain is geosynchronous Earth orbit (GEO) and cislunar space. Activities here include all GEO missions and operations, both unmanned and manned, and all transport of materials and crews between LEO and the vicinity of the Moon. The third domain is the Moon itself. Lunar activities are to include both orbiting and landing missions; the landings may be either unmanned or manned. The last domain is Mars. Missions to Mars will initially be unmanned but they will eventually be manned. Program elements and descriptions are discussed as are critiques of the NASA baseline.

Roberts, Barney B.↗

Exhaustive Versus Randomized Searchers for Nonlinear Optimization in 21st Century Computing: Solar Application

We present a simple multi-dimensional exhaustive search method to obtain, in a reasonable time, the optimal solution of a nonlinear programming problem. It is more relevant in the present day non-mainframe computing scenario where an estimated 95% computing resources remains unutilized and computing speed touches petaflops. While the processor speed is doubling every 18 months, the band width is doubling every 12 months, and the hard disk space is doubling every 9 months. A randomized search algorithm or, equivalently, an evolutionary search method is often used instead of an exhaustive search algorithm. The reason is that a randomized approach is usually polynomial-time, i.e., fast while an exhaustive search method is exponential-time i.e., slow. We discuss the increasing importance of exhaustive search in optimization with the steady increase of computing power for solving many real-world problems of reasonable size. We also discuss the computational error and complexity of the search algorithm focusing on the fact that no measuring device can usually measure a quantity with an accuracy greater than 0.005%. We stress the fact that the quality of solution of the exhaustive search - a deterministic method - is better than that of randomized search. In 21 st century computing environment, exhaustive search cannot be left aside as an untouchable and it is not always exponential. We also describe a possible application of these algorithms in improving the efficiency of solar cells - a real hot topic - in the current energy crisis. These algorithms could be excellent tools in the hands of experimentalists and could save not only large amount of time needed for experiments but also could validate the theory against experimental results fast.

Sen, Syamal K.↗

A Decade of X-Vehicles: Lessons Learned

The paper discusses the following: Collect lessons learned from successful and unsuccessful X-vehicle programs conducted by DoD and NASA during the 1990s. Evaluate data to determine broad/cross cutting reasons for success. Propose guidelines that will promote successful future NASA X-vehicle program.

McNeal, Curtis I., Jr.↗

An Embedded Rule-Based Diagnostic Expert System in Ada

Ada is becoming an increasingly popular programming language for large Government-funded software projects. Ada with it portability, transportability, and maintainability lends itself well to today's complex programming environment. In addition, expert systems have also assumed a growing role in providing human-like reasoning capability expertise for computer systems. The integration is discussed of expert system technology with Ada programming language, especially a rule-based expert system using an ART-Ada (Automated Reasoning Tool for Ada) system shell. NASA Lewis was chosen as a beta test site for ART-Ada. The test was conducted by implementing the existing Autonomous Power EXpert System (APEX), a Lisp-based power expert system, in ART-Ada. Three components, the rule-based expert systems, a graphics user interface, and communications software make up SMART-Ada (Systems fault Management with ART-Ada). The rules were written in the ART-Ada development environment and converted to Ada source code. The graphics interface was developed with the Transportable Application Environment (TAE) Plus, which generates Ada source code to control graphics images. SMART-Ada communicates with a remote host to obtain either simulated or real data. The Ada source code generated with ART-Ada, TAE Plus, and communications code was incorporated into an Ada expert system that reads the data from a power distribution test bed, applies the rule to determine a fault, if one exists, and graphically displays it on the screen. The main objective, to conduct a beta test on the ART-Ada rule-based expert system shell, was achieved. The system is operational. New Ada tools will assist in future successful projects. ART-Ada is one such tool and is a viable alternative to the straight Ada code when an application requires a rule-based or knowledge-based approach.

Jones, Robert E.↗

Final Report for the Contractor Readiness Assessment of the Transient Reactor Test Facility Resumption of Transient Testing Activity at the Idaho National Laboratory

The purpose of this review was to verify readiness for the TREAT restart of transient testing activity at the INL and inform the startup authorization authority decision-making for startup authorization by providing a deliberate and managed determination of the state of readiness preparation and determination of whether operations can be performed safely. Verification of readiness included assuring that equipment operability, procedure viability, and personnel knowledge, skills, and performance are adequate for operations. Because the TREAT (including restart of transient testing activity) is a hazard category-2 nuclear facility and because reactor operation and transient testing activities were suspended for programmatic and funding reasons in excess of a year, DOE O 425.1D required that both a contractor and DOE RA be satisfactorily completed prior to startup of the TREAT and restart of transient testing activity. To this end, DOE directed that a CRA and federal RA be conducted. The CRA IP defined the depth of the CRA through the objectives and CRADs, delineated in Appendix A of the IP; established roles and responsibilities for CRA team activities; and established processes, practices, and protocols for preparation, conduct, documentation, and reporting of the CRA. The approaches and methodologies identified in the IP were used to verify that the BEA management team has established SSCs, developed personnel capabilities and competencies, and implemented safety features, programs, and procedures in a manner that provides reasonable assurance for adequate protection of workers, the public, and the environment in preparation for and execution of the TREAT restart of transient testing activity. This CRA was intended to confirm that (1) the facility is in a state of readiness to safely conduct operations in accordance with the safety basis; and (2) the management control programs are in place to ensure safe operations can be sustained. This equated to mature implementation of the integrated safety management (ISM) in conjunction with implementation of the individual facility authorization basis. This CRA was structured to verify the readiness to conduct restart of transient testing activity safely, and that facility programs were in place to support the restart of transient testing activity.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

YF-17/ADEN system study

The YF-17 aircraft was evaluated as a candidate nonaxisymmetric nozzle flight demonstrator. Configuration design modifications, control system design, flight performance assessment, and program plan and cost we are summarized. Two aircraft configurations were studied. The first was modified as required to install only the augmented deflector exhaust nozzle (ADEN). The second one added a canard installation to take advantage of the full (up to 20 deg) nozzle vectoring capability. Results indicate that: (1) the program is feasible and can be accomplished at reasonable cost and low risk; (2) installation of ADEN increases the aircraft weight by 600 kg (1325 lb); (3) the control system can be modified to accomplish direct lift, pointing capability, variable static margin and deceleration modes of operation; (4) unvectored thrust-minus-drag is similar to the baseline YF-17; and (5) vectoring does not improve maneuvering performance. However, some potential benefits in direct lift, aircraft pointing, handling at low dynamic pressure and takeoff/landing ground roll are available. A 27 month program with 12 months of flight test is envisioned, with the cost estimated to be $15.9 million for the canard equipped aircraft and $13.2 million for the version without canard. The feasiblity of adding a thrust reverser to the YF-17/ADEN was investigated.

Gowadia, N. S.↗

Proving Correctness for Pointer Programs in a Verifying Compiler

This research describes a component-based approach to proving the correctness of programs involving pointer behavior. The approach supports modular reasoning and is designed to be used within the larger context of a verifying compiler. The approach consists of two parts. When a system component requires the direct manipulation of pointer operations in its implementation, we implement it using a built-in component specifically designed to capture the functional and performance behavior of pointers. When a system component requires pointer behavior via a linked data structure, we ensure that the complexities of the pointer operations are encapsulated within the data structure and are hidden to the client component. In this way, programs that rely on pointers can be verified modularly, without requiring special rules for pointers. The ultimate objective of a verifying compiler is to prove-with as little human intervention as possible-that proposed program code is correct with respect to a full behavioral specification. Full verification for software is especially important for an agency like NASA that is routinely involved in the development of mission critical systems.

Kulczycki, Gregory↗

Animal Models and Bone Histomorphometry: Translational Research for the Human Research Program

This slide presentation reviews the use of animal models to research and inform bone morphology, in particular relating to human research in bone loss as a result of low gravity environments. Reasons for use of animal models as tools for human research programs include: time-efficient, cost-effective, invasive measures, and predictability as some model are predictive for drug effects.

Sibonga, Jean D.↗

Understanding software faults and their role in software reliability modeling

This study is a direct result of an on-going project to model the reliability of a large real-time control avionics system. In previous modeling efforts with this system, hardware reliability models were applied in modeling the reliability behavior of this system. In an attempt to enhance the performance of the adapted reliability models, certain software attributes were introduced in these models to control for differences between programs and also sequential executions of the same program. As the basic nature of the software attributes that affect software reliability become better understood in the modeling process, this information begins to have important implications on the software development process. A significant problem arises when raw attribute measures are to be used in statistical models as predictors, for example, of measures of software quality. This is because many of the metrics are highly correlated. Consider the two attributes: lines of code, LOC, and number of program statements, Stmts. In this case, it is quite obvious that a program with a high value of LOC probably will also have a relatively high value of Stmts. In the case of low level languages, such as assembly language programs, there might be a one-to-one relationship between the statement count and the lines of code. When there is a complete absence of linear relationship among the metrics, they are said to be orthogonal or uncorrelated. Usually the lack of orthogonality is not serious enough to affect a statistical analysis. However, for the purposes of some statistical analysis such as multiple regression, the software metrics are so strongly interrelated that the regression results may be ambiguous and possibly even misleading. Typically, it is difficult to estimate the unique effects of individual software metrics in the regression equation. The estimated values of the coefficients are very sensitive to slight changes in the data and to the addition or deletion of variables in the regression equation. Since most of the existing metrics have common elements and are linear combinations of these common elements, it seems reasonable to investigate the structure of the underlying common factors or components that make up the raw metrics. The technique we have chosen to use to explore this structure is a procedure called principal components analysis. Principal components analysis is a decomposition technique that may be used to detect and analyze collinearity in software metrics. When confronted with a large number of metrics measuring a single construct, it may be desirable to represent the set by some smaller number of variables that convey all, or most, of the information in the original set. Principal components are linear transformations of a set of random variables that summarize the information contained in the variables. The transformations are chosen so that the first component accounts for the maximal amount of variation of the measures of any possible linear transform; the second component accounts for the maximal amount of residual variation; and so on. The principal components are constructed so that they represent transformed scores on dimensions that are orthogonal. Through the use of principal components analysis, it is possible to have a set of highly related software attributes mapped into a small number of uncorrelated attribute domains. This definitively solves the problem of multi-collinearity in subsequent regression analysis. There are many software metrics in the literature, but principal component analysis reveals that there are few distinct sources of variation, i.e. dimensions, in this set of metrics. It would appear perfectly reasonable to characterize the measurable attributes of a program with a simple function of a small number of orthogonal metrics each of which represents a distinct software attribute domain.

Munson, John C.↗

High-Resolution Hypernuclear Spectroscopy at JLab Hall A. Results and perspectives

Hypernuclear spectroscopy via electromagnetic induced reactions is a valuable and powerful way to study hypernuclei, hadronic systems with non-zero strangeness content, providing an alternative to the hadron induced reactions mainly studied so far. Electron-induced hypernuclear spectroscopy has been studied in Hall A at Je!erson Lab [1] on three nuclei, 12C, 16O, and 9Be with unprecedented resolution and with an improved particle identification system, using a RICH detector, in order to unambiguously identify kaons, thus allowing the measurement of high-quality, almost backgroundfree, hypernuclear spectra. Two superconducting septum magnets were added to the existing apparatus in order to permit particle detection at very forward angle providing a reasonable counting rate. These studies have provided the first quantitative information on core-excited states in hypernuclei. In the case of oxygen, a waterfall target has been employed allowing for the simultaneous measurement of hypernuclear production on oxygen and of elementary kaon-? electro-production on protons: a crucial measurement to disentangle the contribution of the elementary reaction from the measured hypernuclear production cross section, yielding direct access to the nucleus-hypernucleus transition structure. A ? binding energy value for 16 ?N calibrated against the elementary (e, e?K+) reaction on hydrogen, has been obtained. Final results for 12C, 16O, 9Be will be presented [1-3]. Results of Hall C experiments will be presented in another talk in this Conference. Since it is essential for further theoretical study of hypernuclei to collect enough information about L production on nucleons and about excitation spectra of a wide variety of ? hypernuclei, a continuation of the successful hypernuclear program at JLab is very desirable. For these reasons Hall A and Hall C Jefferson Lab hypernuclear collaborations decided to merge and propose a new layout for the 12 GeV Jefferson Lab era that has the advantages of both the experimental setups. In fact the new experimental design not only widens and deepens the physics range but also dramatically improves production yield and efficiency allowing to study both mass spectroscopy on a wide range of nuclei (from few body to 208Pb) and pion decay spectroscopy at the same time [4]. Figs.1, 2 show the results obtained for 12C and 16O. Fig. 3 shows the new layout.

Garibaldi, Franco↗

Re-Defining Photovoltaic Efficiency Through Molecule Scale Control. Final Report

The direct conversion of sunlight into electricity represents one of the most important general means for sustainable energy production. Most modern photovoltaic cells are based on some form of semiconductor material such as silicon that is described by a characteristic energy or ''bandgap''. For solar rays with photon energy lower than the bandgap no absorption occurs and thus no energy is generated. For solar rays with photon energy greater than the bandgap, light may be absorbed to create a pair of electrical charges but only one bandgap of energy is created, leaving any additional energy lost as heat. Thus low bandgap materials can use a great part of the spectrum but can lose much of that energy; high bandgap materials fail to capture much of the spectrum. Thus there is a limit to the efficiency of such a solar cell that turns out to be about 32%. This limit is known as the Shockely-Queisser Limit. The Columbia EFRC program is dedicated to exploration of concepts that in principle can provide for efficiencies beyond this limit. One concept that this EFRC has explored for enhancing the efficiency of solar photovoltaic cells is called “Singlet Fission.” In this concept the absorption of light rays with photon energy at least twice the value of the basic bandgap for the system can produce two pairs of electrical charge carriers. If properly implemented this in principle can significantly reduce the energy lost as heat and give rise to solar cell efficiencies greater than the Shockley-Queisser limit. The problem is that there are virtually no materials that can undergo this process effectively. We have developed new materials that have demonstrated singlet fission efficiencies of almost 100%. We understand how these materials work and we have learned how to design many more systems in the future. So far we have only demonstrated the basic capability for efficient singlet fission. Much more work will be required to design and engineer specific materials that can be used practically in a solar cell system. In addition much work will be required to envision and demonstrate effective device structures that can utilize this concept. However these discoveries do provide the basis for an entirely new set of opportunities for more efficient solar energy generation moving beyond the Shockley-Queisser limit. A second part of the EFRC research program has been to investigate the material and device properties of an entirely new set of materials based on two-dimensional sheets (“ultra-thin”) with thicknesses of only one atom, or a single molecule or just a few atoms. These materials can exhibit conducting, insulating, and semiconducting character and thus they can form the basis for entirely new types of electrical devices. Recent fundamental investigations of these materials, at Columbia and elsewhere, demonstrate clearly that the flow of electrical charges in these systems is fundamentally different from the nature of electrical current flow in conventional materials. This fact presents many possibilities for new photovoltaic device concepts. The EFRC research team has achieved world leadership in the creation and understanding of these materials and in developing the fabrication techniques necessary to create useful devices from them. We have developed the basic fabrication methodology to build structures of these materials into complex device structures, layer by layer. Our EFRC research team has pioneered the synthesis and understanding for graphene, perhaps the simplest of these materials. Graphene can function as a highly transparent conducting material, capable of funneling an electrical charge over reasonable distances without significant energy loss. The EFRC program has also pioneered the development of ultra-thin sheets that function in a way analogous to semiconductor materials as well as sheets that act as electrical insulators. These developments therefore enable the construction of solar cells based on totally different physics from conventional cells. Because the electrons in these ultra-thin sheets interact strongly they will exhibit behaviors quite different from conventional materials with potential to operate at efficiencies beyond the Shockley-Queisser limit. In our EFRC program we have laid out many of the fundamental properties of these materials including the development of unique fabrication techniques. We discovered several new effects that demonstrate strong electron coupling. We have demonstrated the first solar cell that can actually generate electrical power at a high basic efficiency from these fundamentally new materials. There is much more science and technology required before these devices can become practical, but there is also very strong activity worldwide to build electronic devices from these materials, thus providing infrastructure and technical capability to develop these concepts.

14 SOLAR ENERGY↗

STAR (Simple Tool for Automated Reasoning): Tutorial guide and reference manual

STAR is an interactive, interpreted programming language for the development and operation of Artificial Intelligence application systems. The language is intended for use primarily in the development of software application systems which rely on a combination of symbolic processing, central to the vast majority of AI algorithms, with routines and data structures defined in compiled languages such as C, FORTRAN and PASCAL. References to routines and data structures defined in compiled languages are intermixed with symbolic structures in STAR, resulting in a hybrid operating environment in which symbolic and non-symbolic processing and organization of data may interact to a high degree within the execution of particular application systems. The STAR language was developed in the course of a project involving AI techniques in the interpretation of imaging spectrometer data and is derived in part from a previous language called CLIP. The interpreter for STAR is implemented as a program defined in the language C and has been made available for distribution in source code form through NASA's Computer Software Management and Information Center (COSMIC). Contained within this report are the STAR Tutorial Guide, which introduces the language in a step-by-step manner, and the STAR Reference Manual, which provides a detailed summary of the features of STAR.

Borchardt, G. C.↗

Polarized Substructural Session Types

Concurrent processes can be extremely difficult to reason about, both for programmers and formally. One approach to coping with this difficulty is to study new programming languages and type features such as Session Types. Session types take as their conceptual notion of concurrency as a collection of processes linked together via channels and provide type-level coordination between processes using these channels. Logically motivated programming languages exploit the idea that providing a proof of a theorem in a logic is similar to proving that a given term has a particular type in a programming language and vice versa. These connections can be interesting for a few different reasons. First, when language and logic are independently discovered and independently useful, the existence of a connection suggests that both are onto some fundamentally important idea. Additionally, a connection provides a basis both for sanity checking our ideas and also can be fruitful grounds for inspiration by seeing how variants of either the logic or the language are reflected through the connection. This thesis primarily describes an exploration of logically motivated session types, SILL. Polarization, classifying propositions as either positive or negative, provides a natural way to describe a logically based session typing language with asynchronous communication while retaining a semantics that is reasonably implementable. Additionally, polarization gives us a way to smoothly integrate synchronous channels into SILL without needing a semantic extension. When combined with Adjoint Logic, this gives us an ability to incorporate a variety of modalities with relatively little work. From a practical perspective, this gives SILL access to persistent processes and garbage collection. We additionally explore a trio of loosely related extensions to SILL, and their logical connections, inspired by the above results: bundled message passing to reduce the number of communications performed by processes; racy programs, enabled by a select/epoll-like mechanism; and asynchronous receiving, an almost generalization of the basic asynchronous semantics. We have three different implementations of SILL: a simple but relatively full featured interpreter written in OCaml; a fragment of SILL as an embedded domain specific language in Haskell; and a cleaner version of the same in Idris. Lastly, we show that Liquid Types and Session Types are compatible. This gives us one notion of a dependently session typed language.

97 MATHEMATICS AND COMPUTING↗

Energy Savings from Industrial Water Reductions

Although it is widely recognized that reducing freshwater consumption is of critical importance, generating interest in industrial water reduction programs can be hindered for a variety of reasons. These include the low cost of water, greater focus on water use in other sectors such as the agriculture and residential sectors, high levels of unbilled and/or unregulated self-supplied water use in industry, and lack of water metering and tracking capabilities at industrial facilities. However, there are many additional components to the resource savings associated with reducing site water use beyond the water savings alone, such as reductions in energy consumption, greenhouse gas emissions, treatment chemicals, and impact on the local watershed. Understanding and quantifying these additional resource savings can expand the community of businesses, NGOs, government agencies, and researchers with a vested interest in water reduction. This paper will develop a methodology for evaluating the embedded energy consumption associated with water use at an industrial facility. The methodology developed will use available data and references to evaluate the energy consumption associated with water supply and wastewater treatment outside of a facility’s fence line for various water sources. It will also include a framework for evaluating the energy consumption associated with water use within a facility’s fence line. The methodology will develop a more complete picture of the total resource savings associated with water reduction efforts and allow industrial water reduction programs to assess the energy and CO2 savings associated with their efforts.

Rao, Prakash↗

Magnitude error bounds for sampled-data frequency response obtained from the truncation of an infinite series, and compensator improvement program

The frequency response method of analyzing control system performance is discussed, and the difficulty of obtaining the sampled frequency response of the continuous system is considered. An upper bound magnitude error equation is obtained which yields reasonable estimates of the actual error. Finalization of the compensator improvement program is also reported, and the program was used to design compensators for Saturn 5/S1-C dry workshop and Saturn 5/S1-C Skylab.

Mitchell, J. R.↗

Multi-technology building system retrofits for utility incentive programs: Savings, costs and baseline considerations

Utility incentive programs are an important channel to support the deployment of energy efficiency in buildings. To date, these programs have largely been limited to single-component strategies. However, many utilities are now motivated to identify and develop multi-component system retrofits to achieve deeper energy savings, which are essential to achieving broader energy and greenhouse gas reduction goals in the buildings sector. In this paper we present the energy savings, demand reductions, and cost-effectiveness of 16 systems retrofit packages in six utility regions in the United States. These results are being used by these utilities to inform and develop incentive programs for systems retrofits. Our analysis shows that packages with proven lighting and HVAC measures can provide 5–22% whole building annual energy savings, and 13–22% annual energy costs savings, using utility incentive program baselines (code and existing building). The packages are reasonably cost effective for replace-on-burnout but generally not for a retrofit scenario prior to end of equipment life. Demand response can increase both the energy savings and energy cost savings, further improving the cost effectiveness of these packages. We analyzed the impact of using existing building vs. code baselines for calculating savings, showing that the choice of baseline in developing utility incentive programs has a substantial impact on the attributable energy savings to a program, with significant implications for the overall viability of a program (generally savings against existing building condition are higher and improve project and program cost-effectiveness).

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Analysis of US Industrial Assessment Centers (IACs) implementation

Industrial energy assessments are a fundamental action toward developing a decarbonization strategy at any level. They provide an understanding of where energy efficiency opportunities exist and help to make informed business decisions about the costs and benefits of implementing sustainable policies and practices. This paper examines the effectiveness of the Department of Energy's Industrial Assessment Centers Program at providing useful energy-efficiency audits as well as the barriers faced by the program and plans for future growth and improvement. This paper presents an analysis of the program between 1981 and 2022, covering 20,290 industrial assessments and 151,198 recommendations, with $2.6 billion of recommended savings. The analysis includes a breakdown of the IAC recommendations and implemented projects based on both the industrial subsectors according to the Standard Industrial Classification code, energy type, and systems evaluated. The results include a 47 % implementation rate, a gap analysis to understand the missed opportunities, and a discussion about reasons for recommendation rejection. A comparison of the IAC Program with other country-level energy auditing or assessment programs was conducted, and suggestions for improving implementation rates were mentioned.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Color Maintenance of LEDs in Laboratory and Field Applications

Synopsis: To date, consideration for parametric failure of LED products has largely been focused on lumen maintenance. However, color shift is a cause of early failure for some products, and is especially important to consider in certain applications, like museums, where visual appearance is critical. Example data collected by the GATEWAY program for LED lamps installed in museums shows that many have changed color beyond a reasonable tolerance well before their rated lifetime was reached, necessitating replacement. Similar data collected by the CALiPER program between 2008 and 2010 reveals that many early products shifted beyond acceptable tolerances in as little as a few thousand hours. In contrast, data from the L Prize program illustrates that commercially available LED products can have exemplary color stability that is unmatched by traditional light sources. Beyond presenting data from the aforementioned DOE programs, this report discusses the metrics used for communicating color shift—namely MacAdam ellipses and Δu'v'—as well as providing guidance for end users on how to monitor color shift and what to look for in manufacturer warranties. Also included are descriptions of the physical changes that have been documented as leading to color shift in some example types of LED packages. As with complete products, the data presented herein for LED packages shows that a wide variety of products are available; in order for specifiers and consumers to make educated choices, more detailed and standardized information should be made available.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗