Translating MAPGEN to ASPEN for MER

This software translates MAPGEN (Europa and APGEN) domains to ASPEN, and the resulting domain can be used to perform planning for the Mars Exploration Rover (MER). In other words, this is a conversion of two distinct planning languages (both declarative and procedural) to a third (declarative) planning language in order to solve the problem of faithful translation from mixed-domain representations into the ASPEN Modeling Language. The MAPGEN planning system is an example of a hybrid procedural/declarative system where the advantages of each are leveraged to produce an effective planner/scheduler for MER tactical planning. The adaptation of the planning system (ASPEN) was investigated, and, with some translation, much of the procedural knowledge encoding is amenable to declarative knowledge encoding. The approach was to compose translators from the core languages used for adapting MAGPEN, which consists of Europa and APGEN. Europa is a constraint- based planner/scheduler where domains are encoded using a declarative model. APGEN is also constraint-based, in that it tracks constraints on resources and states and other variables. Domains are encoded in both constraints and code snippets that execute according to a forward sweep through the plan. Europa and APGEN communicate to each other using proxy activities in APGEN that represent constraints and/or tokens in Europa. The composition of a translator from Europa to ASPEN was fairly straightforward, as ASPEN is also a declarative planning system, and the specific uses of Europa for the MER domain matched ASPEN s native encoding fairly closely. On the other hand, translating from APGEN to ASPEN was considerably more involved. On the surface, the types of activities and resources one encodes in APGEN appear to match oneto- one to the activities, state variables, and resources in ASPEN. But, when looking into the definitions of how resources are profiled and activities are expanded, one sees code snippets that access various information available during planning for the moment in time being planned to decide at the time what the appropriate profile or expansion is. APGEN is actually a forward (in time) sweeping discrete event simulator, where the model is composed of code snippets that are artfully interleaved by the engine to produce a plan/schedule. To solve this problem, representative code is simulated as a declarative series of task expansions. Predominantly, three types of procedural models were translated: loops, if statements, and code blocks. Loops and if statements were handled using controlled task expansion, and code blocks were handled using constraint networks that maintained the generation of results based on what the order of execution would be for a procedural representation. One advantage with respect to performance for MAPGEN is the use of APGEN s GUI. This GUI is written in C++ and Motif, and performs very well for large plans

Dynamic Thermal Tomography: New Nde Technique to Reconstruct Inner Solids Structure Using Multiple IR Image Processing

Nondestructive evaluation (NDE) technique appeared as the natural consequence of materials analysis by using a variety of physical fields and particles which being propagated through the specimen are able to produce the image of its inner structure. Disadvantage of traditional “shadow” or “backscattered” images is that the “weak” details are scarcely seen on the background of “stronger” ones. This is why the introduction of the tomographic principles, allowing to “slice” the solid into individual layers, was viewed as a revolution in vision techniques (especially in X-ray imaging). Ultrasonic, ultra-high frequency and nuclear magnetic resonance tomography are under quick development now

Theory of the optical conductivity of (TMTSF)2_2PF6_6 in the mid-infrared range

We propose an explanation of the mid-infrared peak observed in the optical conductivity of the Bechgaard salt (TMTSF)$_2$PF$_6$ in terms of electronic excitations. It is based on a numerical calculation of the conductivity of the quarter-filled, dimerized Hubbard model. The main result is that, even for intermediate values of $U/t$ for which the charge gap is known to be very small, the first peak, and at the same time the main structure, of the optical conductivity is at an energy of the order of the dimerization gap, like in the infinite $U$ case. This surprising effect is a consequence of the optical selection rules.Comment: 10 pages, 9 uuencoded figure

Double Exchange Model for Magnetic Hexaborides

A microscopic theory for rare-earth ferromagnetic hexaborides, such as Eu(1-x)Ca(x)B6, is proposed on the basis of the double-exchange Hamiltonian. In these systems, the reduced carrier concentrations place the Fermi level near the mobility edge, introduced in the spectral density by the disordered spin background. We show that the transport properties such as Hall effect, magnetoresitance, frequency dependent conductivity, and DC resistivity can be quantitatively described within the model. We also make specific predictions for the behavior of the Curie temperature, Tc, as a function of the plasma frequency, omega_p.Comment: 4 pages, 3 figure

Singular Structure and Enhanced Friedel Oscillations in the Two-Dimensional Electron Gas

We calculate the leading order corrections (in $r_s$) to the static polarization $\Pi^{*}(q,0,)$, with dynamically screened interactions, for the two-dimensional electron gas. The corresponding diagrams all exhibit singular logarithmic behavior in their derivatives at $q=2 k_F$ and provide significant enhancement to the proper polarization particularly at low densities. At a density of $r_s=3$, the contribution from the leading order {\em fluctuational} diagrams exceeds both the zeroth order (Lindhard) response and the self-energy and exchange contributions. We comment on the importance of these diagrams in two-dimensions and make comparisons to an equivalent three-dimensional electron gas; we also consider the impact these finding have on $\Pi^{*}(q,0)$ computed to all orders in perturbation theory