Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Requirements”

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 325 records · Page 18

Design and Development Requirements for Mechanisms

This NASA Technical Standard is published by the National Aeronautics and Space Administration (NASA) to provide uniform engineering and technical requirements for processes, procedures, practices, and methods endorsed as standard for NASA programs and projects, including requirements for selection, application, and design criteria of an item. This Standard is approved for use by NASA Headquarters and NASA Centers, including Component Facilities and Technical and Service Support Centers; applicable technical requirements may be cited in contract, program, and other Agency documents. This language applies to the Jet Propulsion Laboratory (a Federally Funded Research and Development Center), other contractors, recipients of grants, cooperative agreements, or other agreements only to the extent specified or referenced in the applicable contracts, grants, or agreements. This Standard establishes uniform design, development, and verification requirements for mechanisms and mechanism components whose correct operation is required for safety or mission success.

Mechanism↗

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif

PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.

FRET↗

Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements

PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.

formal methods↗

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif

PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.

FRET↗

Estimating the required logistical resources to support the development of a sustainable corn stover bioeconomy in the USA

In this paper, the logistical resources required to develop a bioeconomy based on corn stover in the USA are quantified, including field equipment, storage sites, transportation and handling equipment, workforce, corn growers, and corn lands. These resources are essential to mobilize large quantities of corn stover from corn fields to biorefineries. The logistical resources are estimated over the lifetime of the biorefineries. Seventeen corn-growing states are considered for the logistical resource assessment. Over 6.8 billion gallons of cellulosic ethanol can be produced annually from 108 million dry tons of corn stover in these states. The maximum number of required field equipment (i.e., choppers, balers, collectors, loaders, and tractors) is estimated to be 194 110 units with a total economic value of about 26 billion dollars. In addition, 40 780 trucks and flatbed trailers would be required to transport bales from corn fields and storage sites to biorefineries with a total economic value of 4.0 billion dollars. About 88 899 corn growers need to be contracted with an annual net income of over 2.1 billion dollars. About 1903 storage sites would be required to hold 53.1 million dry tons of inventory after the harvest season. These storage sites would take up about 35 320.2 acres and 4077 loaders with an economic value of 0.4 billion dollars would handle this inventory. The total required workforce to run the logistics operations is estimated to be 50 567. Furthermore, the magnitude of the estimated logistical resources demonstrates the economic and social significance of the corn stover bioeconomy in rural areas in the USA.

09 BIOMASS FUELS↗

Phenomena identification and categorization by the required level of multiphysics coupling in FHR modeling and simulation

Here, this study identifies the phenomena that impact the accuracy of the multiphysics analysis of fluoride salt-cooled high temperature reactors (FHR) and categorizes the level of coupling needed to model these phenomena with sufficient accuracy in the context of three scenarios, namely, normal operation, station blackout, and simultaneous withdrawal of all control rods. Such a study is a necessary step prior to developing or extending existing multiphysics modeling and simulation tools. The identified multiphysics phenomena are categorized into the groups requiring ‘‘tight” and ‘‘loose” coupling. ‘‘Tight” coupling refers to phenomena that require iterative feedback between multiple physics modules/methods whereas ‘‘loose” coupling refers to phenomena that require only data from other physics that can be pre-calculated and shared in tabular or functional form. For the station blackout scenario, it was determined that no identified phenomena required tight coupling. For the rod withdrawal and normal operation scenarios, it is found that there is a large number of phenomena that require tight coupling between neutronics and thermal hydraulics.

42 ENGINEERING↗

Rheological requirements for printable concretes

We study in this paper the rheological requirements for printable concrete in terms of yield stress, viscosity, elastic modulus, critical strain, and structuration rate. We first discuss the extrusion/deposition process at the level of the nozzle from a material perspective. We then focus on the rheological requirements needed to prevent the flow of one layer or the strength-based failure of the rising printed element. We moreover discuss the rheological requirements needed to control the final geometrical dimensions of one layer and of the entire object, including buckling stability and surface cracking. We finally describe the requirement for a proper intermixing of the layers interface and also note that drying of the upper surface of the layer at rest could also play a major role on the interlayer bond. Finally, we evaluate the effect of the use of printing supports (i.e. non-direct printing) on the above rheological requirements.

36 MATERIALS SCIENCE↗

Differential active site requirements for NDM-1 β-lactamase hydrolysis of carbapenem versus penicillin and cephalosporin antibiotics

New Delhi metallo-β-lactamase-1 exhibits a broad substrate profile for hydrolysis of the penicillin, cephalosporin and 'last resort' carbapenems, and thus confers bacterial resistance to nearly all β-lactam antibiotics. Here we address whether the high catalytic efficiency for hydrolysis of these diverse substrates is reflected by similar sequence and structural requirements for catalysis, i.e., whether the same catalytic machinery is used to achieve hydrolysis of each class. Deep sequencing of randomized single codon mutation libraries that were selected for resistance to representative antibiotics reveal stringent sequence requirements for carbapenem versus penicillin or cephalosporin hydrolysis. Further, the residue positions required for hydrolysis of penicillins and cephalosporins are a subset of those required for carbapenem hydrolysis. Thus, while a common core of residues is used for catalysis of all substrates, carbapenem hydrolysis requires an additional set of residues to achieve catalytic efficiency comparable to that for penicillins and cephalosporins.

59 BASIC BIOLOGICAL SCIENCES↗

SU-E-T-619: Planning 131I Thyroid Treatments for Patients Requiring Hemodialysis

Purpose: Treatment of 131I thyroid cancer patients who also require regular hemodialysis (HD) treatments requires consideration of the administered activity and the HD schedule. In this work the red bone marrow is considered the dose limiting organ and the treatment plan optimized the HD schedule with the amount of radioactivity administered. Methods: The ‘Safe’ dose was considered to be 2 Gy (200 rad) to the red bone marrow.1 131Iodine doses of 50 mCi to 100 mCi were modeled and found to require a range of HD schedules. In order to achieve the safe dose to the red marrow, more aggressive HD schedules are required. 100 mCi required an aggressive HD treatment of every 24 hours for at least one week to achieve the ‘safe’ dose and an exposure appropriate for release from the hospital. A more normal schedule of HD beginning at 18 hours then every 48 hours allowed for up to 60 mCi administered dose allowed for a safe dose and expected release after less than one week.2In addition room was equipped with video cameras cameras for monitoring the patient and their vital signs from an adjacent room during HD. In this way the dialysis nurses were able to monitor the patient closely from an adjoining room. Results: Two HD patients were administered adjusted doses of about 50 mCi. The medical and nursing staff were exposed to no more than 4 mR for the entire treatment. The residual Iodine in the patient appeared to be normal after 4 to 6 days when the patient was released. Conclusion: With careful treatment planning 131Iodine treatments can be performed safely for patients needing HD and treatments appear to be as effective as those for patients with normal renal function.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

Causal Analysis Report for "Demolition of Historic and Yet-to-be-Determined Radar Towers at TTR Without Completing Required NEPA Process"

Two radar towers at the Tonopah Test Range (TTR), Contraves Towers 22-00 and 12-00, were torn down prior to completion of the required National Environmental Policy Act (NEPA) process. National Technology and Engineering Solutions of Sandia, LLC, (NTESS) submission of the NEPA checklist triggered a Sandia Field Office (SFO) review of the proposed work scope and was to include a required consultation between SFO and the Nevada State Historic Preservation Office (SHPO) to assess any adverse effect(s) on historic properties or contributing element(s) to a historic district and, if so, determine a resolution. Following the consultation, SFO provides approval/denial of the proposed work detailed on the submitted NEPA checklist. Contraves Tower 22-00 is a historic structure, as formally determined by the SFO in consultation with the SHPO. The historical eligibility of Contraves Tower 12-00 is yet to be determined. On February 13, 2018, NTESS notified SFO that Contraves Tower 22-00 at TTR was torn down in May 2017 prior to completion of the required the NEPA process, including consultation with the SHPO. NTESS submitted two NEPA checklists to SFO in 2016 for the removal of several structures no longer required by NTESS. The first NEPA checklist listed three historic structures (one of which was Contraves Tower 22-00) and SFO determination on whether consultation with the SHPO is necessary as well as approval/denial of the NEPA checklist is pending. The second NEPA checklist listed five non-historic structures, one of which was Contraves Tower 12-00. SFO approved the NEPA checklist covering non historic structures except for the Contraves Tower 12-00, as the Contraves Tower 12-00 requires further consultation with the SHPO by SFO. Only after completion of the consultation would SFO determine approval/denial on the remaining property cited within the NEPA checklist. In late January 2018, NTESS personnel discovered that Contraves Tower 22-00 was no longer listed in the Facility Information Management System (FIMS). Upon further investigation, NTESS personnel verified that the Contraves Tower 22-00 had been removed in May 2017. During the initial extent of condition, it was discovered that Contraves Tower 12-00 had also been torn down in May 2017 as part of this same destruction and demolition (D&D) activity. Both Contraves Towers 22-00 and 12-00) had been torn down prior to completion of the NEPA process, including consultation with the SHPO.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

TEV-3349 "ATF-2 2A Loop Pin Cladding Requirements"

Industry partners, including Westinghouse, Framatome, General Electric, General Atomics, Toshiba, etc. require requirements for fuel pins they insert in the reactor for testing. This document contains those requirements. These requirements represent an agreement between ATR and NS&T, and include the requirements for pins fabricated at the INL. These include inspections such as radiography, helium leak check, etc.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

MCC On Boarding Section J-2 (Exhibit H) Quality Assurance Requirements [Slides]

Upon MATOC Award, SUBCONTRACTOR shall submit a Quality Assurance Program for evaluation in accordance with subcontract technical and quality requirements. This may be the Subcontractors corporate QA program. Acceptance by Triad of the SUBCONTRACTORS Quality Assurance Program (QAP), as prescribed in Exhibit H, QC-01A and 01B, allows the SUBCONTRACTOR to execute this contract using their approved QAP. SUBCONTRACTORS QAP as approved by CONTRACTOR must meet the applicable requirements of DOE Order 414.1D (see next slide) and must address flow down of the quality requirements to lower tier subcontractors. Triad acceptance of SUBCONTRACTOR’s QAP approval is required prior to Notice to Proceed with on-site work. A Project Specific QA plan may on rare occasions be required for a specific task

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

Metallic Fuel Performance Code Requirements for the Versatile Test Reactor Project

Metallic nuclear fuels have been proposed for use in several emerging nuclear reactor designs, and a number of codes have been developed to model these fuels and assess their performance. Qualification of these metallic nuclear fuels will ultimately require monitored irradiation of lead test assemblies, but the use of fuel performance codes can reduce the uncertainty associated with these efforts by quantifying uncertainties and estimating margins to failure ahead of time. In this work, metallic fuel performance code requirements are defined for the Versatile Test Reactor (VTR) project using input from the Experimental Breeder Reactor II functional requirements, operational requirements, and design criteria. This work focuses on the thermomechanical responses and irradiation behaviors of metallic fuel elements that are representative of the proposed VTR driver fuel design concepts. As such, many of the code requirements and physics/modeling discussions in this work are expected to be broadly applicable to metallic fuel applications outside of the VTR project.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Waste Compliance and Tracking System (WCATS) Version 3 Requirements Document

This document describes the end-user requirements for the Waste Compliance and Tracking System (WCATS) project in accordance with the WCATS Software Quality Management Plan, EPC-WMP-WCATSPLAN-001. The WCATS application shall support the generation, characterization, processing, and shipment of LANL radioactive, hazardous, and industrial waste. Regulatory drivers include RCRA hazardous waste, DOT shipping, NNSA nuclear material control and accountability, DOE nuclear safety, TSDF permit, and transuranic waste certification requirements. The system will utilize a task-based architecture that supports the spectrum of treatment, storage, disposal, administrative, and characterization based unit operations necessary to manage waste from cradle to grave. The application design shall readily accommodate new facilities, processes, workflow, signature requirements, and so forth, via end-user established metadata. WCATS will provide support for representing waste storage and disposal facilities, buildings, rooms, and grid layouts (x, y, z) to support waste and radioactive material inventory management. Nuclear material at risk (MAR), DOE hazard rating (e.g., Category II facility) compliance per DOE-STD-1027, and permit inventory requirements will be configurable for any storage or disposal facility, or waste operation, and the system will automatically evaluate and enforce those requirements. In addition, the application will support the characterization and management of the entire range of hazardous and radioactive wastes (TRU, MTRU, LLW, MLLW, hazardous waste, etc.) that might be colocated or processed at a permitted facility. Some capabilities not found in traditional systems include user-defined tank systems for liquid waste, user-defined work paths (i.e., sequence of operations), and an equipment subsystem for tracking the calibration, maintenance, and inspection of tools used to process waste, such as torque wrenches, scales, pH probes, etc. The application incorporates a desktop and mobile user interface as shown in Figure 1. The mobile interface supports field operations, such as waste item characterization, intra-facility transfers, internal and external audits, and shipment preparation and receipt.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

The LANSCE experimental program: accelerator requirements

The LANSCE accelerator complex exploits a flexible, high power 800 MeV proton linear accelerator to enable a broad swath of experimental work supporting multiple scientific programs. The beam requirements for these programs are diverse and change over time. The purpose of this document is to record, at a high level, the experimental requirements driving the beam delivery requirements for each experimental facility at LANSCE. Revision 0 serves to baseline the current set of experiments, and we expect to revise the document on an as-needed basis when either the experimental requirements change or are found to require a more complete definition.

43 PARTICLE ACCELERATORS↗

2020 High Energy Physics Network Requirements Review (Final Report)

The Energy Sciences Network (ESnet) is the high-performance network user facility for the US Department of Energy (DOE) Office of Science (SC) and delivers highly reliable data transport capabilities optimized for the requirements of data-intensive science. In essence, ESnet is the circulatory system that enables the DOE science mission by connecting all of its laboratories and facilities in the United States and abroad. ESnet is funded and stewarded by the Advanced Scientific Computing Research (ASCR) program and managed and operated by the Scientific Networking Division at Lawrence Berkeley National Laboratory (LBNL). ESnet is widely regarded as a global leader in the research and education networking community. Throughout 2020,ESnet and the Office of High Energy Physics (HEP) of the DOE SC organized an ESnet requirements review of HEP-supported activities. Preparation for this event included identification of key stakeholders: program and facility management, research groups, technology providers, and a number of external observers. These individuals were asked to prepare formal case study documents about their relationship to the HEP program to build a complete understanding of the current, near-term, and long-term status, expectations, and processes that will support the science going forward. A series of pre-planning meetings better prepared case study authors for this task, along with guidance on how the review would proceed in a virtual fashion. ESnet and ASCR use requirements reviews to discuss and analyze current and planned science use cases and anticipated data output of a particular program, user facility, or project to inform ESnet’s strategic planning, including network operations, capacity upgrades, and other service investments. A requirements review comprehensively surveys major science stakeholders’ plans and processes in order to investigate data management requirements over the next 5–10 years.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Energy Services Interface: Requirements Document

This energy services interface (ESI) requirements document represents a process step in the path for creating an ESI specification, which will describe the technical characteristics of an ESI. This document outlines the concepts that need to be covered in the ESI specification, such as principal functions of the ESI, grid services communicated through the ESI, and the ESI lifecycle. It provides context for the Department of Energy’s (DOE’s) Grid Modernization Laboratory Consortium (GMLC) to engage industry participants in the development of the ESI specification. To do this, it describes the desired contents of the ESI specification and provides examples of the type of material that needs to be included in it. The purpose of the ESI specification is to define the requirements that are to be addressed in information and communications technology (ICT) interface standards for enabling the integration of a facility containing responsive distributed energy resources (DER facility) to an electric system consistent with the fundamental ESI principles. In this context, a DER facility may consist of a single DER with a communicating controller or may be as complex as a microgrid campus with several buildings and many DERs. The ESI specification is not a technical interface standard, but the requirements in the specification can be used to check that existing, augmented, or new interface standards meet the interoperability requirements of the ESI concept, which is explained further in this document. In this way, the ESI specification can be used to guide standards advancement work in multiple standards development organizations. To explain the scope of the ESI specification, this ESI requirements document provides examples of situations (or illustrative applications) for using an ESI to coordinate DER flexibility for grid operations. These examples originate from foundational work for describing common grid-DER service agreements that are anticipated to be supported using this interface.

24 POWER TRANSMISSION AND DISTRIBUTION↗

State Requirements for Electric Distribution System Planning

Utilities have conducted distribution planning since they first began building and operating electricity systems. But filing these plans for regulatory and stakeholder review is a relatively recent phenomenon. This report summarizes legislative and regulatory requirements for regulated electric utilities to file some type of distribution system plan in 20 U.S. jurisdictions. Some plans focus on expedited cost recovery for certain types of distribution system improvements; other plans focus on investments for grid modernization or distributed energy resources. Increasingly, states are adopting requirements for Integrated Distribution Plans. Such plans provide holistic grid investment strategies that address state and local policies and increasing complexity at the grid edge. The report covers the following topics for distribution system plans, highlighting advanced practices: -State goals and objectives -Procedural requirements -Forecasting loads and distributed energy resources -Hosting capacity analysis -Baseline information requirements -Grid modernization strategy -Grid needs assessment -Non-wires solutions -Reliability and resilience analyses -Stakeholder engagement -Equity -Pilots -Coordination with other planning processes The report includes links to legislation; regulatory requirements, proceedings, and orders; and filed utility plans. The U.S. Department of Energy’s Office of Electricity provided funding support.

24 POWER TRANSMISSION AND DISTRIBUTION↗