Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Definition”

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,441 records · Page 80
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

Which Q-analogue of the squeezed oscillator?

The noise (variance squared) of a component of the electromagnetic field - considered as a quantum oscillator - in the vacuum is equal to one half, in appropriate units (taking Planck's constant and the mass and frequency of the oscillator all equal to 1). A practical definition of a squeezed state is one for which the noise is less than the vacuum value - and the amount of squeezing is determined by the appropriate ratio. Thus the usual coherent (Glauber) states are not squeezed, as they produce the same variance as the vacuum. However, it is not difficult to define states analogous to coherent states which do have this noise-reducing effect. In fact, they are coherent states in the more general group sense but with respect to groups other than the Heisenberg-Weyl Group which defines the Glauber states. The original, conventional squeezed state in quantum optics is that associated with the group SU(1,1). Just as the annihilation operator a of a single photon mode (and its hermitian conjugate a, the creation operator) generates the Heisenberg Weyl algebra, so the pair-photon operator a(sup 2) and its conjugate generates the algebra of the group SU(1,1). Another viewpoint, more productive from the calculational stance, is to note that the automorphism group of the Heisenberg-Weyl algebra is SU(1,1). Needless to say, each of these viewpoints generalizes differently to the quantum group context. Both are discussed. The following topics are addressed: conventional coherent and squeezed states; eigenstate definitions; exponential definitions; algebra (group) definitions; automorphism group definition; example: signal-to-noise ratio; q-coherent and q-squeezed states; M and P q-bosons; eigenstate definitions; exponential definitions; algebra (q-group) definitions; and automorphism q-group definition.

Solomon, Allan I.↗
DOE OSTI2025

Defining an industrial heat pump: A review & synthesis

Clear and understandable definitions of advanced energy technologies are not common and often confuse those who are not experts. This review paper addresses a critical issue in the field of heat pumps: the ambiguity surrounding the term “industrial heat pump.” The term, as discussed in various literature and media, often leads to misconceptions about the capabilities and applications of heat pumps, particularly in industrial contexts. This review paper seeks to refine and unify the definition of industrial heat pumps by analyzing existing academic and commercial literature, industry reports, and classifications. Unique identifiers explored for the definition of an industrial heat pump include the use of waste heat, operating temperature ranges, size specifications, and specific end-use applications. The study reveals differences in how industrial heat pumps are defined in academic and commercial contexts, highlighting the need for a standardized definition to facilitate better communication among manufacturers, policymakers, and end users. This is especially important considering recent legislative efforts such as the HEAT Act, which seeks to promote industrial heat pump adoption. The proposed definition aims to provide clarity while supporting the effective deployment of industrial heat pumps. With proper adoption, the definition will help promote the role of industrial heat pumps in achieving energy efficiency goals in the industrial sector. The intended impact is for the definition to serve as a foundational reference for future research and policy development.

Heat pump characteristics↗
DOE OSTI2020

Power Factor revisited

Power factor is a term whose value can be found by dividing the power in a load to the product of the voltage and the current. It has been used as a rule of thumb to estimate the cost of the losses incurred in delivering reactive power. But it has been extremely troublesome. The same load might be penalized by some definitions, and might not by others. That is still the situation today. There have been two efforts at solution. In 1919 a committee of experts was formed to solve the problem of its definition. The effort did not succeed at producing a definition; two alternatives were recommended in the committee’s final report, but both were adopted. In 2010, IEEE issued Standard 1459 to give definitions. In this standard, definitions of power factor appear under no less than seven different headings. The problem demands solution. The matter is of considerable economic importance to power producers, consumers, and instrument makers. This paper examines the history of the topic, and explores reasons for the difficulty of definition in terms of measurement theory. It is shown that power factor is not suited to purpose. In fact, no definition can exist that will define power factor usefully for its intended economic purpose. Two alternatives are proposed.

power factror, definitions, measurement theory, IE↗
NASA NTRS1993

NTP comparison process

The systems engineering process for the concept definition phase of the program involves requirements definition, system definition, and consistent concept definition. The requirements definition process involves obtaining a complete understanding of the system requirements based on customer needs, mission scenarios, and nuclear thermal propulsion (NTP) operating characteristics. A system functional analysis is performed to provide a comprehensive traceability and verification of top-level requirements down to detailed system specifications and provides significant insight into the measures of system effectiveness to be utilized in system evaluation. The second key element in the process is the definition of system concepts to meet the requirements. This part of the process involves engine system and reactor contractor teams to develop alternative NTP system concepts that can be evaluated against specific attributes, as well as a reference configuration against which to compare system benefits and merits. Quality function deployment (QFD), as an excellent tool within Total Quality Management (TQM) techniques, can provide the required structure and provide a link to the voice of the customer in establishing critical system qualities and their relationships. The third element of the process is the consistent performance comparison. The comparison process involves validating developed concept data and quantifying system merits through analysis, computer modeling, simulation, and rapid prototyping of the proposed high risk NTP subsystems. The maximum amount possible of quantitative data will be developed and/or validated to be utilized in the QFD evaluation matrix. If upon evaluation of a new concept or its associated subsystems determine to have substantial merit, those features will be incorporated into the reference configuration for subsequent system definition and comparison efforts.

Corban, Robert↗
NASA NTRS2019

A Comparative Study on Computation of Cumulative Distribution Function in Predicting Time of Failure of Engineering Systems

Estimating accurate Time-of-Failure (ToF) of a system is key in making the decisions that impact operational safety and optimize cost. In this context, it is interesting to note that different approaches have been explored to tackle the problem of estimating ToF. The difference is in part characterized by different definitions of the hazard zones. The conventional definition for the cumulative distribution function (CDF) calculation is assumed to have well-defined hazard zones, that is, hazard zones defined as a function of the system state trajectory. An alternate method suggests the use of hazard zones defined as a function of the system state at time , instead of hazard zones defined as a function of system state up to and including time k (Acuna and Orchard 2018, 2017). This paper explores these differences and their impact on ToF estimation. Results for the conventional CDF definition indicated that, (i) the cumulative distribution function is always an increasing function of time, even when realizations of the degradation process are not monotonic, (ii) the sum of all probabilities is always 1 and does not need to be normalized, and (iii) all probabilities are positive and less than or equal to 1. Similar results are not observed for CDF calculation with hazard zones defined as a function only of the system state at time . Results for ToF estimation using Acuna's definition differ, suggesting that there is an underlying assumption of independence in the hazard zone definition. Therefore, we present an alternate definition of hazard zone which guarantees the properties of a well-defined CDF with a more straightforward ToF definition.

Hazard Zone↗
NASA NTRS1972

Development of Lightweight Material Composites to Insulate Cryogenic Tanks for 30-Day Storage in Outer Space

A conceptual design was developed for an MLI system which will meet the design constraints of an ILRV used for 7- to 30-day missions. The ten tasks are briefly described: (1) material survey and procurement, material property tests, and selection of composites to be considered; (2) definition of environmental parameters and tooling requirements, and thermal and structural design verification test definition; (3) definition of tanks and associated hardware to be used, and definition of MLI concepts to be considered; (4) thermal analyses, including purge, evacuation, and reentry repressurization analyses; (5) structural analyses (6) thermal degradation tests of composite and structural tests of fastener; (7) selection of MLI materials and system; (8) definition of a conceptual MLI system design; (9) evaluation of nondestructive inspection techniques and definition of procedures for repair of damaged areas; and (10) preparation of preliminary specifications.

Krause, D. R.↗
NASA NTRS1975

Simulation verification techniques study

Results are summarized of the simulation verification techniques study which consisted of two tasks: to develop techniques for simulator hardware checkout and to develop techniques for simulation performance verification (validation). The hardware verification task involved definition of simulation hardware (hardware units and integrated simulator configurations), survey of current hardware self-test techniques, and definition of hardware and software techniques for checkout of simulator subsystems. The performance verification task included definition of simulation performance parameters (and critical performance parameters), definition of methods for establishing standards of performance (sources of reference data or validation), and definition of methods for validating performance. Both major tasks included definition of verification software and assessment of verification data base impact. An annotated bibliography of all documents generated during this study is provided.

Schoonmaker, P. B.↗
NASA NTRS1994

Legal regime of human activities in outer space law

Current developments in space activities increasingly involve the presence of humans on board spacecraft and, in the near future, on the Moon, on Mars, on board Space Stations, etc. With respect to these challenges, the political and legal issues connected to the status of astronauts are largely unclear and require a new doctrinal attention. In the same way, many legal and political questions remain open in the structure of future space crews: the need for international standards in the definition and training of astronauts, etc.; but, first of all, an international uniform legal definition of astronauts. Moreover, the legal structure for human life and operations in outer space can be a new and relevant paradigm for the definition of similar rules in all the situations and environments in which humans are involved in extreme frontiers. The present article starts from an overview on the existing legal and political definitions of 'astronauts', moving to the search of a more useful definition. This is followed by an analysis of the concrete problems created by human space activities, and the legal and political responses to them (the need for a code of conduct; the structure of the crew and the existing rules in the US and ex-USSR; the new legal theories on the argument; the definition and structure of a code of conduct; the next legal problems in fields such as privacy law, communications law, business law, criminal law, etc.).

Golda, Carlo↗
NASA NTRS1993

Algorithm for IAU north poles and rotation parameters

In 1970 the International Astronomical Union (IAU) defined any object's north pole to be that axis of rotation which lies north of the solar system's invariable plane. A competing definition in widespread use at some institutions followed the 'right hand rule' whereby the 'north' axis of rotation was generally said to be that of the rotational angular momentum. In the case of the latter definition, the planet Neptune and its satellite Triton would have their 'north' poles in opposite hemispheres because Triton's angular momentum vector is in the hemisphere opposite from that of Neptune's rotation angular momentum. The IAU resolutions have been somewhat controversial in some quarters ever since their adoption. A Working Group has periodically updated the recommended values of planet and satellite poles and rotation rates in accordance with the IAU definition of north and the IAU definition of prime meridian. Neither system is completely satisfactory in the perception of all scientists, and some confusion has been generated by publishing data in the two different systems. In this paper we review the IAU definitions of north and of the location of prime meridian and we present the algorithm which has been employed in determining the rotational parameters of the natural satellites. The IAU definition of the prime meridian contains some ambiguities which in practice have been 'specified' by the numerical values published by the IAU working group but which have not yet been explicitly documented. The purpose of this paper is to explicitly document the algorithm employed by the IAU working group in specifying satellite poles and rotation rates.

Lieske, J. H.↗
NASA NTRS1996

Uncertainty and Intelligence in Computational Stochastic Mechanics

Classical structural reliability assessment techniques are based on precise and crisp (sharp) definitions of failure and non-failure (survival) of a structure in meeting a set of strength, function and serviceability criteria. These definitions are provided in the form of performance functions and limit state equations. Thus, the criteria provide a dichotomous definition of what real physical situations represent, in the form of abrupt change from structural survival to failure. However, based on observing the failure and survival of real structures according to the serviceability and strength criteria, the transition from a survival state to a failure state and from serviceability criteria to strength criteria are continuous and gradual rather than crisp and abrupt. That is, an entire spectrum of damage or failure levels (grades) is observed during the transition to total collapse. In the process, serviceability criteria are gradually violated with monotonically increasing level of violation, and progressively lead into the strength criteria violation. Classical structural reliability methods correctly and adequately include the ambiguity sources of uncertainty (physical randomness, statistical and modeling uncertainty) by varying amounts. However, they are unable to adequately incorporate the presence of a damage spectrum, and do not consider in their mathematical framework any sources of uncertainty of the vagueness type. Vagueness can be attributed to sources of fuzziness, unclearness, indistinctiveness, sharplessness and grayness; whereas ambiguity can be attributed to nonspecificity, one-to-many relations, variety, generality, diversity and divergence. Using the nomenclature of structural reliability, vagueness and ambiguity can be accounted for in the form of realistic delineation of structural damage based on subjective judgment of engineers. For situations that require decisions under uncertainty with cost/benefit objectives, the risk of failure should depend on the underlying level of damage and the uncertainties associated with its definition. A mathematical model for structural reliability assessment that includes both ambiguity and vagueness types of uncertainty was suggested to result in the likelihood of failure over a damage spectrum. The resulting structural reliability estimates properly represent the continuous transition from serviceability to strength limit states over the ultimate time exposure of the structure. In this section, a structural reliability assessment method based on a fuzzy definition of failure is suggested to meet these practical needs. A failure definition can be developed to indicate the relationship between failure level and structural response. In this fuzzy model, a subjective index is introduced to represent all levels of damage (or failure). This index can be interpreted as either a measure of failure level or a measure of a degree of belief in the occurrence of some performance condition (e.g., failure). The index allows expressing the transition state between complete survival and complete failure for some structural response based on subjective evaluation and judgment.

Ayyub, Bilal M.↗
NASA NTRS1996

Development and Demonstration of an Ada Test Generation System

In this project we have built a prototype system that performs Feasible Path Analysis on Ada programs: given a description of a set of control flow paths through a procedure, and a predicate at a program point feasible path analysis determines if there is input data which causes execution to flow down some path in the collection reaching the point so that tile predicate is true. Feasible path analysis can be applied to program testing, program slicing, array bounds checking, and other forms of anomaly checking. FPA is central to most applications of program analysis. But, because this problem is formally unsolvable, syntactic-based approximations are used in its place. For example, in dead-code analysis the problem is to determine if there are any input values which cause execution to reach a specified program point. Instead an approximation to this problem is computed: determine whether there is a control flow path from the start of the program to the point. This syntactic approximation is efficiently computable and conservative: if there is no such path the program point is clearly unreachable, but if there is such a path, the analysis is inconclusive, and the code is assumed to be live. Such conservative analysis too often yields unsatisfactory results because the approximation is too weak. As another example, consider data flow analysis. A du-pair is a pair of program points such that the first point is a definition of a variable and the second point a use and for which there exists a definition-free path from the definition to the use. The sharper, semantic definition of a du-pair requires that there be a feasible definition-free path from the definition to the use. A compiler using du-pairs for detecting dead variables may miss optimizations by not considering feasibility. Similarly, a program analyzer computing program slices to merge parallel versions may report conflicts where none exist. In the context of software testing, feasibility analysis plays an important role in identifying testing requirements which are infeasible. This is especially true for data flow testing and modified condition/decision coverage. Our system uses in an essential way symbolic analysis and theorem proving technology, and we believe this work represents one of the few successful uses of a theorem prover working in a completely automatic fashion to solve a problem of practical interest. We believe this work anticipates an important trend away from purely syntactic-based methods for program analysis to semantic methods based on symbolic processing and inference technology. Other results demonstrating the practical use of automatic inference is being reported in hardware verification, although there are significant differences between the hardware work and ours. However, what is common and important is that general purpose theorem provers are being integrated with more special-purpose decision procedures to solve problems in analysis and verification. We are pursuina commercial opportunities for this work, and will use and extend the work in other projects we are engaged in. Ultimately we would like to rework the system to analyze C, C++, or Java as a key step toward commercialization.

Source record↗
NASA NTRS1999

The Unit of Lightning

For the past century, scientists have made quantitative measurements of lightning discharges. In the process, they refined the definition of a lightning unit, or basic quantum of lightning, in order to base it on observable parameters. Although many components of a lightning discharge have been identified, lightning usually occur in groups of discharges or pulses that, although complex, can be organized into units of flashes. This unit definition is based mainly on measurements of lightning from electric field, video, and ground flash lightning locating networks. More recent instrumentation with various combinations of high sensitivity, high temporal, or high spatial resolution often measure signals produced by lightning that do not cleanly divide into flashes. The data from these systems indicate the need or a more fundamental unit for lightning. Such a unit would be of benefit for both basic understanding of lightning and comparing lightning information between instruments. Without a common lightning unit definition, intercomparisons are difficult. For an example, the Lightning Detection And Ranging system (LDAR) at Kennedy Space Center (KSC) have detected ,flash' rates as high as 600 per minute while analysis based on the Advanced Ground Based Field Mill network (AGBFM) detect only 33 "flashes" per minute in the same area and time periods. The satellite based Optical Transient Detector (OTD) and Lightning Imaging Sensor (LIS) sometimes see single "flashes" that last longer than 10 seconds. Such long duration flashes are not found in electric field records or ground strike location system data sets. The unit of lightning should be based on the fundamental components of the lightning discharge. This should make the unit as generally applicable as possible. For example, studies of NO(x) production by lightning depend on parameters of the individual lightning channels and not the summary flash characteristics. For such studies, the best unit of lightning may be closer to the classical stroke in the electric field data sets, flash in the LDAR data sets, and group in the OTD/LIS data sets. For this type of study, however, more than just the stroke count information is needed. In this paper, we will outline the current definitions of the unit of lightning and propose new basic definitions for the unit of lightning. Since different instruments detect lightning in different ways and different studies may need almost mutually exclusive aspects of the lightning discharge, there may not be a single definition of the unit of lightning that can be applied to all systems and all studies. However, common components can be found since all instrumentation are detecting aspects of the same phenomenon.

Mach, Douglas M.↗
NASA NTRS2002

Variable Order and Distributed Order Fractional Operators

Many physical processes appear to exhibit fractional order behavior that may vary with time or space. The continuum of order in the fractional calculus allows the order of the fractional operator to be considered as a variable. This paper develops the concept of variable and distributed order fractional operators. Definitions based on the Riemann-Liouville definitions are introduced and behavior of the operators is studied. Several time domain definitions that assign different arguments to the order q in the Riemann-Liouville definition are introduced. For each of these definitions various characteristics are determined. These include: time invariance of the operator, operator initialization, physical realization, linearity, operational transforms. and memory characteristics of the defining kernels. A measure (m2) for memory retentiveness of the order history is introduced. A generalized linear argument for the order q allows the concept of "tailored" variable order fractional operators whose a, memory may be chosen for a particular application. Memory retentiveness (m2) and order dynamic behavior are investigated and applications are shown. The concept of distributed order operators where the order of the time based operator depends on an additional independent (spatial) variable is also forwarded. Several definitions and their Laplace transforms are developed, analysis methods with these operators are demonstrated, and examples shown. Finally operators of multivariable and distributed order are defined in their various applications are outlined.

Lorenzo, Carl F.↗
NASA NTRS2007

The Effects of Radiation on Imagery Sensors in Space

Recent experience using high definition video on the International Space Station reveals camera pixel degradation due to particle radiation to be a much more significant problem with high definition cameras than with standard definition video. Although it may at first appear that increased pixel density on the imager is the logical explanation for this, the ISS implementations of high definition suggest a more complex causal and mediating factor mix. The degree of damage seems to vary from one type of camera to another, and this variation prompts a reconsideration of the possible factors in pixel loss, such as imager size, number of pixels, pixel aperture ratio, imager type (CCD or CMOS), method of error correction/concealment, and the method of compression used for recording or transmission. The problem of imager pixel loss due to particle radiation is not limited to out-of-atmosphere applications. Since particle radiation increases with altitude, it is not surprising to find anecdotal evidence that video cameras subject to many hours of airline travel show an increased incidence of pixel loss. This is even evident in some standard definition video applications, and pixel loss due to particle radiation only stands to become a more salient issue considering the continued diffusion of high definition video cameras in the marketplace.

Mathis, Dylan↗
NASA NTRS2014

Investigating the Impacts of a Separation Standard for UAS Operations in Enroute and Transition Airspace

Unmanned aircraft systems will be required to equip with a detect and avoid system in order to satisfy the federal aviation regulations to remain well clear of other aircraft. To comply with regulations in today’s operations manned aircraft must “see and avoid” other aircraft and use subjective judgment to determine whether those aircraft are well clear. For a detect-and- avoid (DAA) system to satisfy the requirement to stay well clear, a quantitative definition of well clear needs to be defined and evaluated. Definitions for the boundary of well clear have been proposed by the Unmanned Aircraft System (UAS) Executive Committee Science and Research Panel (SaRP) and the Radio Technical Commission for Aeronautics (RTCA) Special Committee 228 on Detect and Avoid Systems. This study investigates the interoperability implications of UAS using proposed well clear definitions as a separation standard for conducting operations in the national airspace system. The first analysis in the study focuses on the effect of variations in well clear definition parameters on the rate of losses of well clear per flight hour. The second analysis considers three well clear definitions and presents the relative state conditions of intruder aircraft as they encroach upon the well clear boundary. The third analysis focuses on the definition of the alerting criteria needed to inform the UAS operator of a potential loss of well clear. All three analyses are conducted in a NAS-wide fast-time simulation environment using UAS aircraft models, proposed UAS missions, and historical air defense radar data to populate the background traffic operating under visual flight rules. The results from the three analyses presented in this study inform the safety case, requirements development, and the operational environment for the DAA minimum operational performance standards.

UAS Seperation Standard↗
DOE OSTI2023

Successful cognitive aging is associated with thicker anterior cingulate cortex and lower tau deposition compared to typical aging

INTRODUCTION There is no consensus on either the definition of successful cognitive aging (SA) or the underlying neural mechanisms. METHODS We examined the agreement between new and existing definitions using: (1) a novel measure, the cognitive age gap (SA-CAG, cognitive-predicted age minus chronological age), (2) composite scores for episodic memory (SA-EM), (3) non-memory cognition (SA-NM), and (4) the California Verbal Learning Test (SA-CVLT). RESULTS Fair to moderate strength of agreement was found between the four definitions. Most SA groups showed greater cortical thickness compared to typical aging (TA), especially in the anterior cingulate and midcingulate cortices and medial temporal lobes. Greater hippocampal volume was found in all SA groups except SA-NM. Lower entorhinal 18 F-Flortaucipir (FTP) uptake was found in all SA groups. DISCUSSION These findings suggest that a feature of SA, regardless of its exact definition, is resistance to tau pathology and preserved cortical integrity, especially in the anterior cingulate and midcingulate cortices. Highlights: Different approaches have been used to define successful cognitive aging (SA). Regardless of definition, different SA groups have similar brain features. SA individuals have greater anterior cingulate thickness and hippocampal volume. Lower entorhinal tau deposition, but not amyloid beta is related to SA. A combination of cortical integrity and resistance to tau may be features of SA.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2025

Determining the profitability of energy storage over its life cycle using levelized cost of storage

Levelized cost of storage (LCOS) can be a simple, intuitive, and useful metric for determining whether a new energy storage plant would be profitable over its life cycle and to compare the cost of different energy storage technologies. However, researchers and industry decision makers still use conflicting definitions of LCOS. For example, some include charging cost, while others only include round trip efficiency (RTE) losses. Additionally, inputs to the existing formulations are not specific enough to generate repeatable results across studies, which reduces trust in the metric. To push for standardization in economic assessment of batteries and other energy storage devices, the authors review existing definitions of LCOS and identify the desired characteristics for a standard. They then propose a new definition and demonstrate that it fits these characteristics very well relative to other prominent options. Unit analysis is applied to this proposed definition to provide a deeper understanding of the equations and to demonstrate its effectiveness. Finally, the sensitivity of LCOS to different input parameters is investigated to help users understand how to compare analyses from literature to their own. The authors also provide a spreadsheet and a Python script to streamline adoption of the proposed definition.

25 ENERGY STORAGE↗
DOE OSTI2020

Chespa: Streamlining Expansive Chemical Space Evaluation of Molecular Sets

Thousands of chemical properties can be calculated for small molecules, which can be used to place the molecules within the context of a broader “chemical space.” These definitions vary based on compounds of interest and the goals for the given chemical space definition. Here, we introduce a customizable (i.e., modular) Python module, chespa, built to easily assess different chemical space definitions through cluster-ing of compounds in these spaces and visualize trends of these clusters. To demonstrate this, chespa currently streamlines prediction of vari-ous molecule descriptors (predicted chemical properties, molecular substructures, AI-based chemical space, and chemical class ontology) in order to test 6 different chemical space definitions. Furthermore, we investigated how these varying definitions trend with mass spectrometry (MS)-based observability, i.e., the ability of a molecule to be observed with MS (e.g., as a function of the molecule ionizability), using an example data set from the U.S. EPA's Non-Targeted Analysis Collaborative Trial (ENTACT), where blinded samples had been analyzed previously, providing 1,398 data points. Improved understanding of observability would offer many advantages in small molecule identifica-tion, such as (i) a priori selection of experimental conditions based on suspected sample composition, (ii) the ability to reduce the number of candidate structures during compound identification by removing those less likely to ionize, and, in turn, (iii) a reduced false discovery rate and increased confidence in identifications. Factors controlling observability are not fully understood, making prediction of this property non-trivial and a prime candidate for chemical space analysis. Chespa is available at github.com/pnnl/chespa.

Nunez, Jamie↗