Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “SPECIFICATIONS”

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 73 records · Page 4

Vaccination with mycobacterial lipid loaded nanoparticle leads to lipid antigen persistence and memory differentiation of antigen-specific T cells

Mycobacterium tuberculosis (Mtb) infection elicits both protein and lipid antigen-specific T cell responses. However, the incorporation of lipid antigens into subunit vaccine strategies and formulations has been underexplored, and the characteristics of vaccine-induced Mtb lipid-specific memory T cells have remained elusive. Mycolic acid (MA), a major lipid component of the Mtb cell wall, is presented by human CD1b molecules to unconventional T cell subsets. These MA-specific CD1b-restricted T cells have been detected in the blood and disease sites of Mtb-infected individuals, suggesting that MA is a promising lipid antigen for incorporation into multicomponent subunit vaccines. In this study, we utilized the enhanced stability of bicontinuous nanospheres (BCN) to efficiently encapsulate MA for in vivo delivery to MA-specific T cells, both alone and in combination with an immunodominant Mtb protein antigen (Ag85B). Pulmonary administration of MA-loaded BCN (MA-BCN) elicited MA-specific T cell responses in humanized CD1 transgenic mice. Simultaneous delivery of MA and Ag85B within BCN activated both MA- and Ag85B-specific T cells. Notably, pulmonary vaccination with MA-Ag85B-BCN resulted in the persistence of MA, but not Ag85B, within alveolar macrophages in the lung. Vaccination of MA-BCN through intravenous or subcutaneous route, or with attenuated Mtb likewise reproduced MA persistence. Moreover, MA-specific T cells in MA-BCN-vaccinated mice differentiated into a T follicular helper-like phenotype. Overall, the BCN platform allows for the dual encapsulation and in vivo activation of lipid and protein antigen-specific T cells and leads to persistent lipid depots that could offer long-lasting immune responses.

59 BASIC BIOLOGICAL SCIENCES↗

Improving Building Construction Specifications in State and Local Governments

State and local governments can benefit from master specifications systems that centralize data on all types of building materials, products, and processes. Most of these systems are organized according to the MASTERFORMAT system, which, along with guide specifications that require the insertion or deletion of standardized information, resulted from the specific needs of users and providers. For jurisdictions preparing their own specifications, staff time and cost are reduced. For those subcontracting the preparation, master specifications provide a means of evaluating the specifications submitted. Current management specification systems described include SPECINTACT, OMSPEC, MASTERPEC, and the NAVFAC, Corps of Engineers, and GSA guide specifications.

Source record↗

Formalization and visualization of domain-specific software architectures

This paper describes a domain-specific software design system based on the concepts of software architectures engineering and domain-specific models and languages. In this system, software architectures are used as high level abstractions to formulate a domain-specific software design. The software architecture serves as a framework for composing architectural fragments (e.g., domain objects, system components, and hardware interfaces) that make up the knowledge (or model) base for solving a problem in a particular application area. A corresponding software design is generated by analyzing and describing a system in the context of the software architecture. While the software architecture serves as the framework for the design, this concept is insufficient by itself for supplying the additional details required for a specific design. Additional domain knowledge is still needed to instantiate components of the architecture and develop optimized algorithms for the problem domain. One possible way to obtain the additional details is through the use of domain-specific languages. Thus, the general concept of a software architecture and the specific design details provided by domain-specific languages are combined to create what can be termed a domain-specific software architecture (DSSA).

Bailor, Paul D.↗

Antigen presentation by non-immune B-cell hybridoma clones: presentation of synthetic antigenic sites reveals clones that exhibit no specificity and clones that present only one epitope

Recently, we reported the preparation and antigen-presenting properties of hybridoma B-cell clones obtained after fusing non-secreting, non-antigen presenting Balb/c 653-myeloma cells with non-immune SJL spleen cells. It was found that antigen presentation at the clonal level can be specific or non-specific, depending on the particular B-cell clone. In the present work, one specific and one general presenter B-cell clones were tested for their epitope presentation ability to SJL T-cells that were specific to lysozyme or myoglobin. B-cell clone A1G12, a general presenter which presented both lysozyme and myoglobin to their respective T-cell lines, was found to present all five myoglobin epitopes while clone A1L16, a lysozyme specific presenter presented only one of the three epitopes of lysozyme. The latter reveals a hitherto unknown submolecular specificity (to a given epitope within a protein) for antigen presenting cells at the clonal level. Therefore, the specificity of T-cell recognition does not only derive from the T-cell but may also be dependent on the epitope specificity of the antigen-presenting B-cell.

Hybridomas/immunology↗

A Multiphysics Study to Improve Specific Energy of Primary Batteries for Low Temperature Operation for Deep Space Missions

Several lander missions on the outer planets such as Europa, Enceladus, and Titan require electrical power to operate scientific and communication equipment. The traditional power generation methods, such as a photovoltaic array, are not feasible as their efficiency drops significantly at these vast distances. The novel radioisotope power systems are not practical today based on current lander designs and the effectiveness of these systems. To perform in situ science on distant planets, a high specific energy battery (>700 Wh/kg) needs to operate for about 480 hours under cold temperatures (-40C or 0C) [1]. While a primary battery such as Li-CFx can provide high specific energy at room temperature, its specific capacity decreases significantly at low temperatures. One of the causes for this drop is low ion and electrical conductivity, and slower reaction kinetics. Slower transport and facile kinetics lead to an increase in the battery’s resistance and higher voltage drops during the cell operation, thus reducing specific capacity. Both the transport and kinetics show a strong dependence on temperature. Thus, a small temperature rise can lead to an increase in the reaction rate and ion conductivity; since the temperature, cell resistance, and specific capacity are interdependent. A conventional battery model accounts for ohmic, thermodynamic, and, electrochemical, and chemical decomposition heating. The ohmic heating can be controlled by designing a resistive microstructure and varying the ratios of the active materials [2]. The kinetics can be improved by increasing the surface area, reducing the particle size, or adding a catalyst. These parameters are often optimized to achieve high specific energy at room temperatures. A similar optimization study is not available at low temperatures and for a primary (high specific energy) battery. For this presentation, we will explore the effect of geometrical, microstructural, and material properties on optimal specific capacity at low temperatures through multiphysics simulations. The ion transport resistance depends on the porosity and the tortuosity of an electrode and the separator.

M. Mehta↗

Is the exquisite specificity of lymphocytes generated by thymic selection or due to evolution?

We have previously argued that the antigen receptors of T and B lymphocytes evolved to be sufficiently specific to avoid massive deletion of clonotypes by negative selection. Their optimal ‘specificity’ level, i.e., probability of binding any particular epitope, was shown to be inversely related to the number of self-antigens that the cells have to be tolerant to. Experiments have demonstrated that T lymphocytes also become more specific during negative selection in the thymus, because cells expressing the most crossreactive receptors have the highest likelihood of binding a self-antigen, and hence to be tolerized (i.e., deleted, anergized, or diverted into a regulatory T cell phenotype). Thus, there are two —not mutually exclusive— explanations for the exquisite specificity of T cells, one involving evolution and the other thymic selection. To better understand the impact of both, we extend a previously developed mathematical model by allowing for T cells with very different binding probabilities in the pre-selection repertoire. We confirm that negative selection tends to tolerize the most crossreactive clonotypes. As a result, the average level of specificity in the functional post-selection repertoire depends on the number of self-antigens, even if there is no evolutionary optimization of binding probabilities. However, the evolutionary optimal range of binding probabilities in the pre-selection repertoire also depends on the number of self-antigens. Species with more self antigens need more specific pre-selection repertoires to avoid excessive loss of T cells during thymic selection, and hence mount protective immune responses. We conclude that both evolution and negative selection are responsible for the high level of specificity of lymphocytes.

59 BASIC BIOLOGICAL SCIENCES↗

Position-specific carbon isotope analysis of serine by gas chromatography/Orbitrap mass spectrometry, and an application to plant metabolism

Position-specific 13 C/ 12 C ratios within amino acids remain largely unexplored in environmental samples due to methodological limitations. We hypothesized that natural-abundance isotope patterns in serine may serve as a proxy for plant metabolic fluxes including photorespiration. Here we describe an Orbitrap method optimized for the position-specific carbon isotope analysis of serine to test our hypothesis and discuss the generalizability of this method to other amino acids. Position-specific carbon isotope ratios of serine were measured using a Thermo Scientific™ Q Exactive™ GC Orbitrap™. Amino acids were hydrolyzed from Arabidopsis biomass, purified from potential matrix interferences, and derivatized alongside standards. Derivatized serine (N,O-bis(trifluoroacetyl)methyl ester) was isolated using gas chromatography, trapped in a reservoir, and purged into the electron ionization source over tens of minutes, producing fragment ions containing different combinations of atoms from the serine-derivative molecule. The 13 C/ 12 C ratios of fragments with monoisotopic masses of 110.0217, 138.0166, and 165.0037 Da were monitored in the mass analyzer and used to calculate position-specific δ 13 C values relative to a working standard. This methodology constrains position-specific δ 13 C values for nanomole amounts of serine isolated from chemically complex mixtures. The δ 13 C values of fragment ions of serine were characterized with ≤1‰ precisions, leading to propagated standard errors of 0.7–5‰ for each carbon position. Position-specific δ 13 C values differed by up to ca 28 ± 5‰ between serine molecules hydrolyzed from plants grown under contrasting pCO 2 , selected to promote different fluxes through photosynthesis and photorespiration. The method was validated using pure serine standards characterized offline. Here this study presents the first Orbitrap-based measurements of natural-abundance, position-specific carbon isotope variation in an amino acid isolated from a biological matrix. We present a method for the precise characterization of isotope ratios in serine and propose applications probing metabolism in plants. We discuss the potential for extending these approaches to other amino acids, paving the way for novel applications.

59 BASIC BIOLOGICAL SCIENCES↗

Identification of candidate host-specificity genes in Exserohilum turcicum using comparative genomics and transcriptomics

Abstract Exserohilum turcicum causes northern corn leaf blight and sorghum leaf blight. While the same species cause disease in both crops, the strains are host-specific. Here, we report the sequence and de novo annotated assemblies of one sorghum- and one maize-specific E. turcicum strain. The strains were sequenced using the PacBio Sequel II system. The total genome length for both assemblies was between 44 and 45 Mb with N50 of ∼2.5 Mb. Ninety-eight percent of the Benchmarking Universal Single-Copy Orthologs (BUSCO) for both assemblies had complete status. The estimated number of genes was 11,762 and 12,029 in the sorghum- and maize-specific isolates, respectively. Funannotate, EffectorP, SignalP, and transcriptome data were used to create functional annotation of each genome. The whole-genome comparison identified ten large-scale inversions and three translocations between the maize- and sorghum-specific strains, along with homologous genes and gene duplications. RNA was sequenced from the maize- and sorghum-specific isolate 10 days post-inoculation in maize and sorghum and from axenic cultures. Gene expression data from planta and axenic growth experiments were compared for each strain. Candidate host-specificity genes were identified by combining results from whole-genome comparison, synteny analysis, gene annotations, and transcriptome data. Overall, this study identified several candidate host-specificity genes that provide insights into E. turcicum interaction with its hosts.

Krone, Mara J. (ORCID:0000000159006624)↗

The SIFT Code Specification

The specification of Software Implemented Fault Tolerance (SIFT) consists of two parts, the specifications of the SIFT models and the specifications of the SIFT PASCAL program which actually implements the SIFT system. The code specifications are the last of a hierarchy of models describing the operation of the SIFT system and are related to the SIFT models as well as the PASCAL program. These Specifications serve to link the SIFT models to the running program. The specifications are very large and detailed and closely follow the form and organization of the PASCAL code. In addition to describing each of the components of the SIFT code, the code specifications describe the assumptions of the upper SIFT models which are required to actually prove that the code will work as specified. These constraints are imposed primarily on the schedule tables.

Source record↗

Automatic derivation of formal software specifications from informal descriptions

SPECIFIER, an interactive system which derives formal specifications of data types and programs from their informal descriptions, is described. The process of deriving formal specifications is viewed as a problem-solving process. The system uses common problem-solving techniques such as schemas, analogy, and difference-based reasoning to derive formal specifications. If an informal description is a commonly occurring operation for which the system has a schema, then the formal specification is derived by instantiating the schema. If there is no such schema, SPECIFIER tries to find a previously solved problem which is analogous to the current problem. If the problem found is directly analogous to the current problem, it applies an analogy mapping to obtain a formal specification. On the other hand, if the analogy found is only approximate, it solves the directly analogous part of the problem by analogy and performs difference-based reasoning using the remaining (unmatched) parts to transform the formal specification obtained by analogy to a formal specification for the entire original problem.

Miriyala, Kanth↗

ARIES: Acquisition of Requirements and Incremental Evolution of Specifications

This paper describes a requirements/specification environment specifically designed for large-scale software systems. This environment is called ARIES (Acquisition of Requirements and Incremental Evolution of Specifications). ARIES provides assistance to requirements analysts for developing operational specifications of systems. This development begins with the acquisition of informal system requirements. The requirements are then formalized and gradually elaborated (transformed) into formal and complete specifications. ARIES provides guidance to the user in validating formal requirements by translating them into natural language representations and graphical diagrams. ARIES also provides ways of analyzing the specification to ensure that it is correct, e.g., testing the specification against a running simulation of the system to be built. Another important ARIES feature, especially when developing large systems, is the sharing and reuse of requirements knowledge. This leads to much less duplication of effort. ARIES combines all of its features in a single environment that makes the process of capturing a formal specification quicker and easier.

Roberts, Nancy A.↗

Towards the formal specification of the requirements and design of a processor interface unit: HOL listings

This technical report contains the HOL listings of the specification of the design and major portions of the requirements for a commercially developed processor interface unit (or PIU). The PIU is an interface chip performing memory interface, bus interface, and additional support services for a commercial microprocessor within a fault-tolerant computer system. This system, the Fault-Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance-free operation, or both. This report contains the actual HOL listings of the PIU specification as it currently exists. Section two of this report contains general-purpose HOL theories that support the PIU specification. These theories include definitions for the hardware components used in the PIU, our implementation of bit words, and our implementation of temporal logic. Section three contains the HOL listings for the PIU design specification. Aside from the PIU internal bus (I-Bus), this specification is complete. Section four contains the HOL listings for a major portion of the PIU requirements specification. Specifically, it contains most of the definition for the PIU behavior associated with memory accesses initiated by the local processor.

Fura, David A.↗

System and method for deriving a process-based specification

A system and method for deriving a process-based specification for a system is disclosed. The process-based specification is mathematically inferred from a trace-based specification. The trace-based specification is derived from a non-empty set of traces or natural language scenarios. The process-based specification is mathematically equivalent to the trace-based specification. Code is generated, if applicable, from the process-based specification. A process, or phases of a process, using the features disclosed can be reversed and repeated to allow for an interactive development and modification of legacy systems. The process is applicable to any class of system, including, but not limited to, biological and physical systems, electrical and electro-mechanical systems in addition to software, hardware and hybrid hardware-software systems.

Hinchey, Michael Gerard↗

Decoding substrate specificity determining factors in glycosyltransferase-B enzymes – insights from machine learning models

Substrate specificity is an essential characteristic of any enzyme's function and an understanding of the factors that determine this specificity is crucial for enzyme engineering. Unlike the structure of an enzyme which is directly impacted by its sequence, substrate specificity as an enzyme attribute involves a rather indirect relationship with sequence as it also depends on structural aspects that dictate substrate accessibility and active site dynamics. In this study, we explore the performance of classifier-based machine learning models trained on curated sequence and structural data for a class of glycosyltransferases (GTs), namely GT-Bs, to understand their substrate specificity determining factors. GTs enable the transfer of sugar moieties to other biomolecules such as oligosaccharides or proteins and are found in all kingdoms of life. In plants, GTs participate in the biosynthesis of plant cell wall biopolymers (e.g.: hemicelluloses and pectins) and are an integral part of the enzymatic machinery that enables the storage of carbon and energy as plant biomass. To elucidate the substrate specificity of uncharacterized GT-Bs, we constructed multi-label machine learning models (Support Vector Classifier, K-Nearest Neighbors, Gaussian Naïve-Bayes, Random Forest) that incorporate both sequence and structural features. These models achieve good predictive accuracies on test datasets. However, despite our use of structural information, we highlight that there is further scope for improvement in training these models to draw interpretable relationships between sequence, structure and substrate specificity determining motifs in GT-Bs.

97 MATHEMATICS AND COMPUTING↗

Plant-specific microbial diversity facilitates functional redundancy at the soil-root interface

Abstract Aims Plant-specific microbial diversity reflecting host-microbe coevolution was frequently shown at the structural level but less on the functional scale. We studied the microbiome of three compartments at the soil root interface (root endosphere, rhizosphere, bulk soil) of medicinal plants cultivated under organic management in Egypt. The study aimed to examine the impact of the rhizosphere on microbial community composition and diversity in desert agricultural soil, as well as to identify specific functions associated with the rhizosphere. Methods The microbiome community structure, diversity, and microbial functioning were evaluated through the utilization of 16S rRNA gene amplicon and shotgun metagenome sequencing. Results We found the typical rhizosphere effect and plant-species-specific enrichment of bacterial diversity. The annual plants Calendula officinalis and Matricaria chamomilla ( Asteraceae ) were more similar than the perennial Solanum distichum ( Solanaceae ). Altogether, plant species explained 50.5% of the variation in bacterial community structures in the rhizosphere. Our results indicate a stronger effect of the plant species in terms of modulating bacterial community structures in the rhizosphere than in root endosphere samples. The plant-driven rhizosphere effect could be linked to redundant plant beneficial functions in the microbiome, while enrichment of specific genes related to amino acid ion transport and metabolism, carbohydrate transport and metabolism, defense mechanisms, and secondary metabolites biosynthesis were more specific. Conclusions The study explores the microbiome continuum at the soil-root interface of medicinal plant species, revealing significant bacterial community structure shifts and plant specificity. The study provides insights into the essential microbiome components contributing to rhizosphere functionality.

Wicaksono, Wisnu Adi (ORCID:0000000215561981)↗

Quantifying metal-binding specificity of Cc NikZ-II from Clostridium carboxidivorans in the presence of competing metal ions

Many proteins bind transition metal ions as cofactors to carry out their biological functions. Despite binding affinities for divalent transition metal ions being predominantly dictated by the Irving-Williams series for wild-type proteins, in vivo metal ion binding specificity is ensured by intracellular mechanisms that regulate free metal ion concentrations. However, a growing area of biotechnology research considers the use of metal-binding proteins in vitro to purify specific metal ions from wastewater, where specificity is dictated by the protein's metal binding affinities. A goal of metalloprotein engineering is to modulate these affinities to improve a protein's specificity towards a particular metal; however, the quantitative relationship between the affinities and the equilibrium metal-bound protein fractions depends on the underlying binding mechanisms. Here we demonstrate a high-throughput intrinsic tryptophan fluorescence quenching method to validate binding models in multi-metal solutions for CcNikZ-II, a nickel-binding protein from Clostridium carboxidivorans. Using our validated models, we quantify the relationship between binding affinity and specificity in different classes of metal-binding models for CcNikZ-II. In conclusion, we further illustrate the potential relevance of data-informed models to predicting engineering targets for improved specificity.

59 BASIC BIOLOGICAL SCIENCES↗

Modifying Specific Ion Effects: Studies of Monovalent Ion Interactions with Amines

Specific ion effects in the interactions of monovalent anions with amine groups-one of the hydrophilic moieties found in proteins-were investigated using octadecylamine monolayers floating at air–aqueous solution interfaces. Here, we find that at solution pH 5.7, larger monovalent anions induce a nonzero pressure starting at higher areas/molecules, i.e., a wider “liquid expanded” region in the monolayer isotherms. Using X-ray fluorescence at near total reflection (XFNTR), an element- and surface-specific technique, ion adsorption to the amines at pH 5.7 is confirmed to be ion-specific and to follow the conventional Hofmeister series. However, at pH 4, this ion specificity is no longer observed. We propose that at the higher pH, the amine headgroups are only partially protonated, and large polarizable ions such as iodine are better able to boost amine protonation. At the lower pH, on the other hand, the monolayer is fully protonated, and electrostatic interactions dominate over ion specificity. These results demonstrate that ion specificity can be modified by changing the experimental conditions.

36 MATERIALS SCIENCE↗

A spatio-temporally constrained gene regulatory network directed by PBX1/2 acquires limb patterning specificity via HAND2

A lingering question in developmental biology has centered on how transcription factors with widespread distribution in vertebrate embryos can perform tissue-specific functions. Here, using the murine hindlimb as a model, we investigate the elusive mechanisms whereby PBX TALE homeoproteins, viewed primarily as HOX cofactors, attain context-specific developmental roles despite ubiquitous presence in the embryo. We first demonstrate that mesenchymal-specific loss of PBX1/2 or the transcriptional regulator HAND2 generates similar limb phenotypes. By combining tissue-specific and temporally controlled mutagenesis with multi-omics approaches, we reconstruct a gene regulatory network (GRN) at organismal-level resolution that is collaboratively directed by PBX1/2 and HAND2 interactions in subsets of posterior hindlimb mesenchymal cells. Genome-wide profiling of PBX1 binding across multiple embryonic tissues further reveals that HAND2 interacts with subsets of PBX-bound regions to regulate limb-specific GRNs. Our research elucidates fundamental principles by which promiscuous transcription factors cooperate with cofactors that display domain-restricted localization to instruct tissue-specific developmental programs.

59 BASIC BIOLOGICAL SCIENCES↗