Search NASA⌕ Search

SEARCH · Search NASA

Results for “LOGIC PROGRAMMING”

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,045 records · Page 58

Identification and mitigation of memory block timing issue in ITk ABCStar during ASIC production

The ABCStar is a mixed-signal front-end readout ASIC for the strips sensor portion of the ATLAS ITk detector being developed as part of the High-Luminosity LHC upgrade. In pre-production testing, a subtle design flaw was uncovered in the ABCStar that was reducing wafer yields in some manufactured lots from the expected 90% to as low as 2%. The root cause was determined to be a timing issue in the logic synthesized to control previously silicon proven memory blocks re-used for this ASIC. The solutions proposed included manufacturing process changes by the wafer foundry, changes to the operating parameters for the ABCStar in the detector, and the possibility that a redesign might be required. The two mitigation efforts were undertaken in parallel, with the process modification route a less desirable solution since already manufactured wafers would need to be scrapped in favour of the new ones. Based on a knowledge of the existing process, and testing done on the worst performing wafers, it was proposed that raising the core operating voltage of the ABCStar from 1.20V to 1.25V could address the timing issue by sufficiently speeding up its transistors. An extensive testing program that included the effects of temperature and radiation expected over the lifetime of the ITk detector was conducted to validate that approach. Those tests and studies proved that even the worst performing wafers would have yields over 80% with the 1.25V core voltage, and neither the modified process nor redesign would be required for ensuring reliable operation of the ITk. Based on testing, a further timing mitigation was implemented to provide an additional margin of reliability by increasing the duty cycle of the clock to the ABCStar. Testing of all ABCStar wafers has been completed and the production of the detector modules using these ASICs is now well underway as a result of the efforts detailed herein.

FOS: Physical sciences↗

User's manual for rocket combustor interactive design (ROCCID) and analysis computer program. Volume 1: User's manual

The user's manual for the rocket combustor interactive design (ROCCID) computer program is presented. The program, written in Fortran 77, provides a standardized methodology using state of the art codes and procedures for the analysis of a liquid rocket engine combustor's steady state combustion performance and combustion stability. The ROCCID is currently capable of analyzing mixed element injector patterns containing impinging like doublet or unlike triplet, showerhead, shear coaxial, and swirl coaxial elements as long as only one element type exists in each injector core, baffle, or barrier zone. Real propellant properties of oxygen, hydrogen, methane, propane, and RP-1 are included in ROCCID. The properties of other propellants can easily be added. The analysis model in ROCCID can account for the influence of acoustic cavities, helmholtz resonators, and radial thrust chamber baffles on combustion stability. ROCCID also contains the logic to interactively create a combustor design which meets input performance and stability goals. A preliminary design results from the application of historical correlations to the input design requirements. The steady state performance and combustion stability of this design is evaluated using the analysis models, and ROCCID guides the user as to the design changes required to satisfy the user's performance and stability goals, including the design of stability aids. Output from ROCCID includes a formatted input file for the standardized JANNAF engine performance prediction procedure.

Muss, J. A.↗

User's manual for rocket combustor interactive design (ROCCID) and analysis computer program. Volume 2: Appendixes A-K

The appendices A-K to the user's manual for the rocket combustor interactive design (ROCCID) computer program are presented. This includes installation instructions, flow charts, subroutine model documentation, and sample output files. The ROCCID program, written in Fortran 77, provides a standardized methodology using state of the art codes and procedures for the analysis of a liquid rocket engine combustor's steady state combustion performance and combustion stability. The ROCCID is currently capable of analyzing mixed element injector patterns containing impinging like doublet or unlike triplet, showerhead, shear coaxial and swirl coaxial elements as long as only one element type exists in each injector core, baffle, or barrier zone. Real propellant properties of oxygen, hydrogen, methane, propane, and RP-1 are included in ROCCID. The properties of other propellants can be easily added. The analysis models in ROCCID can account for the influences of acoustic cavities, helmholtz resonators, and radial thrust chamber baffles on combustion stability. ROCCID also contains the logic to interactively create a combustor design which meets input performance and stability goals. A preliminary design results from the application of historical correlations to the input design requirements. The steady state performance and combustion stability of this design is evaluated using the analysis models, and ROCCID guides the user as to the design changes required to satisfy the user's performance and stability goals, including the design of stability aids. Output from ROCCID includes a formatted input file for the standardized JANNAF engine performance prediction procedure.

Muss, J. A.↗

Path-Adaptive Guidance Algorithm Trades for a Two-Stage Lunar Descent Vehicle

For the next generation of NASA’s missions, explicit, path-adaptive descent guidance algorithms must provide the stability and customizability required for a safe and efficient descent to the lunar surface, while also meeting program and vehicle constraints. Several descent algorithms have been flown and tested for single-stage landers through the Apollo and Altair programs, but thus far little analysis has been conducted involving the application of these algorithms to a two-stage descent vehicle. Due to payload mass and fairing constraints of the existing fleet of launch vehicles, multi-stage descent architectures are a unique option for achieving the greatest possible mass to lunar surface. This paper seeks to compare the performance of guidance configurations of a lunar lander system consisting of two stages, one of which separates partway through descent. Through development of this paper, an optimization suite has been written that is specifically designed for optimizing planetary non-atmospheric two-stage descent trajectories, and is used as a baseline to compare the guidance algorithms tested. Time-to-go computational methods and ignition logic routines that may be employed in a lunar environment are also discussed. Preliminary results are presented that show relative performance metrics for a range of different guidance algorithm configurations.

Jason M Everett↗

Advanced probabilistic risk analysis using RAVEN and RELAP-7

RAVEN, under the support of the Nuclear Energy Advanced Modeling and Simulation (NEAMS) program [1], is advancing its capability to perform statistical analyses of stochastic dynamic systems. This is aligned with its mission to provide the tools needed by the Risk Informed Safety Margin Characterization (RISMC) path-lead [2] under the Department Of Energy (DOE) Light Water Reactor Sustainability program [3]. In particular this task is focused on the synergetic development with the RELAP-7 [4] code to advance the state of the art on the safety analysis of nuclear power plants (NPP). The investigation of the probabilistic evolution of accident scenarios for a complex system such as a nuclear power plant is not a trivial challenge. The complexity of the system to be modeled leads to demanding computational requirements even to simulate one of the many possible evolutions of an accident scenario (tens of CPU/hour). At the same time, the probabilistic analysis requires thousands of runs to investigate outcomes characterized by low probability and severe consequence (tail problem). The milestone reported in June of 2013 [5] described the capability of RAVEN to implement complex control logic and provide an adequate support for the exploration of the probabilistic space using a Monte Carlo sampling strategy. Unfortunately the Monte Carlo approach is ineffective with a problem of this complexity. In the following year of development, the RAVEN code has been extended with more sophisticated sampling strategies (grids, Latin Hypercube, and adaptive sampling). This milestone report illustrates the effectiveness of those methodologies in performing the assessment of the probability of core damage following the onset of a Station Black Out (SBO) situation in a boiling water reactor (BWR). The first part of the report provides an overview of the available probabilistic analysis capabilities, ranging from the different types of distributions available, possible sampling strategies, and post processing analysis capabilities. The first part of the report provides an extensive description of two major developments introduced this year: adaptive sampling for limit surface sampling and multi variate distributions. The document concludes with a description of the demo case (BWR-SBO) and a discussion of the results obtained.

97 MATHEMATICS AND COMPUTING↗

A Spacelab Expert System for Remote Engineering and Science

NASA's space science program is based on strictly pre-planned activities. This approach does not always result in the best science. We describe an existing computer system that enables space science to be conducted in a more reactive manner through advanced automation techniques that have recently been used in SLS-2 October 1993 space shuttle flight. Advanced computing techniques, usually developed in the field of Artificial Intelligence, allow large portions of the scientific investigator's knowledge to be "packaged" in a portable computer to present advice to the astronaut operator. We strongly believe that this technology has wide applicability to other forms of remote science/engineering. In this brief article, we present the technology of remote science/engineering assistance as implemented for the SLS-2 space shuttle flight. We begin with a logical overview of the system (paying particular attention to the implementation details relevant to the use of the embedded knowledge for system reasoning), then describe its use and success in space, and conclude with ideas about possible earth uses of the technology in the life and medical sciences.

Groleau, Nick↗

On-Orbit Maintenance Operations Strategy for the International Space Station - Concept and Implementation

The International Space Station (ISS) has an operational mission and profile that makes it a Logistics and Maintenance (L&M) support challenge different from previous programs. It is permanently manned, assembled on orbit, and multi-national. With this technical and operational challenge, a unique approach is needed to support the hardware and crew. The key is the integration of on-orbit and ground analysis, supply, maintenance, and crew training into a coherent functional process that supports ISS goals and objectives. To integrate all the necessary aspects of hardware and personnel to support on-orbit maintenance, a myriad of products and processes must be created and coordinated, such that the right resources are in the right place at the right time to ensure continued ISS functionality. This paper will familiarize the audience with ISS On-Orbit Maintenance (OOM) concepts and capabilities for different maintenance tasks and discuss some of the logic behind their selection. It will also identify the operational maintenance support responsibility split between the U.S. and the various International Partners (IPs).

Patterson, Linda P.↗

Composite Power System Reliability with Renewables and Customer Flexibility

Composite Power System Reliability is defined as the computational procedure that quantifies the probability that the power system will perform the function of delivering electric power to customers adequately, on a continuous basis and with an acceptable quality. This definition leaves many details undefined and exemplifies the ambiguity in reliability analysis. The increasing deployment of wind and PV creates additional uncertainties that make reliability analysis a rather complex issue. Because of increased uncertainty the need for composite reliability analysis and utilization of results in power system planning is critical. New approaches are emerging for dealing with these problems from the operational point of view, including demand response programs, tapping on customer and distributed resource flexibility and new control approaches. The key question to be addressed is: how the new operational paradigms affect composite power system reliability. Here, this paper presents the ongoing work of the IEEE Composite System Reliability Task Force of the IEEE PES Reliability, Risk, Probability Application (RRPA) Subcommittee.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Complexity for Survival of Living Systems

A logical connection between the survivability of living systems and the complexity of their behavior (equivalently, mental complexity) has been established. This connection is an important intermediate result of continuing research on mathematical models that could constitute a unified representation of the evolution of both living and non-living systems. Earlier results of this research were reported in several prior NASA Tech Briefs articles, the two most relevant being Characteristics of Dynamics of Intelligent Systems (NPO- 21037), NASA Tech Briefs, Vol. 26, No. 12 (December 2002), page 48; and Self-Supervised Dynamical Systems (NPO- 30634) NASA Tech Briefs, Vol. 27, No. 3 (March 2003), page 72. As used here, living systems is synonymous with active systems and intelligent systems. The quoted terms can signify artificial agents (e.g., suitably programmed computers) or natural biological systems ranging from single-cell organisms at one extreme to the whole of human society at the other extreme. One of the requirements that must be satisfied in mathematical modeling of living systems is reconciliation of evolution of life with the second law of thermodynamics. In the approach followed in this research, this reconciliation is effected by means of a model, inspired partly by quantum mechanics, in which the quantum potential is replaced with an information potential. The model captures the most fundamental property of life - the ability to evolve from disorder to order without any external interference. The model incorporates the equations of classical dynamics, including Newton s equations of motion and equations for random components caused by uncertainties in initial conditions and by Langevin forces. The equations of classical dynamics are coupled with corresponding Liouville or Fokker-Planck equations that describe the evolutions of probability densities that represent the uncertainties. The coupling is effected by fictitious information-based forces that are gradients of the information potential, which, in turn, is a function of the probability densities. The probability densities are associated with mental images both self-image and nonself images (images of external objects that can include other agents). The evolution of the probability densities represents mental dynamics. Then the interaction between the physical and metal aspects of behavior is implemented by feedback from mental to motor dynamics, as represented by the aforementioned fictitious forces. The interaction of a system with its self and nonself images affords unlimited capacity for increase of complexity. There is a biological basis for this model of mental dynamics in the discovery of mirror neurons that learn by imitation. The levels of complexity attained by use of this model match those observed in living systems. To establish a mechanism for increasing the complexity of dynamics of an active system, the model enables exploitation of a chain of reflections exemplified by questions of the form, "What do you think that I think that you think...?" Mathematically, each level of reflection is represented in the form of an attractor performing the corresponding level of abstraction with more details removed from higher levels. The model can be used to describe the behaviors, not only of biological systems, but also of ecological, social, and economics ones.

Zak, Michail↗

Variable-Speed Induction Motor Drives for Aircraft Environmental Control Compressors

New, more-efficient designs for aircraft jet engines are not capable of supplying the large quantities of bleed air necessary to provide pressurization and air conditioning for the environmental control systems (ECS) of the next generation of large passenger aircraft. System analysis and engineering have determined that electrically-driven ECS can help to maintain the improved fuel efficiencies; and electronic controllers and induction motors are now being developed in a NASA/NPD SBIR Program to drive both types of ECS compressors. Previous variable-speed induction motor/controller system developments and publications have primarily focused on field-oriented control, with large transient reserve power, for maximum acceleration and optimum response in actuator and robotics systems. The application area addressed herein is characterized by slowly-changing inputs and outputs, small reserve power capability for acceleration, and optimization for maximum efficiency. This paper therefore focuses on the differences between this case and the optimum response case, and shows the development of this new motor/controller approach. It starts with the creation of a new set of controller requirements. In response to those requirements, new control algorithms are being developed and implemented in an embedded computer, which is integrated into the motor controller closed loop. Buffered logic outputs are used to drive the power switches in a resonant-technology, power processor/motor-controller, at switching/resonant frequencies high enough to support efficient high-frequency induction motor operation at speeds up to 50,000-RPA

Mildice, J. W.↗

Research in the design of high-performance reconfigurable systems

An initial design for the Bit Processor (BP) referred to in prior reports as the Processing Element or PE has been completed. Eight BP's, together with their supporting random-access memory, a 64 k x 9 ROM to perform addition, routing logic, and some additional logic, constitute the components of a single stage. An initial stage design is given. Stages may be combined to perform high-speed fixed or floating point arithmetic. Stages can be configured into a range of arithmetic modules that includes bit-serial one or two-dimensional arrays; one or two dimensional arrays fixed or floating point processors; and specialized uniprocessors, such as long-word arithmetic units. One to eight BP's represent a likely initial chip level. The Stage would then correspond to a first-level pluggable module. As both this project and VLSI CAD/CAM progress, however, it is expected that the chip level would migrate upward to the stage and, perhaps, ultimately the box level. The BP RAM, consisting of two banks, holds only operands and indices. Programs are at the box (high-level function) and system level. At the system level initial effort has been concentrated on specifying the tools needed to evaluate design alternatives.

Slotnick, D. L.↗

Hazards of Lunar Surface Exploration: Determining the Immunogenicity/Allergenicity of Lunar Dust

There are multiple Apollo program reports of lunar dust (LD) exposure leading to significant upper respiratory symptoms in select crewmembers. Possible mechanisms include particulate irritation, oxidization and release of noxious gas, or legitimate adaptive immune-mediated response. Although sterile non-protein matter would not be expected to be an allergen, one Apollo flight surgeon reported increasing symptoms upon repeated exposure, with associated eosinophilia indicative of allergy (*Acta Astronautica. 2008 63 (7–10): 980–987). Many ISS crews display a pattern of persistent immune system dysregulation and latent virus reactivation (NPJ Microgravity. 2015 Sep 3; 1:15013; NPJ Microgravity. 2017 Apr 12; 3:11). Some ISS crews manifest atypical respiratory and/or dermatitis symptoms which could have an allergic pathogenesis (J Allergy Clin. Immunol. Pract. 2016 Jul-Aug; 4(4):759-762.e8). It is logical to anticipate crew immune dysregulation would worsen during prolonged deep space missions. Planetary surface hazards will only complicate crew health risks. This study hypothesizes that LD exposure can alter susceptible individuals’ immune responses such that repeated exposure will elicit an IgE mediated allergic response either to the LD itself or concomitant antigen exposure during spaceflight. This will adversely increase clinical and operational impacts for long-duration lunar astronauts and affect countermeasure requirements for surface vehicles. Specific aims for this study are (1) Does in vitro LD exposure result in increased histamine from human peripheral blood basophils? (2) Can LD impact the capacity of CD4+ helper and/or CD19+ B-cell mediated IgE production? To address these questions, a set of in-vitro cell culture experiments will be employed (short and long term) using human peripheral blood mononuclear cells (PBMC) and basophils from both atopic and non-atopic individuals, as well as established human basophil and mast cell lines. Cells will be co-cultured with cellular mitogens, common recall antigens (tetanus, Der p1), nickel (as a possible allergenic component of LD), with or without graded amounts of LD, to study whether LD exposure for varying time intervals will alter the generation of selective immune responses associated with clinical allergic reactions. Measured outputs include supernatant-derived IgE, tryptase, histamine and selected cytokine levels. Cellular activation will be monitored by assessing activation markers via flow cytometry. EM/x-ray analysis will be used to determine cellular interactions with dust particles. The minimal amount of LD (Apollo 14 dust) and controls/simulants have been requested. This study, originally planned as an FY20/21 activity, was delayed due to the COVID pandemic. It is now scheduled to be performed during FY22.

Brian Crucian↗

Hazards of Lunar Surface Exploration: Determining the Immunogenicity/Allergenicity of Lunar Dust

Although infrequent, there have been Apollo program reports of lunar dust (LD) exposure leading to notable upper respiratory symptoms in select crewmembers. Possible mechanisms include particulate irritation, oxidization and release of noxious gas, or legitimate adaptive immune-mediated response. Although sterile non-protein matter would not be expected to be an allergen, one Apollo flight surgeon reported increasing symptoms upon repeated exposure with associated eosinophilia, indicative of allergy (*Acta Astronautica. 2008 63 (7–10): 980–987). Many ISS crews display a pattern of persistent immune system dysregulation and latent virus reactivation (NPJ Microgravity. 2015 Sep 3; 1:15013; NPJ Microgravity. 2017 Apr 12; 3:11). Some ISS crews manifest atypical respiratory and/or dermatitis symptoms which could have an allergic pathogenesis (J Allergy Clin. Immunol. Pract. 2016 Jul-Aug; 4(4):759-762.e8). It is logical to anticipate crew immune dysregulation would worsen during prolonged deep space missions. Planetary surface hazards will only complicate crew health risks. This study with investigate if LD exposure will elicit an IgE mediated allergic response either to the LD itself or concomitant antigen exposure during spaceflight. Allergic reactivity could adversely increase clinical and operational impacts for long-duration lunar astronauts and affect countermeasure requirements for surface vehicles. Specific aims for this study are to answer two questions: (1) Does in vitro LD exposure result in increased histamine from human peripheral blood basophils? (2) Can LD impact the capacity of CD4+ T helper and/or CD19+ B-cell mediated IgE production? To address these questions, after the proposal and selection by NASA, our laboratory has separately requested and been approved for receipt of actual LD samples from the Apollo 16 mission. These samples will be used during the study to complete the proposed set of in vitro cell culture experiments (short and long term), using human peripheral blood mononuclear cells (PBMC) and basophils from both atopic and non-atopic individuals. Cells will be co-cultured with cellular mitogens, common recall antigens (Der p1), fine ground silica quartz (as a possible allergenic component of LD), or LD, to study whether LD exposure for varying time intervals will alter the generation of selective immune responses associated with clinical allergic reactions. Measured outputs include supernatant-derived IgE, tryptase, histamine, and selected cytokine levels. Cellular activation will be monitored by assessing activation markers via flow cytometry. EM/x-ray analysis will be used to determine cellular interactions with dust particles. A series of validation experiments was initiated in FY22 once the delivery of LD was received. Based on initial experimental findings, we are optimizing the culture conditions, LD concentrations, and refining our other protocol stimuli.

Audrie A. Colorado↗

Hazards of Lunar Surface Exploration: Determining the Immunogenicity/Allergenicity of Lunar Dust

Although infrequent, there have been Apollo program reports of lunar dust (LD) exposure leading to notable upper respiratory symptoms in select crewmembers. Possible mechanisms include particulate irritation, oxidization and release of noxious gas, or legitimate adaptive immune-mediated response. Although sterile non-protein matter would not be expected to be an allergen, one Apollo flight surgeon reported increasing symptoms upon repeated exposure with associated eosinophilia, indicative of allergy (*Acta Astronautica. 2008 63 (7–10): 980–987). Many ISS crews display a pattern of persistent immune system dysregulation and latent virus reactivation (NPJ Microgravity. 2015 Sep 3; 1:15013; NPJ Microgravity. 2017 Apr 12; 3:11). Some ISS crews manifest atypical respiratory and/or dermatitis symptoms which could have an allergic pathogenesis (J Allergy Clin. Immunol. Pract. 2016 Jul-Aug; 4(4):759-762.e8). It is logical to anticipate crew immune dysregulation would worsen during prolonged deep space missions. Planetary surface hazards will only complicate crew health risks. This study with investigate if LD exposure will elicit an IgE mediated allergic response either to the LD itself or concomitant antigen exposure during spaceflight. Allergic reactivity could adversely increase clinical and operational impacts for long-duration lunar astronauts and affect countermeasure requirements for surface vehicles. Specific aims for this study are to answer two questions: (1) Does in vitro LD exposure result in increased histamine from human peripheral blood basophils? (2) Can LD impact the capacity of CD4+ T helper and/or CD19+ B-cell mediated IgE production? To address these questions, after the proposal and selection by NASA, our laboratory has separately requested and been approved for receipt of actual LD samples from the Apollo 16 mission. These samples will be used during the study to complete the proposed set of in vitro cell culture experiments (short and long term), using human peripheral blood mononuclear cells (PBMC) and basophils from both atopic and non-atopic individuals. Cells will be co-cultured with cellular mitogens, common recall antigens (Der p1), fine ground silica quartz (as a possible allergenic component of LD), or LD, to study whether LD exposure for varying time intervals will alter the generation of selective immune responses associated with clinical allergic reactions. Measured outputs include supernatant-derived IgE, tryptase, histamine, and selected cytokine levels. Cellular activation will be monitored by assessing activation markers via flow cytometry. EM/x-ray analysis will be used to determine cellular interactions with dust particles. A series of validation experiments was initiated in FY22 once the delivery of LD was received. Based on initial experimental findings, we are optimizing the culture conditions, LD concentrations, and refining our other protocol stimuli.

immunology↗

Space Systems - Safety and Compatibility of Materials - Method to Determine the Flammability Thresholds of Materials

Spacecraft fire safety emphasizes fire prevention, which is achieved primarily through the use of fire-resistant materials. Materials selection for spacecraft is based on conventional flammability acceptance tests, along with prescribed quantity limitations and configuration control for items that are non-pass or questionable. ISO 14624-1 and -2 are the major methods used to evaluate flammability of polymeric materials intended for use in the habitable environments of spacecraft. The methods are upward flame-propagation tests initiated in static environments and using a well-defined igniter flame at the bottom of the sample. The tests are conducted in the most severe flaming combustion environment expected in the spacecraft. The pass/fail test logic of ISO 14624-1 and -2 does not allow a quantitative comparison with reduced gravity or microgravity test results; therefore their use is limited, and possibilities for in-depth theoretical analyses and realistic estimates of spacecraft fire extinguishment requirements are practically eliminated. To better understand the applicability of laboratory test data to actual spacecraft environments, a modified ISO 14624 protocol has been proposed that, as an alternative to qualifying materials as pass/fail in the worst-expected environments, measures the actual upward flammability limit for the material. A working group established by NASA to provide recommendations for exploration spacecraft internal atmospheres realized the importance of correlating laboratory data with real-life environments and recommended NASA to develop a flammability threshold test method. The working group indicated that for the Constellation Program, the flammability threshold information will allow NASA to identify materials with increased flammability risk from oxygen concentration and total pressure changes, minimize potential impacts, and allow for development of sound requirements for new spacecraft and extravehicular landers and habitats. Furthermore, recent research has shown that current normal gravity materials flammability tests do not correlate with flammability in ventilated, micro- or reduced-gravity conditions. Currently, the materials selection for spacecraft is based on the assumption of commonality between ground flammability test results and spacecraft environments, which does not appear to be valid. Materials flammability threshold data acquired in normal gravity can be correlated with data obtained in microgravity or reduced-gravity experiments, and consequently a more accurate assessment of the margin of safety of the material in the real environment can be made. In addition, the method allows the option of selecting better or best space system materials, as opposed to what would be considered just acceptable from a flammability point of view and realistic assessment of spacecraft fire extinguishment needs, which could result in significant weight savings. The knowledge afforded by this technique allows for limited extrapolations of flammability behavior to conditions not specifically tested and that could potentially result in significant cost and time savings. The intent of this Technical Specification is to bring to the attention of International Aerospace Community the importance of correlating laboratory test data with real-life space systems applications. The method presented is just one of the possibilities that are believed will lead to better understanding the applicability of laboratory aerospace materials flammability test data. International feedback on improving the proposed method, as well as suggestions for correlating other laboratory aerospace test data with real-life applications relevant to space systems are being sought.

Hirsch, David↗

The nondeterministic divide

The nondeterministic divide partitions a vector into two non-empty slices by allowing the point of division to be chosen nondeterministically. Support for high-level divide-and-conquer programming provided by the nondeterministic divide is investigated. A diva algorithm is a recursive divide-and-conquer sequential algorithm on one or more vectors of the same range, whose division point for a new pair of recursive calls is chosen nondeterministically before any computation is performed and whose recursive calls are made immediately after the choice of division point; also, access to vector components is only permitted during activations in which the vector parameters have unit length. The notion of diva algorithm is formulated precisely as a diva call, a restricted call on a sequential procedure. Diva calls are proven to be intimately related to associativity. Numerous applications of diva calls are given and strategies are described for translating a diva call into code for a variety of parallel computers. Thus diva algorithms separate logical correctness concerns from implementation concerns.

Charlesworth, Arthur↗

Pre–T cell receptors topologically sample self-ligands during thymocyte β-selection

Self-discrimination, a critical but ill-defined molecular process programmed during thymocyte development, requires myriad pre–T cell receptors (preTCRs) and αβTCRs. Using x-ray crystallography, we show how a preTCR applies the concave β-sheet surface of its single variable domain (Vβ) to “horizontally” grab the protruding MHC α2-helix. By contrast, αβTCRs purpose all six complementarity-determining region (CDR) loops of their paired VαVβ module to recognize peptides bound to major histocompatibility complex molecules (pMHCs) in “vertical” head-to-head binding. Additionally, the preTCR topological fit ensures that CDR3β reaches the peptide’s featured C-terminal segment for pMHC sampling, establishing the subsequent αβTCR canonical docking mode. “Horizontal” docking precludes germline CDR1β- and CDR2β-MHC binding to broaden β-chain repertoire diversification before αβTCR-mediated selection refinement. Thus, one subunit successively attunes the recognition logic of related multicomponent receptors.

59 BASIC BIOLOGICAL SCIENCES↗

ProperCAD: A portable object-oriented parallel environment for VLSI CAD

Most parallel algorithms for VLSI CAD proposed to date have one important drawback: they work efficiently only on machines that they were designed for. As a result, algorithms designed to date are dependent on the architecture for which they are developed and do not port easily to other parallel architectures. A new project under way to address this problem is described. A Portable object-oriented parallel environment for CAD algorithms (ProperCAD) is being developed. The objectives of this research are (1) to develop new parallel algorithms that run in a portable object-oriented environment (CAD algorithms using a general purpose platform for portable parallel programming called CARM is being developed and a C++ environment that is truly object-oriented and specialized for CAD applications is also being developed); and (2) to design the parallel algorithms around a good sequential algorithm with a well-defined parallel-sequential interface (permitting the parallel algorithm to benefit from future developments in sequential algorithms). One CAD application that has been implemented as part of the ProperCAD project, flat VLSI circuit extraction, is described. The algorithm, its implementation, and its performance on a range of parallel machines are discussed in detail. It currently runs on an Encore Multimax, a Sequent Symmetry, Intel iPSC/2 and i860 hypercubes, a NCUBE 2 hypercube, and a network of Sun Sparc workstations. Performance data for other applications that were developed are provided: namely test pattern generation for sequential circuits, parallel logic synthesis, and standard cell placement.

Ramkumar, Balkrishna↗