Qualitative models for planning: A gentle introduction

Qualitative modeling is the study of how the physical world behaves. These physical models accept partial descriptions of the world and output the possible changes. Current systems assume that the model is static and that physical entities do not effect change into the world. An approach to planning in physical domains and a working implementation which integrates qualitative models with a temporal interval-based planner are described. The planner constructs plans involving physical qualities and their behavioral descriptions

Artificial intelligence approaches to software engineering

Artificial intelligence approaches to software engineering are examined. The software development life cycle is a sequence of not so well-defined phases. Improved techniques for developing systems have been formulated over the past 15 years, but pressure continues to attempt to reduce current costs. Software development technology seems to be standing still. The primary objective of the knowledge-based approach to software development presented in this paper is to avoid problem areas that lead to schedule slippages, cost overruns, or software products that fall short of their desired goals. Identifying and resolving software problems early, often in the phase in which they first occur, has been shown to contribute significantly to reducing risks in software development. Software development is not a mechanical process but a basic human activity. It requires clear thinking, work, and rework to be successful. The artificial intelligence approaches to software engineering presented support the software development life cycle through the use of software development techniques and methodologies in terms of changing current practices and methods. These should be replaced by better techniques that that improve the process of of software development and the quality of the resulting products. The software development process can be structured into well-defined steps, of which the interfaces are standardized, supported and checked by automated procedures that provide error detection, production of the documentation and ultimately support the actual design of complex programs

Effects of squash leaf trichome exudates and honey on adult feeding, survival, and fecundity of the squash bug (Heteroptera: Coreidae) egg parasitoid Gryon pennsylvanicum (Hymenoptera: Scelionidae)

Citation: Olson, D., & Nechols, J. Effects of Squash Leaf Trichome Exudates and Honey on Adult Feeding, Survival, and Fecundity of the Squash Bug (Heteroptera: Coreidae) Egg Parasitoid Gryon pennsylvanicum (Hymenoptera: Scelionidae). Environmental Entomology, 24(2), 454-458. https://doi.org/10.1093/ee/24.2.454A laboratory experiment was conducted to determine whether leaf exudates could be used as a source of adult nutrition for the squash bug, Auasa tristis (De Geer), egg parasitoid, Gryon pennsylvanicum (Ashmead), and to compare adult and progeny fitness traits when female Wasps were provided with squash leaves, a standard honey diet, a combination of leaves and honey, or water only Results showed that fecundity, progeny developmental rates, and progeny survival did not differ significantly when females were exposed to different dietary sources. Adult longevity was shorter on squash leaves without honey than on leaves with honey or the honey-only diet. However, reproductive fitness was not reduced because oviposition had been completed before death of the adult females. When only water was provided, parasitoid females lived only a few days. Observations showed that squash leaves have two kinds of trichomes (hair-like and peg-like), both of which produce droplets that are fed on by both sexes of G. pennsylvanicum. Nutrient analyses revealed that exudates from the hair-like trichomes are composed predominantly of monosaccharides (mainly glucose and galactose), and that the peg-like trichomes produce glucose and some protein. Thus, these trichomes appear to serve as extrafloral nectaries and may provide an important energy source for augmentatively released G. pennsylvanicum

Bridging high-level synthesis to RTL technology libraries

The output of high-level synthesis typically consists of a netlist of generic RTL components and a state sequencing table. While module generators and logic synthesis tools can be used to map RTL components into standard cells or layout geometries, they cannot provide technology mapping into the data book libraries of functional RTL cells used commonly throughout the industrial design community. In this paper, we introduce an approach to implementing generic RTL components with technology-specific RTL library cells. This approach addresses the criticism of designers who feel that high-level synthesis tools should be used in conjunction with existing RTL data books. We describe how GENUS, a library of generic RTL components, is organized for use in high-level synthesis and how DTAS, a functional synthesis system, is used to map GENUS components into RTL library cells

Passive orbit control for space-based geo-engineering

In this Note we consider using solar sail propulsion to stabilize a spacecraft about an artificial libration point. It has been demonstrated that the constant acceleration from a solar sail can be used to generate artificial libration points in the Earth-Sun three-body problem. This is achieved by directing the thrust due to the sail such that it adds to the centripetal and gravitational forces. These libration points have the potential for future space physics and Earth observation missions. Of particular interest is the possibility of placing solar reflectors at the L1 artificial libration point to offset natural and human driven climate change. One engineering challenge that presents itself is that these artificial libration points are highly unstable and require active control for station-keeping. Previous work has shown that it is possible to stabilize a solar sail about artificial libration points using variations in both pitch and yaw angles. However, in a practical sense, solar sails are large structures and active control of the sail's attitude is a challenging engineering problem. Passive stabilization of such reflectors is to be investigated here to reduce the complexity of space-based geo-engineering schemes

Computing energy barriers for rare events from hybrid quantum/classical simulations through the virtual work principle

Hybrid quantum/classical techniques can flexibly couple ab initio simulations to an empirical or elastic medium to model materials systems that cannot be contained in small periodic supercells. However, due to electronic non-locality a total energy cannot be defined, meaning energy barriers cannot be calculated. We provide a general solution using the principle of virtual work in a modified nudged elastic band algorithm. Our method enables the first ab initio calculations of the kink formation energy for edge dislocations in molybdenum and lattice trapping barriers to brittle fracture in silicon

Fluorescence Analysis for Multi-Site Aluminum Binding to Natural Organic Matter

Natural organic matter (NOM) samples isolated from different water sources in Norway were compared using their fluorescence properties. Fluorescence surfaces were observed at pH 4.36 and deconvoluted using SIMPLISMA (Windig and Guilment 1991). There were a total of seven different fluorophores observed for these samples and each sampling site had between four and six ofthe fluorescent components. These components were observed to bind Al during titrations at the same pH. Multiresponse titration curves were fit using the method of Smith and Kramer (1998) and most of the binding strengths are similar to values for Suwannee River fulvic acid (1ogK’ between 4.8 and 5.5), but there are strong sites (IogK’ = 7) and weak sites (1ogK’ between 3 and 4) also observed. Results depended on the isolation method used; reverse osmosis and low pressure evaporation yielded different values but with no consistent trends

Effects of mixing design styles on the synthesis of RTL components

By mixing design styles during synthesis of RTL components such as adders, multipliers, and ALUs, it is possible to generate a range of designs from small to fast, where intermediate designs make favorable and possibly desirable tradeoffs between area and delay. Although module generators can be written to reflect design styles that reduce either area or delay, the current approach to generator execution does not examine the effects of mixing different design styles. We have developed an approach to RTL component synthesis that searches the space of design alternatives, and we have implemented this approach with the DTAS Design Language. The significance of our approach is that it allows DTAS to generate designs use a combination of design styles and to compare the effects of mixing styles. In this paper, we outline the operation of DTAS and describe how DTAS expands and constrains the design space. We present results from applying DTAS to large RTL components using an MCNC benchmark library. We also present results of integrating DTAS with the MISII logic optimizer

Neutrino Annihilation between Binary Neutron Stars

We calculate the neutrino pair annihilation rate into electron pairs between two neutron stars in a binary system. We present a closed formula for the energy deposition rate at any point between the stars, where each neutrino of a pair derives from each star, and compare this result to that where all neutrinos derive from a single neutron star. An approximate generalization of this formula is given to include the relativistic effects of gravity. We find that this inter-star neutrino annihilation is a significant contributor to the energy deposition between heated neutron star binaries. In particular, for two neutron stars near their last stable orbit, inter-star neutrino annihilation energy deposition is almost equal to that of single star energy deposition.Comment: 15 pages, 6 figures, accepted for publication in The Astrophysical Journa

Reduced heat flow in light water (H2O) due to heavy water (D2O)

The flow of heat, from top to bottom, in a column of light water can be decreased by over 1000% with the addition of heavy water. A column of light water cools from 25 C to 0 C in 11 hours, however, with the addition of heavy water it takes more than 100 hours. There is a concentration dependence where the cooling time increases as the concentration of added (D2O) increases, with a near maximum being reached with as little as 2% of (D2O) added. This phenomenon will not occur if the water is mixed after the heavy water is added.Comment: 18 pages, 22 figures, PD