The mutual exclusion problem
Mutual exclusion or interlock problem applied to computer operations
Bredt, T. H.↗
SEARCH · Search NASA
Results for “Exclusion”
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.
Exclusive-Or digital logic module Patent
Constructing Exclusive-Or digital logic circuit in single module
Batte, W. G.↗
Astrophysical exclusion of photon-neutrino weak coupling
Photon-neutrino coupling theory of weak interactions, noting exclusion by astrophysical data for white dwarfs
Stothers, R. B.↗
Implementing Exclusive-OR Logic
Two integrated circuits, BCD-to-decimal decoder and four-input NAND gate, form basic four, input XOR circuit. Multiple-input exclusive-OR logic is implemented by combining several basic elements. 16-input XOR gate is assembled from five NAND gates and five decoders. Same principle extended to handle more inputs.
Hough, M. E.↗
Analysis of a MIL-L-27502 lubricant from a gas-turbine engine test by size-exclusion chromatography
Size exclusion chromatography was used to determine the chemical degradation of MIL-L-27502 oil samples from a gas turbine engine test run at a bulk oil temperature of 216 C. Results revealed a progressive loss of primary ester and additive depletion and the formation of higher molecular weight products with time. The high molecular weight products absorbed strongly in the ultraviolet indicating the presence of chromophoric groups.
Jones, W. R., Jr.↗
Fault detection and exclusion in multisensor navigation systems
In order for a multisensor navigation system to meet integrity requirements, there must be a way of detecting erroneous measurements, using only data from those measurements. This can be accomplished using a parity space estimation algorithm. Erroneous measurements must then be removed from the position solution; the entire process is called fault detection and exclusion (FDE). A baseline FDE algorithm has been determined, and is capable of working in real time on present affordable hardware.
Bernath, Gregory N.↗
Size Exclusion Chromatography Studies of the Initial Self-Association Steps of Chicken Egg White Lysozyme Nucleation
Nucleation is one of the least understood aspects of crystallogenesis. In the case of macromolecule nucleation, this understanding is further hampered by uncertainty over what precisely is being discussed. We define the process of solute self-association (aggregation, oligomerization, interaction, clustering, etc.) whereby n-mers (n > or = 2) having a crystallographic or nascent crystallographic arrangement leading to the critical nucleus reversibly form in the solution, to be part of the nucleation process. This reversible self-association process is a fundamental part of the nucleation process, and occurs as a function of the solute concentration. In the case of chicken egg white lysozyme, a considerable body of experimental evidence leads us to the conclusion that it also forms the crystal growth units. Size exclusion chromatography is a simple and direct method for determining the equilibrium constants for the self-association process. A Pharmacia FPLC system was used to provide accurate solution flow rates. The column, injection valve, and sample loop were all mounted within a temperature-controlled chamber. Chromatographically re-purified lysozyme was first dialyzed against the column equilibration buffer, with injection onto the column after several hours pre-incubation at the running temperature. Preliminary experiments, were carried out using a Toyopearl HW-50F column (1 x 50cm), equilibrated with 0.1 M sodium acetate, 5% sodium chloride, pH 4.6, at 15C. Protein concentrations from 0.1 to 4 mg/ml were employed (C(sub sat) = 1.2 mg/ml). The data from several different protein preparations consistently shows a progressively decreasing elution volume with increasing protein concentration, indicating that reversible self-association is occurring. The dotted line indicates the monomeric lysozyme elution volume. However, lysozyme interacts with the column matrix in these experiments, which complicates data analysis.Accordingly, we are testing silica-based HPLC columns in an effort to eliminate this problem and substantially reduce the column volume and experimental run time. The results and data analysis from these and subsequent experiments will be presented.
Ewing, Felecia↗
Propagating Resource Constraints Using Mutual Exclusion Reasoning
One of the most recent techniques for propagating resource constraints in Constraint Based scheduling is Energy Constraint. This technique focuses in precedence based scheduling, where precedence relations are taken into account rather than the absolute position of activities. Although, this particular technique proved to be efficient on discrete unary resources, it provides only loose bounds for jobs using discrete multi-capacity resources. In this paper we show how mutual exclusion reasoning can be used to propagate time bounds for activities using discrete resources. We show that our technique based on critical path analysis and mutex reasoning is just as effective on unary resources, and also shows that it is more effective on multi-capacity resources, through both examples and empirical study.
Frank, Jeremy↗
AmphiFoxQ2, a novel winged helix/forkhead gene, exclusively marks the anterior end of the amphioxus embryo
A full-length FoxQ-related gene (AmphiFoxQ2) was isolated from amphioxus. Expression is first detectable in the animal/anterior hemisphere at the mid blastula stage. The midpoint of this expression domain coincides with the anterior pole of the embryo and is offset dorsally by about 20 degrees from the animal pole. During the gastrula stage, expression is limited to the anterior ectoderm. By the early neurula stage, expression remains in the anterior ectoderm and also appears in the adjacent anterior mesendoderm. By the early larval stages, expression is detectable in the anteriormost ectoderm and in the rostral tip of the notochord. AmphiFoxQ2 is never expressed anywhere except at the anterior tip of amphioxus embryos and larvae. This is the first gene known that exclusively marks the anterior pole of chordate embryos. It may, therefore, play an important role in establishing and/or maintaining the anterior/posterior axis.
Non-NASA Center↗
Real-time three-dimensional echocardiographic study of left ventricular function after infarct exclusion surgery for ischemic cardiomyopathy
BACKGROUND: Infarct exclusion (IE) surgery, a technique of left ventricular (LV) reconstruction for dyskinetic or akinetic LV segments in patients with ischemic cardiomyopathy, requires accurate volume quantification to determine the impact of surgery due to complicated geometric changes. METHODS AND RESULTS: Thirty patients who underwent IE (mean age 61+/-8 years, 73% men) had epicardial real-time 3-dimensional echocardiographic (RT3DE) studies performed before and after IE. RT3DE follow-up was performed transthoracically 42+/-67 days after surgery in 22 patients. Repeated measures ANOVA was used to compare the values before and after IE surgery and at follow-up. Significant decreases in LV end-diastolic (EDVI) and end-systolic (ESVI) volume indices were apparent immediately after IE and in follow-up (EDVI 99+/-40, 67+/-26, and 71+/-31 mL/m(2), respectively; ESVI 72+/-37, 40+/-21, and 42+/-22 mL/m(2), respectively; P:<0.05). LV ejection fraction increased significantly and remained higher (0.29+/-0.11, 0.43+/-0.13, and 0.42+/-0.09, respectively, P:<0.05). Forward stroke volume in 16 patients with preoperative mitral regurgitation significantly improved after IE and in follow-up (22+/-12, 53+/-24, and 58+/-21 mL, respectively, P:<0.005). New York Heart Association functional class at an average 285+/-144 days of clinical follow-up significantly improved from 3.0+/-0.8 to 1.8+/-0.8 (P:<0.0001). Smaller end-diastolic and end-systolic volumes measured with RT3DE immediately after IE were closely related to improvement in New York Heart Association functional class at clinical follow-up (Spearman's rho=0.58 and 0.60, respectively). CONCLUSIONS: RT3DE can be used to quantitatively assess changes in LV volume and function after complicated LV reconstruction. Decreased LV volume and increased ejection fraction imply a reduction in LV wall stress after IE surgery and are predictive of symptomatic improvement.
Non-NASA Center↗
Nano-fabricated size exclusion chromatograph
This poster describes the development of a nano-fabricated size exclusion chromatograph (nSEC) based on the principle that molecules traveling through a microcolumn containing nano-fabricated features will have characteristics elution times that directly correlate to molecular weight.
Nanofluidics microfluidics lab-on-a-chip↗
Formation of "Chemically Pure" Magnetite from Mg-Fe-Carbonates Implications for the Exclusively Inorganic Origin of Magnetite and Sulfides in Martian Meteorite ALH84001
Magnetite and sulfides in the black rims of carbonate globules in Martian meteorite ALH84001 have been studied extensively because of the claim by McKay et al. that they are biogenic in origin. However, exclusively inorganic (abiotic) processes are able to account for the occurrence of carbonate-sulfide-magnetite assemblages in the meteorite. We have previously precipitated chemically zoned and sulfide-bearing carbonate globules analogous to those in ALH84001 (at less than or equal to 150 C) from multiple fluxes of variable-composition Ca-Mg-Fe-CO2-S-H2O solutions. Brief heating of precipitated globules to approx. 470 C produced magnetite and pyrrhotite within the globules by thermal decomposition of siderite and pyrite, respectively. We have also shown that morphology of magnetite formed by inorganic thermal decomposition of Fe-rich carbonate is similar to the morphology of so-called biogenic magnetite in the carbonate globules of ALH84001. Magnetite crystals in the rims of carbonate globules in ALH84001 are chemically pure [Note: "Chemically pure" is defined here as magnetite with Mg at levels comparable or lower than Mg detected by [8] in ALH84001 magnetite]. A debate continues on whether or not chemically pure magnetite can form by the thermal decomposition of mixed Mg-Fe-carbonates that have formed under abiotic conditions. Thomas-Keprta et al. argue that it is not possible to form Mg-free magnetite from Mg-Fe-carbonate based on thermodynamic data. We previously suggested that chemically pure magnetite could form by the thermal decomposition of relatively pure siderite in the outer rims of the globules. Mg-Fe-carbonates may also thermally decompose under conditions conducive for formation of chemically pure magnetite. In this paper we show through laboratory experiments that chemically pure magnetite can form by an inorganic process from mixed Mg-Fe-carbonates.
Golden, D. C.↗
Finding Mutual Exclusion Invariants in Temporal Planning Domains
We present a technique for automatically extracting temporal mutual exclusion invariants from PDDL2.2 planning instances. We first identify a set of invariant candidates by inspecting the domain and then check these candidates against properties that assure invariance. If these properties are violated, we show that it is sometimes possible to refine a candidate by adding additional propositions and turn it into a real invariant. Our technique builds on other approaches to invariant synthesis presented in the literature, but departs from their limited focus on instantaneous discrete actions by addressing temporal and numeric domains. To deal with time, we formulate invariance conditions that account for both the entire structure of the operators (including the conditions, rather than just the effects) and the possible interactions between operators. As a result, we construct a technique that is not only capable of identifying invariants for temporal domains, but is also able to find a broader set of invariants for non-temporal domains than the previous techniques.
Bernardini, Sara↗
Surface Passivation by Quantum Exclusion Using Multiple Layers
A semiconductor device has a multilayer doping to provide improved passivation by quantum exclusion. The multilayer doping includes a plurality M of doped layers, where M is an integer greater than 1. The dopant sheet densities in the M doped layers need not be the same, but in principle can be selected to be the same sheet densities or to be different sheet densities. M-1 interleaved layers provided between the M doped layers are not deliberately doped (also referred to as "undoped layers"). Structures with M=2, M=3 and M=4 have been demonstrated and exhibit improved passivation.
Hoenk, Michael E.↗
Surface Passivation by Quantum Exclusion Using Multiple Layers
A semiconductor device has a multilayer doping to provide improved passivation by quantum exclusion. The multilayer doping includes at least two doped layers fabricated using MBE methods. The dopant sheet densities in the doped layers need not be the same, but in principle can be selected to be the same sheet densities or to be different sheet densities. The electrically active dopant sheet densities are quite high, reaching more than 1.times.10.sup.14 cm.sup.-2, and locally exceeding 10.sup.22 per cubic centimeter. It has been found that silicon detector devices that have two or more such dopant layers exhibit improved resistance to degradation by UV radiation, at least at wavelengths of 193 nm, as compared to conventional silicon p-on-n devices.
Hoenk, Michael E.↗
Implementation of the Solar Exclusion Zone Burn Through Maneuvers for DSCOVR to Preserve Fuel for the Gyro-less Spacecraft in a Sun-Earth L1 Lissajous Orbit
DSCOVR (Deep Space Climate Observatory) is a National Oceanic and Atmos-pheric Administration (NOAA) space weather, space climate, and Earth obser-vation satellite operating in a Sun-Earth L1 Lissajous orbit. This report summa-rizes the two-burn maneuver campaign performed in Summer 2021 to transfer DSCOVR from the collapsing phase into the expansion phase of the Lissajous orbit to avoid the Solar Exclusion Zone (SEZ). The two-maneuver campaign performed in July and August 2021 was successful and resulted in saving the mission 31 kilograms of fuel and 100 m/s of delta-v reserved for SEZ maneu-vers which are no longer required until 2026 or 2027.
DSCOVR↗
Guidance on Emergency Repair and Restoration Vehicle Exclusions
Guidance on how to apply for Emergency Repair and Restoration Vehicle Exclusions.
33 ADVANCED PROPULSION SYSTEMS↗
Foreign material exclusion plug for structural threads with breakaway tab
A foreign material exclusion plug is disclosed. The foreign material plug includes a cylindrical body, a slot, and a breakaway tab. The cylindrical body includes an externally-threaded cylindrical structure. The slot is formed in the cylindrical body extending into the cylindrical body from a top surface of the cylindrical body. The breakaway tab is connected to the cylindrical body and extends outwards from the top surface.
Cole, Robert N.↗