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 1,729 records · Page 96

Knowledge-based requirements analysis for automating software development

We present a new software development paradigm that automates the derivation of implementations from requirements. In this paradigm, informally-stated requirements are expressed in a domain-specific requirements specification language. This language is machine-understable and requirements expressed in it are captured in a knowledge base. Once the requirements are captured, more detailed specifications and eventually implementations are derived by the system using transformational synthesis. A key characteristic of the process is that the required human intervention is in the form of providing problem- and domain-specific engineering knowledge, not in writing detailed implementations. We describe a prototype system that applies the paradigm in the realm of communication engineering: the prototype automatically generates implementations of buffers following analysis of the requirements on each buffer.

Markosian, Lawrence Z.↗

The Effects of Orbital Spaceflight on Human Osteoblastic Cell Physiology and Gene Expression

The purpose of the proposed study is to establish whether changes in gravitational loading have a direct effect on osteoblasts to regulate TGF-6 expression. The effects of spaceflight and reloading on TGF-B MRNA and peptide levels will be studied in a newly developed line of immortalized human fetal osteoblasts (HFOB) transfected with an SV-40 temperature dependent mutant to generate proliferating, undifferentiated hFOB cells at 33-34 C and a non-proliferating, differentiated HFOB cells at 37-39'C. Unlike previous cell culture models, HFOB cells have unlimited proliferative capacity yet can be precisely regulated to differentiate into mature cells which express mature osteoblast function. If isolated osteoblasts respond to changes in mechanical loading in a manner similar to their response in animals, the cell system could provide a powerful model to investigate the signal transduction pathway for gravitational loading.

Turner, R. T.↗

Focal adhesion kinase is involved in mechanosensing during fibroblast migration

Focal adhesion kinase (FAK) is a non-receptor protein tyrosine kinase localized at focal adhesions and is believed to mediate adhesion-stimulated effects. Although ablation of FAK impairs cell movement, it is not clear whether FAK might be involved in the guidance of cell migration, a role consistent with its putative regulatory function. We have transfected FAK-null fibroblasts with FAK gene under the control of the tetracycline repression system. Cells were cultured on flexible polyacrylamide substrates for the detection of traction forces and the application of mechanical stimulation. Compared with control cells expressing wild-type FAK, FAK-null cells showed a decrease in migration speed and directional persistence. In addition, whereas FAK-expressing cells responded to exerted forces by reorienting their movements and forming prominent focal adhesions, FAK-null cells failed to show such responses. Furthermore, FAK-null cells showed impaired responses to decreases in substrate flexibility, which causes control cells to generate weaker traction forces and migrate away from soft substrates. Cells expressing Y397F FAK, which cannot be phosphorylated at a key tyrosine site, showed similar defects in migration pattern and force-induced reorientation as did FAK-null cells. However, other aspects of F397-FAK cells, including the responses to substrate flexibility and the amplification of focal adhesions upon mechanical stimulation, were similar to that of control cells. Our results suggest that FAK plays an important role in the response of migrating cells to mechanical input. In addition, phosphorylation at Tyr-397 is required for some, but not all, of the functions of FAK in cell migration.

NASA Discipline Cell Biology↗

PCR cloning and characterization of multiple ADP-glucose pyrophosphorylase cDNAs from tomato

Four ADP-glucose pyrophosphorylase (AGP) cDNAs were cloned from tomato fruit and leaves by the PCR techniques. Three of them (agp S1, agp S2, and agp S3) encode the large subunit of AGP, the fourth one (agp B) encodes the small subunit. The deduced amino acid sequences of the cDNAs show very high identities (96-98%) to the corresponding potato AGP isoforms, although there are major differences in tissue expression profiles. All four tomato AGP transcripts were detected in fruit and leaves; the predominant ones in fruit are agp B and agp S1, whereas in leaves they are agp B and agp S3. Genomic southern analysis suggests that the four AGP transcripts are encoded by distinct genes.

Non-NASA Center↗

The Lattice and Thermal Radiation Conductivity of Thermal Barrier Coatings

The lattice and radiation conductivity of thermal barrier coatings was evaluated using a laser heat flux approach. A diffusion model has been established to correlate the apparent thermal conductivity of the coating to the lattice and radiation conductivity. The radiation conductivity component can be expressed as a function of temperature and the scattering and absorption properties of the coating material. High temperature scattering and absorption of the coating systems can also be derived based on the testing results using the modeling approach. The model prediction is found to have good agreement with experimental observations.

Zhu, Dongming↗

A Module Language for Typing by Contracts

Assume-guarantee reasoning is a popular and expressive paradigm for modular and compositional specification of programs. It is becoming a fundamental concept in some computer-aided design tools for embedded system design. In this paper, we elaborate foundations for contract-based embedded system design by proposing a general-purpose module language based on a Boolean algebra allowing to define contracts. In this framework, contracts are used to negotiate the correctness of assumptions made on the definition of a component at the point where it is used and provides guarantees to its environment. We illustrate this presentation with the specification of a simplified 4-stroke engine model.

Glouche, Yann↗

A Multi-Encoding Approach for LTL Symbolic Satisfiability Checking

Formal behavioral specifications written early in the system-design process and communicated across all design phases have been shown to increase the efficiency, consistency, and quality of the system under development. To prevent introducing design or verification errors, it is crucial to test specifications for satisfiability. Our focus here is on specifications expressed in linear temporal logic (LTL). We introduce a novel encoding of symbolic transition-based Buchi automata and a novel, "sloppy," transition encoding, both of which result in improved scalability. We also define novel BDD variable orders based on tree decomposition of formula parse trees. We describe and extensively test a new multi-encoding approach utilizing these novel encoding techniques to create 30 encoding variations. We show that our novel encodings translate to significant, sometimes exponential, improvement over the current standard encoding for symbolic LTL satisfiability checking.

Rozier, Kristin Y.↗

Spaceflight-induced Changes in Microbial Virulence and the Impact to the Host Immune Response

INTRODUCTION Over the past 50 years, many microorganisms have displayed unexpected responses relevant to infectious disease when grown in microgravity and microgravity analogue environments, including changes in stress resistance, biofilm production, antibiotic sensitivity, final cell concentration, gene expression, enhanced host-pathogen interaction, and virulence. In parallel, astronaut studies have characterized a persistent spaceflight-induced dysregulation of the human immune system; consisting of altered leukocyte distribution, reductions in T and NK cell function, altered cytokine profiles, and reactivation of latent herpesviruses. Further, astronauts have some degree of clinical incidence, primarily infectious disease episodes and atopic dermatitis. The impact of the microgravity environment on host-pathogen interactions and potential for clinical disease remains understudied and poorly characterized. SPECIFIC AIMS In this study, the following Specific Aims are being investigated, using the microbial pathogens, Salmonella enterica Enteritidis, Pseudomonas aeruginosa, Burkholderia cepacia, Streptococcus pneumoniae, and enterohemorrhagic Escherichia coli (EHEC). Aim 1: Characterize the effect of spaceflight analogue culture on microbial pathogenesis-related stress responses and in vitro host-pathogen interactions. Analyses include microbial stress responses as well as colonization and viability following pathogen challenge of three-dimensional (3-D) tissue co-culture models containing immune cells. We specifically selected obligate and opportunistic pathogens that are medically important and have been or are likely to be found aboard spacecraft. Aim 2: Characterize the effect of spaceflight analogue culture on the virulence potential of pathogenic microorganisms. Virulence will be assessed using a mouse model of infection. SIGNIFICANCE The goal of this study is to use spaceflight analogue conditions to gain insight into the breadth of medically-significant International Space Station microorganisms that have altered virulence and the impact of those changes on the immune response of the host. This information will provide critical understanding into the impact of microgravity on potential alterations in microbial virulence and associated infectious disease risk to crew health during spaceflight missions.

C M Ott↗

Thermal radiation analysis system (TRASYS)

The Thermal Radiation Analysis System, TRASYS, is a digital computer software system with generalized capability to solve the radiation-related aspects of thermal analysis problems. When used in conjunction with a generalized thermal 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: (1) internode radiation interchange data; and (2) 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. One of the primary features of TRASYS is that it 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.↗

Heterologous expression of formate dehydrogenase enables photoformatotrophy in the emerging model microalga, Picochlorum renovo

Rising global greenhouse gas emissions and the impacts of resultant climate change necessitate development and deployment of carbon capture and conversion technologies. Amongst the myriad of bio-based conversion approaches under evaluation, a formate bio-economy has recently been proposed, wherein CO 2 -derived formate serves as a substrate for concurrent carbon and energy delivery to microbial systems. To date, this approach has been explored in chemolithotrophic and heterotrophic organisms via native or engineered formatotrophy. However, utilization of this concept in phototrophic organisms has yet to be reported. Herein, we have taken the first steps to establish formate utilization in Picochlorum renovo, a recently characterized eukaryotic microalga with facile genetic tools and promising applied biotechnology traits. Plastidial heterologous expression of a formate dehydrogenase (FDH) enabled P. renovo growth on formate as a carbon and energy source. Further, FDH expression enhanced cultivation capacity on ambient CO 2 , underscoring the potential for bypass of conventional CO 2 capture and concentration limitations. This work establishes a photoformatotrophic cultivation regime that leverages light energy-driven formate utilization. The resultant photosynthetic formate platform has widespread implications for applied phototrophic cultivation systems and the bio-economy at large.

09 BIOMASS FUELS↗

Computing with a Chemical Reservoir

Contemporary computation is expensive, with large language models and artificial intelligence becoming more common in daily life. However, high-performance computing is reaching the limits in speed and energy expenditure, and domain science requires ever-increasing computational capacity, with simulations and data analysis pipelines ever-growing in complexity. As we progress towards post-exascale computation, with the associated high energy costs, new methods of energy-conscious computation are required. Novel analog and hybrid digital-analog systems can overcome these challenges, and chemical reactions offer a promising avenue. Computers based on chemistry can provide compact desktop devices with immense computational power. These devices are readily scalable by considering greater reaction systems or vessels, meeting the high-performance requirements for scientific workflows. In this article, we present ChemComp, a compilation pipeline for the conversion of ordinary differential equations into implementable chemical reactions. We then demonstrate the solving capabilities of ChemComp by emulating a potential chemical reservoir device. We leverage the multi-layer intermediate representation (MLIR) compiler framework to implement an expressive chemical reaction abstraction and propose a path for chemical reaction networks (CRNs) to represent mathematical problems effectively. Combined, we demonstrate a potential workflow that can harness chemistry’s computing power to create energy-efficient, high-performance computation systems for contemporary computing needs.

artificial intelligence↗

Factors enhancing Agrobacterium tumefaciens-mediated gene transfer in peanut (Arachis hypogaea L.)

Parameters enhancing Agrobacterium-mediated transfer of foreign genes to peanut (Arachis hypogaea L.) cells were investigated. An intron-containing beta-glucuronidase uidA (gusA) gene under the transcriptional control of CaMV 35S promoter served as a reporter. Transformation frequency was evaluated by scoring the number of sectors expressing GUS activity on leaf and epicotyl explants. The 'Valencia Select' market type cv. New Mexico was more amenable to Agrobacterium transformation than the 'runner' market type cultivars tested (Florunner, Georgia Runner, Sunrunner, or South Runner). The disarmed Agrobacterium tumefaciens strain EHA101 was superior in facilitating the transfer of uidA gene to peanut cells compared to the disarmed strain C58. Rinsing of explants in half-strength Murashige-Skoog (MS) media prior to infection by Agrobacterium significantly increased the transformation efficiency. The use of cocultivation media containing high auxin [1.0 or 2.5 mg/l (4.53 micromolar or 11.31 micromolar) 2,4-D] and low cytokinin [0.25 or 0.5 mg/l (1.0 micromolar or 2.0 micromolar) BA] promoted higher transformation than either hormone-free or thidiazuron-containing medium. The polarity of the epicotyl during cocultivation was important; explants incubated in an inverted (vertically) manner followed by a vertically upright position resulted in improved transformation and shoot regeneration frequencies. Preculture of explants in MS basal medium or with 2.5 mg thidiazuron per l prior to infection drastically decreased the number of transformed zones. The optimized protocol was used to obtain transient transformation frequencies ranging from 12% to 36% for leaf explants, 15% to 42% for epicotyls. Initial evidence of transformation was obtained by polymerase chain reaction and subsequently confirmed by Southern analysis of regenerated plants.

NASA Discipline Life Support Systems↗

NRIC Integrated Energy Systems Demonstration Pre-Conceptual Designs

This report presents pre-conceptual design scenarios for a potential multiphase demonstration program for innovative uses of nuclear energy with the National Reactor Innovation Center (NRIC) and the Crosscutting Technology Development Integrated Energy Systems (CTD IES) program in the U.S. Department of Energy’s Office of Nuclear Energy. The demonstration program would address the need for low-carbon energy sources among industry stakeholders by identifying and implementing high-impact advanced nuclear projects within a holistic systems perspective. Battelle Energy Alliance, LLC, the managing and operating contractor for the U.S. Department of Energy’s Idaho National Laboratory (INL) in Idaho Falls, Idaho, is seeking Expressions of Interest (EOI) for industry stakeholder participation in the potential demonstration program. Funding sources have not yet been identified for the demonstration program. Responses to the EOI will shape the development and funding requirements for the potential program and inform the down-selection of project designs for further planning and analysis from the wide set of pre-conceptual design scenarios shown in this report. This introductory section summarizes the need for low-carbon energy sources, describes the phases envisioned for the demonstration program, and outlines the organization of this report.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

A path-oriented matrix-based knowledge representation system

Experience has shown that designing a good representation is often the key to turning hard problems into simple ones. Most AI (Artificial Intelligence) search/representation techniques are oriented toward an infinite domain of objects and arbitrary relations among them. In reality much of what needs to be represented in AI can be expressed using a finite domain and unary or binary predicates. Well-known vector- and matrix-based representations can efficiently represent finite domains and unary/binary predicates, and allow effective extraction of path information by generalized transitive closure/path matrix computations. In order to avoid space limitations a set of abstract sparse matrix data types was developed along with a set of operations on them. This representation forms the basis of an intelligent information system for representing and manipulating relational data.

Feyock, Stefan↗

A first-in-human phase 0 clinical study of RNA interference–based spherical nucleic acids in patients with recurrent glioblastoma

Glioblastoma (GBM) is one of the most difficult cancers to effectively treat, in part because of the lack of precision therapies and limited therapeutic access to intracranial tumor sites due to the presence of the blood-brain and blood-tumor barriers. We have developed a precision medicine approach for GBM treatment that involves the use of brain-penetrant RNA interference–based spherical nucleic acids (SNAs), which consist of gold nanoparticle cores covalently conjugated with radially oriented and densely packed small interfering RNA (siRNA) oligonucleotides. On the basis of previous preclinical evaluation, we conducted toxicology and toxicokinetic studies in nonhuman primates and a single-arm, open-label phase 0 first-in-human trial ( NCT03020017 ) to determine safety, pharmacokinetics, intratumoral accumulation and gene-suppressive activity of systemically administered SNAs carrying siRNA specific for the GBM oncogene Bcl2Like12 (Bcl2L12). Patients with recurrent GBM were treated with intravenous administration of siBcl2L12-SNAs (drug moniker: NU-0129), at a dose corresponding to 1/50th of the no-observed-adverse-event level, followed by tumor resection. Safety assessment revealed no grade 4 or 5 treatment–related toxicities. Inductively coupled plasma mass spectrometry, x-ray fluorescence microscopy, and silver staining of resected GBM tissue demonstrated that intravenously administered SNAs reached patient tumors, with gold enrichment observed in the tumor-associated endothelium, macrophages, and tumor cells. NU-0129 uptake into glioma cells correlated with a reduction in tumor-associated Bcl2L12 protein expression, as indicated by comparison of matched primary tumor and NU-0129–treated recurrent tumor. Our results establish SNA nanoconjugates as a potential brain-penetrant precision medicine approach for the systemic treatment of GBM.

60 APPLIED LIFE SCIENCES↗

Economic Metrics for Commercial Reusable Space Transportation Systems

The success of any effort depends upon the effective initial definition of its purpose, in terms of the needs to be satisfied and the goals to be fulfilled. If the desired product is "A System" that is well-characterized, these high-level need and goal statements can be transformed into system requirements by traditional systems engineering techniques. The satisfaction of well-designed requirements can be tracked by fairly straightforward cost, schedule, and technical performance metrics. Unfortunately, some types of efforts, including those that NASA terms "Programs," tend to resist application of traditional systems engineering practices. In the NASA hierarchy of efforts, a "Program" is often an ongoing effort with broad, high-level goals and objectives. A NASA "project" is a finite effort, in terms of budget and schedule, that usually produces or involves one System. Programs usually contain more than one project and thus more than one System. Special care must be taken in the formulation of NASA Programs and their projects, to ensure that lower-level project requirements are traceable to top-level Program goals, feasible with the given cost and schedule constraints, and measurable against top-level goals. NASA Programs and projects are tasked to identify the advancement of technology as an explicit goal, which introduces more complicating factors. The justification for funding of technology development may be based on the technology's applicability to more than one System, Systems outside that Program or even external to NASA. Application of systems engineering to broad-based technology development, leading to effective measurement of the benefits, can be valid, but it requires that potential beneficiary Systems be organized into a hierarchical structure, creating a "system of Systems." In addition, these Systems evolve with the successful application of the technology, which creates the necessity for evolution of the benefit metrics to reflect the changing baseline. Still, economic metrics for technology development in these Programs and projects remain fairly straightforward, being based on reductions in acquisition and operating costs of the Systems. One of the most challenging requirements that NASA levies on its Programs is to plan for the commercialization of the developed technology. Some NASA Programs are created for the express purpose of developing technology for a particular industrial sector, such as aviation or space transportation, in financial partnership with that sector. With industrial investment, another set of goals, constraints and expectations are levied on the technology program. Economic benefit metrics then expand beyond cost and cost savings to include the marketability, profit, and investment return requirements of the private sector. Commercial investment criteria include low risk, potential for high return, and strategic alignment with existing product lines. These corporate criteria derive from top-level strategic plans and investment goals, which rank high among the most proprietary types of information in any business. As a result, top-level economic goals and objectives that industry partners bring to cooperative programs cannot usually be brought into technical processes, such as systems engineering, that are worked collaboratively between Industry and Government. In spite of these handicaps, the top-level economic goals and objectives of a joint technology program can be crafted in such a way that they accurately reflect the fiscal benefits from both Industry and Government perspectives. Valid economic metrics can then be designed that can track progress toward these goals and objectives, while maintaining the confidentiality necessary for the competitive process.

Shaw, Eric J.↗

Over-Expression, Purification and Crystallization of Human Dihydrolipoamide Dehydrogenase

Dehydrolipoamide dehydrogenase (E3; dihydrolipoan-tide:NAD+ oxidoreductase, EC 1.8.1.4) is a common catalytic component found in pyruvate dehydrogenase complex, alpha-ketoglutarate dehydrogenase complex, and branched-chain cc-keto acid dehydrogenase complex. E3 is also a component (referred to as L protein) of the glycine cleavage system in bacterial metabolism (2). Active E3 forms a homodimer with four distinctive subdomain structures (FAD binding, NAD+ binding, central and interface domains) with non-covalently but tightly bound FAD in the holoenzyme. Deduced amino acids from cloned full-length human E3 gene showed a total of 509 amino acids with a leader sequence (N-terminal 35 amino acids) that is excised (mature form) during transportation of expressed E3 into mitochondria membrane. So far, three-dimensional structure of human E3 has not been reported. Our effort to achieve the elucidation of the X-ray crystal structure of human E3 will be presented. Recombinant pPROEX-1 expression vector (from GIBCO BRL Life Technologies) having the human E3 gene without leader sequence was constructed by Polymerase Chain Reaction (PCR) and subsequent ligation, and cloned in E.coli XL1-Blue by transformation. Since pPROEX-1 vector has an internal His-tag (six histidine peptide) located at the upstream region of a multicloning site, one-step affinity purification of E3 using nickelnitriloacetic acid (Ni-NTA) agarose resin, which has a strong affinity to His-tag, was feasible. Also a seven-amino-acid spacer peptide and a recombinant tobacco etch virus protease recognition site (seven amino acids peptide) found between His-tag and first amino acid of expressed E3 facilitated the cleavage of His-tag from E3 after the affinity purification. By IPTG induction, ca. 15 mg of human E3 (mature form) was obtained from 1L LB culture with overnight incubation at 25C. Over 98% of purity of E3 from one-step Ni-NTA agarose affinity purification was confirmed by SDS-PAGE analysis. For crystallization, E3 samples were prepared with and without His-tag. To minimize the aggregation of E3, apo- and holo- forms of E3s were tested, as well as a mutated E3. Dynamic light scattering measurements revealed that the E3 preparations without His-tag and substrate are highly monodispersive with regard to homodimers. Consequent crystallization trials of this E3 preparation led to single crystals of E3 grown by the vapor diffusion method. Crystals were obtained within a few days from solution containing poly (ethylene glycol) monomethyl ether 5000 as a precipitant. Autoindexing and integration of the X-ray diffraction data showed that E3 crystals belong to an orthorhombic system with unit cell parameters a-- 123. 1, b= 165.3 and c=214.3A. Further optimization of protein preparation and crystallization experiments for the structural determination will be discussed.

Hong, Y. S.↗