ALBERT

Description: It is demonstrated in an analysis that the electrons emitted from the cathode undergo collisions with the heavy particles and are deflected in the flow direction by the component of a collisional force associated with the relative difference in flow velocities between electrons and heavy particles. The resultant motion of the electrons describing the arc is thus caused by a combined action of the collisional force that results from the externally applied electric field. An expression is given which enables computation of the arc shape to be made provided the velocity distribution of the cross-flow and the distribution of the externally applied electric field are prescribed.

Description: Theoretical investigation of heat transfer from a preionized gaseous plasma flowing over an anode surface at an elevated electron temperature in the presence of an electric field normal to the surface. A laminar boundary layer is considered in which only the velocity profile is locally similar and fluid properties are assumed to change uniformly in the gas flow direction. Results obtained by an approximation method show that for moderate current densities, the velocity and temperature distributions are insensitive to current. In addition, the effect of elevated electron temperature is negligible on convective heat transfer, but is significant for the overall heat transfer due to the enthalpy transport by current. Total heat flux to the anode is obtained by evaluating the Nusselt number and adding terms due to the potential drop in the sheath and the surface work function.

Description: As part of our continued program of study on the volatile bearing phases and volatile resource potential of carbonaceous chondrite, results of our experimental studies on the dehydration kinetics of talc as a function of temperature and grain size (50 to 0.5 microns), equilibrium dehydration boundary of talc to 40 kbars, calorimetric study of enthalpy of formation of both natural and synthetic talc as a function of grain size, and preliminary results on the dehydration kinetics of epsomite are reported. In addition, theoretical calculations on the gas release pattern of Murchison meteorite, which is a C2(CM) carbonaceous chondrite, were performed. The kinetic study of talc leads to a dehydration rate constant for 40-50 microns size fraction of k = (3.23 x 10(exp 4))exp(-Q/RT)/min with the activation energy Q = 376 (plus or minus 20) kJ/mole. The dehydration rate was found to increase somewhat with decreasing grain size. The enthalpy of formation of talc from elements was measured to be -5896(10) kJ/mol. There was no measurable effect of grain size on the enthalpy beyond the limits of precision of the calorimetric studies. Also the calorimetric enthalpy of both synthetic and natural talc was found to be essentially the same, within the precision of measurements, although the natural talc had a slightly larger field of stability in our phase equilibrium studies. The high pressure experimental data the dehydration equilibrium of talc (talc = enstatite + coesite + H2O) is in strong disagreement with that calculated from the available thermochemical data, which were constrained to fit the low pressure experimental results. The calculated gas release pattern of Murchison meteorite were in reasonable agreement with that determined by stepwise heating in a gas chromatograph.

Description: The high reliability requirements for airborne systems requires fault-tolerant architectures to address failures in the presence of physical faults, and the elimination of design flaws during the specification and validation phase of the design cycle. Although much progress has been made in developing methods to address physical faults, design flaws remain a serious problem. Formal methods provides a mathematical basis for removing design flaws from digital systems. DRS (Derivational Reasoning System) is a formal design tool based on advanced research in mathematical modeling and formal synthesis. The system implements a basic design algebra for synthesizing digital circuit descriptions from high level functional specifications. DRS incorporates an executable specification language, a set of correctness preserving transformations, verification interface, and a logic synthesis interface, making it a powerful tool for realizing hardware from abstract specifications. DRS integrates recent advances in transformational reasoning, automated theorem proving and high-level CAD synthesis systems in order to provide enhanced reliability in designs with reduced time and cost.

Description: Thermal Barrier Coatings (TBC), provide thermal insulation and oxidation resistance in an environment consisting of hot combustion gases. TBC's consist of a two layer system. The outer ceramic layer provides good thermal insulation due to the low thermal conductivity of the ceramic coatings used, while the inner metallic bond coat layer provides needed oxidation resistance to the underlying superalloy. Pratt & Whitney has over a decade of experience with several generations of TBC systems on turbine airfoils. This paper will focus on the latest TBC field experience along with a proposed durability model.

Description: Experimental results on the dehydration kinetics of talc, which is likely to be a major potential resource for water and hydrogen in carbonaceous chondrites, is presented. The rate of dehydration of an essentially pure Mg-end member natural talc, (Mg(.99)Fe(.01))3Si4O10(OH)2, was studied by measuring in situ weight change under isothermal condition at 1 bar as a function of time in the temperature range 775 to 985 C. The grain size of the starting material was 0.7 to 1 micron. It was found that the data up to 50 to 60 percent dehydration can be fitted by an equation of the form alpha = exp(-Kt(exp n)), where alpha is the weight fraction of talc remaining, K is a rate constant and n is a numerical constant for a given temperature. For any set of isothermal data, there is a major change in the value of n for larger dehydration. For up to approximately 50 percent dehydration, all rate constants can be described by an Arrheniun relation with an activation energy of 432 (+/- 30) kJ/mol; n has a nearly constant value of 0.54 between 775 and 875 C, but increases almost linearly according to n = -10.77 + 0.012T C at T greater than or equal to 875 C.

Description: Using the plasmon exchange model for the high T(sub c) superconductor, it is shown that the T(sub c) rises with an increase in the number of CuO layers per unit cell, which is in agreement with recent observations in the Tl- and Bi-based compounds. The calculation also suggests that the sample will become superconducting in successive stages and that there is a saturation effect, i.e., that T(sub c) cannot be raised indefinitely by increasing the number of CuO layers.

Description: Using the plasmon exchange model for the high T(sub c) superconductor, it is shown that the T(sub c) rises with an increase in the number of CuO layers per unit cell, which is in agreement with recent observations in the Tl- and Bi-based compounds. The calculation also suggests that the sample will become superconducting in successive stages and that there is a saturation effect, i.e., that T(sub c) cannot be raised indefinitely by increasing the number of CuO layers.

Description: An observing program on the Hubble Space Telescope (HST) is described in terms of exposures that are obtained by one or more of the instruments onboard the HST. These exposures are organized into a hierarchy of structures for purposes of efficient scheduling of observations. The process by which exposures get organized into the higher-level structures is called merging. This process relies on rules to determine which observations can be 'merged' into the same higher level structure, and which cannot. The TRANSformation expert system converts proposals for astronomical observations with HST into detailed observing plans. The conversion process includes the task of merging. Within TRANS, we have implemented a declarative shell to facilitate merging. This shell offers the following features: (1) an easy way of specifying rules on when to merge and when not to merge, (2) a straightforward priority mechanism for resolving conflicts among rules, (3) an explanation facility for recording the merging history, (4) a report generating mechanism to help users understand the reasons for merging, and (5) a self-documenting mechanism that documents all the merging rules that have been defined in the shell, ordered by priority. The merging shell is implemented using an object-oriented paradigm in CLOS. It has been a part of operational TRANS (after extensive testing) since July 1993. It has fulfilled all performance expectations, and has considerably simplified the process of implementing new or changed requirements for merging. The users are pleased with its report-generating and self-documenting features.

Description: An observing program on the Hubble Space Telescope (HST) is described in terms of exposures that are obtained by one or more of the instruments onboard the HST. Many requested exposures might specify orientation requirements and accompanying ranges. Orientation refers to the amount of roll (in degrees) about the line of sight. The range give the permissible tolerance (also in degrees). These requirements may be (1) absolute (in relation to the celestial coordinate system), (2) relative to the nominal roll angle for HST during that exposure, or (3) relative (in relation to other exposures in the observing program). The TRANSformation expert system converts proposals for astronomical observations with HST into detailed observing plans. Part of the conversion involves grouping exposures into higher level structures based on exposure characteristics. Exposures constrained to be at different orientations cannot be grouped together. Because relative orientation requirements cause implicit constraints, orientation constraints have to be propagated. TRANS must also identify any inconsistencies that may exist so they can be corrected. We have designed and implemented an orientation constraint propagator as part of TRANS. The propagator is based on an informal algebra that facilitates the setting up and propagation of the orientation constraints. The constraint propagator generates constraints between directly related exposures, and propagates derived constraints between exposures that are related indirectly. It provides facilities for path-consistency checking, identification of unsatisfiable constraints, and querying of orientation relationships. The system has been successfully operational as part of TRANS for over seven months. The solution has particular significance to space applications in which satellite/telescope pointing and attitude are constrained and relationships exist between multiple configurations.