Engineering Papers⌕ Search

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.

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

At least 559 records · Page 31
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Is the food-entrainable circadian oscillator in the digestive system?

Food-anticipatory activity (FAA) is the increase in locomotion and core body temperature that precedes a daily scheduled meal. It is driven by a circadian oscillator but is independent of the suprachiasmatic nuclei. Recent results that reveal meal-entrained clock gene expression in rat and mouse peripheral organs raise the intriguing possibility that the digestive system is the site of the feeding-entrained oscillator (FEO) that underlies FAA. We tested this possibility by comparing FAA and Per1 rhythmicity in the digestive system of the Per1-luciferase transgenic rat. First, rats were entrained to daytime restricted feeding (RF, 10 days), then fed ad libitum (AL, 10 days), then food deprived (FD, 2 days). As expected FAA was evident during RF and disappeared during subsequent AL feeding, but returned at the correct phase during deprivation. The phase of Per1 in liver, stomach and colon shifted from a nocturnal to a diurnal peak during RF, but shifted back to nocturnal phase during the subsequent AL and remained nocturnal during food deprivation periods. Second, rats were entrained to two daily meals at zeitgeber time (ZT) 0400 and ZT 1600. FAA to both meals emerged after about 10days of dual RF. However, all tissues studied (all five liver lobes, esophagus, antral stomach, body of stomach, colon) showed entrainment consistent with only the night-time meal. These two results are inconsistent with the hypothesis that FAA arises as an output of rhythms in the gastrointestinal (GI) system. The results also highlight an interesting diversity among peripheral oscillators in their ability to entrain to meals and the direction of the phase shift after RF ends.

Non-NASA Center↗
NASA NTRSDate not supplied

Towards Formalization of Advanced Linear Algebra with Applications to Dynamical Systems using PVS

Linear Algebra is essential for numerous aerospace problems of interest. Formal reasoning about hybrid systems that contain variables modeled by differential equations rely on concepts from Linear Algebra such as eigenvalues, matrix decompositions, and matrix valued functions. For example, the long-term dynamics of a system of differential equations depend on the stability/instability of its equilibrium points, which often reduces to an eigenvalue problem. This talk will embark on a quest to formalize theorems and results about eigenvalues and eigenvectors using PVS. We shall start our journey with 2 x 2 complex matrices, where we will apply our PVS code to a simple example of a dynamical system. Since it can be difficult or impossible to give simple expressions of eigenvalues for larger matrices (i.e. 5 x 5 or higher), we then move towards specifying the power method for verified computation of eigenvalue approximations in PVS. This effort requires development of multivariate complex arithmetic. At the end of the day, having such additions to the PVS NASA libraries will help move towards the use of formal methods to verify concepts of control theory and system level verification.

Linear Algebra↗
NASA NTRS1983

Lidar system analysis for measurement of atmospheric species

Several important aspects of lidar are discussed, which pertain to a system analysis of the applicability of certain types of lidar to specific measurement objectives. The differential absorption lidar (DIAL) technique is emphasized. A brief treatment of the DIAL technique is followed by a discussion of the comparison of DIAL with other lidar measurement techniques. Sensitivity expressions are presented for DIAL with either direct or coherent (heterodyne) detection systems. A treatment of the fundamental similarities and differences in using the UV and IR spectral regions for species measurements, such as backscattering properties, spectral characteristics of the absorbing species, and factors relevant to the optimization of the DIAL measurement accuracy, is also included. Finally, results obtained from an existing ground-based DIAL system used to measure water vapor profiles are briefly discussed.

Menzies, R. T.↗
NASA NTRS1984

Analytical description of an imperfect Fabry-Perot etalon

A novel method is presented for the investigation of Fabry-Perot etalon defects, incorporating the effects of microsurface imperfection, bowing, and departure from parallelism, as well as the effect of finite aperture on the etalon, into the perturbation function. The tolerance imperfections of reflective layers can be incorporated into the transfer coefficients of a noncorrugated thin-film system, and any defect can be investigated either separately or in combination with others through the use of the appropriate analytical or numerical simulation of the corrugated function. In the context of numerical computation, the present method permits the simulation and evaluation of different specific situations. The expressions derived for the transfer coefficients of a corrugated, equidistant thin film system may be applicable to other branches of applied optics.

Prikryl, I.↗
NASA NTRS2002

Sucrose regulation of ADP-glucose pyrophosphorylase subunit genes transcript levels in leaves and fruits

ADP-glucose pyrophosphorylase (AGPase, EC2.7.7.27) is a key regulatory enzyme in starch biosynthesis. The enzyme is a heterotetramer with two S and two B subunits. In tomato, there are three multiple forms of the S subunit gene. Agp S1, S2 and B are highly expressed in fruit from 10 to 25 days after anthesis. Agp S3 is only weakly expressed in fruit. Sucrose significantly elevates expression of Agp S1, S2 and B in both leaves and fruits. Agp S1 exhibits the highest degree of regulation by sucrose. In fact, sucrose may be required for Agp S1 expression. For excised leaves incubated in water, no transcripts for Agp S1 could be detected in the absence of sucrose, whereas it took up to 16 h in water before transcripts were no longer detectable for Agp S2 and B. Neither Agp S3 nor the tubulin gene is affected by sucrose, demonstrating that this response is specifically regulated by a carbohydrate metabolic signal, and is not due to a general increase in metabolism caused by sucrose treatment. Truncated versions of the promoter for Agp S1 indicate that a specific region 1.3-3.0 kb upstream from the transcription site is responsible for sucrose sensitivity. This region of the S1 promoter contains several cis-acting elements present in the promoters of other genes that are also regulated by sucrose. c2002 Elsevier Science Ireland Ltd. All rights reserved.

Non-NASA Center↗
NASA NTRS1993

Phased-mission system analysis using Boolean algebraic methods

Most reliability analysis techniques and tools assume that a system is used for a mission consisting of a single phase. However, multiple phases are natural in many missions. The failure rates of components, system configuration, and success criteria may vary from phase to phase. In addition, the duration of a phase may be deterministic or random. Recently, several researchers have addressed the problem of reliability analysis of such systems using a variety of methods. A new technique for phased-mission system reliability analysis based on Boolean algebraic methods is described. Our technique is computationally efficient and is applicable to a large class of systems for which the failure criterion in each phase can be expressed as a fault tree (or an equivalent representation). Our technique avoids state space explosion that commonly plague Markov chain-based analysis. A phase algebra to account for the effects of variable configurations and success criteria from phase to phase was developed. Our technique yields exact (as opposed to approximate) results. The use of our technique was demonstrated by means of an example and present numerical results to show the effects of mission phases on the system reliability.

Somani, Arun K.↗
NASA NTRS2002

Definition of Contravariant Velocity Components

This is an old issue in computational fluid dynamics (CFD). What is the so-called contravariant velocity or contravariant velocity component? In the article, we review the basics of tensor analysis and give the contravariant velocity component a rigorous explanation. For a given coordinate system, there exist two uniquely determined sets of base vector systems - one is the covariant and another is the contravariant base vector system. The two base vector systems are reciprocal. The so-called contravariant velocity component is really the contravariant component of a velocity vector for a time-independent coordinate system, or the contravariant component of a relative velocity between fluid and coordinates, for a time-dependent coordinate system. The contravariant velocity components are not physical quantities of the velocity vector. Their magnitudes, dimensions, and associated directions are controlled by their corresponding covariant base vectors. Several 2-D (two-dimensional) linear examples and 2-D mass-conservation equation are used to illustrate the details of expressing a vector with respect to the covariant and contravariant base vector systems, respectively.

Hung, Ching-Mao↗
NASA NTRS1988

The advice taker/inquirer: A system for high-level acquisition of expert knowledge

The Advice Taker/Inquirer (AT/I) is a domain-independent program that is used to construct, monitor, and improve an expert system. In the learning phase, an expert teaches a strategy to the AT/I by providing it with declarative and procedural knowledge, expressed in the expert's domain-specific vocabulary. The expert can modify any advice given to the system earlier, and any advice dependent on the altered advice is reviewed automatically for syntatic and sematic soundness. Knowledge acquisition and methods for ensuring the integrity of the knowledge base in an expert system is discussed.

Cromp, Robert F.↗
NASA NTRS1988

The Advice Taker/Inquirer, a system for high-level acquisition of expert knowledge

The Advice Taker/Inquirer (AT/I) is a domain-independent program that is used to construct, monitor, and improve an expert system. In the learning phase, an expert teaches a strategy to the AT/I by providing it with declarative and procedural knowledge, expressed in the expert's domain-specific vocabulary. The expert can modify any advice given to the system earlier, and any advice dependent on the altered advice is reviewed automatically for syntactic and sematic soundness. Knowledge acquisition and methods for ensuring the integrity of the knowledge base in an expert system is discussed.

Cromp, Robert F.↗
NASA NTRS1977

Photometry of the Gallilean satellites

The dependence of the magnitudes and colors on both solar and orbital phase angles is derived from photometric observations of the Gallilean satellites. The rotational variations are best defined by the most recent observations; as a consequence of the complex albedo distributions on the satellites, the light curves cannot be represented by simple analytic expressions. The recent data also establish the mean magnitudes on the V photometric system to within + or - 0.02 magnitude and permit accurate geometric albedos to be derived. The dependence of magnitude on solar phase angle, and particularly at very small phase angles, is best shown by the extensive observations from 1926 and 1927. The determined rotational curves are used to reduce these data and express the phase effect in terms of a linear curve for phase angles greater than 6 deg and a quadratic curve for smaller angles. The phase dependence of these satellites is compared with that observed for other small bodies in the solar system; particularly interesting are the anomalously large phase coefficient and opposition effect of Io.

Morrison, D.↗
NASA NTRS2004

Generative Representations for Computer-Automated Design Systems

With the increasing computational power of Computers, software design systems are progressing from being tools for architects and designers to express their ideas to tools capable of creating designs under human guidance. One of the main limitations for these computer-automated design programs is the representation with which they encode designs. If the representation cannot encode a certain design, then the design program cannot produce it. Similarly, a poor representation makes some types of designs extremely unlikely to be created. Here we define generative representations as those representations which can create and reuse organizational units within a design and argue that reuse is necessary for design systems to scale to more complex and interesting designs. To support our argument we describe GENRE, an evolutionary design program that uses both a generative and a non-generative representation, and compare the results of evolving designs with both types of representations.

Hornby, Gregory S.↗
NASA NTRS2016

Network Security via Biometric Recognition of Patterns of Gene Expression

Molecular biology provides the ability to implement forms of information and network security completely outside the bounds of legacy security protocols and algorithms. This paper addresses an approach which instantiates the power of gene expression for security. Molecular biology provides a rich source of gene expression and regulation mechanisms, which can be adopted to use in the information and electronic communication domains. Conventional security protocols are becoming increasingly vulnerable due to more intensive, highly capable attacks on the underlying mathematics of cryptography. Security protocols are being undermined by social engineering and substandard implementations by IT (Information Technology) organizations. Molecular biology can provide countermeasures to these weak points with the current security approaches. Future advances in instruments for analyzing assays will also enable this protocol to advance from one of cryptographic algorithms to an integrated system of cryptographic algorithms and real-time assays of gene expression products.

cybersecurity↗
NASA NTRS2022

Towards Self-Adaptive Game Logic

Self-adaptive systems (SAS) can reconfigure at run time in response to changing situations to express acceptable behaviors in the face of uncertainty. With respect to game design, such situations may include user input, emergent behaviors, performance concerns, and combinations thereof. Typically an SAS is modeled as a feedback loop that functions within an existing system, with operations including monitoring, analyzing, planning, and executing (i.e., MAPE-K) to enable online reconfiguration. This paper presents a conceptual approach for extending software engineering artifacts to be self-adaptive within the context of game design. We have modified a game developed for creative coding education to include a MAPE-K self-adaptive feedback loop, comprising run-time adaptation capabilities and the software artifacts required to support adaptation.

Erik M. Fredericks↗
NASA NTRS2003

STS-114 Crew Interviews Eileen Collins, CDR

Commander Eileen Collins of the STS-114 space mission is seen during a pre-launch interview. She answers questions about the primary goals of the mission which are to exchange the expedition six and expedition seven crews. Also, she says that a large amount of logistics will be taken up to the International Space Station. The primary payload on this mission include: 1) The Utilization and Logistics Flight-1 (ULF-1); 2) Raffaello Multi-Purpose Logistics Module (MPLM); and 3) External Stowage Platform (ESP-2) which are all explained in detail by the Commander. The Window Observational Research Facility (WORF) rack, Human Research Facility (HRF) rack, Minus Eighty Degree Laboratory Freezer (MELF) and EXPRESS rack are the Space Station equipment to be installed on the International Space Station (I.S.S.). Collins is the Intravehicular Activity (IVA) specialist for this mission who oversees the three Extravehicular Activity (EVA)'s performed by Mission Specialists Soichi Noguchi and Stephen Robinson. The three EVA's include an external camera installation, positioning devices for an ammonia system and the installation of Floating Potential Measuring Unit (FPMU). Commander Collins expresses that she wants to have a successful mission, and also wants to see the Earth from space.

Source record↗
NASA NTRS1977

Photovoltaic, gravitationally-stabilized solid-state, satellite solar power station /GSS4PS/

The salient feature of a gravitationally-stabilized satellite solar power system (SSPS) for a photovoltaic system is that the large solar array is separated into smaller segments or subunits, joined together in a linear array oriented along the local vertical. Applicability of gravitational stabilization to the design of photovoltaic SSPS is demonstrated. Both actively controlled systems using multiple solar panels oriented to the sun and passively controlled systems requiring no sun orientation are considered and determined to be feasible. Expressions for gravity-gradient induced tension and restoring torques about the local vertical are assessed. Particular attention is directed to the applicability of solid-state approaches to the design of SSPS. It is shown that an all solid-state SSPS utilizing the LITOMIC (light-to-microwave conversion) concept is feasible but that a hybrid system employing a combination of both solid-state and cryogenic cooled low-voltage techniques to the design of the power management and distribution subsystem may also provide a solution.

Cantafio, L. J.↗
NASA NTRS1981

User's Manual: Thermal Radiation Analysis System TRASYS 2

A digital computer software system with generalized capability to solve the radiation related aspects of thermal analysis problems is presented. When used in conjunction with a generalized thermal analysis program such as the systems improved numerical differencing analyzer program, any thermal problem that can be expressed in terms of a lumped parameter R-C thermal network can be solved. The function of TRASYS is twofold. It provides: (a) Internode radiation interchange data; and (b) Incident and absorbed heat rate data from environmental radiant heat sources. Data of both types is provided in a format directly usable by the thermal analyzer programs. The system allows the user to write his own executive or driver program which organizes and directs the program library routines toward solution of each specific problem in the most expeditious manner. The user also may write his own output routines, thus the system data output can directly interface with any thermal analyzer using the R-C network concept.

Jensen, C. L.↗
NASA NTRS1988

Stability margins for Hurwitz polynomials

The authors treat the robust stability issue using the characteristic polynomial, for two different cases: first in coefficient space with respect to perturbations in the coefficient of the characteristic polynomial; and then for a control system containing perturbed parameters in the transfer function description of the plant. In coefficient space, a simple expression is first given for the l-(squared) stability margin for both the monic and nonmonic cases. Following this, a method is given to find the l(infinity) margin, and the method is extended to reveal much larger stability regions. In parameter space the authors consider all single-input (multi-output) or single-output (multi-input) systems with a fixed controller and a plant described by a set of transfer functions which are ratios of polynomials with variable coefficients. A procedure is presented to calculate the radius of the largest stability ball in the space of these variable parameters. The calculation serves as a stability margin for the control system. The formulas that result are quasi-closed-form expressions for the stability margin and are computationally efficient.

Chapellat, Herve↗