Results for “expression systems” — Page 25

NASA NTRS2003

Carbon-Based Wear Coatings: Properties and Applications

The technical function of numerous engineering systems - such as vehicles, machines, and instruments - depends on the processes of motion and on the surface systems. Many processes in nature and technology depend on the motion and dynamic behavior of solids, liquids, and gases. Smart surface systems are essential because of the recent technological push toward higher speeds, loads, and operating temperatures; longer life; lighter weight and smaller size (including nanotechnology); and harsh environments in mechanical, mechatronic, and biomechanical systems. If proper attention is not given to surface systems, then vehicles, machines, instruments, and other technical systems could have short lives, consume excessive energy, experience breakdowns, result in liabilities, and fail to accomplish their missions. Surface systems strongly affect our national economy and our lifestyles. At the NASA Glenn Research Center, we believe that proper attention to surface systems, especially in education, research, and application, could lead to economic savings of between 1.3 and 1.6 percent of the gross domestic product. Wear coatings and surface systems continue to experience rapid growth as new coating and surface engineering technologies are discovered, more cost-effective coating and surface engineering solutions are developed, and marketers aggressively pursue, uncover, and exploit new applications for engineered surface systems in cutting tools and wear components. Wear coatings and smart surface systems have been used widely in industrial, consumer, automotive, aerospace, and biomedical applications. This presentation expresses the author's views of and insights into smart surface systems in wear coatings. A revolution is taking place in carbon science and technology. Diamond, an allotrope of carbon, joins graphite, fullerenes, and nanotubes as its major pure carbon structures. It has a unique combination of extreme properties: hardness and abrasion resistance; adhesion and friction; thermal conductivity; chemical and thermal inertness; corrosion and wear resistance; radiation resistance and biocompatibility; electronic, acoustic, and electrochemical characteristics; and environmental compatibility. These properties make diamond attractive for a wide range of diverse applications. In particular, chemical-vapor-deposited (CVD) diamond coatings offer a broad potential, since size and cost are not as limiting. The production of large, superhard diamond films or sheets at low cost make designer materials possible. This presentation is divided into two sections: properties and applications of hard coatings. The first section is concerned with the fundamental properties of the surfaces of CVD diamonds and related materials. The surface properties of hard coatings with favorable coefficients of friction (less than or equal to 0.1) and dimensional wear coefficients (less than or equal to 10(exp -6) cubic millimeters/N.m) in specific environments are discussed. The second section is devoted to applications. Examples of actual, successful applications and of potential challenging applications of the coatings.such as CVD diamond, diamondlike carbon, and cubic boron nitride-are described. Cutting tools coated with CVD diamond are of immediate commercial interest. Other applications, such as microelectromechanical systems (MEMS), valves, and bearings of CVD diamond, are being developed, but at a slow pace. There is a continually growing interest in commercializing diamondlike carbon for wear parts applications, such as biomedical parts and implants, forming dies, transport guides, magnetic tapes and disks, valves, and gears. Cubic boron nitride films are receiving attention because they can be used on tools to machine ferrous materials or on wear parts in sliding contact with ferrous materials.

Miyoshi, Kazuhisa↗

NASA NTRS1996

Sense and antisense transcripts of the developmentally regulated murine hsp70.2 gene are expressed in distinct and only partially overlapping areas in the adult brain

We have examined the spatial pattern of expression of a member of the hsp70 gene family, hsp70.2, in the mouse central nervous system. Surprisingly, RNA blot analysis and in situ hybridization revealed abundant expression of an 'antisense' hsp70.2 transcript in several areas of adult mouse brain. Two different transcripts recognized by sense and antisense riboprobes for the hsp70.2 gene were expressed in distinct and only partially overlapping neuronal populations. RNA blot analysis revealed low levels of the 2.7 kb transcript of hsp70.2 in several areas of the brain, with highest signal in the hippocampus. Abundant expression of a slightly larger (approximately 2.8 kb) 'antisense' transcript was detected in several brain regions, notably in the brainstem, cerebellum, mesencephalic tectum, thalamus, cortex, and hippocampus. In situ hybridization revealed that the sense and antisense transcripts were both predominantly neuronal and localized to the same cell types in the granular layer of the cerebellum, trapezoid nucleus of the superior olivary complex, locus coeruleus and hippocampus. The hsp70.2 antisense transcripts were particularly abundant in the frontal cortex, dentate gyrus, subthalamic nucleus, zona incerta, superior and inferior colliculi, central gray, brainstem, and cerebellar Purkinje cells. Our findings have revealed a distinct cellular and spatial localization of both sense and antisense transcripts, demonstrating a new level of complexity in the function of the heat shock genes.

NASA Discipline Developmental Biology↗

NASA NTRS2016

Exposing Hidden Parts of the SE Process: MBSE Patterns and Tools for Tracking and Traceability

An interesting benefit of applying Model-Based Systems Engineering (MBSE) is that the rigor and coordination intrinsic to MBSE forces us to apply Systems Engineering to our own traditional activities, processes, and products, which results in richer, more expressive models, more powerful reasoning, and a clearer and more effective Systems Engineering (SE) process. Our MBSE frameworks and languages contain semantic richness sufficient to describe our systems at any particular point in time, often with an emphasis on the description of the system at major milestones. This is unarguably a real asset. However, when we apply MBSE in service of missions that are in development, rapidly evolving, of a larger scale, and where interpersonal communication is a critical part of the design process, we discover that our frameworks and languages are still not quite rich enough to enable us to ask the kinds of questions and get the kinds of answers we want in order to address the concerns of day to day work. This paper will discuss some patterns and tools we have developed to help address some of the not-always-explicit SE concerns that we have identified through our MBSE work. Particularly, this paper will discuss flexible yet practical methods for defining and capturing maturity, workflow, and agreement traceability within our system models, extensible ways to perform and track model audits, and ways to report and interact with this knowledge in the context of MBSE applied to support NASA’s Europa Project.

Jackson, Maddalena↗

NASA NTRS2016

Exposing Hidden Parts of the SE Process: MBSE Patterns and Tools for Tracking and Traceability

An interesting benefit of applying Model-Based Systems Engineering (MBSE) is that the rigor and coordination intrinsic to MBSE forces us to apply Systems Engineering to our own traditional activities, processes, and products, which results in richer, more expressive models, more powerful reasoning, and a clearer and more effective Systems Engineering (SE) process. Our MBSE frameworks and languages contain semantic richness sufficient to describe our systems at any particular point in time, often with an emphasis on the description of the system at major milestones. This is unarguably a real asset. However, when we apply MBSE in service of missions that are in development, rapidly evolving, of a larger scale, and where interpersonal communication is a critical part of the design process, we discover that our frameworks and languages are still not quite rich enough to enable us to ask the kinds of questions and get the kinds of answers we want in order to address the concerns of day to day work. This paper will discuss some patterns and tools we have developed to help address some of the not-always-explicit SE concerns that we have identified through our MBSE work. Particularly, this paper will discuss flexible yet practical methods for defining and capturing maturity, workflow, and agreement traceability within our system models, extensible ways to perform and track model audits, and ways to report and interact with this knowledge in the context of MBSE applied to support NASA’s Europa Project

Jackson, Maddalena↗

NASA NTRSDate not supplied

xPLSS Structural Backplate Design, Manufacture, and Test Overview

NASA Johnson Space Center (JSC) has been developing and building a new detailed design of the Exploration Extravehicular Mobility Unit (xEMU) space suit to support future International Space Station (ISS) and Lunar Artemis missions. The Exploration Portable Life Support System (xPLSS) of the xEMU contains some clever new technologies to meet the requirements to provide Extra Vehicular Activity (EVA) capability on the ISS and the Moon. The suit must interface with and fit through ports and airlocks of at least three vehicles: ISS, Human Landing System (HLS), and Gateway. The first partial xPLSS experimental flight unit called SWME EXPRESS Rack Flight Experiment (SERFE) that was a rack-deployed thermal control system payload on the ISS for two years (2020-2022). The first complete assembly of the xEMU was built as a Design Verification Test (DVT) unit (2022); similar to but more extensive than an Engineering Development Unit (EDU). The xPLSS Backplate serves not only as the structural backbone of the xPLSS and SERFE systems but also contains innovative design features to reduce the: mass, complexity, parts count, number ofseals (and therefore leak potential), and outer dimensions of the entire assembly. This paper provides an overview of these new design features, manufacturing processes, system interfaces, and SERFE/DVT test results of the Backplate as part of the xPLSS/xEMU.

xPLSS↗

NASA NTRS2023

xPLSS Structural Backplate Design, Manufacture, and Test Overview

NASA Johnson Space Center (JSC) has been developing and building a new detailed design of the Exploration Extravehicular Mobility Unit (xEMU) space suit to support future International Space Station (ISS) and Lunar Artemis missions. The Exploration Portable Life Support System (xPLSS) of the xEMU contains some clever new technologies to meet the requirements to provide Extra Vehicular Activity (EVA) capability on the ISS and the Moon. The suit must interface with and fit through ports and airlocks of at least three vehicles: ISS, Human Landing System (HLS), and Gateway. The first partial xPLSS experimental flight unit called SWME EXPRESS Rack Flight Experiment (SERFE) that was a rack-deployed thermal control system payload on the ISS for two years (2020-2022). The first complete assembly of the xEMU was built as a Design Verification Test (DVT) unit (2022); similar to but more extensive than an Engineering Development Unit (EDU). The xPLSS Backplate serves not only as the structural backbone of the xPLSS and SERFE systems but also contains innovative design features to reduce the: mass, complexity, parts count, number ofseals (and therefore leak potential), and outer dimensions of the entire assembly. This paper provides an overview of these new design features, manufacturing processes, system interfaces, and SERFE/DVT test results of the Backplate as part of the xPLSS/xEMU.

xPLSS↗

NASA NTRS2006

Coherent Optical Focal Plane Array Receiver for PPM Signals: Investigation and Applications

The performance of a coherent optical focal plane array receiver for PPM signals under atmospheric turbulence is investigated and applications of this system are addressed. The experimental demonstration of this project has already been explained in previous publications [1]. This article shows a more exhaustive analysis of the expressions needed to obtain the Bit Error Rate (BER) for the real system under study in the laboratory. Selected experimental results of this system are described and compared with theoretical BER expressions, and array combining gains are presented. Receiver sensitivity in terms of photons per bit (PPB) is examined; BER results are shown as a function of signal to noise ratios, (SNR), as well as a function of photons per symbol, and photons per bit.

shot noise limited↗

NASA NTRS1976

Comparative performance of solar thermal power generation concepts

A performance comparison is made between the central receiver system (power tower) and a distributed system using either dishes or troughs and lines to transport fluids to the power station. These systems were analyzed at a rated capacity of 30 MW of thermal energy delivered in the form of superheated steam at 538 C (1000 F) and 68 atm (1000 psia), using consistent weather data, collector surface waviness, pointing error, and electric conversion efficiency. The comparisons include technical considerations for component requirements, land utilization, and annual thermal energy collection rates. The relative merits of different representative systems are dependent upon the overall conversion as expressed in the form of performance factors in this paper. These factors are essentially indices of the relative performance effectiveness for different concepts based upon unit collector area. These performance factors enable further economic tradeoff studies of systems to be made by comparing them with projected production costs for these systems.

Wen, L.↗

NASA NTRS2019

Analytic Spacecraft Attitude and Rate Estimation Performance During Attitude Sensor Outages

Analytic expressions for spacecraft attitude and rate estimation performance of an attitude estimation filter in terms of sensor specifications are useful tools for spacecraft design. Farrenkopf (1978) famously found analytic expressions for steady-state pre-update and post-update attitude and gyro bias estimate error variances for an attitude estimation filter for a single-axis spacecraft with a Rate Output Gyro (ROG). Markley and Reynolds (2000) extended the analysis for a Rate-Integrating Gyro (RIG) with angle white noise. These expressions allow for the rapid evaluation of system performance during preliminary mission design phases. One contribution of this paper is the analytic calculation of the steady-state pre-update and post-update angular rate estimate uncertainty for both the ROG and RIG cases. The primary contribution of this paper is the extension of the results for both the ROG and the RIG cases to the situation of an attitude sensor outage. This situation arises frequently in practice; for example when a star sensor’s field of view is occluded, when a star sensor’s readings are unreliable during a thruster burn that vibrates the spacecraft, or during star sensor outages due to radiation upsets. Analytic expressions for the attitude estimate uncertainty, gyro bias estimate uncertainty, and angular rate estimate uncertainty are given in terms of the attitude sensor outage interval, the star tracker measurement noise, and gyro noise parameters. Validity of the analytic results is demonstrated via Monte Carlo simulation.

Galante, Joseph M.↗

NASA NTRS2019

Analytic Spacecraft Attitude and Rate Estimation Performance During Attitude Sensor Outages

Analytic expressions for spacecraft attitude and rate estimation performance of an attitude estimation filter in terms of sensor specifications are useful tools for spacecraft design. Farrenkopf (1978) famously found analytic expressions for steady-state pre-update and post-update attitude and gyro bias estimate error variances for an attitude estimation filter for a single-axis spacecraft with a Rate Output Gyro (ROG). Markley and Reynolds (2000) extended the analysis for a Rate-Integrating Gyro (RIG) with angle white noise. These expressions allow for the rapid evaluation of system performance during preliminary mission design phases. One contribution of this paper is the analytic calculation of the steady-state pre-update and post-update angular rate estimate uncertainty for both the ROG and RIG cases. The primary contribution of this paper is the extension of the results for both the ROG and the RIG cases to the situation of an attitude sensor outage. This situation arises frequently in practice; for example when a star sensor’s field of view is occluded, when a star sensor’s readings are unreliable during a thruster burn that vibrates the spacecraft, or during star sensor outages due to radiation upsets. Analytic expressions for the attitude estimate uncertainty, gyro bias estimate uncertainty, and angular rate estimate uncertainty are given in terms of the attitude sensor outage interval, the star tracker measurement noise, and gyro noise parameters. Validity of the analytic results is demonstrated via Monte Carlo simulation.

Galante, Joseph M.↗

NASA NTRS2013

From STEM to STEAM: Toward a Human-Centered Education

The 20th century was based on local linear engineering of complicated systems. We made cars, airplanes and chemical plants for example. The 21st century has opened a new basis for holistic non-linear design of complex systems, such as the Internet, air traffic management and nanotechnologies. Complexity, interconnectivity, interaction and communication are major attributes of our evolving society. But, more interestingly, we have started to understand that chaos theories may be more important than reductionism, to better understand and thrive on our planet. Systems need to be investigated and tested as wholes, which requires a cross-disciplinary approach and new conceptual principles and tools. Consequently, schools cannot continue to teach isolated disciplines based on simple reductionism. Science; Technology, Engineering, and Mathematics (STEM) should be integrated together with the Arts1 to promote creativity together with rationalization, and move to STEAM (with an "A" for Arts). This new concept emphasizes the possibility of longer-term socio-technical futures instead of short-term financial predictions that currently lead to uncontrolled economies. Human-centered design (HCD) can contribute to improving STEAM education technologies, systems and practices. HCD not only provides tools and techniques to build useful and usable things, but also an integrated approach to learning by doing, expressing and critiquing, exploring possible futures, and understanding complex systems.

Boy, Guy A.↗

NASA NTRS1977

Computer simulations of planetary accretion dynamics - Sensitivity to initial conditions

A computer simulation program which generates mature planetary systems using only Newtonian physics and accretion with unit sticking efficiency is examined. The dependence of the simulation on a variety of radial and vertical density distribution laws, on the ratio of gas to dust in the solar nebula, on the total nebular mass, and on the orbital eccentricity of the accreting grains is explored. To approach physically realistic models, these parameters are altered according to various empirically- and theoretically-suggested criteria. The program is found to generate many recognizable planetary systems, including multiple-star systems with accompanying planets; single stars surrounded only by asteroids; and systems with large Jovian planets, planets similar to Pluto, or objects of asteroidal mass, as well as the usual terrestrial planets. Planetary spacing in the simulation obeys a relation of the Titius Bode variety; in general, the number of planets per system is inversely proportional to the orbital eccentricity. Some reservations about the simulation program are expressed; however, it does support the idea of abundant and diverse planetary systems throughout the galaxy.

Isaacman, R.↗

NASA NTRS1993

The mechanosensory calcium-selective ion channel: key component of a plasmalemmal control centre?

Mechanosensory calcium-selective ion channels probably serve to detect not only mechanical stress but also electrical, thermal, and diverse chemical stimuli. Because all stimuli result in a common output, most notably a shift in second messenger calcium concentration, the channels are presumed to serve as signal integrators. Further, insofar as second messenger calcium in turn gives rise to mechanical, electrical, and diverse chemical changes, the channels are postulated to initiate regulatory feedbacks. It is proposed that the channels and the feedback loops play a wide range of roles in regulating normal plant function, as well as in mediating disturbance of normal function by environmental stressors and various pathogens. In developing evidence for the physiological performance of the channel, a model for a cluster of regulatory plasmalemmal proteins and cytoskeletal elements grouped around a set of wall-to-membrane and transmembrane linkers has proved useful. An illustration of how the model might operate is presented. It is founded on the demonstration that several xenobiotics interfere both with normal channel behaviour and with gravitropic reception. Accordingly, the first part of the illustration deals with how the channels and the control system within which they putatively operate might initiate gravitropism. Assuming that gravitropism is an asymmetric expression of growth, the activities of the channels and the plasmalemmal control system are extrapolated to account for regulation of both rate and allometry of cell expansion. Finally, it is discussed how light, hormones, redox agents and herbicides could in principle affect growth via the putative plasmalemmal control cluster or centre.

NASA Program Space Biology↗

NASA NTRS2010

Radiation Exposure Alters Expression of Metabolic Enzyme Genes In Mice

Most pharmaceuticals are metabolized by the liver. The health of the liver, especially the rate of its metabolic enzymes, determines the concentration of circulating drugs as well as the duration of their efficacy. Because of the importance of the liver in drug metabolism it is important to understand the effects of spaceflight on the enzymes of the liver. Exposure to cosmic radiation is one aspect of spaceflight that can be modeled in ground experiments. This study is an effort to examine the effects of adaptive mechanisms that may be triggered by early exposure to low radiation doses. Using procedures approved by the JSC Animal Care & Use Committee, C57 male mice were exposed to Cs-137 in groups: controls, low dose (50 mGy), high dose (6Gy) and a fourth group that received both radiation doses separated by 24 hours. Animals were anesthetized and sacrificed 4 hours after their last radiation exposure. Livers were removed immediately and flash-frozen in liquid nitrogen. Tissue was homogenized, RNA extracted and purified (Absolutely RNA, Agilent). Quality of RNA samples was evaluated (Agilent Bioanalyzer 2100). Complementary DNA was prepared from high-quality RNA samples, and used to run RT-qPCR screening arrays for DNA Repair and Drug Metabolism (SuperArray, SABiosciences/Qiagen; BioRad Cfx96 qPCR System). Of 91 drug metabolism genes examined, expression of 7 was altered by at least one treatment condition. Genes that had elevated expression include those that metabolize promethazine and steroids (4-8-fold), many that reduce oxidation products, and one that reduces heavy metal exposure (greater than 200-fold). Of the 91 DNA repair and general metabolism genes examined, expression of 14 was altered by at least one treatment condition. These gene expression changes are likely homeostatic and could lead to development of new radioprotective countermeasures.

Wotring, Virginia E.↗

DOE OSTI2024

The endocannabinoid system in bovine tissues: characterization of transcript abundance in the growing Holstein steer

Abstract Background The endocannabinoid system (ECS) is highly integrated with seemingly all physiological and pathophysiological processes in the body. There is increasing interest in utilizing bioactive plant compounds, for promoting health and improving production in livestock. Given the established interaction between phytochemicals and the ECS, there are many opportunities for identification and development of therapies to address a range of diseases and disorders. However, the ECS has not been thoroughly characterized in cattle, especially in the gastrointestinal tract. The objective of this study was to characterize the distribution and transcriptional abundance of genes associated with the endocannabinoid system in bovine tissues. Methods Tissues including brain, spleen, thyroid, lung, liver, kidney, mesenteric vein, tongue, sublingual mucosa, rumen, omasum, duodenum, jejunum, ileum and colon were collected from 10-mo old Holstein steers (n = 6). Total RNA was extracted and gene expression was measured using absolute quantification real time qPCR. Gene expression of endocannabinoid receptorsCNR1andCNR2, synthesis enzymesDAGLA,DAGLBandNAPEPLD, degradation enzymesMGLLandFAAH, and transient receptor potential vanilloidsTRPV3andTRPV6was measured. Data were analyzed in R using a Kruskal-Wallis followed by a Wilcoxon rank-sum test. Results are reported as the median copy number/20 ng of equivalent cDNA (CN) with interquartile range (IQR). Results The greatest expression ofCNR1andCNR2was in the brain and spleen, respectively. Expression of either receptor was not detected in any gastrointestinal tissues, however there was a tendency (P = 0.095) forCNR2to be expressed above background in rumen. Expression of endocannabinoid synthesis and degradation enzymes varied greatly across tissues. Brain tissue had the greatestDAGLAexpression at 641 CN (IQR 52;P ≤ 0.05).DAGLBwas detected in all tissues, with brain and spleen having the greatest expression (P ≤ 0.05). Expression ofNAPEPLDin the gastrointestinal tract was lowest in tongue and sublingual mucosal. There was no difference in expression ofNAPEPLDbetween hindgut tissues, however these tissues collectively had 592% greater expression than rumen and omasum (P ≤ 0.05). WhileMGLLwas found to be expressed in all tissues, expression ofFAAHwas only above the limit of detection in brain, liver, kidney, jejunum and ileum.TRPV3was expressed above background in tongue, rumen, omasum and colon. Although not different from each other, thyroid and duodenum had the greatest expression ofTRPV6, with 285 (IQR 164) and 563 (IQR 467) CN compared to all other tissues (P < 0.05). Conclusions These data demonstrate the complex distribution and variation of the ECS in bovine tissues. Expression patterns suggest that regulatory functions of this system are tissue dependent, providing initial insight into potential target tissues for manipulation of the ECS.

Veterinary Sciences↗

DOE OSTI2024

Carbon Negative Synthesis of Amino Acids Using a Cell-Free-Based Biocatalyst

Biological systems can directly upgrade carbon dioxide (CO 2 ) into chemicals. The CO 2 fixation rate of autotrophic organisms, however, is too slow for industrial utility, and the breadth of engineered metabolic pathways for the synthesis of value-added chemicals is too limited. Biotechnology workhorse organisms with extensively engineered metabolic pathways have recently been engineered for CO 2 fixation. Yet, their low carbon fixation rate, compounded by the fact that living organisms split their carbon between cell growth and chemical synthesis, has led to only cell growth with no chemical synthesis achieved to date. Here, we engineer a lysate-based cell-free expression (CFE)-based multienzyme biocatalyst for the carbon negative synthesis of the industrially relevant amino acids glycine and serine from CO 2 equivalents–formate and bicarbonate–and ammonia. The formate-to-serine biocatalyst leverages tetrahydrofolate (THF)-dependent formate fixation, reductive glycine synthesis, serine synthesis, and phosphite dehydrogenase-dependent NAD(P)H regeneration to convert 30% of formate into serine and glycine, surpassing the previous 22% conversion using a purified enzyme system. We find that (1) the CFE-based biocatalyst is active even after 200-fold dilution, enabling higher substrate loading and product synthesis without incurring additional cell lysate cost, (2) NAD(P)H regeneration is pivotal to driving forward reactions close to thermodynamic equilibrium, (3) balancing the ratio of the formate-to-serine pathway genes added to the CFE is key to improving amino acid synthesis, and (4) efficient THF recycling enables lowering the loading of this cofactor, reducing the cost of the CFE-based biocatalyst. To our knowledge, this is the first synthesis of amino acids that can capture CO 2 equivalents for the carbon negative synthesis of amino acids using a CFE-based biocatalyst. Looking ahead, the CFE-based biocatalyst process could be extended beyond serine to pyruvate, a key intermediate, to access a variety of chemicals from aromatics and terpenes to alcohols and polymers.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2024

Design and Characterization of a Transcriptional Repression Toolkit for Plants

Regulation of gene expression is essential for all life. Tools to manipulate the gene expression level have therefore proven to be very valuable in efforts to engineer biological systems. However, there are few well-characterized genetic parts that reduce gene expression in plants, commonly known as transcriptional repressors. We characterized the repression activity of a library consisting of repression motifs from approximately 25% of the members of the largest known family of repressors. Combining sequence information with our trans-regulatory function data, we next generated a library of synthetic transcriptional repression motifs with function predicted in advance. After characterizing our synthetic library, we demonstrated not only that many of our synthetic constructs were functional as repressors but also that our advance predictions of repression strength were better than random guesses. Finally, we assessed the functionality of known transcriptional repression motifs from a wide range of eukaryotes. Our study represents the largest plant repressor motif library experimentally characterized to date, providing unique opportunities for tuning transcription in plants.

59 BASIC BIOLOGICAL SCIENCES↗

DOE OSTI2026

Resilience Through Data-Driven, Intelligent Designed Control: A Formal Methods Approach

The PNNL and GTRI team developed a strategy to integrate temporal logic rule specification for detection of cyber-intrusion in the source code and control algorithms of CPS using advanced cyber-data. The GTRI team utilized its capabilities in rule synthesis and temporal logic specifications for software assurance and verification to detect and predict impact of cyber-intrusions and malware in the computational and control algorithms of cyber-physical systems. The team also developed a testing and verification approach that could be used to validate the suggested approach against a realistic use-case CPS showcasing improvements in system impact prediction performance. Temporal logic offers a compact expression of events in absolute and relative time and has a formalized translation to state machines. As such, temporal logic rules can feasibly be synthesized to any system as a rule engine, with the process being formally verified to be correct. The goal here is to utilize temporal logic rules to detect cyber-attacks and manipulations in the computational algorithms and provide real-time software assurance and verification guarantees.

97 MATHEMATICS AND COMPUTING↗