Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “qualitative evaluation”

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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
DOE OSTI2023

Modeling of Reactor Design and Optimization for Scale-Up of the Catalyxx Process for Ethanol Conversion to Higher Alcohol Biofuels

This report summarizes the results of a collaborative efforts between Oak Ridge National Laboratory (ORNL) and Catalyxx Inc. to investigate scale-up of Catalyxx’s Ethanol upgrading to higher alcohols process. The study was funded by the U.S. Department of Energy (DOE) Bioenergy Technologies Office (BETO) under CRADA (Cooperative Research and Development Agreement) No: NFE-20-08396. The project is part of the Direct Funding Opportunity (DFO) for Computational Science to Enable Bioenergy program which utilized computational toolsets developed by the Consortium for Computational Physics and Chemistry, a multi-laboratory consortium in BETO. The report here summarizes a packed-bed reactor modeling effort spanning the range from lab to industrial scale (from 4 gram to 5-ton catalyst beds), and examining reactor design, process optimization strategies, and suggested design and operating conditions for Catalyxx’s ethanol upgrading plants. The results in this report have been shared in monthly steering meetings and presentations are available in the shared data house owned by Catalyxx. The modeling effort helped to define optimum operation conditions for maximum alcohol selectivity and yield: i.e., temperature control scenarios ranging from adiabatic to isothermal, feed rate, pressure, and inlet H 2 /Ethanol ratio. The modeling results were verified at lab-(4 gram) and pre-pilot (4 kg) scales and has been used to evaluate a 5-ton packed-bed reactor and identify operating conditions to maximize the butanol yield. Special focus was given to understanding mass-transfer effects in the pre-pilot and pilot-scale reactors, over the domain of flow rate, pressure, feed composition, pellet size, shape, porosity, bed voidage, and reactor dimensions (i.e., length/diameter). Modeling was also used to evaluate innovative reactor design concepts such as water removal to improve alcohol selectivity and yield, and a reactor with an additional side inlet to facilitate quenching. These concepts were thoroughly explored, and potential benefits were disclosed. The results in this report are summarized and described qualitatively to protect the IP rights of Catalyxx. The details have been shared with the Catalyxx team in the regular steering meetings. At the end of the project, Catalyxx Inc. announced a successful demonstration of pilot scale operation in Seville, Spain.

02 PETROLEUM↗
DOE OSTI2024

Evaluation of the Self Retrieval Augmented Generation Technique on Common Security Advisory Framework Data

This small experimental report evaluates a variation of Retrieval Augmented Generation (RAG), called Self-RAG. This method uses a generative language model that incorporates retrieved facts into its generation and is explicitly trained to be able to determine whether retrieved information is enough to answer the input query, with a user-defined threshold for confidence. We performed an experiment using data from the publicly available CISA Common Security Advisory Framework (CSAF) repository (https://github.com/cisagov/CSAF) as the database of facts to be used in retrieval. Qualitative results from the experiment demonstrate that the Self-RAG method has some ability to provide reasonable answers to queries that are in the dataset and will often ignore irrelevant information when asked outside of domain questions (e.g., general facts). In settings with deliberately confusing questions (the question is within domain, but asks about a fabricated advisory), it was able to refuse 40% of the time without further adjustments to the original framework. While this performance is not sufficient for current practical use, further improvements to data formatting, disambiguating results, and leveraging threshold values could improve performance significantly. However, evaluating this will require more extensive evaluations on larger datasets and potentially better models.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Complex Fermi–Löwdin orbital self-interaction correction

Here, this paper introduces the use of complex Fermi orbital descriptors (FODs) in the Fermi–Löwdin self-interaction-corrected density functional theory (FLOSIC). With complex FODs, the Fermi–Löwdin orbitals (FLOs) that are used to evaluate the SIC correction to the total energy become complex. Complex FLO-SIC (cFLOSIC) calculations based on the local spin density approximation produce total energies that are generally lower than the corresponding energies found with FLOSIC restricted to real orbitals (rFLOSIC). The cFLOSIC results are qualitatively similar to earlier Perdew–Zunger SIC (PZ-SIC) calculations using complex orbitals. The energy lowering stems from the exchange–correlation part of the self-interaction correction. The Hartree part of the correction is more negative in rFLOSIC. The energy difference between real and complex solutions is greater for more strongly hybridized FLOs in atoms and for FLOs corresponding to double and triple bonds in molecules. The case of N2 is examined in detail to show the differences between the real and complex FLOs. We show that the complex triple-bond orbitals are simple, and physically appealing combinations of π and σ g orbitals that have not been discussed before. Consideration of complex FODs, and resulting unitary transformations, underscores the fact that FLO centroids are not necessarily good guesses for FOD positions in a FLOSIC calculation.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2023

Spatiotemporally Adaptive Compression for Scientific Dataset with Feature Preservation – A Case Study on Simulation Data with Extreme Climate Events Analysis

Scientific discoveries are increasingly constrained by limited storage space and I/O capacities. For time-series simulations and experiments, their data often need to be decimated over timesteps to accommodate storage and I/O limitations. In this paper, we propose a technique that addresses storage costs while improving post-analysis accuracy through spatiotemporal adaptive, error-controlled lossy compression. We investigate the trade-off between data precision and temporal output rates, revealing that reducing data precision and increasing timestep frequency lead to more accurate analysis outcomes. Additionally, we integrate spatiotemporal feature detection with data compression and demonstrate that performing adaptive error-bounded compression in higher dimensional space enables greater compression ratios, leveraging the error propagation theory of a transformation-based compressor. To evaluate our approach, we conduct experiments using the well-known E3SM climate simulation code and apply our method to compress variables used for cyclone tracking. Our results show a significant reduction in storage size while enhancing the quality of cyclone tracking analysis, both quantitatively and qualitatively, in comparison to the prevalent timestep decimation approach. Compared to three state-of-the-art lossy compressors lacking feature preservation capabilities, our adaptive compression framework improves perfectly matched cases in TC tracking by 26.4-51.3% at medium compression ratios and by 77.3-571.1% at large compression ratios, with a merely 5–11% computational overhead.

Gong, Qian↗
DOE OSTI2025

A Design for Remanufacturing Framework Incorporating Identification, Evaluation, and Validation: A Case Study of Hydraulic Manifold

In recent years, academic researchers and engineers in the industry have widely recognized the necessity of integrating remanufacturing considerations into product design iterations to advance sustainability objectives. Acknowledging the importance of design for remanufacturing (DfRem), efforts were made to develop tools and guidelines that could be implemented in practice. However, such methods largely rely upon experiential insights and qualitative assessments, leaving a gap in the ability to quantitatively assess the economic and environmental impacts of design choices. To bridge this gap, we investigate existing efforts and present a framework for DfRem that integrates established design and remanufacturing practices into a cohesive workflow with quantitative assessments. To demonstrate its efficacy for making practical design changes for remanufacturing, we apply the framework to a hydraulic manifold in a transmission system for heavy-duty tractors. Through this industry-relevant case study, we focus on showcasing the practical utility of our framework. Based on the identified design modifications from remanufacturability analysis, we estimate the reductions in life cycle costs, energy consumption, and emissions. Afterward, the modifications are tested using physical experiments with plans for integration into future iterations of the hydraulic manifold design and production. Here, we anticipate this framework can illustrate the process of remanufacturing that ensures improvements in sustainability while maintaining performance and reliability standards.

design for X↗
DOE OSTI2025

Feasibility and Qualitative Risk Assessment of Fuel Cell Electric Bus Use for Emergency Backup Power for Airport Applications

Airports rely on robust backup power systems to maintain critical operations during emergencies. This paper investigates the feasibility of using hydrogen fuel cell electric buses (FCEBs) as emergency backup power sources, focusing on their technical specifications, operational challenges, and associated risks. Using Portland International Airport as a case study, the analysis evaluates the power output and hydrogen consumption of New Flyer’s 40’ Xcelsior Charge fuel cell buses, to provide power for key airport systems. Additionally, the paper explores the design and layout of how FCEBs can be connected to airport facilities, and addresses safety considerations, hydrogen supply logistics, and electrical compatibility. While FCEBs present significant advantages in terms of sustainability and resilience, their implementation requires careful planning, infrastructure investment, and adherence to safety standards. This research provides actionable insights for airport stakeholders seeking to transition to hydrogen-based backup power system.

08 HYDROGEN↗
DOE OSTI2020

Local spin polarizations in relativistic heavy-ion collisions

Here, based on a generalized side-jump formalism for massless chiral fermions, which naturally takes into account the spin-orbit coupling in the scattering of two chiral fermions and the chiral vortical effect in a rotating chiral fermion matter, we have developed a covariant and total-angular-momentum-conserved chiral transport model to study both the global and local polarizations of this matter. For a system of massless quarks of random spin orientations and finite vorticity in a box, we have demonstrated that the model can exactly conserve the total angular momentum of the system and dynamically generate the quark spin polarization expected from a thermally equilibrated quark matter. Using this model to study the spin polarization in relativistic heavy-ion collision, we have found that the local quark spin polarizations depend strongly on the reference frame where they are evaluated as a result of the nontrivial axial charge distribution caused by the chiral vortical effect. We have further shown that because of the anomalous orbital or side-jump contribution to the quark spin polarization, the local quark polarizations calculated in the medium rest frame are qualitatively consistent with the local polarizations of Lambda hyperons measured in experiments.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2020

Multiplicity dependence of (multi-)strange hadron production in proton-proton collisions at $\sqrt{s}$s = 13 TeV

The production rates and the transverse momentum distribution of strange hadrons at mid-rapidity ( | y | < 0.5 ) are measured in proton-proton collisions at $\sqrt{s}$ = 13 TeV as a function of the charged particle multiplicity, using the ALICE detector at the LHC. The production rates of K$^0_S$, Λ, &#x039E;<!-- Ξ --> , and Ω ncrease with the multiplicity faster than what is reported for inclusive charged particles. The increase is found to be more pronounced for hadrons with a larger strangeness content. Possible auto-correlations between the charged particles and the strange hadrons are evaluated by measuring the event-activity with charged particle multiplicity estimators covering different pseudorapidity regions. When comparing to lower energy results, the yields of strange hadrons are found to depend only on the mid-rapidity charged particle multiplicity. Several features of the data are reproduced qualitatively by general purpose QCD Monte Carlo models that take into account the effect of densely-packed QCD strings in high multiplicity collisions. However, none of the tested models reproduce the data quantitatively. This work corroborates and extends the ALICE findings on strangeness production in proton-proton collisions at 7 TeV.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Analysis of AP1000 Small-Break Loss-of-Coolant Accident Using Reactor Transient Simulator

The Westinghouse Electric Company’s Advanced Passive Reactor (AP1000) is characterized by the incorporation of passive safety systems (PSSs) designed to ensure core cooling during transient events. The assessment of PSSs requires evaluation of their performance through a combination of experiments and simulations employing various thermal-hydraulic codes. In addition, detailed evaluation of PSSs for a specific reactor system transient analysis such as loss-of-coolant-accident analysis supports understanding representative integral effects test facility development and the further evolution model development and assessment process. Developing a reactor system code is a complex and time-consuming process that requires significant engineering expertise and effort. It can take several months to even years to complete in the early stages of reactor system design and analysis. However, this process can be expedited through the use of transient simulator models for similar reactor systems, which can be used for lesson learning and training purposes. This study uses the Personal Computer Transient Analyzer (PCTRAN) code. The main advantage of PCTRAN is its ease of use and ability to run faster than real time. This study presents the results obtained for a small-break loss-of-coolant accident (SBLOCA) for two breaks using the full version (licensed) of PCTRAN. The purpose of this investigation is to evaluate the overall system behavior during the postulated SBLOCA event as well as assess the capability of the PCTRAN code to reproduce the system response during transient events. The obtained results were compared with the Westinghouse NOTRUMP system code. The PCTRAN code proved to be reliable in predicting the qualitative behavior of the system in both transient cases. As for the system response, it was found that it is contingent on the activation time of the PSSs. The differences in reactor coolant system pressure between the two codes were attributed to the critical flow model and simplification of mass and energy balance. Despite PCTRAN’s limitations, it can still provide a reasonable prediction of various reactor parameters such as pressure, mass flow rate, and void fraction during a SBLOCA scenario. It is worth noting that PCTRAN currently employs a bulk approach similar to that of the Modular Accident Analysis Program (MAAP) and MELCOR codes. However, the upcoming version of PCTRAN will include an artificial intelligence–based detection and accident prevention system, as well as different models for different reactor components. Consequently, PCTRAN has the potential to be upgraded to match the system thermal-hydraulic codes of the U.S. Nuclear Regulatory Commission and become more widely used in cybersecurity to safeguard nuclear power plants from cyberattacks.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
DOE OSTI2026

Lessons from the IEC Durability of Adhesion Accelerated Test Sequence

The IEC 62788-1-1 and IEC 63209-2 standards use aging sequences for durability of adhesion in photovoltaic (PV) modules, which may be evaluated using the single cantilever beam (SCB) test. Because the encapsulant forms critical interfaces with the front glass and solar cells, degradation at those interfaces under ultraviolet (UV) exposure, elevated temperature, and humidity can lead to interfacial delamination - compromising the long-term reliability. In this work, adhesion durability of UV-transmitting poly(ethylene-co-vinyl acetate) (EVA) encapsulant to glass and to silicon solar cells is evaluated after sequenced UV and damp heat aging (85C/85%RH). Laminates were prepared using StarPhire solar front glass with thin glass or PERC cells, and two EVA formulations with different concentrations of siloxane coupling agent. Adhesion was quantified by measuring critical debond energy using the SCB method. Both formulations exhibit similar qualitative trends, while different adhesion is observed at the periphery despite the use of low-shrink manufacturing. The results show that while glass/EVA adhesion remains stable or increases after UV exposure and shows only moderate changes after damp heat, the EVA/cell interface exhibits an irreversible loss of adhesion following UV and then damp heat exposure. Although glass/EVA interfaces generally exhibit lower debond energies, the EVA/cell interface is significantly more vulnerable to UV-driven degradation, identifying it as the dominant reliability risk location through early- and intermediate-module life. These results demonstrate that accelerated aging sequences can expose large, interface-specific losses in adhesion durability and underscore the importance of interface engineering for long-term PV module reliability.

14 SOLAR ENERGY↗
DOE OSTI2021

A global study of hygroscopicity-driven light-scattering enhancement in the context of other in situ aerosol optical properties

The scattering and backscattering enhancement factors (ƒ(RH) and ƒ b (RH)) describe how aerosol particle light scattering and backscattering, respectively, change with relative humidity (RH). They are important parameters in estimating direct aerosol radiative forcing (DARF). In this study we use the dataset presented in Burgos et al. (2019) that compiles ƒ(RH) and ƒ b (RH) measurements at three wavelengths (i.e., 450, 550 and 700 nm) performed with tandem nephelometer systems at multiple sites around the world. We present an overview of ƒ(RH) and ƒ b (RH) based on both long-term and campaign observations from 23 sites representing a range of aerosol types. The scattering enhancement shows a strong variability from site to site, with no clear pattern with respect to the total scattering coefficient. In general, higher ƒ(RH) is observed at Arctic and marine sites, while lower values are found at urban and desert sites, although a consistent pattern as a function of site type is not observed. The backscattering enhancement ƒ b (RH) is consistently lower than ƒ(RH) at all sites, with the difference between ƒ(RH) and ƒ b (RH) increasing for aerosol with higher ƒ(RH). This is consistent with Mie theory, which predicts higher enhancement of the light scattering in the forward than in the backward direction as the particle takes up water. Our results show that the scattering enhancement is higher for PM 1 than PM 10 at most sites, which is also supported by theory due to the change in scattering efficiency with the size parameter that relates particle size and the wavelength of incident light. At marine-influenced sites this difference is enhanced when coarse particles (likely sea salt) predominate. For most sites, ƒ(RH) is observed to increase with increasing wavelength, except at sites with a known dust influence where the spectral dependence of ƒ(RH) is found to be low or even exhibit the opposite pattern. The impact of RH on aerosol properties used to calculate radiative forcing (e.g., single-scattering albedo, ω 0 , and backscattered fraction, b) is evaluated. The single-scattering albedo generally increases with RH, while b decreases. The net effect of aerosol hygroscopicity on radiative forcing efficiency (RFE) is an increase in the absolute forcing effect (negative sign) by a factor of up to 4 at RH = 90 % compared to dry conditions (RH < 40 %). Because of the scarcity of scattering enhancement measurements, an attempt was made to use other more commonly available aerosol parameters (i.e., ω 0 and scattering Ångström exponent, α sp ) to parameterize ƒ(RH). The majority of sites (75 %) showed a consistent trend with ω 0 (higher ƒ(RH = 85 %) for higher ω 0 ), while no clear pattern was observed between ƒ(RH = 85 %) and αsp. This suggests that aerosol ω 0 is more promising than α sp as a surrogate for the scattering enhancement factor, although neither parameter is ideal. Nonetheless, the qualitative relationship observed between ω 0 and ƒ(RH) could serve as a constraint on global model simulations.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2022

Capsule network-based semantic segmentation model for thermal anomaly identification on building envelopes

Thermography technology is widely used to inspect thermal anomalies in building façade systems. Computer vision-based techniques provide opportunities to autonomously detect such heat anomalies to significantly improve the efficiency of decision-making for building envelope retrofitting and maintenance. Here, in this work, we propose a novel Capsule Network-based deep learning model – CapsLab – that detects and identifies thermal anomalies by semantic segmentation. CapsLab is built based on our proposed prediction-tuning capsule (PT-Capsule) layer. Different from a traditional capsule layer, which consists of part-whole transformation and capsule-routing process, the proposed layer is composed of a prediction and tuning process, which helps decreasing the number of model parameters significantly. While the applicability of traditional Capsule Networks (CapsNets) has been limited to simpler tasks and smaller datasets due to their scalability issue, we can leverage the lightweight of the proposed PT-Capsule layer, and apply it to the semantic segmentation task. In this work, we also employ our previously presented performance metric, referred to as the Anomaly Identification Metric (AIM) (Kakillioglua et al. 2021), to evaluate the segmentation outputs. Traditional performance metrics do not accurately reflect the true performance of the segmentation models in thermal anomaly identification due to the high subjectivity in the annotation process and higher overlap ratio sensitivity of the standard metrics. AIM, on the other hand, is robust to these drawbacks. Experimental results show, both qualitatively and quantitatively, that our proposed segmentation method can effectively segment the thermal anomalies. Specifically, our model provides 9.38% and 13.53% improvements over the baseline model – DeepLabV3+ – based on traditional mIoU score and the AIM score, respectively, while requiring less model parameters and less computation at the same time. In addition, the scores that the AIM metric generates better align with the scores provided by building performance experts.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2020

Ultrafast nonequilibrium evolution of excitonic modes in semiconductors

We study the time evolution of excitonic states after photoexcitation in the one-dimensional spinless extended Falicov-Kimball model. Several numerical methods are employed and benchmarked against each other: time-dependent mean-field simulations, the second-Born approximation (2BA) within the Kadanoff-Baym formalism, the generalized Kadanoff-Baym ansatz (GKBA) implemented with the 2BA, and the infinite time-evolving block decimation (iTEBD) method. It is found that the GKBA gives the best agreement with iTEBD and captures the relevant physics. Excitations to the particle-hole continuum and resonant excitations of the equilibrium exciton result in a qualitatively different dynamics. In the former case, the exciton binding energy remains positive and the frequency of the corresponding coherent oscillations is smaller than the band gap. On the other hand, resonant excitations trigger a collective mode whose frequency is larger than the band gap. We discuss the origin of these different behaviors by evaluating the nonequilibrium susceptibility using the nonthermal distribution and a random phase approximation. We note the peculiar mode with frequency larger than the band gap is associated with a partial population inversion with a sharp energy cutoff. We also discuss the effects of the cooling by a phonon bath. We demonstrate the real-time development of coherence in the polarization, which indicates excitonic condensation out of equilibrium.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2021

Results from Accelerated Environmental Testing of Barcoded Identifiers for UF 6 Cylinders

This report provides the qualitative and quantitative results from the accelerated environmental testing campaign. A total of 444 samples were subjected to 10 tests that included UV, salt fog, temperature, blowing dust, high pressure and temperature water, and impact exposure. Each sample included a two-dimensional barcode and an alphanumeric string representing the cylinder identification number. When evaluating the results, primary attention was placed on the decodability of the barcodes using a barcode verifier device, since machine scanning a barcode offers the greatest efficiency and accuracy gains when reading cylinder identification numbers during safeguards activities. Contrast was considered the critical test parameter because maintaining contrast under a wide range of environmental conditions is of fundamental importance to decoding the identification number of the barcodes. Additionally, manual readability of the alphanumeric string was considered an important factor in determining whether an inspector or operator could still read the identification number of the cylinder if the barcode proved to be undecodable.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2025

Exploring Multilayer Network Models to Build a Scientific Basis for Integrated Deterrence: Final Report

The emerging multipolar international security environment represents a fundamental restructuring of global nuclear balance of power to include two nuclear peer competitors, growing non-peer nuclear threats, and concerns of nuclear latency from both allies and adversaries. Conflicts in the grey zone, cyber operations, mis- and disinformation campaigns, and emerging disruptive technologies like drones, and hypersonic missiles are becoming more prevalent. These present a risk of cross-domain and multi-domain conflicts that may not follow known escalatory patterns. In order to prepare for the new deterrence environment, it is critical to have quantitative and qualitative understandings of these cross-domain conflicts, their potential for escalation, and which systems they may impact. To that end, our team created a Multi-Layer Network (MLN) model of ‘integrated deterrence’ where instruments of national power are modeled as individual network graph layers that include efforts from all domains. We then evaluate the potential for escalation against escalation scenarios. Analysis of the escalation scenarios is then used to identify insights of potential risk and escalation within integrated deterrence.

45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEF↗
DOE OSTI2025

Preliminary Evidence for Sex-Specific Trends in Probiotic Modulation of Gut Saccharibacteria in Familial Mediterranean Fever Patients: Effects of Lactobacillus acidophilus INMIA 9602 Er 317/402 and Escherichia coli M-17

Candidate Phyla Radiation bacteria are emerging members of the human microbiota, particularly in oral and gut environments. Saccharibacteria were previously identified in the gut microbiota of healthy individuals and women diagnosed with familial Mediterranean fever (FMF), a monogenic autoinflammatory disorder prevalent in the eastern Mediterranean region, including Armenia. This study aimed to assess the prevalence and diversity of Saccharibacteria spp. and its basebiont Schaalia odontolytica in FMF patients, explore gender differences, and evaluate the modulation potential of two locally produced probiotics: Lactobacillus acidophilus INMIA9602 Er317/402 (Narine®, VITAMAX-E, Yerevan, Armenia) and Escherichia coli M-17 (Colibacteron®, VITAMAX-E, Yerevan, Armenia). The abundance and behavior of saccharibacteria and S. odontolytica appear to vary depending on health status and sex. Placebo administration caused both quantitative and qualitative shifts, suggesting a possible interaction between Candidatus saccharibacteria spp. and Schaalia odontolytica, though the underlying biological significance remains to be clarified. Narine administration appeared to increase the abundance of Candidatus saccharibacteria operational taxonomic units (OTUs) in FMF women and S. odontolytica OTUs in FMF men, whereas Colibacteron selectively decreased certain OTUs, predominantly in FMF women. These findings underscore the need to further investigate saccharibacteria’s role in systemic inflammation and probiotic-mediated modulation of the gut microbiota.

Biochemistry & Molecular Biology↗
DOE OSTI2020

Reliability Analysis for Unreliable FSM Computations

Finite State Machines (FSMs) are fundamental in both hardware design and software development. However, the reliability of FSM computations remains poorly understood. This becomes increasingly critical as the technology scaling becomes more aggressive. Existing reliability analyses are mainly designed for generic computations and are unaware of the special error tolerance characteristics in FSM computations. In this work, we introduce RelyFSM – a state-level reliability analysis framework for FSM computations. By qualitatively reasoning about the transition structures in FSM computations, RelyFSM can precisely capture their inherent error tolerance. Basically, RelyFSM takes an FSM specification as input and analyzes its reliability for a specific execution. At the core of the analysis is a set of mathematical models that accurately define the behaviors of unreliable FSM executions. Our evaluation with a spectrum of FSM benchmarks confirms the accuracy and efficiency of RelyFSM in analyzing the reliability of real-world FSM computations.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Omics-Lethal Human Viruses, MERS-CoV Experiment MM001

The purpose of this experiment was to evaluate the host response to wild-type Middle Eastern Respiratory Syndrome coronavirus (MERS-CoV) virus infection. Sample data was obtained from primary mouse lung for mRNA, proteomics, lipidomics, and metabolomics expression analysis. Secondary host-associated viral dataset downloads contain one or more statistically processed (normalization data transformation) quantitative dataset collections resulting in qualitative expression analyses of primary host-pathogen experimental study designs. Leveraging unique high-resolution Omics capabilities for proteomics, metabolomics, lipidomics, and transcriptomics dataset downloads each have a direct relationship to a primary sample submission corresponding to a specific MERS-CoV virus infection.

59 BASIC BIOLOGICAL SCIENCES↗