Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Verification study”

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 1,171 records · Page 65

Can Aerosol Direct Radiative Effects Account for Analysis Increments of Temperature in the Tropical Atlantic?

In the late 1990's, prior to the launch of the Terra satellite, atmospheric general circulation models (GCMs) did not include aerosol processes because aerosols were not properly monitored on a global scale and their spatial distributions were not known well enough for their incorporation in operational GCMs. At the time of the first GEOS Reanalysis (Schubert et al. 1993), long time series of analysis increments (the corrections to the atmospheric state by all available meteorological observations) became readily available, enabling detailed analysis of the GEOS-1 errors on a global scale. Such analysis revealed that temperature biases were particularly pronounced in the Tropical Atlantic region, with patterns depicting a remarkable similarity to dust plumes emanating from the African continent as evidenced by TOMS aerosol index maps. Yoram Kaufman was instrumental encouraging us to pursue this issue further, resulting in the study reported in Alpert et al. (1998) where we attempted to assess aerosol forcing by studying the errors of a the GEOS-1 GCM without aerosol physics within a data assimilation system. Based on this analysis, Alpert et al. (1998) put forward that dust aerosols are an important source of inaccuracies in numerical weather-prediction models in the Tropical Atlantic region, although a direct verification of this hypothesis was not possible back then. Nearly 20 years later, numerical prediction models have increased in resolution and complexity of physical parameterizations, including the representation of aerosols and their interactions with the circulation. Moreover, with the advent of NASA's EOS program and subsequent satellites, atmospheric aerosols are now monitored globally on a routine basis, and their assimilation in global models are becoming well established. In this talk we will reexamine the Alpert et al. (1998) hypothesis using the most recent version of the GEOS-5 Data Assimilation System with assimilation of aerosols. We will explicitly calculate the impact of aerosols on the temperature analysis increments in the tropical Atlantic and assess the extent to which inclusion of atmospheric aerosols have reduced these increments.

General Circulation Models↗

Hypersonic Chemically Reacting Boundary-Layer Stability using LASTRAC

Hypersonic boundary layer transition is critical to the design of all hypersonic vehicles due to its effect on the heat transfer into the vehicle surface and potential drag enhancement or reduction during reentry. Boundary layer transition and boundary layer stability analysis under hypersonic conditions has been studied for decades, yet there is ample room for improved accuracy and further investigations into the relevant phenomena. In this work, we present a recent implementation of chemical equilibrium, finite-rate chemistry, and thermochemical nonequilibrium capabilities into LASTRAC, an existing well-established boundary-layer stability analysis code. Verification against existing numerical results in the literature are presented. LASTRAC was previously able to address calorically perfect flows. By using solutions of the Parabolized Stability Equations (PSE) with chemical and thermal nonequilibrium, we are able to investigate the effects of chemical and thermal nonequilibrium on a variety of phenomena including stationary crossflow instability on a swept wing and 2nd mode instabilities over a wedge.

Kline, H. L.↗

Study of the heat pipe vapor flow using the MOOSE application Sockeye and the CFD code Nek5000

Heat pipes are efficient heat transfer devices used in various applications, including nuclear microreactors. Heat pipe-cooled microreactors offer advantages in size and cost, which can significantly accelerate their deployment and adoption. Developing accurate models of heat pipes is crucial for a heat pipe-cooled microreactor design and operation. In this work a verification and validation of the heat pipe application Sockeye is presented. Results are compared against RANS simulations, performed with the code Nek5000, and the SPHERE experiment, conducted at INL.

42 ENGINEERING↗

Data Analysis of Energy Code Compliance in Commercial Buildings

What percent of newly constructed commercial buildings comply with the energy code? How much energy and cost could be saved if the compliance increased? Which code requirements have both low compliance rates and high savings potential? These are the questions U.S. Department of Energy (DOE) is trying to answer through its Commercial Energy Code Field Study. Previous commercial studies have been very limited and did not result in a widely accepted and tested methodology. DOE’s goal is to create a standardized methodology that can produce actionable results at a reasonable study cost, that can be used by state and local governments and utilities and provides valuable information to policy makers. The field study team implemented the pilot methodology, compiling a data set of 230 office and retail buildings in two climate zones. The approach is based on identifying lost savings on a total energy cost basis rather than simply counting the quantity of measures that do not meet code. This report is focused on the analysis of the collected data. The primary goal was to analyze the data collected during the field study and determine the actual energy cost impact of each measure in a non-compliance situation. The energy impact results allowed for ranking the measures to identify which have the highest potential for lost savings. These results combined with the time required to verify each measure will allow future compliance verification to focus on measures that had a large impact on energy use over the life of the building and those that have the greatest savings recovery potential per verification hour.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Data Analysis of Energy Code Compliance in Commercial Buildings (Rev. 1)

What percent of newly constructed commercial buildings comply with the energy code? How much energy and cost could be saved if the compliance increased? Which code requirements have both low compliance rates and high savings potential? These are the questions U.S. Department of Energy (DOE) is trying to answer through its Commercial Energy Code Field Study. Previous commercial studies have been very limited and did not result in a widely accepted and tested methodology. DOE’s goal is to create a standardized methodology that can produce actionable results at a reasonable study cost, that can be used by state and local governments and utilities and provides valuable information to policy makers. The field study team implemented the pilot methodology, compiling a data set of 230 office and retail buildings in two climate zones. The approach is based on identifying lost savings on a total energy cost basis rather than simply counting the quantity of measures that do not meet code. This report is focused on the analysis of the collected data. The primary goal was to analyze the data collected during the field study and determine the actual energy cost impact of each measure in a non-compliance situation. The energy impact results allowed for ranking the measures to identify which have the highest potential for lost savings. These results combined with the time required to verify each measure will allow future compliance verification to focus on measures that had a large impact on energy use over the life of the building and those that have the greatest savings recovery potential per verification hour.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Evaluation of a Reduced-Order Model for IBR Fault Response Representation via OEM Blackbox Models

This paper presents a fully implemented inverter reduced-order-model (ROM) in an EMT simulation (PSCAD) library component for direct user utilization in protection studies. The developed inverter ROM has the following features: Equivalent to a full inverter-based resource (IBR) inverter model with positive- and negative-sequence current formulation and representation. A Python script is developed to fully automate this process, including training data generation, ROM parameter training, updating parameters, and model verification and validation. The ROM is validated using both IEEE 2800-compliant and non-compliant OEM modes in a real-world system, building confidence of its usability by protection engineers.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Experimental Results for an Annular Aerospike with Differential Throttling

A) MSFC funded an internal study on Altitude Compensating Nozzles: 1) Develop an ACN design and performance prediction tool. 2) Design, build and test cold flow ACN nozzles. 3) An annular aerospike nozzle was designed and tested. 4) Incorporated differential throttling to assess Thrust Vector Control. B) Objective of the test hardware: 1) Provide design tool verification. 2) Provide benchmark data for CFD calculations. 3) Experimentally measure side force, or TVC, for a differentially throttled annular aerospike.

Ruf, Joseph H.↗

Model Checking Degrees of Belief in a System of Agents

Reasoning about degrees of belief has been investigated in the past by a number of authors and has a number of practical applications in real life. In this paper we present a unified framework to model and verify degrees of belief in a system of agents. In particular, we describe an extension of the temporal-epistemic logic CTLK and we introduce a semantics based on interpreted systems for this extension. In this way, degrees of beliefs do not need to be provided externally, but can be derived automatically from the possible executions of the system, thereby providing a computationally grounded formalism. We leverage the semantics to (a) construct a model checking algorithm, (b) investigate its complexity, (c) provide a Java implementation of the model checking algorithm, and (d) evaluate our approach using the standard benchmark of the dining cryptographers. Finally, we provide a detailed case study: using our framework and our implementation, we assess and verify the situational awareness of the pilot of Air France 447 flying in off-nominal conditions.

MAS Verification↗

Development of a Performance Portable Non-Equilibrium Plasma Fluid Solver on Adaptive Grids

This presentation will describe the numerical techniques, programming paradigms, verification, and performance of a non-equilibrium plasma fluid solver that can effectively utilize current and upcoming central processing and graphics processing unit (CPU+GPU) architectures. Our plasma fluid model solves the conservation equations for self-consistent electrostatic Poisson, electron and heavy species transport, and electron temperature on adaptive Cartesian grids. Our solver is written using performance portable adaptive mesh management library, AMReX (Zhang et al., JOSS, 4 (37) 1370, 2019), and can be built and run on widely available vendor specific GPU architectures (NVIDIA/AMD/Intel). We utilize a non-subcycled second order semi-implicit time-stepping method where all adaptive mesh refinement (AMR) levels are advanced with the same time step. The composite multi-level multigrid solver from within AMReX is used for each of the governing equations that are cast into a Helmholtz equation form. We have also developed a python based chemical mechanism parser framework that uses a similar format as CANTERA (Goodwin et al., Zenodo, 2018) yaml files as input. Our custom parser reads the yaml file and provides C++ files with transport and production rate functions that can be executed on both host (CPU) and device (GPU). We present verification of our solver using method of manufactured solutions that indicate formal second order accuracy with central diffusion and fifth order weighted-essentially-non-oscillatory (WENO) advection scheme. We also verify our solver with published literature on low-pressure capacitive and high-pressure streamer discharges. Our initial performance studies indicate 10X speed-up using 20 NVIDIA GPUs versus 200 CPUs for an atmospheric streamer discharge problem solved on a 512 x 1024 x 512 grid.

graphics processing units↗

Cross talk between RNA N6‐methyladenosine methyltransferase‐like 3 and miR‐186 regulates hepatoblastoma progression through Wnt/β‐catenin signalling pathway

Abstract Objectives N6‐methyladenosine (m6A) is a ubiquitous epigenetic RNA modification that plays a pivotal role in tumour development and metastasis. In this study, we aimed to investigate the expression profiling, clinical significance, biological function and the regulation of m6A‐related genes in hepatoblastoma (HB). Materials and Methods The mRNA and protein expression levels of m6A‐related genes were analysed using Gene Expression Omnibus (GEO) and tissue microarray (TMA) cohort. Kaplan‐Meier analysis was performed to evaluate the prognostic value of m6A‐related genes in HB. Knockdown of m6A‐related genes was conducted to analyse its function on cell proliferation, migration and invasion. Furthermore, bioinformatics analysis and experimental verification were used to explore the potential molecular mechanism and signalling pathway. Results We found that most m6A‐related genes were significantly upregulated in HB tumour tissues. High levels of methyltransferase‐like 3 (METTL3, P = .013), YTHDF2 ( P = .037) and FTO ( P = .032) indicated poor clinical outcomes, and the upregulation of METTL3 was an independent prognostic factor in HB patients. Functional assays showed that knockdown of METTL3 could dramatically suppress the proliferation, migration and invasion of HB cells. In addition, METTL3 was identified to be a direct target of microRNA‐186 (miR‐186). Consistently, miR‐186 was low expressed in HB tumour tissues. Moreover, overexpression of miR‐186 significantly inhibited cell aggressive phenotype both in vitro and in vivo, while the inhibitory effect could be reversed by METTL3 overexpression. Mechanism study indicated that miR‐186/METTL3 axis contributed to the progression of HB via the Wnt/β‐catenin signalling pathway. Conclusions M6A‐related genes were frequently dysregulated in HB. miR‐186/METTL3/Wnt/β‐catenin axis might serve as novel therapeutic targets and prognostic biomarkers in HB.

Cui, Xichun↗

Study of plate-fin heat exchanger and cold plate for the active thermal control system of Space Station

Plate-fin heat exchangers will be employed in the Active Thermal Control System of Space Station Freedom. During ground testing of prototypic heat exchangers, certain anomalous behaviors have been observed. Diagnosis has been conducted to determine the cause of the observed behaviors, including a scrutiny of temperature, pressure, and flow rate test data, and verification calculations based on such data and more data collected during the ambient and thermal/vacuum tests participated by the author. The test data of a plate-fin cold plate have been also analyzed. Recommendation was made with regard to further tests providing more useful information of the cold plate performance.

Chyu, MING-C.↗

EIF3H knockdown inhibits malignant melanoma through regulating cell proliferation, apoptosis and cell cycle

Highlights: • EIF3H is highly expressed in malignant melanoma and correlated with tumor stage and risk of lymphatic metastasis. • Knockdown of EIF3H inhibits cell proliferation, cell migration and promotes cell apoptosis of melanoma in vitro. • Knockdown of EIF3H suppresses tumor growth in vivo. Malignant melanoma (MM) causes 80% of skin cancer-related deaths and becomes the most lethal type of skin cancer. The molecular mechanism of MM is still not clear. This study aimed to reveal the relationship between MM and EIF3H. Clinical specimens were collected to preliminarily explore the role of EIF3H in MM. MM cell lines with EIF3H knockdown were constructed for investigating the effects of EIF3H on cell proliferation, apoptosis, cell cycle and cell motility. Mice xenograft model was constructed for verification in vivo. We found that EIF3H was obviously upregulated in MM tissues compared with normal skin tissues, which was correlated with tumor stage and risk of lymphatic metastasis. The in vitro results indicated that silencing EIF3H in MM cells could significantly suppress cell proliferation, promote cell apoptosis and induce cell cycle arrest. Moreover, EIF3H knockdown significantly restrained cell motility through regulating EMT-related proteins. The effects of EIF3H knockdown were also verified in mice xenograft model, which were represented by slower growth rate, smaller volume and lighter weight of tumors. Therefore, EIF3H was identified as a critical factor in the development and progression of MM which may be used as a novel therapeutic target in the treatment of MM.

60 APPLIED LIFE SCIENCES↗

Umbilical Connect Techniques Improvement-Technology Study

The objective of this study was to develop concepts, specifications, designs, techniques, and procedures capable of significantly reducing the time required to connect and verify umbilicals for ground services to the space shuttle. The desired goal was to reduce the current time requirement of several shifts for the Saturn 5/Apollo to an elapsed time of less than one hour to connect and verify all of the space shuttle ground service umbilicals. The study was conducted in four phases: (1) literature and hardware examination, (2) concept development, (3) concept evaluation and tradeoff analysis, and (4) selected concept design. The final product of this study was a detail design of a rise-off disconnect panel prototype test specimen for a LO2/LH2 booster (or an external oxygen/hydrogen tank for an orbiter), a detail design of a swing-arm mounted preflight umbilical carrier prototype test specimen, and a part 1 specification for the umbilical connect and verification design for the vehicles as defined in the space shuttle program.

Valkema, Donald C.↗

Primary Electric Propulsion Technology Study

An investigation of the 30-cm engineering-model-thruster technology with emphasis placed on the development of models for understanding and predicting the operational characteristics and wear-out mechanisms of the thruster as a function of operating or design parameters is presented. The task studies include: (1) the wear mechanisms and wear rates that determine the useful lifetime of the thruster discharge chamber; (2) cathode lifetime as determined by the depletion of barium from the barium-aluminate-impregnated-porous-tungsten insert that serves as a barium reservoir; (3) accelerator-grid-system technology; (4) a verification of the high-voltage propellant-flow-electrical-isolator design developed under NASA contract NAS3-20395 for operation at 10-kV applied voltage and 10-A equivalent propellant flow with mercury and argon propellants. A model was formulated for predicting performance.

Poeschel, R. L.↗

Critical speeds and forced response solutions for active magnetic bearing turbomachinery, part 2

The need for better performance of turbomachinery with active magnetic bearings has necessitated a study of such systems for accurate prediction of their vibrational characteristics. A modification of existing transfer matrix methods for rotor analysis is presented to predict the response of rotor systems with active magnetic bearings. The position of the magnetic bearing sensors is taken into account and the effect of changing sensor position on the vibrational characteristics of the rotor system is studied. The modified algorithm is validated using a simpler Jeffcott model described previously. The effect of changing from a rotating unbalance excitation to a constant excitation in a single plane is also studied. A typical eight stage centrifugal compressor rotor is analyzed using the modified transfer matrix code. The results for a two mass Jeffcott model were presented previously. The results obtained by running this model with the transfer matrix method were compared with the results of the Jeffcott analysis for the purposes of verification. Also included are plots of amplitude versus frequency for the eight stage centrifugal compressor rotor. These plots demonstrate the significant influence that sensor location has on the amplitude and critical frequencies of the rotor system.

Rawal, D.↗

Simulation and analyses of the aeroassist flight experiment attitude update method

A method which will be used to update the alignment of the Aeroassist Flight Experiment's Inertial Measuring Unit is simulated and analyzed. This method, the Star Line Maneuver, uses measurements from the Space Shuttle Orbiter star trackers along with an extended Kalman filter to estimate a correction to the attitude quaternion maintained by an Inertial Measuring Unit in the Orbiter's payload bay. This quaternion is corrupted by on-orbit bending of the Orbiter payload bay with respect to the Orbiter navigation base, which is incorporated into the payload quaternion when it is initialized via a direct transfer of the Orbiter attitude state. The method of updating this quaternion is examined through verification of baseline cases and Monte Carlo analysis using a simplified simulation, The simulation uses nominal state dynamics and measurement models from the Kalman filter as its real world models, and is programmed on Microvax minicomputer using Matlab, and interactive matrix analysis tool. Results are presented which confirm and augment previous performance studies, thereby enhancing confidence in the Star Line Maneuver design methodology.

Carpenter, J. R.↗

Model Checking Failed Conjectures in Theorem Proving: A Case Study

Interactive mechanical theorem proving can provide high assurance of correct design, but it can also be a slow iterative process. Much time is spent determining why a proof of a conjecture is not forthcoming. In some cases, the conjecture is false and in others, the attempted proof is insufficient. In this case study, we use the SAL family of model checkers to generate a concrete counterexample to an unproven conjecture specified in the mechanical theorem prover, PVS. The focus of our case study is the ROBUS Interactive Consistency Protocol. We combine the use of a mechanical theorem prover and a model checker to expose a subtle flaw in the protocol that occurs under a particular scenario of faults and processor states. Uncovering the flaw allows us to mend the protocol and complete its general verification in PVS.

Pike, Lee↗