A stochastic controller for a scalar linear system with additive Cauchy noise

A stochastic control scheme is developed for scalar, discrete-time, and linear-dynamic systems driven by Cauchy distributed process and measurement noises. When addressing the optimal control problem for such systems, the standard quadratic cost criteria cannot be used. In this study we introduce a new objective function that is functionally similar to the Cauchy probability density function. The performance index, defined as the expectation of this objective function with respect to the Cauchy densities, exists. The dynamic programming solution to the fixed and finite horizon optimal control problem that uses this performance index appears to be intractable. Therefore, a moving horizon optimal model predictive control problem is implemented, for which the conditional expected value of the objective function and its gradients can be computed in closed   form and without assumptions such as certainty equivalence. Numerical results are shown for this m$m$-step model predictive optimal controller and compared to a similar, Linear-Exponential-Gaussian model predictive controller. An essential difference between the Cauchy and Gaussian controllers when applied to a system with Cauchy noises is that, while the Gaussian controller is linear and reacts strongly to all noise pulses, the Cauchy controller can differentiate between measurement and process noise pulses by ignoring the former while responding to the latter. This property of the Cauchy controller occurs when an impulsive measurement noise is more likely than an impulsive process noise. The Cauchy and Gaussian controllers react similarly when applied to a system with Gaussian noises, demonstrating the robustness of the proposed control scheme.     

First Identification of a Putative Sex Pheromone in a Praying Mantid

Praying mantids are models for a wide variety of behavioral, physiological, and ecological studies, and sex pheromones have been assumed to be important components of their biology. However, no mantid pheromone has ever been identified. We collected volatiles emitted by females of the mantid, Sphodromantis lineola, via solid phase microextraction (SPME). Mass spectral analysis revealed the collected volatiles to be a mixture of pentadecanal and tetradecanal. We prepared a synthetic mixture of these compounds, and found that males were both attracted to this mixture and stimulated to exhibit typical precopulatory behavior. We then examined male antennae with scanning electron microscopy, and confirmed the presence of porous antennal sensilla typical of insect pheromone receptors, i.e., that male mantids are equipped with the appropriate morphological apparatus to receive volatile chemical signals. Pheromones, in conjunction with visual and tactile cues, are thus an important feature of the reproductive biology of this, and undoubtedly other species of mantids. In addition to adding a crucial aspect of behavioral biology to our knowledge of this group, identification and synthesis of mantid pheromones may be a first step in attracting and aggregating these generalist predators for use in pest control.     

Toughening of a Cordierite Glass–Ceramic by Compressive Surface Layers

An indentation fracture mechanics analysis is developed to characterize the toughening effects of a compressive surface layer in brittle materials. The analysis is used to describe the enhanced toughness of cordierite glass–ceramic laminate composites, in which thermal-expansion mismatch effects induced uniform stress in the exterior layers of the symmetric exterior:interior:exterior structures. Interpretation of indentation crack length and inert strength tests via the analysis shows that cracks can be viewed as experiencing discrete regions of decreasing stabilization on propagation from small cracks and complete containment within the compressive layer to large cracks and partial extension into the compensating tensile interior. The observations are described using a stress-intensity factor for circular cracks in linear stress fields that includes different base and surface values for extended cracks. Deconvolution of inert strength data for the model cordierite system studied suggested an increase in toughness from 1.4 MPa·m^1/2 for the base material to a peak of about 5 MPa·m^1/2 for a 1:18:1 composite structure, with attendant increases in strength and flaw tolerance.     

Responses of the Aphids Phorodon humuli and Rhopalosiphum padi to Sex Pheromone Stereochemistry in the Field

Gynoparous female and male damson-hop aphids, Phorodon humuli (Schrank), were caught in the field by water traps that were releasing the sex pheromone of this species, (1RS,4aR,7S,7aS)-nepetalactol. No behavioral activity was elicited by (4aS,7S,7aR)-nepetalactone, the major sex pheromone component of other aphid species such as Megoura viciae Buckton, even though olfactory cells were found in the secondary rhinaria on the third antennal segment of P. humuli that responded strongly to this compound. Gynoparous female P. humuli in the field responded less strongly to (1R,4aS,7S,7aR)-nepetalactol, the sex pheromone of the bird cherry-oat aphid, Rhopalosiphum padi (L.), than they did to the (4aR,7S,7aS)-nepetalactols, but males responded only to the latter. The (4aR,7S,7aS)-nepetalactone showed no electrophysiological activity so was not used in field trials. Releasing either the (4aS,7S,7aR)-nepetalactone or the (1R,4aS,7S,7aR)-nepetalactol with the (4aR,7S,7aS)-nepetalactols did not inhibit the response of P. humuli gynoparous females and males to the latter. Males of R. padi responded as strongly to the (4aR,7S,7aS)-nepetalactols as they did to (1R,4aS,7S,7aR)-nepetalactol. Males of P. humuli and R. padi responded positively to an increased concentration of the (4aR,7S,7aS)-nepetalactols released from two vials compared with that from a single vial, as did P. humuli (in one of two experiments) and R. padi to the (1RS,4aR,7S,7aS)- and (1R,4aS,7S,7aR)-nepetalactols when released together.     

Influence of alginite on the reflectance of vitrinite from Joadja,NSW, and some other coals and oil shales containing alginite

Reflectance data for vitrinite occurring in torbanites indicate that the mean maximum reflectance and the range of reflectance values are significantly lowered by the presence of alginite. This is the probable cause of apparently anomalous rank gradients in some deep oil exploration wells. Intermaceral effects need to be considered in assessing rank or maturity from vitrinite reflectance, and by inference, in most other methods. The interpretation of the cause of the effect is open to further study but the findings are highly significant in relation to coal utilization, oil and gas exploration, and studies of oil shales.     

Fabrication and characterization of planar and channel polymer waveguides. III. Compositional distribution and solute loss in polymer thin films

For many microelectronic and optoelectronic applications, polymer thin films require the addition of small molecules. However, the thin‐film geometry and associated processing techniques will influence the final morphology and compositional distribution of the constituents. It is therefore important that these be examined directly rather than inferred from bulk measurements. As an example system, the concentration and distribution of Disperse Red 1 (DR1) molecules in poly(methyl methacrylate) thin films were examined. Ultraviolet visibility spectroscopy and dynamic secondary ion mass spectrometry indicate that the composition of the molecules decreased dramatically with thermal treatment of the film. The sublimation of the chromophore was observed to occur at temperatures well below the melting point of the small molecule and the glass transition of the pure polymer; this solute loss manifested itself in changes in the glass transition temperature of the film. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 86: 2021–2024, 2002     

Pt-V2O5-WO3/TiO2 catalysts supported on SiC filter for NO reduction at low temperature

The catalytic filter, V₂O₅-WO₃-TiO₂ supported on a ceramic filter, is known as a promising material for treating particulates and NO _x simultaneously at optimum temperatures around 320°C. In order to improve its catalytic activity at low temperatures, the effect of Pt addition on the catalytic filter has been investigated. Catalytic filters, Pt-V₂O₅-WO₃-TiO₂/SiC, were prepared by co-impregnation of Pt, V, and W precursors on TiO₂ coated-SiC filter by vacuum aided-dip coating. The Pt-added catalytic filter shifted the optimum working temperature from 280–330°C (for the non Pt-impregnated filter) to 180–230°C, providing N _x slip concentration less than 20 ppm for the treatment of 700 ppm NO at a face velocity of 2 cm/s with the same value over the non Pt-added catalytic filters. The promotional effect following the addition of Pt is believed to result from electrical modification of the catalyst maintaining a high electron transfer state. Ammonia oxidation was also observed to be dominant above the optimal temperature for SCR.     

Inhibition by 5-(tetradecyloxy)-2-furoic acid of fatty acid and cholesterol synthesis in isolated rat hepatocytes

Fatty acid and cholesterol synthesis in isolated rat hepatocytes were strongly inhibited by 5-(tetradecyloxy)-2-furoic acid. With either³H₂O or [2-¹⁴C]acetate as the labeled precursor, the concentrations of inhibitor causing 50% decrease in fatty acid and cholesterol synthesis were, respectively, <0.005 mM and 0.020 mM. At 0.1 mM inhibitor, citrate concentration in cells from fed rats was increased by 75%; lactate and pyruvate concentrations were decreased by 30%; ethanol oxidation was decreased by 20%; with cells from starved rats, the mitochondrial [NAD⁺]/[NADH] was decreased. Other parameters were unaffected. Both its potency and its specificity indicate that 5-(tetradecyloxy)-2-furoic acid will be useful in studies on the regulation of lipid biosynthesis.     

Classification of time series by shapelet transformation

Time-series classification (TSC) problems present a specific challenge for classification algorithms: how to measure similarity between series. A shapelet is a time-series subsequence that allows for TSC based on local, phase-independent similarity in shape. Shapelet-based classification uses the similarity between a shapelet and a series as a discriminatory feature. One benefit of the shapelet approach is that shapelets are comprehensible, and can offer insight into the problem domain. The original shapelet-based classifier embeds the shapelet-discovery algorithm in a decision tree, and uses information gain to assess the quality of candidates, finding a new shapelet at each node of the tree through an enumerative search. Subsequent research has focused mainly on techniques to speed up the search. We examine how best to use the shapelet primitive to construct classifiers. We propose a single-scan shapelet algorithm that finds the best $k$ shapelets, which are used to produce a transformed dataset, where each of the $k$ features represent the distance between a time series and a shapelet. The primary advantages over the embedded approach are that the transformed data can be used in conjunction with any classifier, and that there is no recursive search for shapelets. We demonstrate that the transformed data, in conjunction with more complex classifiers, gives greater accuracy than the embedded shapelet tree. We also evaluate three similarity measures that produce equivalent results to information gain in less time. Finally, we show that by conducting post-transform clustering of shapelets, we can enhance the interpretability of the transformed data. We conduct our experiments on 29 datasets: 17 from the UCR repository, and 12 we provide ourselves.     

Authorized workflow schemas: deciding realizability through \mathsf{LTL }(\mathsf{F }) model checking

Many business processes are modeled as workflows, which often need to comply with business rules, legal requirements, and authorization policies. Workflow satisfiability is the problem of determining whether there exists a workflow instance that realizes the workflow specification while simultaneously complying with such constraints. This problem has already been studied by the computer security community, with the development of algorithms and the study of their worst-case complexity. These solutions are often tailored to a particular workflow model and are, therefore, of little or no use in analyzing different models; their worst-case complexities are likely to be an unreliable judge of their feasibility; and they lack support for other forms of analysis such as the determination of the smallest number of users required to satisfy a workflow specification. We propose model checking of an NP-complete fragment $\mathsf{LTL }(\mathsf{F })$ of propositional linear-time temporal logic as an alternative solution. We report encodings in LTL(F) that can compute a set of solutions (thus deciding satisfiability), compute minimal user bases and a safe bound on the resiliency of satisfiability under the removal of users. These theoretical contributions are validated through detailed experiments whose results attest to the viability of our proposed approach.