Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “BeS”

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.

Transduction-like gene transfer in the methanogen Methanococcus voltae

Strain PS of Methanococcus voltae (a methanogenic, anaerobic archaebacterium) was shown to generate spontaneously 4.4-kbp chromosomal DNA fragments that are fully protected from DNase and that, upon contact with a cell, transform it genetically. This activity, here called VTA (voltae transfer agent), affects all markers tested: three different auxotrophies (histidine, purine, and cobalamin) and resistance to BES (2-bromoethanesulfonate, an inhibitor of methanogenesis). VTA was most effectively prepared by culture filtration. This process disrupted a fraction of the M. voltae cells (which have only an S-layer covering their cytoplasmic membrane). VTA was rapidly inactivated upon storage. VTA particles were present in cultures at concentrations of approximately two per cell. Gene transfer activity varied from a minimum of 2 x 10(-5) (BES resistance) to a maximum of 10(-3) (histidine independence) per donor cell. Very little VTA was found free in culture supernatants. The phenomenon is functionally similar to generalized transduction, but there is no evidence, for the time being, of intrinsically viral (i.e., containing a complete viral genome) particles. Consideration of VTA DNA size makes the existence of such viral particles unlikely. If they exist, they must be relatively few in number;perhaps they differ from VTA particles in size and other properties and thus escaped detection. Digestion of VTA DNA with the AluI restriction enzyme suggests that it is a random sample of the bacterial DNA, except for a 0.9-kbp sequence which is amplified relative to the rest of the bacterial chromosome. A VTA-sized DNA fraction was demonstrated in a few other isolates of M. voltae.

Methanococcus/genetics/growth & development/metabo↗

Bioelectrochemical Systems for the Treatment of Wastewater and Methane Production

Long-term spaceflight will require technology that is self-sustaining, while minimizing volume and mass. Bioelectrochemical systems (BES) have the ability to recover valuable resources, process waste, and generate a small amount of electrical current, via microorganisms, while satisfying the above criteria. We are currently working on small scale BES reactors that will generate electricity from the breakdown of urine and utilize the electrical current to catalyze synthesis of products including water and methane.

water recovery↗

Theoretical study of the alkali and alkaline-earth monosulfides

Ab initio calculations have been used to obtain accurate spectroscopic constants for the X2Pi and A2Sigma(+) states of the alkali sulfides and the X1Sigma(+), a3Pi, and A1Pi states of the alkaline-earth sulfides. In contrast to the alkali oxides, the alkali sulfides are found to have X2Pi ground states, due to the larger electrostatic interaction. Dissociation energies of 3.27 eV for BeS, 2.32 eV for MgS, 3.29 eV for CaS, and 3.41 eV for SrS have been obtained for the X1Sigma(+) states of the alkaline-earth sulfides, in good agreement with experimental results. Core correlation is shown to increase the Te values for the a3Pi and A1Pi states of MgS, CaS, and SrS.

Partridge, Harry↗

Coupling finite and boundary element methods for 2-D elasticity problems

A finite element-boundary element (FE-BE) coupling method for two-dimensional elasticity problems is developed based on a weighted residual variational method in which a portion of the domain of interest is modeled by FEs and the remainder of the region by BEs. The performance of the FE-BE coupling method is demonstrated via applications to a simple 'patch test' problem and three-crack problems. The method passed the patch tests for various modeling configurations and yielded accurate strain energy release rates for the crack problems studied.

Krishnamurthy, T.↗

Constructing COMSOL Models of a Bacteriological Fuel Cell

We show very initial work on a specific bioelectrochemical system (BES), a bacteriologically driven 'fuel cell' (BFS), that is intended to process waste products, such as CO2 and brine. (1) Processing is the priority, not power generation (2) Really a Microbial Electrolysis Cell (MEC)

Coker, Robert↗

Transforming Science Data for GIS: How to Find and Use NASA Earth Observation Data Without Being a Rocket Scientist

NASAs Earth Observing System Data Information System (EOSDIS) manages Earth Observation satellites and the Distributed Active Archive Centers (DAACs), where the data is stored and processed. The challenge is that Earth Observation data is complicated. There is plenty of data available, however, the science teams have had a top-down approach: define what it is you are trying to study -select a set of satellite(s) and sensor(s), and drill down for the data.Our alternative is to take a bottom-up approach using eight environmental fields of interest as defined by the Group on Earth Observations (GEO) called Societal Benefit Areas (SBAs): Disaster Resilience (DR) Public Health Surveillance (PHS) Energy and Mineral Resource Management (EMRM) Water Resources Management (WRM) Infrastructure and Transport Management (ITM) Sustainable Urban Development (SUD) Food Security and Sustainable Agriculture (FSSA) Biodiversity and Ecosystems Sustainability (BES).

DAAC↗

Early Lessons on Combining Lidar and Multi‑baseline SAR Measurements for Forest Structure Characterization

The estimation and monitoring of 3D forest structure at large scales strongly rely on the use of remote sensing techniques. Today, two of them are able to provide 3D forest structure estimates: lidar and synthetic aperture radar (SAR) configurations. The differences in wavelength, imaging geometry, and technical implementation make the measurements pro-vided by the two configurations different and, when it comes to the sensitivity to individual 3D forest structure components, complementary. Accordingly, the potential of combining lidar and SAR measurements toward an improved 3D forest structure estimation has been recognised from the very beginning. However, until today there is no established frame-work for this combination. This paper attempts to review differences, commonalities, and complementarities of lidar and SAR measurements. First, vertical lidar reflectance and SAR reflectivity profiles at different wavelengths are compared in different forest types. Then, current perspectives on their combination for the generation of enhanced structure products are discussed. Two promising frameworks for combining lidar and SAR measurements are reviewed. The first one is a model-based framework where lidar-derived parameters are used to initialize SAR scattering models, and relies on both the validity of the models and on the physical equivalence of the used lidar and SAR parameters. The second one is a structure-based framework based on the ability of lidar and SAR measurements to express physical forest structure by means of appropriate indices. These indices can then be used to establish a link between the two kind of measurements. The review is supported by experimental results achieved using space- and airborne data acquired in recent relevant mission and campaigns.

Matteo Pardini↗

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↗