Search NASA⌕ Search

SEARCH · Search NASA

Results for “Compiler Optimizations”

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 487 records · Page 27
All sourcesNASA NTRSDOE OSTI
NASA NTRS2020

Characterization of International Space Station Crew Members' Workload Contributing to Fatigue, Sleep Disruption and Circadian De-synchronization

The focus of this paper is to characterize how the International Space Station (ISS) crewmembers’ workload may be contributing to sleep loss, circadian misalignment and fatigue. Both sleep quantity and subjective sleep quality are reduced in ISS crewmembers (Barger, Flynn-Evans, Kubey, Walsh, Ronda, Wang, Wright, & Czeisler, 2014). Evidence indicates that the use of hypnotic drugs does not appear to promote extended sleep duration. Because sleep is often driven by psychosocial as well as somatic attributes, traditional therapies may only partially moderate the problem for some individuals. Accordingly, searching for additional abatement tactics is a sensible plan. Scientific studies have shown that sleep can be disrupted from work-related stressors. On the ISS, to optimize their time, the crewmembers follow prescribed, ambitious and rigorous schedules with shared deadlines. Here it will be argued that these human capital leveraging techniques may be undermining the astronaut’s sleep, which could negatively impact performance. Along with half of the Earth-bound working population (Paoli & Merllié, 2001), ISS crewmembers may not be adequately recovering from their workload. This paper begins with a characterization of the working conditions of ISS crewmembers, describes the development of rigorous schedules and portrays a typical workday. Terrestrially-based research is compiled to describe how full and partial sleep deprivation affect physical and cognitive performance and how ISS work characteristics may disrupt sleep and subsequent performance. The literature points toward potential solutions to astronaut fatigue that is related to their workload. Finally, throughout the text, evidence is provided from semi-structured interviews, biographies and textual databases to support the argument that astronaut workload is contributing to their sleep loss and fatigue and that research, development and mitigation strategies should focus on enhancing the restorative process.

fatigue↗
NASA NTRS2004

The Role of Ontologies in Schema-based Program Synthesis

Program synthesis is the process of automatically deriving executable code from (non-executable) high-level specifications. It is more flexible and powerful than conventional code generation techniques that simply translate algorithmic specifications into lower-level code or only create code skeletons from structural specifications (such as UML class diagrams). Key to building a successful synthesis system is specializing to an appropriate application domain. The AUTOBAYES and AUTOFILTER systems, under development at NASA Ames, operate in the two domains of data analysis and state estimation, respectively. The central concept of both systems is the schema, a representation of reusable computational knowledge. This can take various forms, including high-level algorithm templates, code optimizations, datatype refinements, or architectural information. A schema also contains applicability conditions that are used to determine when it can be applied safely. These conditions can refer to the initial specification, to intermediate results, or to elements of the partially-instantiated code. Schema-based synthesis uses AI technology to recursively apply schemas to gradually refine a specification into executable code. This process proceeds in two main phases. A front-end gradually transforms the problem specification into a program represented in an abstract intermediate code. A backend then compiles this further down into a concrete target programming language of choice. A core engine applies schemas on the initial problem specification, then uses the output of those schemas as the input for other schemas, until the full implementation is generated. Since there might be different schemas that implement different solutions to the same problem this process can generate an entire solution tree. AUTOBAYES and AUTOFILTER have reached the level of maturity where they enable users to solve interesting application problems, e.g., the analysis of Hubble Space Telescope images. They are large (in total around 100kLoC Prolog), knowledge intensive systems that employ complex symbolic reasoning to generate a wide range of non-trivial programs for complex application do- mains. Their schemas can have complex interactions, which make it hard to change them in isolation or even understand what an existing schema actually does. Adding more capabilities by increasing the number of schemas will only worsen this situation, ultimately leading to the entropy death of the synthesis system. The root came of this problem is that the domain knowledge is scattered throughout the entire system and only represented implicitly in the schema implementations. In our current work, we are addressing this problem by making explicit the knowledge from Merent parts of the synthesis system. Here; we discuss how Gruber's definition of an ontology as an explicit specification of a conceptualization matches our efforts in identifying and explicating the domain-specific concepts. We outline the dual role ontologies play in schema-based synthesis and argue that they address different audiences and serve different purposes. Their first role is descriptive: they serve as explicit documentation, and help to understand the internal structure of the system. Their second role is prescriptive: they provide the formal basis against which the other parts of the system (e.g., schemas) can be checked. Their final role is referential: ontologies also provide semantically meaningful "hooks" which allow schemas and tools to access the internal state of the program derivation process (e.g., fragments of the generated code) in domain-specific rather than language-specific terms, and thus to modify it in a controlled fashion. For discussion purposes we use AUTOLINEAR, a small synthesis system we are currently experimenting with, which can generate code for solving a system of linear equations, Az = b.

Bures, Tomas↗
DOE OSTI2023

Numerical Circuit Synthesis and Compilation for Multi-State Preparation

Near-term quantum computers have significant error rates and short coherence times, so compilation of circuits to be as short as possible is essential. Two types of compilation problems are typically considered: circuits to prepare a given state from a fixed input state, called 'state preparation'; and circuits to implement a given unitary operation, for example by 'unitary synthesis'. In this paper we solve a more general problem: the transformation of a set of m states to another set of m states, which we call 'multi-state preparation'. State preparation and unitary synthesis are special cases; for state preparation, m=1, while for unitary synthesis, m is the dimension of the full Hilbert space. We generate and optimize circuits for multi-state preparation numerically. In cases where a top-down approach based on matrix decompositions is also possible, our method finds circuits with substantially (up to 40 %) fewer two-qubit gates. We discuss possible applications, including efficient preparation of macroscopic superposition ('cat') states and synthesis of quantum channels.

Szasz, Aaron↗
DOE OSTI2017

COMPARING CORONAL AND HELIOSPHERIC MAGNETIC FIELDS OVER SEVERAL SOLAR CYCLES

Here we use the PFSS model and photospheric data from Wilcox Solar Observatory, SOHO /MDI, SDO/HMI, and SOLIS to compare the coronal field with heliospheric magnetic field measured at 1 au, compiled in the NASA/NSSDC OMNI 2 data set. We calculate their mutual polarity match and the power of the radial decay, p , of the radial field using different source surface distances and different number of harmonic multipoles. We find the average polarity match of 82% for the declining phase, 78%–79% for maxima, 76%–78% for the ascending phase, and 74%–76% for minima. On an average, the source surface of 3.25 R{sub S} gives the best polarity match. We also find strong evidence for solar cycle variation of the optimal source surface distance, with highest values (3.3 R{sub S}) during solar minima and lowest values (2.6 R{sub S}–2.7 R{sub S}) during the other three solar cycle phases. Raising the number of harmonic terms beyond 2 rarely improves the polarity match, showing that the structure of the HMF at 1 au is most of the time rather simple. All four data sets yield fairly similar polarity matches. Thus, polarity comparison is not affected by photospheric field scaling, unlike comparisons of the field intensity.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS2021

Performance of JAXA’s SGLI standard ocean color products for oceanic to coastal waters: chlorophyll a concentration and light absorption coefficients of colored dissolved organic matter

We present the performance of JAXA’s SGLI standard algorithms for estimating chlorophyll a (chl a) concentration and the light absorption coefcients of colored dissolved organic matter (CDOM) using recently compiled high-quality data obtained from oceanic to coastal waters. Prior to the evaluation of the algorithms, we frst compare two forward models (Gordon et al. in J Geophys Res 93(D9):10909-10924, 1988: G88 and Park and Ruddick in Appl Opt 44(7):1236–1249, 2005: PR05) using a wide range of inherent optical properties (IOPs) to (1) examine if the water refectance is appropriately reproduced and (2) correct measured refectance in terms of its bidirectionality. Based on a good reproducibility of water refectance using the PR05, the optimized IOPs are further used for explaining errors in estimates of chl a concentration and CDOM absorption when using the SGLI, the GSM (Maritorena et al. in Appl Opt 41:2705–2714, 2002), and the QAA (Lee et al. in Appl Opt 41:5755, 2002) inversion algorithms. Results show that the mean error for estimating chl a concentration using the SGLI algorithm is 110% for our dataset. Although this error is lower than that of the GSM and the QAA algorithms, a signifcant underestimate at chl a higher than 2.0 mg m−3 is observed, which is further shown by independent match-up analyses. Another SGLI CDOM product includes the mean error of 50% and shows deviation at high CDOM range (>1.0 per m). A similar trend is observed for the GSM but not for the QAA when a global relationship of CDOM to colored detrital matter is applied. The sources of errors are discussed for potentially improving the retrievals

Second-generation GLobal Imager (SGLI)↗
DOE OSTI2020

Use of the Manuela 3D/Radiation Scanning Tool at Nuclear Facilities - 20437

Licensees, facility operators and decommissioning contractors have a need for comprehensive, accurate and precise radiological and topographical data to plan and execute safe and efficient Decontamination and Decommissioning (D and D) projects. Traditional approaches rely greatly upon labor and administratively intensive data collection methods that require considerable time and effort to glean the relevant data to plan and perform work in a radiological work area. Orano Decommissioning Services has developed and utilized at French nuclear facilities a lightweight portable scanning instrument called MANUELA (Mobile Apparatus for Nuclear Expertise Localization Assistance). Recently Orano conducted demonstrations at two United States nuclear facilities using MANUELA that may prove useful in areas of the fuel cycle including: - ALARA (As Low As Reasonably Achievable) planning during facility operations; - Scoping and site characterization during the D and D planning phase; - Remedial action support during active decommissioning work; - Radiation and modeling planning for plant modifications; - Support Final Status Survey and demonstration of 'end state' compliance for license termination. MANUELA is currently being evaluated for use during decommissioning of nuclear facilities and could aide in demonstrating compliance with end state criteria after decommissioning. Of particular interest are decommissioning projects planned for various sites across the United States. Most of these sites present unique challenges and opportunities to safely and efficiently decommission in a regulatory compliant manner. The two demonstration site's current conditions of relatively low radiation levels inside containment proved to be ideal platforms to deploy the MANUELA instrument for evaluation of the complex geometries typically found in a nuclear facility. The MANUELA instrument was able to precisely identify local hot spots of the reactor system's primary equipment and was able to simultaneously overlay the dose information onto the scanned 3D images. Using data like this, a licensee would be able to make informed technical and personnel decisions on methods to remediate, shield or properly dispose of the radioactive source term. MANUELA can be used throughout the decommissioning process to validate progress and continue to refine the work activities to optimize the efforts of the crew which reduces downtime waiting for survey results, whereas traditional survey methodology relies on a physical survey to be performed and the data transcribed onto survey maps that are only two dimensional. The traditional format tends to be inaccurate and difficult to interpret the precise location(s) of hot spots or generalized dose rates. The resultant scan also allows the user to know the exact extent of the survey versus transposing information onto a map with only a portion of the map area scanned. MANUELA also compiles all of the relevant survey data into a downloadable table format which includes the measurement identification number, time stamp, point space location on the XYZ plane, and the dose rate value. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
NASA NTRS1996

Algorithms for Automatic Alignment of Arrays

Aggregate data objects (such as arrays) are distributed across the processor memories when compiling a data-parallel language for a distributed-memory machine. The mapping determines the amount of communication needed to bring operands of parallel operations into alignment with each other. A common approach is to break the mapping into two stages: an alignment that maps all the objects to an abstract template, followed by a distribution that maps the template to the processors. This paper describes algorithms for solving the various facets of the alignment problem: axis and stride alignment, static and mobile offset alignment, and replication labeling. We show that optimal axis and stride alignment is NP-complete for general program graphs, and give a heuristic method that can explore the space of possible solutions in a number of ways. We show that some of these strategies can give better solutions than a simple greedy approach proposed earlier. We also show how local graph contractions can reduce the size of the problem significantly without changing the best solution. This allows more complex and effective heuristics to be used. We show how to model the static offset alignment problem using linear programming, and we show that loop-dependent mobile offset alignment is sometimes necessary for optimum performance. We describe an algorithm with for determining mobile alignments for objects within do loops. We also identify situations in which replicated alignment is either required by the program itself or can be used to improve performance. We describe an algorithm based on network flow that replicates objects so as to minimize the total amount of broadcast communication in replication.

Chatterjee, Siddhartha↗
NASA NTRS2016

High-Performance Reaction Wheel Optimization for Fine-Pointing Space Platforms: Minimizing Induced Vibration Effects on Jitter Performance plus Lessons Learned from Hubble Space Telescope for Current and Future Spacecraft Applications

The Hubble Space Telescope (HST) applies large-diameter optics (2.5-m primary mirror) for diffraction-limited resolution spanning an extended wavelength range (approx. 100-2500 nm). Its Pointing Control System (PCS) Reaction Wheel Assemblies (RWAs), in the Support Systems Module (SSM), acquired an unprecedented set of high-sensitivity Induced Vibration (IV) data for 5 flight-certified RWAs: dwelling at set rotation rates. Focused on 4 key ratios, force and moment harmonic values (in 3 local principal directions) are extracted in the RWA operating range (0-3000 RPM). The IV test data, obtained under ambient lab conditions, are investigated in detail, evaluated, compiled, and curve-fitted; variational trends, core causes, and unforeseen anomalies are addressed. In aggregate, these values constitute a statistically-valid basis to quantify ground test-to-test variations and facilitate extrapolations to on-orbit conditions. Accumulated knowledge of bearing-rotor vibrational sources, corresponding harmonic contributions, and salient elements of IV key variability factors are discussed. An evolved methodology is presented for absolute assessments and relative comparisons of macro-level IV signal magnitude due to micro-level construction-assembly geometric details/imperfections stemming from both electrical drive and primary bearing design parameters. Based upon studies of same-size/similar-design momentum wheels' IV changes, upper estimates due to transitions from ground tests to orbital conditions are derived. Recommended HST RWA choices are discussed relative to system optimization/tradeoffs of Line-Of-Sight (LOS) vector-pointing focal-plane error driven by higher IV transmissibilities through low-damped structural dynamics that stimulate optical elements. Unique analytical disturbance results for orbital HST accelerations are described applicable to microgravity efforts. Conclusions, lessons learned, historical context/insights, and perspectives on future applications are given; these previously unpublished data and findings represents a valuable resource for fine-pointing spacecraft or space-based platforms using RWAs, Control Moment Gyros (CMGs), Momentum Wheels, or other ball-bearing-based rotational units.

Hasha, Martin D.↗
DOE OSTI2023

Enabling Fortran Standard Parallelism in GAMESS for Accelerated Quantum Chemistry Calculations

The performance of Fortran 2008 DO CONCURRENT (DC) relative to OpenACC and OpenMP target offloading (OTO) with different compilers is studied for the GAMESS quantum chemistry application. Specifically, DC and OTO are used to offload the Fock build, which is a computational bottleneck in most quantum chemistry codes, to GPUs. The DC Fock build performance is studied on NVIDIA A100 and V100 accelerators and compared with the OTO versions compiled by the NVIDIA HPC, IBM XL, and Cray Fortran compilers. The results show that DC can speed up the Fock build by 3.0× compared with that of the OTO model. Finally, with similar offloading efforts, DC is a compelling programming model for offloading Fortran applications to GPUs.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS2025

Code Migration and Optimization for Calculating Atmospheric Attenuation in RF Link Budgets Within Glenn Research Center Communication Analysis Suite

This technical report encompasses development completed on the Glenn Research Center Communication Analysis Suite (GCAS) as it relates to converting code from the original MATLAB® (The MathWorks, Inc.) GCAS code base to C++. It focuses on a majority of the functions, structures, and intermediate code developed for radiofrequency (RF) links calculations. The report serves as a comprehensive record of the current progress and outlines the technical challenges overcome during this research. Throughout this project, numerous functions and structures were migrated end to end, with validation test cases conducted in accordance with NASA’s verification and validation efforts for standard models and simulations. This report also provides high-level documentation of the completed work; detailed low-level documentation has been compiled to provide a line-by-line explanation in alignment with NASA’s goals. This development has largely been focused on atmospheric effects on calculating RF link budgets for both terrestrial and space links. Some developments outside of atmospheric functions are also covered throughout this report; these are largely related to mathematical operations and MATLAB® structure conversions.

Brady M. Phelps↗
DOE OSTI2019

Review of Carbonaceous Annealing Effects on O 2 and CO 2 Coal Reactivity

Coal is, and will remain for the foreseeable future, a critical energy production resource. Advanced models of coal conversion behavior in air and oxy-coal environments enhance the boiler operational efficiency and design optimization. Although coal conversion models have continuously improved over decades of research, not all aspects of coal particle heating and conversion have received equal treatment. Coal particle annealing is one aspect of the coal conversion process that is simultaneously highly sensitive to the conversion environment, exceptionally impactful on coal chemistry, and frequently neglected in coal models. However, the current body of literature has explored numerous aspects of coal annealing and has shed much light on a complex subject. In conclusion, this review fulfills two purposes: (1) to highlight quantitative observations from the literature and (2) to compile and make conveniently available a clean collection of literature data to facilitate future annealing models.

01 COAL, LIGNITE, AND PEAT↗
DOE OSTI2021

Centrality determination with a forward detector in the RHIC Beam Energy Scan

Recently, Chatterjee et al [1] used a hadronic transport model to estimate the resolution with which various experimental quantities select the impact parameter of relativistic heavy ion collisions at collision energies relevant to the Beam Energy Scan (BES) program at the Relativistic Heavy Ion Collider (RHIC). Measures based on particle multiplicity at forward rapidity were found to be significantly worse than those based on midrapidity multiplicity. Using the same model, we show that a slightly more sophisticated measure greatly improves the resolution based on forward rapidity particles; this improvement persists even when the model is filtered through a realistic simulation of a recent upgrade detector to the STAR experiment. Furthermore, these results highlight the importance of optimizing centrality measures based on particles detected at forward rapidity, especially for experimental studies that search for a critical point in the QCD phase diagram. Such measurements usually focus on proton multiplicity fluctuations at midrapidity, hence selecting events based on multiplicity at midrapidity raises the possibility of nontrivial autocorrelations.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2016

Angular Distributions of High-Mass Dilepton Production in Hadron Collisions

The SeaQuest experiment is a fixed-target dimuon experiment currently running at the Fermi National Accelerator Laboratory (FNAL). By utilizing the high-intensity, 120 GeV proton beam delivered by the FNAL Main Injector (MI), SeaQuest is able to measure proton-induced Drell-Yan dimuon production off of various nuclear targets in kinematic regions inaccessible to previous similar experiments. A suitably large fraction of the final dataset has been recorded, reconstructed, and analyzed. Very preliminary results from light-sea flavor asymmetry, nuclear dependence, and partonic energy loss analyses have been presented at numerous international conferences. A novel, FPGA-based trigger system has been designed, implemented, and optimized for the SeaQuest experiment. By implementing the trigger decision logic in FPGA firmware, it is more adaptable to changing experimental conditions. Additionally, the peripheral tasks of timing alignment, “trigger matrix” generation, and firmware uploading have been mostly automated, reducing the likelihood of user error in the maintenance and operation of the trigger system. Significant upgrades to hardware and firmware have greatly improved the performance of the trigger system since the 2012 commissioning run of SeaQuest. Four additional v1495 modules were added to facilitate thorough pulser testing of the firmware designs and in-situ pulser tests of all compiled firmware. These pulser tests proved crucial for diagnosing many errors that may have otherwise gone unnoticed. A significant change to the internal clocking of the trigger system eliminated a subtle source of rate-dependent trigger efficiency. With this upgrade, the trigger finally meets the “dead-time free” design specification. Drell-Yan dimuon data have been collected and analyzed for central θCS , with nearly flat acceptance in φCS , in the mass range 5.0 GeV < Mγ* < 10.0 GeV at forward xF with the SeaQuest spectrometer at FNAL. A very preliminary extraction of λ has been performed, and the remaining difficulties in extracting ν have been evaluated. Although the results are not yet publishable, significant progress has been made in developing this very challenging angular distributions analysis. A simple scheme for correcting for the angular acceptances of the spectrometer, trigger, and reconstruction has been developed and demonstrated. A generally applicable correction for the kinematically-dependent, rate-dependent reconstruction efficiency has been developed and applied to all current analyses on SeaQuest data. This rate-dependence correction was the first major hurdle in the path to publication of many preliminary SeaQuest results. The last remaining major correction for all analyses, but especially important for the angular parameter extraction, is the full characterization, rate-dependence correction, and subtraction of the combinatoric background contribution to the reconstructed dimuon sample. Independently, an intuitive, kinematic derivation of the single-event definitions of the Drell-Yan angular parameters has been developed under the assumption of unpolarized annihilating quarks within unpolarized nuclei. At O(αs), where the quarks remain co-planar with the hadrons in the photon rest frame, this kinematic method reproduces the Lam-Tung relation and derives an additional equality for µ2, which is only interpretable for single-event parameters. This method has been extended to the case of quark non- coplanarity, and the coplanar equalities become inequalities. A new equality was discovered, which should be obeyed by single-event parameters even in the case of a non-coplanar quark axis. The non-coplanar parameter relations have been used to derive constraints on the experimentally accessible values of λ and ν. These constraints are compared with existing data and have been found consistent, except in the cases where significant contributions from non-zero Boer-Mulders functions are expected. Finally, the kinematically- derived parameter definitions have been applied to high-precision CMS data. The relative contributions of the qq¯ and qg processes to the Z-boson “Drell-Yan” cross-section have been extracted. Further, an average measure of non-coplanarity, likely caused by O(α2) and higher processes, has been extracted.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2016

Sci-Fri AM: MRI and Diagnostic Imaging - 02: Quality Improvement: Diagnostic Reference Levels for Interior Health CT exams – L-Spine, Chest/Abdomen/pelvis, Abdomen/Pelvis, Head

Diagnostic Reference Levels are used to optimize patient dose and image quality in the clinical setting. It is assumed that the majority of exams are of diagnostic quality, or the radiologists would request protocol adjustments. By investigating the dose indicator distributions from all scanners, the upper DRL can be set to the 75th percentile of the distribution and a lower DRL can be set to the 10th percentile. Scanners using doses consistently outside the upper/lower DRL range can be adjusted accordingly. 11 CT scanners, all contributing to the American College of Radiology Dose Index Registry (ACR DIR) were used in this study. Dose indicator data were compiled from the ACR DIR data and local DRLs established. Scanners with median doses outside the upper/lower DRL were followed-up with. Using effective dose and exam volumes, collective dose was determined before and after protocol adjustments to evaluate the effect of this quality improvement effort. The quality initiative is complete for L-spine and Chest/Abdomen/Pelvis exams and only initial surveys were completed for Head and Abdomen/Pelvis examsg. Median Scanner Dose reductions were 8.8 and 4.9 % for L-spine and Chest/Abdomen/Pelvis exams, respectively, resulting with collective dose reductions of 0.7 and 3.2 person•Sv/yr. Follow-up is ongoing for Abdomen/Pelvis and Head exams.

60 APPLIED LIFE SCIENCES↗
NASA NTRS1995

Formal methods in the design of Ada 1995

Formal, mathematical methods are most useful when applied early in the design and implementation of a software system--that, at least, is the familiar refrain. I will report on a modest effort to apply formal methods at the earliest possible stage, namely, in the design of the Ada 95 programming language itself. This talk is an 'experience report' that provides brief case studies illustrating the kinds of problems we worked on, how we approached them, and the extent (if any) to which the results proved useful. It also derives some lessons and suggestions for those undertaking future projects of this kind. Ada 95 is the first revision of the standard for the Ada programming language. The revision began in 1988, when the Ada Joint Programming Office first asked the Ada Board to recommend a plan for revising the Ada standard. The first step in the revision was to solicit criticisms of Ada 83. A set of requirements for the new language standard, based on those criticisms, was published in 1990. A small design team, the Mapping Revision Team (MRT), became exclusively responsible for revising the language standard to satisfy those requirements. The MRT, from Intermetrics, is led by S. Tucker Taft. The work of the MRT was regularly subject to independent review and criticism by a committee of distinguished Reviewers and by several advisory teams--for example, the two User/Implementor teams, each consisting of an industrial user (attempting to make significant use of the new language on a realistic application) and a compiler vendor (undertaking, experimentally, to modify its current implementation in order to provide the necessary new features). One novel decision established the Language Precision Team (LPT), which investigated language proposals from a mathematical point of view. The LPT applied formal mathematical analysis to help improve the design of Ada 95 (e.g., by clarifying the language proposals) and to help promote its acceptance (e.g., by identifying a verifiable subset that would meet the needs of safety-critical applications). The first LPT project, which ran from the fall of 1990 unti the end of 1992, produced studies of several language issues: optimization, sharing and storage, tasking and protected records, overload resolution, the floating point model, distribution, program erros, and object-oriented programming. The second LPT project, in 1994, formally modeled the dynamic semantics of a large part of the (almost) final language definition, looking especially for interactions between language features.

Guaspari, David↗
NASA NTRS1993

Applications of artificial intelligence 1993: Knowledge-based systems in aerospace and industry; Proceedings of the Meeting, Orlando, FL, Apr. 13-15, 1993

The present volume on applications of artificial intelligence with regard to knowledge-based systems in aerospace and industry discusses machine learning and clustering, expert systems and optimization techniques, monitoring and diagnosis, and automated design and expert systems. Attention is given to the integration of AI reasoning systems and hardware description languages, care-based reasoning, knowledge, retrieval, and training systems, and scheduling and planning. Topics addressed include the preprocessing of remotely sensed data for efficient analysis and classification, autonomous agents as air combat simulation adversaries, intelligent data presentation for real-time spacecraft monitoring, and an integrated reasoner for diagnosis in satellite control. Also discussed are a knowledge-based system for the design of heat exchangers, reuse of design information for model-based diagnosis, automatic compilation of expert systems, and a case-based approach to handling aircraft malfunctions.

Fayyad, Usama M.↗
DOE OSTI2013

Greenhouse Gas Mitigation Options in ISEEM Global Energy Model: 2010-2050 Scenario Analysis for Least-Cost Carbon Reduction in Iron and Steel Sector

The goal of the modeling work carried out in this project was to quantify long-term scenarios for the future emission reduction potentials in the iron and steel sector. The main focus of the project is to examine the impacts of carbon reduction options in the U.S. iron and steel sector under a set of selected scenarios. In order to advance the understanding of carbon emission reduction potential on the national and global scales, and to evaluate the regional impacts of potential U.S. mitigation strategies (e.g., commodity and carbon trading), we also included and examined the carbon reduction scenarios in China’s and India’s iron and steel sectors in this project. For this purpose, a new bottom-up energy modeling framework, the Industrial Sector Energy Efficiency Modeling (ISEEM), (Karali et al. 2012) was used to provide detailed annual projections starting from 2010 through 2050. We used the ISEEM modeling framework to carry out detailed analysis, on a country-by-country basis, for the U.S., China’s, and India’s iron and steel sectors. The ISEEM model applicable to iron and steel section, called ISEEM-IS, is developed to estimate and evaluate carbon emissions scenarios under several alternative mitigation options - including policies (e.g., carbon caps), commodity trading, and carbon trading. The projections will help us to better understand emission reduction potentials with technological and economic implications. The database for input of ISEEM-IS model consists of data and information compiled from various resources such as World Steel Association (WSA), the U.S. Geological Survey (USGS), China Steel Year Books, India Bureau of Mines (IBM), Energy Information Administration (EIA), and recent LBNL studies on bottom-up techno-economic analysis of energy efficiency measures in the iron and steel sector of the U.S., China, and India, including long-term steel production in China. In the ISEEM-IS model, production technology and manufacturing details are represented, in addition to the extensive data compiled from recent studies on bottom-up representation of efficiency measures for the sector. We also defined various mitigation scenarios including long-term production trends to project country-specific production, energy use, trading, carbon emissions, and costs of mitigation. Such analyses can provide useful information to assist policy-makers when considering and shaping future emissions mitigation strategies and policies. The technical objective is to analyze the costs of production and CO 2 emission reduction in the U.S, China, and India’s iron and steel sectors under different emission reduction scenarios, using the ISEEM-IS as a cost optimization model. The scenarios included in this project correspond to various CO 2 emission reduction targets for the iron and steel sector under different strategies such as simple CO 2 emission caps (e.g., specific reduction goals), emission reduction via commodity trading, and emission reduction via carbon trading.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2024

Cross sections for the formation of Rb84m,g, Rb83, and Rb82m in Sr86(d,x) reactions up to deuteron energies of 49 MeV: Competition between α-particle and multinucleon emission processes

Cross sections of Sr86(d,x) reactions leading to the products Rb84m,g, Rb83, and Rb82m were measured by the stacked-sample activation technique up to deuteron energies of 49 MeV. Nuclear model calculations were performed using the codes talys and empire, which combine the statistical, precompound, and direct interaction components. In all cases, the empire results were much higher than the talys calculation. Fairly good agreement was obtained between measured data and the talys calculation after some optimization of the input model parameters. Insight into competition between α-particle and multinucleon emission in the Y88 compound-nucleus system was also gained.

59 ≤ A ≤ 89↗