Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “SPECIFICATIONS”

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 127 records · Page 7

Quantile-specific heritability of plasma fibrinogen concentrations

Fibrinogen is a moderately heritable blood protein showing different genetic effects by sex, race, smoking status, pollution exposure, and disease status. These interactions may be explained in part by “quantile-dependent expressivity”, where the effect size of a genetic variant depends upon whether the phenotype (e.g. plasma fibrinogen concentration) is high or low relative to its distribution. Determine whether fibrinogen heritability (h 2 ) is quantile-specific, and whether quantile-specific h 2 could account for fibrinogen gene-environment interactions. Plasma fibrinogen concentrations from 5689 offspring-parent pairs and 1932 sibships from the Framingham Heart Study were analyzed. Quantile-specific heritability from offspring-parent (β OP , h 2 = 2β OP /(1+r spouse )) and full-sib regression slopes (β FS , h 2 = {(1+8r spouse β FS ) 0.05 –1}/(2r spouse )) were robustly estimated by quantile regression with nonparametric significance assigned from 1000 bootstrap samples. Quantile-specific h 2 (±SE) increased with increasing percentiles of the offspring’s age- and sex-adjusted fibrinogen distribution when estimated from β OP (P trend = 5.5x10 -6 ): 0.30±0.05 at the 10 th , 0.37±0.04 at the 25 th , 0.48±0.05 at the 50 th , 0.61±0.06 at the 75 th , and 0.65±0.08 at the 90 th percentile, and when estimated from β FS (P trend = 0.008): 0.28±0.04 at the 10 th , 0.31±0.04 at the 25 th , 0.36±0.03 at the 50 th , 0.41±0.05 at the 75 th , and 0.50±0.06 at the 90 th percentile. The larger genetic effect at higher average fibrinogen concentrations may contribute to fibrinogen’s greater heritability in women than men and in Blacks than Whites, and greater increase from smoking and air pollution for the FGB -455G>A A-allele. It may also explain greater fibrinogen differences between: 1) FGB -455G>A genotypes during acute phase reactions than usual conditions, 2) GTSM1 and IL-6 -572C>G genotypes in smokers than nonsmokers, 3) FGB -148C>T genotypes in untreated than treated diabetics, and LPL PvuII genotypes in macroalbuminuric than normoalbuminuric patients. Fibrinogen heritability is quantile specific, which may explain or contribute to its gene-environment interactions. The analyses do not disprove the traditional gene-environment interpretations of these examples, rather quantile-dependent expressivity provides an alternative explanation that warrants consideration.

59 BASIC BIOLOGICAL SCIENCES↗

INTERSECT Architecture Specification: Microservice Architecture (V.0.5)

Oak Ridge National Laboratory (ORNL)’s Self-driven Experiments for Science / Interconnected Science Ecosystem (INTERSECT) architecture project, titled “An Open Federated Architecture for the Laboratory of the Future”, creates an open federated hardware/software architecture for the laboratory of the future using a novel system of systems (SoS) and microservice architecture approach, connecting scientific instruments, robot-controlled laboratories and edge/center computing/data resources to enable autonomous experiments, “self-driving” laboratories, smart manufacturing, and artificial intelligence (AI)-driven design, discovery and evaluation. The project describes science use cases as design patterns that identify and abstract the involved hardware/software components and their interactions in terms of control, work and data flow. It creates a SoS architecture of the federated hardware/software ecosystem that clarifies terms, architectural elements, the interactions between them and compliance. It further designs a federated microservice architecture, mapping science use case design patterns to the SoS architecture with loosely coupled microservices, standardized interfaces and multi programming language support. The primary deliverable of this project is an INTERSECT Open Architecture Specification, containing the science use case design pattern catalog, the federated SoS architecture specification and the microservice architecture specification. This document represents the microservice architecture specification of the INTERSECT Open Architecture Specification.

97 MATHEMATICS AND COMPUTING↗

Renewable Energy and Efficiency Technologies in Scenarios of U.S. Decarbonization in Two Types of Models: Comparison of GCAM Modeling and Sector-Specific Modeling

Energy system projections from quantitative models inform actions ranging from short-term and local decisions, such as those about technology and infrastructure deployment, and global and long-term negotiations and targets. Computational limits require model designers to balance coverage and resolution (i.e., breadth versus depth). Some models, such as the Global Change Analysis Model (GCAM), represent all energy sources and uses with less resolution than models that focus on a single sector's energy use. GCAM balances global supply and demand of all energy carriers projecting prices using internal calculations for energy sources and costs of greenhouse gas mitigation while capturing interlinkages between the energy system, water, agriculture and land use, the economy, and the climate. This globally comprehensive model was used to frame the Long-Term Strategy of the United States: Pathways to Net-Zero Greenhouse Gas Emissions by 2050, which the White House released in 2021 and has been used to inform national and global economy-wide climate change mitigation discussions and strategy development for decades. Unlike GCAM, sectoral models focus on a portion of the energy sector and with greater detail and resolution. The Regional Energy Deployment System (ReEDS) electricity-sector model, for example, projects electricity system capacity expansion and operation with high-fidelity representation of emerging technologies for deep decarbonization, such as variable renewable energy and energy storage, and integration of these technologies into the electric grid. The Transportation Energy and Mobility Pathway Options (TEMPO) transportation-sector model enables analysis of household choices, with a focus on adoption, charging, and use of electric vehicles. The Scout buildings-sector model supports detailed consideration of the policies and markets that can accelerate the adoption of electrification and energy conservation measures in buildings. Such sector-specific models are instrumental in informing technology research, sectoral planning strategies, and sector-specific aspects of greenhouse gas mitigation strategies in the United States. The integrated multisector and sector-specific modeling approaches represented by GCAM and these sectoral models are complementary. The integrated multisector approach calculates energy pricing and resource allocation within the model, which is important for consistency when future conditions substantially diverge from current conditions in transformative scenarios. The sector-specific approach facilitates representation of granular details across spatial, temporal, technological, and market dimensions that enable exploration of particular interactions and trade-offs. This report presents the results of recent work to explore the differences and trade-offs between these approaches by comparing GCAM with the sector-specific ReEDS, TEMPO, and Scout models. The report compares both model structures and results, and it addresses their potential relevance and applications.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

A Snapshot of EV-Specific Rate Designs Among U.S. Investor-Owned Electric Utilities

EV-specific electric utility rates have a profound effect on the underlying economics motivating EV adoption. State utility regulators and electric utilities play a critical role in approving and designing rates, respectively. However, the nascence of the EV industry has resulted in regulators’ and utilities’ having very limited experience with EV-specific rate designs. This suggests there could be substantial benefit from efforts intended to provide a better understanding of how EV-specific rates are designed presently in the United States. To meet that need, Berkeley Lab researchers, with support from E9 Insight, developed a database of piloted, proposed, and offered rates among U.S. investor-owned utilities (IOUs) between 2012 and 2022. The database is comprised of 217 electric utility retail rates from IOUs in 38 states and the District of Columbia that either required proof of EV ownership or were otherwise designed for the purposes of reselling energy for use in EV charging (i.e., EV-specific rates). The analysis of the database identifies the EV-specific rate designs currently observed, infers a number of policy-driven objectives, and suggests a number of next steps for future research.

33 ADVANCED PROPULSION SYSTEMS↗

INTERSECT Architecture Specification: Microservice Architecture (V.0.9)

Oak Ridge National Laboratory (ORNL)’s Self-driven Experiments for Science / Interconnected Science Ecosystem (INTERSECT) architecture project, titled “An Open Federated Architecture for the Laboratory of the Future”, creates an open federated hardware/software architecture for the laboratory of the future using a novel system of systems (SoS) and microservice architecture approach, connecting scientific instruments, robot-controlled laboratories and edge/center computing/data resources to enable autonomous experiments, “self-driving” laboratories, smart manufacturing, and artificial intelligence (AI)-driven design, discovery and evaluation. The project describes science use cases as design patterns that identify and abstract the involved hardware/software components and their interactions in terms of control, work and data flow. It creates a SoS architecture of the federated hardware/software ecosystem that clarifies terms, architectural elements, the interactions between them and compliance. It further designs a federated microservice architecture, mapping science use case design patterns to the SoS architecture with loosely coupled microservices, standardized interfaces and multi programming language support. The primary deliverable of this project is an INTERSECT Open Architecture Specification, containing the science use case design pattern catalog, the federated SoS architecture specification and the microservice architecture specification. This document represents the microservice architecture specification of the INTERSECT Open Architecture Specification.

97 MATHEMATICS AND COMPUTING↗

Enabling groundbreaking experiments that advance our understanding of the universe through accurate target specifications

The Target Fabrication (TFAB) team at the National Ignition Facility (NIF) is tasked with assembling and qualifying targets for physics experiments. These targets are critical components used in experiments that advance research in areas such as fusion energy, high-energy-density physics, and astrophysics. Target Fabrication Engineers (TFEs) are responsible for producing and validating target specifications, which are compiled into detailed specification packages. TFAB produces hundreds of targets annually, with each target requiring several specification datasheets that culminate in a comprehensive specification package. TFAB needs an efficient and accurate means to generate these specification datasheets to maintain the rigorous NIF shot schedule.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

On Transforming the Specific Force Vector for an ECEF Inertial Navigation System

An inertial measurement unit accumulates the instantaneous specific force applied to the sensor over a small window of time. Importantly, this accumulation occurs in the sensor’s frame, yet the specific force must be mathematically integrated in a different navigation frame, and these two frames may be rotating with respect to each other. Consequently, a correction is needed to not only account for the frame difference but also for the time variation in the frame difference. Many references provide derivations of this correction [1], but the derivation is often abbreviated, and important assumptions are sometimes left unstated. This memo addresses this gap and provides a clear derivation of the specific force transform with all assumptions specifically stated. This derivation is specific to the Earth-centered, Earth-fixed navigation frame, but, hopefully, the derivation is sufficiently clear that readers can apply it to other navigation frames. Generally, notation follows the same format as described in both [1, 2].

47 OTHER INSTRUMENTATION↗

Renewable Energy and Efficiency Technologies in Scenarios of U.S. Decarbonization in Two Types of Models: Comparison of GCAM Modeling and Sector-Specific Modeling

Energy system projections from analytic models inform actions ranging from short-term and local decisions, such as technology and infrastructure deployment, to global and long-term negotiations and targets. Computational limits require the designers of these models to trade off between coverage and resolution. Some models, such as the Global Change Analysis Model (GCAM), represent all energy sources and uses but at a relatively coarse level of resolution. GCAM balances global supply and demand of all energy carriers by endogenously projecting prices for energy sources and costs of greenhouse gas mitigation while capturing interlinkages between the energy system, water, agriculture and land use, the economy, and the climate. This global model was used to frame the Long-Term Strategy released by the White House in 2021 and has been used to inform national and global economy-wide decarbonization discussions and strategy development for decades. Other models instead focus on a portion of the energy sector with greater detail and resolution. The Regional Energy Deployment System (ReEDS) electricity-sector model, for example, projects capacity expansion with an emphasis on integration of variable renewable energy into the grid of the future. The Transportation Energy and Mobility Pathway Options (TEMPO) transportation-sector model enables analysis of household choices in adoption, charging, and use of electric vehicles. The Scout buildings-sector model supports detailed consideration of the policies and markets that can accelerate the adoption of energy conservation measures in buildings. Such sector-specific models are instrumental in informing technology research, sectoral planning strategies, and sector-specific aspects of greenhouse gas (GHG) mitigation strategies in the United States. These global and sector-specific modeling approaches can complement each other. The global approach ensures consistent, endogenous energy pricing and resource allocation, which can substantially diverge from current conditions in transformative scenarios, while the sector-specific approach facilitates representation of granular details across spatial, temporal, technological, and market dimensions that enable exploration of particular interactions and trade-offs. This report presents the results of recent work to explore the differences and tradeoffs between these approaches by comparing GCAM with the sector-specific ReEDS, TEMPO, and Scout models. The report compares both model structures and results, and discusses their potential relevance and applications.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

NASIS data base management system: IBM 360 TSS implementation. Volume 4: Program design specifications

The design specifications for the programs and modules within the NASA Aerospace Safety Information System (NASIS) are presented. The purpose of the design specifications is to standardize the preparation of the specifications and to guide the program design. Each major functional module within the system is a separate entity for documentation purposes. The design specifications contain a description of, and specifications for, all detail processing which occurs in the module. Sub-models, reference tables, and data sets which are common to several modules are documented separately.

Source record↗

NASIS data base management system - IBM 360/370 OS MVT implementation. 4: Program design specifications

The design specifications for the programs and modules within the NASA Aerospace Safety Information System (NASIS) are presented. The purpose of the design specifications is to standardize the preparation of the specifications and to guide the program design. Each major functional module within the system is a separate entity for documentation purposes. The design specifications contain a description of, and specifications for, all detail processing which occurs in the module. Sub-modules, reference tables, and data sets which are common to several modules are documented separately.

Source record↗

NASA Broad-Specification Fuels Combustion Technology Program - Status and description

The use of 'broad-specification' fuels in aircraft gas turbine engines can be a significant factor in offsetting anticipated shortages of current-specification jet fuel in the latter part of the century. The changes in fuel properties accompanying the use of broad-specification fuels will tend to cause numerous emissions, performance, and durability problems in currently-designed combustion systems. The NASA Broad-Specification Fuels Combustion Technology Program is a contracted effort to evolve and demonstrate the technology required to utilize broad-specification fuels in current and next generation commercial Conventional Takeoff and Landing (CTOL) aircraft engines, and to verify this technology in full-scale engine tests in 1983. The program consists of three phases: Combustor Concept Screening, Combustor Optimization Testing, and Engine Verification Testing.

Fear, J. S.↗

Hierarchical specification of the SIFT fault tolerant flight control system

The specification and mechanical verification of the Software Implemented Fault Tolerance (SIFT) flight control system is described. The methodology employed in the verification effort is discussed, and a description of the hierarchical models of the SIFT system is given. To meet the objective of NASA for the reliability of safety critical flight control systems, the SIFT computer must achieve a reliability well beyond the levels at which reliability can be actually measured. The methodology employed to demonstrate rigorously that the SIFT computer meets as reliability requirements is described. The hierarchy of design specifications from very abstract descriptions of system function down to the actual implementation is explained. The most abstract design specifications can be used to verify that the system functions correctly and with the desired reliability since almost all details of the realization were abstracted out. A succession of lower level models refine these specifications to the level of the actual implementation, and can be used to demonstrate that the implementation has the properties claimed of the abstract design specifications.

Melliar-Smith, P. M.↗

An error-specific approach to testing

The main objective of software testing in the software development life cycle is to verify conformance of the implemented software with its intended requirements. Such requirements include system requirements, and programming requirements. Non-conformance with such requirements causes what are known as software errors. Specifying an appropriate testing strategy to expose software errors is still an art. Traditional approaches do succeed in revealing many errrors but none is powerful enough to expose all errors. The best that is hoped for is to use a specific test strategy to expose a specific error type in specific program locations. This limitation is exploited to develop a new approach to software testing which is called an error-specific testing (EST) strategy. Error specific testing is in fact a dual to the traditional testing approaches.

Valdes, P. M.↗

Military specifications

The current situation relative to the military specification is that there is not one specific model of turbulence which people are using. Particular disagreement exists on how turbulence levels will vary with qualitative analysis. It does not tie one down to specifics. When it comes to flying quality specifications, many feel that one should stay with the definitions of the Cooper-Harper rating scale but allow the levels to shift depending on the level of turbulence. There is a ride quality specification in the MIL-SPEC having to do with flight control systems design that is related to a turbulence model. This spec (MIL-F8785C) and others are discussed.

Reynolds, Philip↗

Structured representation for requirements and specifications

This document was generated in support of NASA contract NAS1-18586, Design and Validation of Digital Flight Control Systems suitable for Fly-By-Wire Applications, Task Assignment 2. Task 2 is associated with a formal representation of requirements and specifications. In particular, this document contains results associated with the development of a Wide-Spectrum Requirements Specification Language (WSRSL) that can be used to express system requirements and specifications in both stylized and formal forms. Included with this development are prototype tools to support the specification language. In addition a preliminary requirements specification methodology based on the WSRSL has been developed. Lastly, the methodology has been applied to an Advanced Subsonic Civil Transport Flight Control System.

Cohen, Gerald C.↗

Effect of formal specifications on program complexity and reliability: An experimental study

The results are presented of an experimental study undertaken to assess the improvement in program quality by using formal specifications. Specifications in the Z notation were developed for a simple but realistic antimissile system. These specifications were then used to develop 2 versions in C by 2 programmers. Another set of 3 versions in Ada were independently developed from informal specifications in English. A comparison of the reliability and complexity of the resulting programs suggests the advantages of using formal specifications in terms of number of errors detected and fault avoidance.

Goel, Amrit L.↗

Requirements Specification Language (RSL) and supporting tools

This document describes a general purpose Requirement Specification Language (RSL). RSL is a hybrid of features found in several popular requirement specification languages. The purpose of RSL is to describe precisely the external structure of a system comprised of hardware, software, and human processing elements. To overcome the deficiencies of informal specification languages, RSL includes facilities for mathematical specification. Two RSL interface tools are described. The Browser view contains a complete document with all details of the objects and operations. The Dataflow view is a specialized, operation-centered depiction of a specification that shows how specified operations relate in terms of inputs and outputs.

Frincke, Deborah↗

Tools reference manual for a Requirements Specification Language (RSL), version 2.0

This report describes a general-purpose Requirements Specification Language, RSL. The purpose of RSL is to specify precisely the external structure of a mechanized system and to define requirements that the system must meet. A system can be comprised of a mixture of hardware, software, and human processing elements. RSL is a hybrid of features found in several popular requirements specification languages, such as SADT (Structured Analysis and Design Technique), PSL (Problem Statement Language), and RMF (Requirements Modeling Framework). While languages such as these have useful features for structuring a specification, they generally lack formality. To overcome the deficiencies of informal requirements languages, RSL has constructs for formal mathematical specification. These constructs are similar to those found in formal specification languages such as EHDM (Enhanced Hierarchical Development Methodology), Larch, and OBJ3.

Fisher, Gene L.↗