Synthesizing plans that contain actions with context-dependent effects1

This paper presents a method of solving planning problems that involve actions whose effects change according to the situations in which they are performed. The approach is an extension of the conventional planning methodology in which plans are constructed through an iterative process of scanning for goals that are not yet satisfied, inserting actions to achieve them, and introducing subgoals to these actions. This methodology was originally developed under the assumption that one would be dealing exclusively with actions that produce the same effects in every situation. The extension involves introducing additional subgoals to actions above and beyond the preconditions of execution normally introduced. These additional subgoals, called secondary preconditions, ensure that the actions are performed in contexts conducive to producing the effects we desire. This paper defines and analyzes secondary preconditions from a mathematically rigorous standpoint and demonstrates how they can be derived from regression operators.     

X-Ray, Micro-Raman, Optical Absorption/Emission Studies of ErNbO4 Grown by Vapor Transport Equilibration

Vapor transport equilibration (VTE) treatments were performed on a Y-cut bulk Er (1.6 mol%)-doped congruent LiNbO₃ crystal and an X-cut pure congruent crystal, on one surface of which a 40 nm-thick film of erbium metal was coated before the VTE treatment. Scanning electron microscope, powder or single-crystal X-ray diffraction (XRD), polarized infrared absorption/emission of Er³⁺ as well as micro-Raman spectroscopy were used to study the two VTE crystals. The results are discussed in comparison with a corresponding as-grown bulk Er-doped crystal, calcined ErNbO₄ powder, and a locally Er-doped congruent LiNbO₃ crystal prepared by using the standard Er-diffusion technique. The experimental results show that the VTE treatment induces the formation of micrometer-sized ErNbO₄ precipitates with the crystallographic morphology of a flat polyhedron not only on the surfaces of both crystals but also in the bulk of the homogeneously Er-doped one. The optical absorption and emission studies show that the formation of the precipitates results in substantial spectral changes in both the 0.98 and 1.5 μm regions. The micro-Raman studies allow to resolve four additional Raman peaks around 800 cm⁻¹ in the E(TO) spectra of the two VTE crystals. These additional Raman peaks are associated with the characteristic vibrations with respect to the NbO₄³⁻ group. Characteristic XRD, optical absorption, and emission and Raman peaks for identifying the ErNbO₄ phase are proposed. Finally, the formation mechanism and light-scattering effect of the precipitates are discussed.     

Reaction of cholesterol 5,6-epoxides with simulated gastric juice

Cholesterol 5α,6α-epoxide (α-epoxide) and cholesterol 5β,6β-epoxide (β-epoxide) were individually suspended in simulated gastric juice (pH 1.2) at 37 C, and their reaction was followed by gradient high performance liquid chromatography (HPLC) with flame ionization (FID) detection. Both epoxides reacted rapidly in the aqueous acid medium. The α-epoxide formed 6β-chlorocholestane-3β,5α-diol (α-chlorohydrin) and 5α-cholestane-3β,5,6β-triol (triol), while the β-epoxide formed 5α-chlorocholestane-3β,6β-diol (β-chlorohydrin) and triol. The isomeric chlorohydrins reacted further to form the triol. In mildly alkaline aqueous medium, each chlorohydrin reverted to the epoxide from which it was formed. The data suggest that both epoxides, which have been reported to have adverse health effects in animals, would be largely hydrolyzed in the stomach and to the triol, which also has been reported to have biological activity. The data furher suggest that residual chlorohydrins surviving stomach residence can be expected to revert to epoxide in the more alkaline intestinal environment.     

Microstructure of high modulus solid state extruded polyethylene: 2. X-ray scattering studies of 12, 24 and 36 extrusion draw ratio

The microstructure of a series of solid state extruded polyethylene fibres was examined by wide- and small-angle X-ray scattering. By measuring absolute intensities using a two dimensional position sensitive detector, accurate values of the small-angle invariant for anisotropic samples were obtained. This measurement coupled with wide-angle X-ray scattering and d.s.c. permitted determination of the density of the noncrystalline component. The use of a two phase model for solid state extruded polyethylene is justified if consideration is given to the effective densities of the crystalline and noncrystalline phases, which change with deformation. The effective density of the crystalline phase decreases by 1% (0.999–0.990 g cm^?3) from the unextruded billet compared to a 36 draw ratio extrudate, while the noncrystalline phase density increases by 6% (0.84–0.89 g cm^?3). These changes lead to an overall decrease in the mean squared electron density fluctuation of 63%. The average axial crystallite length measured by wide-angle X-ray scattering increases with extrusion draw ratio while the SAXS long period decreases and weakens considerably. These observations and the electron microscopy results from the previous paper, (Polymer, 1982, 23, 1069), are fully consistent with the key features of the Peterlin model of fibre microstructure.     

Sliding Mode Control with Adaptive Fuzzy Dead-Zone Compensation of an Electro-hydraulic Servo-System

Electro-hydraulic servo-systems are widely employed in industrial applications such as robotic manipulators, active suspensions, precision machine tools and aerospace systems. They provide many advantages over electric motors, including high force to weight ratio, fast response time and compact size. However, precise control of electro-hydraulic systems, due to their inherent nonlinear characteristics, cannot be easily obtained with conventional linear controllers. Most flow control valves can also exhibit some hard nonlinearities such as dead-zone due to valve spool overlap. This work describes the development of an adaptive fuzzy sliding mode controller for an electro-hydraulic system with unknown dead-zone. The boundedness and convergence properties of the closed-loop signals are proven using Lyapunov stability theory and Barbalat’s lemma. Numerical results are presented in order to demonstrate the control system performance.     

Node trust evaluation in mobile ad hoc networks based on multi-dimensional fuzzy and Markov SCGM(1, 1) model

Due to the nature of distribution and self-organization, mobile ad hoc networks rely on cooperation between nodes to transfer information. One of the key factors to ensure high communication quality is an efficient assessment scheme for risks and trust of choosing next potential cooperative nodes. Trust model, an abstract psychological cognitive process, is one of the most complex concepts in social relationships, involving factors such as assumptions, expectations and behaviors. All of the above make it difficult to quantify and forecast trust accurately. In this paper, based on the theories of fuzzy recognition with feedback, SCGM(1, 1) model and Markov chain, we present a pattern of prediction making. The analysis and experimental computation show that this scheme is efficient in trust prediction for ad hoc networks.     

Parallel machine scheduling to minimize the sum of quadratic completion times

We consider the parallel machine scheduling problem of minimizing the sum of quadratic job completion times. We first prove that the problem is strongly NP-hard. We then demonstrate by probabilistic analysis that the shortest processing time rule solves the problem asymptotically. The relative error of the rule converges in probability to zero under the assumption that the job processing times are independent random variables uniformly distributed in (0, 1). We finally provide some computational results, which show that the rule is effective in solving the problem in practice.     

Finite element model updating and structural damage identification using OMAX data

The main limitations in the finite element (FE) model updating technique lie in the ability of the FE model to represent the true behavior of the structure (modelling problem), and in the ability to identify enough modal parameters with sufficient accuracy, especially for large structures that are tested in operational conditions (identification problem). In this paper, the identification problem is solved with an OMAX approach, where an artificial force is used in operational conditions and a structural model is identified that takes both the forced and the ambient excitation into account. From an extensive case study on a real three-span bridge, it is observed that, while updating the FE model using the experimental output-only data yields a good fit, discrepancies show up when the more extensive set of OMAX data is used for validation, or even for updating. It can be concluded that an OMAX approach not only increases the well-posedness of the updating problem, it also allows to detect potential inaccuracies in the FE model.     

Minimizing Average Schedule Length under Memory Constraints by Optimal Partitioning and Prefetching

Over the last 20 years, the performance gap between CPU and memory has been steadily increasing. As a result, a variety of techniques has been devised to hide that performance gap, from intermediate fast memories (caches) to various prefetching and memory management techniques for manipulating the data present in these caches. In this paper we propose a new memory management technique that takes advantage of access pattern information that is available at compile time by prefetching certain data elements before explicitly being requested by the CPU, as well as maintaining certain data in the local memory over a number of iterations. In order to better take advantage of the locality of reference present in loop structures, our technique also uses a new approach to memory by partitioning it and reducing execution to each partition, so that information is reused at much smaller time intervals than if execution followed the usual pattern. These combined approaches—using a new set of memory instructions as well as partitioning the memory—lead to improvements in total execution time of approximately 25% over existing methods.