The specification logic νZ

This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics.     

A comparative analysis of fuzzy logic and PI speed control in high-performance AC drives using experimental approach

One of the frequently discussed applications of artificial intelligence in motion control is the replacement of a standard proportional plus integral (PI) speed controller with a fuzzy logic (FL) speed controller. Regardless of all the work, it appears that a thorough comparison of the drive behavior under PI and FL speed control is still missing. This paper attempts to fill in this gap, by providing an in-depth comparison of operation of a vector-controlled permanent-magnet synchronous motor, using at first an experimental rig. Speed responses, obtained under PI and FL speed control, are recorded and compared for a variety of operating conditions. The transients studied include response to a large step speed command from standstill with nominal inertia and an increased inertia, response to small step speed reference change, and response to step load torque application. The transient behavior is examined for various initial speed settings, so that a thorough comparison is enabled. Experimental results are further supplemented with a set of simulation results, obtained using a different permanent-magnet machine and a different FL controller. Better generalization of the results is enabled in this way. It is shown that superiority of the FL speed control is less pronounced than it is often portrayed in the literature on the basis of limited comparisons. Indeed, in a number of cases, PI speed control provides a superior speed response.     

Learning to Predict Non-Deterministically Generated Strings

In this article we present an algorithm that learns to predict non-deterministically generated strings. The problem of learning to predict non-deterministically generated strings was raised by Dietterich and Michalski (1986). While their objective was to give heuristic techniques that could be used to rapidly and effectively learn to predict a somewhat limited class of strings, our objective is to give an algorithm which, though impractical, is capable of learning to predict a very general class. Our algorithm is meant to provide a general framework within which heuristic techniques can be effectively employed.     

Main flux saturation modelling in double-cage and deep-barinduction machines

The available models of saturated double-cage and deep-bar induction machines are the current state-space model and the flux state-space model, where state-space variables are selected either as stator current and currents of both rotor cages, or stator flux linkage and flux linkages of both rotor cages. This paper presents a number of models of saturated double-cage (deep-bar) induction machines where alternative sets of state-spate variables are selected. The method of main flux saturation modelling relies on recently introduced concept of `generalised flux space vector', which has originally been developed for modelling of saturated single-cage induction machines. The procedure and the novel models are verified by experimental study and simulation of self-excitation process in a double-cage induction generator     

Dynamic stiffness vibration analysis using a high‐order beam model

This work presents the derivation of the exact dynamic stiffness matrix for a high‐order beam element. The terms are found directly from the solutions of the differential equations that describe the deformations of the cross‐section according to the high‐order theory, which include cubic variation of the axial displacements over the cross‐section of the beam. The model has six degrees of freedom at the two ends, one transverse displacement and two rotations, and the end forces are a shear force and two end moments. Using the dynamic stiffness matrix exact vibration frequencies for beams with various combinations of boundary conditions are tabulated and compared with results from the Bernoulli–Euler and Timoshenko beam models. Copyright © 2003 John Wiley & Sons, Ltd.     

A branch and cut algorithm for the VRP with satellite facilities

An important aspect of the vehicle routing problem (VRP) that has been largely overlooked is the use of satellite facilities to replenish vehicles during a route. When possible, satellite replenishment allows the drivers to continue making deliveries until the close of their shift without necessarily returning to the central depot. This situation arises primarily in the distribution of fuels and certain retail items. When demand is random, optimizing customer routes a priori may result in significant additional costs for a particular realization of demand. Satellite facilities are one way of safeguarding against unexpected demand. This paper presents a branch and cut methodology for solving the VRP with satellite facilities subject to capacity and route time constraints. We begin with a mixed-integer linear programming formulation and then describe a series of valid inequalities that can be used to cut off solutions to the linear programming relaxation. Several separation heuristics are then outlined that are used to generate the cuts. Embedded in the methodology is a VRP heuristic for finding good feasible solutions at each stage of the computations. Results are presented for a set of problems derived from our experience with a leading propane distributor.     

Neural plasticity in adults with amblyopia

Amblyopia is a neuronal abnormality of vision that is often considered irreversible in adults. We found strong and significant improvement of Vernier acuity in human adults with naturally occurring amblyopia following practice. Learning was strongest at the trained orientation and did not transfer to an untrained task (detection), but it did transfer partially to the untrained eye (primarily at the trained orientation). We conclude that this perceptual learning reflects alterations in early neural processes that are localized beyond the site of convergence of the two eyes. Our results suggest a significant degree of plasticity in the visual system of adults with amblyopia.     

Energy Trapping in Dications

The energy interaction curves of a number of diatomic and polyatomic dication systems were calculated in order to study their energy-trapping properties. Generally, the ab initio complete active space multiconfiguration self-consistent field method was used in an extended valence + polarization basis set, with compact effective potentials replacing the core electrons. The diatomic dications include all ten possible binary combinations of oxygen, sulphur, selenium, and tellurium. O₂²⁺ shows the largest exothermicity, measured from equilibrium to the monocation combination asymptote, and highest barrier to dissociation. The calculated equilibrium bond length and harmonic vibrational frequency agree very well with experiment. The O₂²⁺, SO²⁺, SeO²⁺, and TeO²⁺ series show progressively decreasing exothermicities but similar barrier heights. The non-oxides, in contrast, show similar exothermicities but decreasing barriers with increasing size of the atom constituents. These trends are interpreted in terms of both valence bond curve-crossing and molecular orbital bonding models. The ozone dication, O₃²⁺, is found to have a number of low-lying singlet and triplet stationary state structures spanning near-linear to D_3h2+ symmetries. Although the calculated exothermicity is even larger than for O₂²⁺, the barrier to O₂⁺ + O⁺ dissociation is predicted to be low in each case. O₂²⁺ surrounded by six argon atoms to model an isolating environment shows increased equilibrium O–O bond length, decreased exothermicity, and increased barrier to dissociation, relative to the bare dication. O₂²⁺ flanked at each end by a perpendicularly oriented H₂ molecule in a staggered conformation is obstructed from direct conversion to the water dimer dication by a high barrier. However, [(H₂O)₂]²⁺ dissociates smoothly from equilibrium to two water monocations with a large exothermicity but a small barrier.     

Estimating frequency of occurrence.

Various models have been proposed that attribute judgments of frequency of occurrence either to the direct coding of frequency information or to the estimation of frequency from characteristics of memory traces that are not direct frequency codes. We present three experiments that replicate and further explore a phenomenon that is significant in the distinction between direct and indirect models of frequency coding. The phenomenon is that deeper processing of stimulus material results in superior judgments of frequency for that material than does shallower processing. This effect is at least partly attributable to the number of associations that are generated by deep analysis. The results of the present experiments thereby implicate an indirect coding mechanism underlying frequency judgments. However, we also show that there is ample reason to suppose a contribution of a direct coding mechanism as well. The most reasonable view, therefore, is that multiple mechanisms are involved in the registration of frequency of occurrence. (PsycINFO Database Record (c) 2010 APA, all rights reserved)