SEARCH · Engineering Papers

Results for “Expression systems”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,639 records · Page 91

All sources NASA NTRS DOE OSTI

NASA NTRS2005

Towards an Automated Development Methodology for Dependable Systems with Application to Sensor Networks

A general-purpose method to mechanically transform system requirements into a probably equivalent model has yet to appeal: Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including sensor networks and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a probably equivalent implementation are valuable but not su8cient. The "gap" unfilled by such tools and methods is that their. formal models cannot be proven to be equivalent to the system requirements as originated by the customel: For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a probably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗

NASA NTRS2005

Formal Requirements-Based Programming for Complex Systems

Computer science as a field has not yet produced a general method to mechanically transform complex computer system requirements into a provably equivalent implementation. Such a method would be one major step towards dealing with complexity in computing, yet it remains the elusive holy grail of system development. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that such tools and methods leave unfilled is that the formal models cannot be proven to be equivalent to the system requirements as originated by the customer For the classes of complex systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations. While other techniques are available, this method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. We illustrate the application of the method to an example procedure from the Hubble Robotic Servicing Mission currently under study and preliminary formulation at NASA Goddard Space Flight Center.

Rash, James L.↗

NASA NTRS2003

Coalescence of Liquid Drops

When two liquid drops come into contact, a neck forms between them and grows rapidly. We are interested in the very early stage of the coalescence process, which can be characterized by the time dependence of the radius of the neck. The functional dependence of the size of the neck on time depends on the properties of the liquid. Experimentally, we are investigating a liquid in Stokes flow regime where the viscosity provides the principal retarding force to the surface tension. Recently, it has been predicted that the neck radius should change as t ln|t| in this regime. Theoretically, we have studied the situation when the velocity at each point on the surface is proportional to the local curvature and directed normal to the surface. This is the case that should be applicable to superfluid helium at low temperature when the mean free path of the thermal excitations are comparable to the size of liquid drops. For this system, the radius of the neck is found to be proportional to t(sup 1/3). We are able to find a simple expression for the shape of the interface in the vicinity of the neck.

Yao, Wei-Jun↗

NASA NTRS2005

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts for spacecraft integration and testing, and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗

NASA NTRS2007

Recombinant Collagenlike Proteins

A group of collagenlike recombinant proteins containing high densities of biologically active sites has been invented. The method used to express these proteins is similar to a method of expressing recombinant procollagens and collagens described in U. S. Patent 5,593,859, "Synthesis of human procollagens and collagens in recombinant DNA systems." Customized collagenous proteins are needed for biomedical applications. In particular, fibrillar collagens are attractive for production of matrices needed for tissue engineering and drug delivery. Prior to this invention, there was no way of producing customized collagenous proteins for these and other applications. Heretofore, collagenous proteins have been produced by use of such biological systems as yeasts, bacteria, and transgenic animals and plants. These products are normal collagens that can also be extracted from such sources as tendons, bones, and hides. These products cannot be made to consist only of biologically active, specific amino acid sequences that may be needed for specific applications. Prior to this invention, it had been established that fibrillar collagens consist of domains that are responsible for such processes as interaction with cells, binding of growth factors, and interaction with a number of structural proteins present in the extracellular matrix. A normal collagen consists of a sequence of domains that can be represented by a corresponding sequence of labels, e.g., D1D2D3D4. A collagenlike protein of the present invention contains regions of collagen II that contain multiples of a single domain (e.g., D1D1D1D1 or D4D4D4D4) chosen for its specific biological activity. By virtue of the multiplicity of the chosen domain, the density of sites having that specific biological activity is greater than it is in a normal collagen. A collagenlike protein according to this invention can thus be made to have properties that are necessary for tissue engineering.

Fertala, Andzej↗

NASA NTRS2005

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including distributed software systems, sensor networks, robot operation, complex scripts for spacecraft integration and testing, and autonomous systems. Currently available tools and methods that start with a formal model of a: system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the ciasses of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗

NASA NTRS2018

Pilot Study on the Investigation of Tear Fluid Biomarkers as an Indicator of Ocular, Neurological, and Immunological Health in Astronauts

The purpose of this pilot study is to investigate the collection, preparation, and analysis of tear biomarkers as a means of assessing ocular, neurological, and immunological health. At present, no published data exists on the cytokine profiles of tears from astronauts exposed to long periods of microgravity and space irradiations. In addition, no published data exist on cytokine (biomarker) profiles of tears that have been collected from irradiated non-human biological systems (primates and other animal models). A goal for the proposed pilot study is to discover novel tear biomarkers which can help inform researchers, clinicians, epidemiologist and healthcare providers about the health status of a living biological system, as well as informing them when a disease state is triggered. This would be done via analysis of the onset of expression of pro-inflammatory cytokines, leading up to the full progression of a disease (i.e. cancer, loss of vision, radiation-induced oxidative stress, cardiovascular disorders, fibrosis in major organs, bone loss). Another goal of this pilot study is to investigate the state of disease against proposed medical countermeasures, in order to determine whether the countermeasures are efficacious in preventing or mitigating these injuries. An example of an up and coming tear biomarker technology, Ascendant Dx, a clinical stage diagnostic company, is developing a screening test to detect breast cancer using proteins from tears. The team utilized Liquid Chromatography -Mass Spectrometry with Mass analysis (LC MS/MS) as a discovery platform followed by validation with ELISA to come up with a panel of protein biomarkers that can differentiate breast cancer samples from control ("cancer free") samples with results far surpassing the results of imaging techniques in use today. Continued research into additional proteins is underway to increase the sensitivity and specificity of the test and development efforts are on the way to transfer the test onto a fast, accurate and inexpensive point of care platform. In conclusion, the expected results from this proposed pilot study are to: a) establish an SOP for retrieving/storing/transporting tear fluid samples from multicentre sites b) establish a normal range for relevant biomarkers in tears; and c) establish a database (biobank) of tears of space naïve versus veteran astronauts, to establish a personal baseline for long-term ocular health monitoring

Morton, Stephen↗

NASA NTRS2018

Bridging the Engineering and Medicine Gap

A primary challenge NASA faces is communication between the disparate entities of engineers and human system experts in life sciences. Clear communication is critical for exploration mission success from the perspective of both risk analysis and data handling. The engineering community uses probabilistic risk assessment (PRA) models to inform their own risk analysis and has extensive experience managing mission data, but does not always fully consider human systems integration (HSI). The medical community, as a part of HSI, has been working 1) to develop a suite of tools to express medical risk in quantitative terms that are relatable to the engineering approaches commonly in use, and 2) to manage and integrate HSI data with engineering data. This talk will review the development of the Integrated Medical Model as an early attempt to bridge the communication gap between the medical and engineering communities in the language of PRA. This will also address data communication between the two entities in the context of data management considerations of the Medical Data Architecture. Lessons learned from these processes will help identify important elements to consider in future communication and integration of these two groups.

Walton, M.↗

NASA NTRS2017

Network Analysis of Rodent Transcriptomes in Spaceflight

Network analysis methods leverage prior knowledge of cellular systems and the statistical and conceptual relationships between analyte measurements to determine gene connectivity. Correlation and conditional metrics are used to infer a network topology and provide a systems-level context for cellular responses. Integration across multiple experimental conditions and omics domains can reveal the regulatory mechanisms that underlie gene expression. GeneLab has assembled rich multi-omic (transcriptomics, proteomics, epigenomics, and epitranscriptomics) datasets for multiple murine tissues from the Rodent Research 1 (RR-1) experiment. RR-1 assesses the impact of 37 days of spaceflight on gene expression across a variety of tissue types, such as adrenal glands, quadriceps, gastrocnemius, tibalius anterior, extensor digitorum longus, soleus, eye, and kidney. Network analysis is particularly useful for RR-1 -omics datasets because it reinforces subtle relationships that may be overlooked in isolated analyses and subdues confounding factors. Our objective is to use network analysis to determine potential target nodes for therapeutic intervention and identify similarities with existing disease models. Multiple network algorithms are used for a higher confidence consensus.

genomics↗

NASA NTRS2003

"Virtual Cockpit Window" for a Windowless Aerospacecraft

A software system processes navigational and sensory information in real time to generate a three-dimensional-appearing image of the external environment for viewing by crewmembers of a windowless aerospacecraft. The design of the particular aerospacecraft (the X-38) is such that the addition of a real transparent cockpit window to the airframe would have resulted in unacceptably large increases in weight and cost. When exerting manual control, an aircrew needs to see terrain, obstructions, and other features around the aircraft in order to land safely. The X-38 is capable of automated landing, but even when this capability is utilized, the crew still needs to view the external environment: From the very beginning of the United States space program, crews have expressed profound dislike for windowless vehicles. The wellbeing of an aircrew is considerably promoted by a three-dimensional view of terrain and obstructions. The present software system was developed to satisfy the need for such a view. In conjunction with a computer and display equipment that weigh less than would a real transparent window, this software system thus provides a virtual cockpit window. The key problem in the development of this software system was to create a realistic three-dimensional perspective view that is updated in real time. The problem was solved by building upon a pre-existing commercial program LandForm C3 that combines the speed of flight-simulator software with the power of geographic-information-system software to generate real-time, three-dimensional-appearing displays of terrain and other features of flight environments. In the development of the present software, the pre-existing program was modified to enable it to utilize real-time information on the position and attitude of the aerospacecraft to generate a view of the external world as it would appear to a person looking out through a window in the aerospacecraft. The development included innovations in realistic horizon-limit modeling, three-dimensional stereographic display, and interfaces for utilization of data from inertial-navigation devices, Global Positioning System receivers, and laser rangefinders.

Abernathy, Michael F.↗

NASA NTRS1998

Anion channels and the stimulation of anthocyanin accumulation by blue light in Arabidopsis seedlings

Activation of anion channels by blue light begins within seconds of irradiation in seedlings and is related to the ensuing growth inhibition. 5-Nitro-2-(3-phenylpropylamino)-benzoic acid (NPPB) is a potent, selective, and reversible blocker of these anion channels in Arabidopsis thaliana. Here we show that 20 microM NPPB blocked 72% of the blue-light-induced accumulation of anthocyanin pigments in seedlings. Feeding biosynthetic intermediates to wild-type and tt5 seedlings provided evidence that NPPB prevented blue light from up-regulating one or more steps between and including phenylalanine ammonia lyase and chalcone isomerase. NPPB was found to have no significant effect on the blue-light-induced increase in transcript levels of PAL1, CHS, CHI, or DFR, which are genes that encode anthocyanin-biosynthetic enzymes. Immunoblots revealed that NPPB also did not inhibit the accumulation of the chalcone synthase, chalcone isomerase, or flavanone-3-hydroxylase proteins. This is in contrast to the reduced anthocyanin accumulation displayed by a mutant lacking the HY4 blue-light receptor, as hy4 displayed reduced expression of the above enzymes. Taken together, the data indicate that blue light acting through HY4 leads to an increase in the amount of biosynthetic enzymes but blue light must also act through a separate, anion-channel-dependent system to create a fully functional biosynthetic pathway.

Non-NASA Center↗

NASA NTRS1996

Three-color resonance ionization spectroscopy of Zr in Si

As our society becomes technologically more complex, computers are being used in greater and greater numbers of high consequence systems. Giving a machine control over the lives of humans can be disturbing, especially if the software that is run on such a machine has bugs. Formal reasoning is one of the most powerful techniques available to demonstrate the correctness of a piece of software. When reasoning about software and its development, one frequently encounters expressions that contain partial functions. As might be expected, the presence of partial functions introduces an additional dimension of difficulty to the reasoning framework. This difficulty produces an especially strong impact in the case of high consequence systems. An ability to use formal methods for constructing software is essential if we want to obtain greater confidence in such systems through formal reasoning. This is only reasonable under automation of software development and verification. However, the ubiquitous presence of partial functions prevents a uniform application to software of any tools not specifically accounting for partial functions. In this paper we will describe a framework for reasoning about software, based on the nonstrict explicit domain approach, that is applicable to a large class of software/hardware systems. In this framework the Hoare triples containing partial functions can be reasoned about automatically in a well-defined and uniform manner.

Hansen, C. S.↗

NASA NTRS1988

Developing integrated parametric planning models for budgeting and managing complex projects

The applicability of integrated parametric models for the budgeting and management of complex projects is investigated. Methods for building a very flexible, interactive prototype for a project planning system, and software resources available for this purpose, are discussed and evaluated. The prototype is required to be sensitive to changing objectives, changing target dates, changing costs relationships, and changing budget constraints. To achieve the integration of costs and project and task durations, parametric cost functions are defined by a process of trapezoidal segmentation, where the total cost for the project is the sum of the various project cost segments, and each project cost segment is the integral of a linearly segmented cost loading function over a specific interval. The cost can thus be expressed algebraically. The prototype was designed using Lotus-123 as the primary software tool. This prototype implements a methodology for interactive project scheduling that provides a model of a system that meets most of the goals for the first phase of the study and some of the goals for the second phase.

Etnyre, Vance A.↗

NASA NTRS2014

Role of Oxidative Damage in Radiation-Induced Bone Loss

During prolonged spaceflight, astronauts are exposed to both microgravity and space radiation, and are at risk for increased skeletal fragility due to bone loss. Evidence from rodent experiments demonstrates that both microgravity and ionizing radiation can cause bone loss due to increased bone-resorbing osteoclasts and decreased bone-forming osteoblasts, although the underlying molecular mechanisms for these changes are not fully understood. We hypothesized that excess reactive oxidative species (ROS), produced by conditions that simulate spaceflight, alter the tight balance between osteoclast and osteoblast activities, leading to accelerated skeletal remodeling and culminating in bone loss. To test this, we used the MCAT mouse model; these transgenic mice over-express the human catalase gene targeted to mitochondria, the major organelle contributing free radicals. Catalase is an anti-oxidant that converts reactive species, hydrogen peroxide into water and oxygen. This animal model was selected as it displays extended lifespan, reduced cardiovascular disease and reduced central nervous system radio-sensitivity, consistent with elevated anti-oxidant activity conferred by the transgene. We reasoned that mice overexpressing catalase in mitochondria of osteoblast and osteoclast lineage cells would be protected from the bone loss caused by simulated spaceflight. Over-expression of human catalase localized to mitochondria caused various skeletal phenotypic changes compared to WT mice; this includes greater bone length, decreased cortical bone area and moment of inertia, and indications of altered microarchitecture. These findings indicate mitochondrial ROS are important for normal bone-remodeling and skeletal integrity. Catalase over-expression did not fully protect skeletal tissue from structural decrements caused by simulated spaceflight; however there was significant protection in terms of cellular oxidative damage (MDA levels) to the skeletal tissue. Furthermore, we used an array of countermeasures (Antioxidant diets and injections) to prevent the radiation-induced bone loss, although these did not prevent bone loss, analysis is ongoing to determine if these countermeasure protected radiation-induced damage to other tissues.

oxidative damage↗

NASA NTRS1994

On the strategy of future observations and modeling of the Beta Lyr system

Beta Lyr is an enigmatic object. Despite several decades of concentrated observational and theoretical effort, our understanding of the system is still rather poor. We discuss two existing structural models of the system, the massive torus model of Wilson (1981), and the low mass accretion disk model of Hubeny & Plavec (1991). In particular, we answer recent criticism of the low mass disk model expressed by the proponents of the massive disk hypothesis. We show that although both theories have a large degree of internal consistency, there are several serious physical objections against the massive disk model. In particular, such a model requires unrealistically low viscosity (large Reynolds number). Moreover, such massive disk is likely to be dynamically unstable. Finally, we propose several observational and theoretical approaches that could lead to construction of a more physically realistic model of the Beta Lyr system.

Hubeny, I.↗

NASA NTRS1990

Using expert systems to implement a semantic data model of a large mass storage system

The successful development of large volume data storage systems will depend not only on the ability of the designers to store data, but on the ability to manage such data once it is in the system. The hypothesis is that mass storage data management can only be implemented successfully based on highly intelligent meta data management services. There now exists a proposed mass store system standard proposed by the IEEE that addresses many of the issues related to the storage of large volumes of data, however, the model does not consider a major technical issue, namely the high level management of stored data. However, if the model were expanded to include the semantics and pragmatics of the data domain using a Semantic Data Model (SDM) concept, the result would be data that is expressive of the Intelligent Information Fusion (IIF) concept and also organized and classified in context to its use and purpose. The results are presented of a demonstration prototype SDM implemented using the expert system development tool NEXPERT OBJECT. In the prototype, a simple instance of a SDM was created to support a hypothetical application for the Earth Observing System, Data Information System (EOSDIS). The massive amounts of data that EOSDIS will manage requires the definition and design of a powerful information management system in order to support even the most basic needs of the project. The application domain is characterized by a semantic like network that represents the data content and the relationships between the data based on user views and the more generalized domain architectural view of the information world. The data in the domain are represented by objects that define classes, types and instances of the data. In addition, data properties are selectively inherited between parent and daughter relationships in the domain. Based on the SDM a simple information system design is developed from the low level data storage media, through record management and meta data management to the user interface.

Roelofs, Larry H.↗

DOE OSTI2024

Information-incorporated gene network construction with FDR control

Abstract Motivation Large-scale gene expression studies allow gene network construction to uncover associations among genes. To study direct associations among genes, partial correlation-based networks are preferred over marginal correlations. However, FDR control for partial correlation-based network construction is not well-studied. In addition, currently available partial correlation-based methods cannot take existing biological knowledge to help network construction while controlling FDR. Results In this paper, we propose a method called Partial Correlation Graph with Information Incorporation (PCGII). PCGII estimates partial correlations between each pair of genes by regularized node-wise regression that can incorporate prior knowledge while controlling the effects of all other genes. It handles high-dimensional data where the number of genes can be much larger than the sample size and controls FDR at the same time. We compare PCGII with several existing approaches through extensive simulation studies and demonstrate that PCGII has better FDR control and higher power. We apply PCGII to a plant gene expression dataset where it recovers confirmed regulatory relationships and a hub node, as well as several direct associations that shed light on potential functional relationships in the system. We also introduce a method to supplement observed data with a pseudogene to apply PCGII when no prior information is available, which also allows checking FDR control and power for real data analysis. Availability and implementation R package is freely available for download at https://cran.r-project.org/package=PCGII.

59 BASIC BIOLOGICAL SCIENCES↗

NASA NTRS2006

Plan Execution Interchange Language (PLEXIL)

Plan execution is a cornerstone of spacecraft operations, irrespective of whether the plans to be executed are generated on board the spacecraft or on the ground. Plan execution frameworks vary greatly, due to both different capabilities of the execution systems, and relations to associated decision-making frameworks. The latter dependency has made the reuse of execution and planning frameworks more difficult, and has all but precluded information sharing between different execution and decision-making systems. As a step in the direction of addressing some of these issues, a general plan execution language, called the Plan Execution Interchange Language (PLEXIL), is being developed. PLEXIL is capable of expressing concepts used by many high-level automated planners and hence provides an interface to multiple planners. PLEXIL includes a domain description that specifies command types, expansions, constraints, etc., as well as feedback to the higher-level decision-making capabilities. This document describes the grammar and semantics of PLEXIL. It includes a graphical depiction of this grammar and illustrative rover scenarios. It also outlines ongoing work on implementing a universal execution system, based on PLEXIL, using state-of-the-art rover functional interfaces and planners as test cases.

Estlin, Tara↗