Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Rules”

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,423 records · Page 79

Application of Domain Knowledge to Software Quality Assurance

This work focused on capturing, using, and evolving a qualitative decision support structure across the life cycle of a project. The particular application of this study was towards business process reengineering and the representation of the business process in a set of Business Rules (BR). In this work, we defined a decision model which captured the qualitative decision deliberation process. It represented arguments both for and against proposed alternatives to a problem. It was felt that the subjective nature of many critical business policy decisions required a qualitative modeling approach similar to that of Lee and Mylopoulos. While previous work was limited almost exclusively to the decision capture phase, which occurs early in the project life cycle, we investigated the use of such a model during the later stages as well. One of our significant developments was the use of the decision model during the operational phase of a project. By operational phase, we mean the phase in which the system or set of policies which were earlier decided are deployed and put into practice. By making the decision model available to operational decision makers, they would have access to the arguments pro and con for a variety of actions and can thus make a more informed decision which balances the often conflicting criteria by which the value of action is measured. We also developed the concept of a 'monitored decision' in which metrics of performance were identified during the decision making process and used to evaluate the quality of that decision. It is important to monitor those decision which seem at highest risk of not meeting their stated objectives. Operational decisions are also potentially high risk decisions. Finally, we investigated the use of performance metrics for monitored decisions and audit logs of operational decisions in order to feed an evolutionary phase of the the life cycle. During evolution, decisions are revisisted, assumptions verified or refuted, and possible reassessments resulting in new policy are made. In this regard we implemented a machine learning algorithm which automatically defined business rules based on expert assessment of the quality of operational decisions as recorded during deployment.

Wild, Christian W.↗

High Temperature Mechanical Characterization of Ceramic Matrix Composites

A high temperature mechanical characterization laboratory has been assembled at NASA Lewis Research Center. One contribution of this work is to test ceramic matrix composite specimens in tension in environmental extremes. Two high temperature tensile testing systems were assembled. The systems were assembled based on the performance and experience of other laboratories and meeting projected service conditions for the materials in question. The systems use frames with an electric actuator and a center screw. A PC based data acquisition and analysis system is used to collect and analyze the data. Mechanical extensometers are used to measure specimen strain. Thermocouples, placed near the specimen, are used to measure the specimen gage section temperature. The system for testing in air has a resistance element furnace with molybdenum disilicide elements and pneumatic grips with water cooling attached to hydraulic alignment devices. The system for testing in an inert gas has a graphite resistance element furnace in a chamber with rigidly mounted, water cooled, hydraulically actuated grips. Unidirectional SiC fiber reinforced reaction bonded Si3N4 and triaxially woven, two dimensional, SiC fiber reinforced enhanced SiC composites were tested in unidirectional tension. Theories for predicting the Young's modulus, modulus near the ultimate strength, first matrix cracking stress, and ultimate strength were applied and evaluated for suitability in predicting the mechanical behavior of SiC/RBSN and enhanced SiC/SiC composites. The SiC/RBSN composite exhibited pseudo tough behavior (increased area under the stress/strain curve) from 22 C to 1500 C. The rule of mixtures provides a good estimate of the Young's modulus of the SiC/RBSN composite using the constituent properties from room temperature to 1440 C for short term static tensile tests in air or nitrogen. The rule of mixtures significantly overestimates the secondary modulus near the ultimate strength. The ACK theory provides the best approximation of the first matrix cracking stress when residual stresses are ignored. The theory of Cao and Thouless, based on Weibull statistics, gave the best prediction for the composite ultimate strength. The enhanced SiC/SiC composite exhibited nonlinear stress/strain behavior from 24 C to 1370 C in air with increased ultimate strain when compared to monolithic SiC. The theory of Yang and Chou with the assumption of a frictional fiber/matrix interface provided the best estimate of the Young's modulus. The theory of Cao and Thouless gave the best estimate for the ultimate strength.

Gyekenyesi, John Z.↗

A Transonic Investigation of Changing Indentation Design Mach Number on the Aeodynamic Characteristics of a 45 deg Sweptback-Wing-Body Combination Designed for High Performance

The effects of changing indentation design Mach number on the aerodynamic characteristics of a 45 deg. sweptback-wing-body combination designed for high performance have been investigated at Mach numbers from 0.80 to 1.13 in the Langley 8-foot transonic tunnel and at a Mach number of 1.43 in the Langley 8-foot transonic pressure tunnel. The Reynolds number of the investigation covered the range from approximately 2.5 x 10 (exp 6) to approximately 3.0 x 10(exp 6) based on the mean aerodynamic chord of the wing. The 45 deg. sweptback wing with camber and a thickened root was tested at 0 deg. angle of incidence on an unindented body and on bodies indented for Mach numbers M of 1.0, 1.2, and 1.4. Transonic and supersonic area rules were used in the design of the indented bodies. Theoretical zero-lift wave drag was calculated for these wing-body combinations. A -2 deg. angle of incidence of the wing, and M = 1.4 revised body indentation, and fixed transition also were investigated. Experimental values of zero-lift wave drag for the indented-body combinations followed closely the area-rule concept in that the lowest zero-lift wave-drag coefficient was obtained at or near the Mach number for which the body of the combination was designed. Theoretical values of zero-lift wave drag were considered to be in good agreement with the experimental results. At a given supersonic Mach number the highest values of maximum lift-drag ratio for the various combinations also were obtained at or near the Mach number for which the body of the combination was designed. At Mach numbers of 1.0, 1.2, and 1.43, the maximum lift-drag ratios were 15.3, 13.0, and 9.2, respectively. The use of an angle of incidence of -2 deg. for the wing in combination with the M = 1.2 body increased the zero-lift wave drag and decreased the maximum lift-drag ratio. All configurations maintained stable characteristics up to the highest lift coefficient of the investigation (C(L) approx. equal to 0.5).

Loving, Donald L.↗

Periodic X-Ray Emission from the O7 V Star Theta(sup 1) Orionis C

We report the discovery of large-amplitude, periodic X-ray emission from the O7 V star Theta(sup 1) Orionis C, the central star of the Orion Nebula. Ten ROSAT HRI snapshots of the Trapezium cluster taken over the course of 21 days show that the count rate of Theta(sup 1) Ori C varies from 0.26 to 0.41 counts/ s with a clear 15 day period. The soft X-ray variations have the same phase and period as H(alpha) and He II (lambda)4686 variations reported by Stahl et al. and are in antiphase with the C(sub iv) and Si(sub iv) ultraviolet absorption features. We consider five mechanisms which might explain the amplitude, phase, and periodicity of the X-ray variations: (1) colliding-wind emission with an unseen binary companion, (2) coronal emission from an unseen late-type pre-main-sequence star, (3) periodic density fluctuations, (4) absorption of magnetospheric X-rays in a corotating wind, and (5) magnetosphere eclipses. The ROSAT data rule out the first three scenarios but cannot rule out either of the latter two which require the presence of an extended magnetosphere, consistent with the suggestion of Stahl et al. that Theta(sup 1) Ori C is an oblique magnetic rotator. As such, Theta(sup 1) Ori C may be the best example of a high-mass analog to the chemically peculiar, magnetic Bp stars.

Gagne, Marc↗

Demonstration of Automatically-Generated Adjoint Code for Use in Aerodynamic Shape Optimization

Gradient-based optimization requires accurate derivatives of the objective function and constraints. These gradients may have previously been obtained by manual differentiation of analysis codes, symbolic manipulators, finite-difference approximations, or existing automatic differentiation (AD) tools such as ADIFOR (Automatic Differentiation in FORTRAN). Each of these methods has certain deficiencies, particularly when applied to complex, coupled analyses with many design variables. Recently, a new AD tool called ADJIFOR (Automatic Adjoint Generation in FORTRAN), based upon ADIFOR, was developed and demonstrated. Whereas ADIFOR implements forward-mode (direct) differentiation throughout an analysis program to obtain exact derivatives via the chain rule of calculus, ADJIFOR implements the reverse-mode counterpart of the chain rule to obtain exact adjoint form derivatives from FORTRAN code. Automatically-generated adjoint versions of the widely-used CFL3D computational fluid dynamics (CFD) code and an algebraic wing grid generation code were obtained with just a few hours processing time using the ADJIFOR tool. The codes were verified for accuracy and were shown to compute the exact gradient of the wing lift-to-drag ratio, with respect to any number of shape parameters, in about the time required for 7 to 20 function evaluations. The codes have now been executed on various computers with typical memory and disk space for problems with up to 129 x 65 x 33 grid points, and for hundreds to thousands of independent variables. These adjoint codes are now used in a gradient-based aerodynamic shape optimization problem for a swept, tapered wing. For each design iteration, the optimization package constructs an approximate, linear optimization problem, based upon the current objective function, constraints, and gradient values. The optimizer subroutines are called within a design loop employing the approximate linear problem until an optimum shape is found, the design loop limit is reached, or no further design improvement is possible due to active design variable bounds and/or constraints. The resulting shape parameters are then used by the grid generation code to define a new wing surface and computational grid. The lift-to-drag ratio and its gradient are computed for the new design by the automatically-generated adjoint codes. Several optimization iterations may be required to find an optimum wing shape. Results from two sample cases will be discussed. The reader should note that this work primarily represents a demonstration of use of automatically- generated adjoint code within an aerodynamic shape optimization. As such, little significance is placed upon the actual optimization results, relative to the method for obtaining the results.

Green, Lawrence↗

Fuzzy Adaptive Control for Intelligent Autonomous Space Exploration Problems

The principal objective of the research reported here is the re-design, analysis and optimization of our newly developed neural network fuzzy adaptive controller model for complex processes capable of learning fuzzy control rules using process data and improving its control through on-line adaption. The learned improvement is according to a performance objective function that provides evaluative feedback; this performance objective is broadly defined to meet long-range goals over time. Although fuzzy control had proven effective for complex, nonlinear, imprecisely-defined processes for which standard models and controls are either inefficient, impractical or cannot be derived, the state of the art prior to our work showed that procedures for deriving fuzzy control, however, were mostly ad hoc heuristics. The learning ability of neural networks was exploited to systematically derive fuzzy control and permit on-line adaption and in the process optimize control. The operation of neural networks integrates very naturally with fuzzy logic. The neural networks which were designed and tested using simulation software and simulated data, followed by realistic industrial data were reconfigured for application on several platforms as well as for the employment of improved algorithms. The statistical procedures of the learning process were investigated and evaluated with standard statistical procedures (such as ANOVA, graphical analysis of residuals, etc.). The computational advantage of dynamic programming-like methods of optimal control was used to permit on-line fuzzy adaptive control. Tests for the consistency, completeness and interaction of the control rules were applied. Comparisons to other methods and controllers were made so as to identify the major advantages of the resulting controller model. Several specific modifications and extensions were made to the original controller. Additional modifications and explorations have been proposed for further study. Some of these are in progress in our laboratory while others await additional support. All of these enhancements will improve the attractiveness of the controller as an effective tool for the on line control of an array of complex process environments.

Esogbue, Augustine O.↗

Improving the Accuracy of Quadrature Method Solutions of Fredholm Integral Equations That Arise from Nonlinear Two-Point Boundary Value Problems

In this paper we are concerned with high-accuracy quadrature method solutions of nonlinear Fredholm integral equations of the form y(x) = r(x) + definite integral of g(x, t)F(t,y(t))dt with limits between 0 and 1,0 less than or equal to x les than or equal to 1, where the kernel function g(x,t) is continuous, but its partial derivatives have finite jump discontinuities across x = t. Such integral equations arise, e.g., when one applied Green's function techniques to nonlinear two-point boundary value problems of the form y "(x) =f(x,y(x)), 0 less than or equal to x less than or equal to 1, with y(0) = y(sub 0) and y(l) = y(sub l), or other linear boundary conditions. A quadrature method that is especially suitable and that has been employed for such equations is one based on the trepezoidal rule that has a low accuracy. By analyzing the corresponding Euler-Maclaurin expansion, we derive suitable correction terms that we add to the trapezoidal rule, thus obtaining new numerical quadrature formulas of arbitrarily high accuracy that we also use in defining quadrature methods for the integral equations above. We prove an existence and uniqueness theorem for the quadrature method solutions, and show that their accuracy is the same as that of the underlying quadrature formula. The solution of the nonlinear systems resulting from the quadrature methods is achieved through successive approximations whose convergence is also proved. The results are demonstrated with numerical examples.

Sidi, Avram↗

Helicity of Photospheric Magnetic Fields in Solar Cycle 21

Recent analyses of photospheric vector magnetic fields observed during solar cycle 22 have indicated a hemispherical selection rule for magnetic helicity with a predominance of negative (positive) helicity in the northern (southern) hemisphere. Using the extensive data base from the Marshall Space Flight Center's solar vector magnetograph, we have begun a study to derive the helicity for active regions observed during solar cycle 21 and confirm the hemispherical helicity rule for a different solar cycle. In this poster paper, we will present our initial results for several active regions observed in 1980 near the peak of cycle 21, as well as results from analyses designed to test quantitatively the methods used in calculating the helicity.

Hagyard, Mona J.↗

Preliminary Results from a New Analysis Method for EGRET Data

In order to extend the life of EGRET, the gas in the spark chamber was allowed to deteriorate more than was originally planned for the nominal two year Compton Observatory mission. Gamma ray events are lost because the pattern recognition analysis rules are not optimized for the poorer quality data. By changing the rules used by the data analysts, we can recover a significant fraction of the lost events, allowing improved statistics for detection and study of sources. Preliminary results from the Crab, Geminga, and BL Lacertae indicate the feasibility of this analysis.

Thompson, D. J.↗

[Compton GRO Cycle 7]

The goals of this project were to use the improved location accuracy of combined BATSE/Ulysses-IPN gamma-ray burst (GRB) data to search for small-angle clustering within the burst population and to search for possible correlations between bursts and catalogs of known astrophysical objects. The research was completed in several phases due to the length of time needed to process the basic BATSE/Ulysses data and to develop the appropriate analysis algorithms. In the first phase, BATSE/Ulysses data were gathered from their respective sources and processed to yield, final BATSE burst catalog locations and final BATSE/Ulysses IPN timing annuli. The final data are published. In the next phase, traditional statistical analysis techniques were used to search a subset of the data for small-angle clustering and. correlations, and to produce upper limits. Next, the unique analysis techniques and software described in the proposal were developed and,applied to the final set of data (corresponding to the 4B catalog). The final search did not find any significant self-clustering or correlations with supernovae, AGN, or near by galaxy clusters. The investigation ruled-out earlier findings that indicated (with marginal significance) such results, and. provided stringent limits on the allowable fraction of bursts that are self-clustered and associated with selected known objects. An added benefit of this research came in 1998 when it was suggested that some gamma-ray bursts may be associated with supernova (SN) explosions. We responded rapidly and applied the tools of this investigation to study this possibility. Using combined BATSE/Ulysses data, we were able to completely rule out any association between bright bursts and known supernovae, thereby questioning the validity of any GRB/SN association. If a GRB/SN association exists, it must be only with a small fraction of weak bursts.

Kippen, R. Marc↗

Simulating the Formation of Lunar Floor-Fracture Craters Using Elastoviscoplastic Relaxation

Lunar floor-fracture craters formed during the height of mare basalt emplacement. Due to a general temporal and spatial relation with the maria, these craters, numbering some 200, may be diagnostic of the thermal structure of the crust during this time. As the name suggests, these craters exhibit brittle failure, generally limited to the central floor region. That, and a shallower depth than fresh lunar craters, has led to two main theories as to their formation: laccolith emplacement under the crater and viscous relaxation. The implications of each model for the state of the Moon's crust during this time are quite different, so the viability of each model must be checked. Laccolith emplacement has been treated elsewhere. However, previous attempts to study the relaxation of the craters have assumed only a uniform, Newtonian viscous response of the near surface to the topographic driving forces, and simply postulated that the fractures resulted from tensile stresses associated with floor uplift. Here, we use a more sophisticated rheological model that includes not only non-Newtonian viscous behavior (i.e., the viscosity is stress-dependent), but also incorporates elastic behavior and a plastic component to the rheology to directly simulate the formation of the floor fractures. The results of our simulations show that while elastoviscoplastic relaxation is potentially viable for larger floor-fracture craters, it is not viable for craters with diameters < or = 60 km, the size of the majority of floor-fracture craters. We employ the finite element method, a numerical technique well suited for boundary-value problems, via the commercially available MARC software package. To test the viability of topographic relaxation, our goal is to prepare the simulations as to maximize the amount of relaxation. We take advantage of the natural axisymmetry of craters, simulating one radial plane. Initial shapes are based on data for fresh craters from Pike. To simplify implementation, a fourth order polynomial is used for the basin, while a third order inverse function is used for the rim. This form closely approximates the long-wavelength behavior of complex craters, while ignoring higher-frequency topography, save the rim. This approximation is appropriate because crater relaxation is strongly controlled by long-wavelength topography. Loading is accomplished assuming a uniform gravity field (1.62 m/s-square) and a uniform density of 2900 kg/cubic m. The initial stress state is set to be hydrostatic, with an additional pressure term to account for any overlying topography. This additional pressure term is tapered exponentially with depth. While the simulations quickly settle on a preferred stress state, and while the final solution is fairly insensitive to the choice of the e-folding depth of the taper, selecting an e-folding depth close to the diameter of the crater sets the initial stress state near the preferred state. We assume a diuranally averaged surface temperature of -20 C, and allow temperature to increase with depth at a rate of 50 K//km. Assuming a thermal conductivity of 2 W/in/K, this gradient translates to a heat flow of 100mW/square m, an extremely high value for the Moon. Temperature, of course, will not increase without bound. To maximize relaxation, we allow our temperature profile to increase linearly until it reaches the solidus (assumed to be 1200C) at a depth of 24.4 km, at which point it is kept constant. The presence of melt will drop the bulk viscosity; however, we have no rheological control for partial melts. Therefore, we make no attempt to simulate this situation. Elastoviscoplastic rheological model. In general, geologic materials can behave in three main ways: elastically, viscously (via solid-state creep), and brittly (plasticity is a continuum approach to simulate this phenomenon). We combine these three deformation mechanisms in an extended Maxwell solid, where the total strain can be broken down into a simple summation of the elastic, creep, and plastic strains. In relaxation phenomena in general, the system takes advantage of any means possible to eliminate deviatoric stresses by relaxing away the topography. Previous analyses have only modeled the viscous response. Comparatively, the elastic response in our model can augment the relaxation, to a point. This effect decreases as the elastic response becomes stiffer; indeed, in the limit of infinite elastic Young's modulus (and with no plasticity), the solution converges on the purely viscous solution. Igneous rocks common to the lunar near-surface have Young's modulii in the range of 10-100 GPa. To maximize relaxation, we use a Young's modulus of 10 GPa. (There is negligible sensitivity to the other elastic modulus, the Poisson's ratio; we use 0.25.) For the viscous response, we use a flow law for steady-state creep in thoroughly dried Columbia diabase, because the high plagioclase (about 70 vol%) and orthopyroxene (about 17 vol%) content is similar to the composition of the lunar highland crust as described by remote sensing and sample studies: noritic anorthosite. This flow law is highly non-Newtonian, i.e., the viscosity is highly stress dependent. That, and the variability with temperature, stands in strong contrast to previous examinations of lunar floor-fracture crater relaxation. To model discrete, brittle faulting, we assume "Byerlee's rule," a standard geodynamical technique. We implement this "rule" with an-angle of internal friction of about 40 deg, and a higher-than-normal cohesion of about 3.2 MPa (to approximate the breaking of unfractured rock). The actual behavior of geologic materials is more complex than in our rheological model, so the uncertainties in the plasticity do not represent the state-of-the-art error. Additional information is contained in the original.

Dombard, A. J.↗

Design of Layered Ridge Dielectric Waveguide for Millimeter and Sub-Millimeter Wave Circuits

Design rules for Layered Ridge Dielectric Waveguide (LRDW) are presented for the first time through simple figures and closed form equations. The Effective Dielectric Constant (EDC) method is used to develop the design rules that account for typical circuit specifications such as higher order mode suppression, dispersion, attenuation, and coupling between adjacent transmission lines. Comparisons between the design of LRDW, image guide, and millimeter-wave dielectric ridge guide are made.

Ponchak, George E.↗

Near Earth Asteroid Rendezvous (NEAR) Revised Eros Orbit Phase Trajectory Design

Trajectory design of the orbit phase of the NEAR mission involves a new process that departs significantly from those procedures used in previous missions. In most cases, a precise spacecraft ephemeris is designed well in advance of arrival at the target body. For NEAR, the uncertainty in the dynamic environment around Eros does not allow the luxury of a precise spacecraft trajectory to be defined in advance. The principal cause of this uncertainty is the limited knowledge oi' the gravity field a,-id rotational state of Eros. As a result, the concept for the NEAR trajectory design is to define a number of rules for satisfying spacecraft, mission, and science constraints, and then apply these rules to various assumptions for the model of Eros. Nominal, high, and low Eros mass models are used for testing the trajectory design strategy and to bracket the ranges of parameter variations that are expected upon arrival at the asteroid. The final design is completed after arrival at Eros and determination of the actual gravity field and rotational state. As a result of the unplanned termination of the deep space rendezvous maneuver on December 20, 1998, the NEAR spacecraft passed within 3830 km of Eros on December 23, 1998. This flyby provided a brief glimpse of Eros, and allowed for a more accurate model of the rotational parameters and gravity field uncertainty. Furthermore, after the termination of the deep space rendezvous burn, contact with the spacecraft was lost and the NEAR spacecraft lost attitude control. During the subsequent gyrations of the spacecraft, hydrazine thruster firings were used to regain attitude control. This unplanned thruster activity used Much of the fuel margin allocated for the orbit phase. Consequently, minimizing fuel consumption is now even more important.

Helfrich, J↗

Optical Characterization and 2,525 micron Lasing of Cr(2+):Cd(0.85)Mn(0.15)Te

Transition metal doped solids are of significant current interest for the development of tunable solid-state lasers for the near and mid-infrared (1-4 pm) spectral region. Applications of these lasers include basic research in atomic, molecular, and solid-state physics, optical communication, medicine, and environmental studies of the atmosphere. In transition metal based laser materials, absorption and emission of light arises from electronic transitions between crystal field split energy levels of 3d transition metal ions. The optical spectra generally exhibit broad bands due to the strong interaction between dopant and host (electron-phonon coupling). Broad emission bands offer the prospect of tunable laser activity over a wide wavelength range, e.g. the tuning range of Ti:Sapphire extends from 700-1100 run. The only current transition metal laser operating in the mid-infrared wavelength region (1.8-2.4 micro-m) is CO(2+):MgF2, but its performance is severely limited due to strong nonradiative decay at room temperature. Based on lifetime data, the quantum efficiency is estimated to be less than 3 deg/0 11,21. In general, the probability for non-radiative decay via multi-phonon relaxation increases with decreasing energy gap between ground and excited state. Therefore, efficient transition metal lasers beyond -1.6 micro-m are rare. Recently, tunable laser activity around 2.3 micro-m was observed from Cr doped ZnS and ZnSe. The new lasing center in these materials was identified as Cr(2+) occupying the tetrahedral Zn site. Tetrahedrally coordinated optical centers are rather unusual among transition metal lasers. Their potential usefulness, however, has been demonstrated by the recent development of near infrared laser materials such as Cr:forsterite and Cr:YAG, which are based on tetrahedrally coordinated Cr(4+) ions. According to the Laporte selection rule, electric-dipole transition within the optically active 3d-electron shells are parity forbidden. However, a static acentric electric crystal field or the coupling of asymmetric phonons can force electric-dipole transitions by the admixture of wave functions with opposite parity. Tetrahedral sites lack inversion symmetry which provides the odd-parity field necessary to relax the parity selection rule. Therefore, high absorption and emission cross sections are observed. An enhanced radiative emission rate is also expected to reduce the detrimental effect of non-radiative decay. Motivated by the initial results on Cr doped ZnS and ZnSe, we have started a comprehensive effort to study Cr(2+) doped II-VI semiconductors for solid-state laser applications. In this paper we present the optical properties and the demonstration of mid-infrared lasing from Cr doped Cd(0.85)Mn(0.15)Te.

Davis, V. R.↗

Driving Parameters for Distributed and Centralized Air Transportation Architectures

This report considers the problem of intersecting aircraft flows under decentralized conflict avoidance rules. Using an Eulerian standpoint (aircraft flow through a fixed control volume), new air traffic control models and scenarios are defined that enable the study of long-term airspace stability problems. Considering a class of two intersecting aircraft flows, it is shown that airspace stability, defined both in terms of safety and performance, is preserved under decentralized conflict resolution algorithms. Performance bounds are derived for the aircraft flow problem under different maneuver models. Besides analytical approaches, numerical examples are presented to test the theoretical results, as well as to generate some insight about the structure of the traffic flow after resolution. Considering more than two intersecting aircraft flows, simulations indicate that flow stability may not be guaranteed under simple conflict avoidance rules. Finally, a comparison is made with centralized strategies to conflict resolution.

Feron, Eric↗

Ontolology Negotiation Between Scientific Archives

This paper describes an approach to ontology negotiation between information agents. Ontologies are declarative (data driven) expressions of an agent's "world": the objects, operations, facts, and rules that constitute the logical space within which an agent performs. Ontology negotiation enables agents to cooperate in performing a task, even if they are based on different ontologies. 'Me process allows agents to discover ontology conflicts and then, though incremental interpretation, clarification, and explanation, establish a common basis for communicating with each other. The need for ontology negotiation stems from the proliferation of information sources and of agents with widely varying specialty expertise. The unmanageability of massive amounts of web-based information is already becoming apparent. It is starting to have an impact on professions that rely on distributed archived information. If the expansion continues at its present rate without an ontology negotiation process being introduced, there will soon be no way to ensure the accuracy and completeness of information that scientists obtain from sources other than their own experiments. Ontology negotiation is becoming increasingly recognized as a crucial element of scalable agent technology. This is because agents, by their very nature, are supposed to operate with a fair amount of autonomy and independence from their end-users. Part of this independence is the ability to enlist other agents for help in performing a task (such as locating information on the web). The agents enlisted for help may be "owned" by a different end-user or organization (such as a document archive), and there is no guarantee that they will use the same terminology or understand the same concepts (objects, operators, theorems, rules) as the recruiting agent. For NASA, the need for ontology negotiation arises at the boundaries between scientific disciplines. For example: modeling the effects of global warming might involve knowledge about imaging, climate analysis, ecology, demographics, industrial economics, and biology. The need for ontology negotiation also arises at the boundaries between scientific programs. For example, a Principal Investigator may want to use information from a previous mission to complement downloads from the instruments currently deployed.

Bailin, Sidney C.↗

Funtools: Fits Users Need Tools for Quick, Quantitative Analysis

The Funtools project arose out of conversations with astronomers about the decline in their software development efforts over the past decade. A stated reason for this decline is that it takes too much effort to master one of the existing FITS libraries simply in order to write a few analysis programs. This problem is exacerbated by the fact that astronomers typically develop new programs only occasionally, and the long interval between coding efforts often necessitates re-learning the FITS interfaces. We therefore set ourselves the goal of developing a minimal buy-in FITS library for researchers who are occasional (but serious) coders. In this case, "minimal buy-in" meant "easy to learn, easy to use, and easy to re-learn next month". Based on conversations with astronomers interested in writing code, we concluded that this goal could be achieved by emphasizing two essential capabilities. The first was the ability to write FITS programs without knowing much about FITS, i.e., without having to deal with the arcane rules for generating a properly formatted FITS file. The second was to support the use of already-familiar C/Unix facilities, especially C structs and Unix stdio. Taken together, these two capabilities would allow researchers to leverage their existing programming expertise while minimizing the need to learn new and complex coding rules.

Mandel, Eric↗

Computer Simulations of Small Molecules in Membranes: Insights from Computer Simulations into the Interactions of Small Molecules with Lipid Bilayers

Two of Ernest Overton's lasting contributions to biology are the Meyer-Overton relationship between the potency of an anesthetic and its solubility in oil, and the Overton rule which relates the permeability of a membrane to the oil-water partition coefficient of the permeating molecule. A growing body of experimental evidence, however, cannot be reconciled with these theories. In particular, the molecular nature of membranes, unknown to Overton, needs to be included in any description of these phenomena. Computer simulations are ideally suited for providing atomic-level information about the behavior of small molecules in membranes. The authors discuss simulation studies relevant to Overton's ideas. Through simulations it was found that anesthetics tend to concentrate at interfaces and their anesthetic potency correlates better with solubility at the water-membrane interface than with solubility in oil. Simulation studies of membrane permeation revealed the anisotropic nature of the membranes, as evidenced, for example, by the highly nonuniform distribution of free volume in the bilayer. This, in turn, influences the diffusion rates of solutes, which increase with the depth in the membrane. Small solutes tend to move by hopping between voids in the bilayer, and this hopping motion may be responsible for the deviation from the Overton rule of the permeation rates of these molecules.

Pohorille, Andrew↗