Incremental Composition in Distributional Semantics

Journal of Logic, Language and Information - Despite the incremental nature of Dynamic Syntax (DS), the semantic grounding of it remains that of predicate logic, itself grounded in set theory, so...     

gain bounds for systems with sector bounded and slope‐restricted nonlinearities

This paper proposes a new method for calculating a bound on the gain of a system comprising a linear time invariant part and a static nonlinear part, which is odd, bounded, zero at zero and has a restriction on its slope. The nonlinear part is also assumed to be sector bounded, with the sector bound being (possibly) different from that implied by the slope restriction. The computation of the gain bound is found by solving a set of linear matrix inequalities, which arise from an integral quadratic constraint formulation of a multiplier problem involving both Zames‐Falb and Popov multipliers. Examples illustrate the effectiveness of the results, and comparisons are made against the state‐of‐the‐art. Copyright © 2011 John Wiley & Sons, Ltd.     

Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking

Breakdowns in complex systems often occur as a result of system elements interacting in unanticipated ways. In systems with human operators, human–automation interaction associated with both normative and erroneous human behavior can contribute to such failures. Model-driven design and analysis techniques provide engineers with formal methods tools and techniques capable of evaluating how human behavior can contribute to system failures. This paper presents a novel method for automatically generating task analytic models encompassing both normative and erroneous human behavior from normative task models. The generated erroneous behavior is capable of replicating Hollnagel's zero-order phenotypes of erroneous action for omissions, jumps, repetitions, and intrusions. Multiple phenotypical acts can occur in sequence, thus allowing for the generation of higher order phenotypes. The task behavior model pattern capable of generating erroneous behavior can be integrated into a formal system model so that system safety properties can be formally verified with a model checker. This allows analysts to prove that a human–automation interactive system (as represented by the model) will or will not satisfy safety properties with both normative and generated erroneous human behavior. We present benchmarks related to the size of the statespace and verification time of models to show how the erroneous human behavior generation process scales. We demonstrate the method with a case study: the operation of a radiation therapy machine. A potential problem resulting from a generated erroneous human action is discovered. A design intervention is presented which prevents this problem from occurring. We discuss how our method could be used to evaluate larger applications and recommend future paths of development.     

Real-time evaluation and visualization of learner performance in a mixed-reality environment for clinical breast examination

We investigate the efficacy of incorporating real-time feedback of user performance within mixed-reality environments (MREs) for training real-world tasks with tightly coupled cognitive and psychomotor components. This paper presents an approach to providing real-time evaluation and visual feedback of learner performance in an MRE for training clinical breast examination (CBE). In a user study of experienced and novice CBE practitioners (n = 69), novices receiving real-time feedback performed equivalently or better than more experienced practitioners in the completeness and correctness of the exam. A second user study (n = 8) followed novices through repeated practice of CBE in the MRE. Results indicate that skills improvement in the MRE transfers to the real-world task of CBE of human patients. This initial case study demonstrates the efficacy of MREs incorporating real-time feedback for training real-world cognitive-psychomotor tasks.     

The volume integral method of eddy-current modeling: Verification

The volume integral method of eddy-current modeling represents a flaw in metal as a set of electric dipoles located within volume elements or cells defining the flaw volume. Given this dipole distribution, impedance changes may be computed. The electric field of the dipole distribution is determined by an integral equation relating, by means of the electric field Green's tensor, the electric field due to the source to the total electric field in the flaw. The integral equation is solved by assuming that the total electric field is constant in each volume element, resulting in a matrix equation. The method has been programmed for use on a microcomputer. The method and computer program are verified using the analytical solution for a small spherical flaw and three sets of measured impedance data, measured by air-core coils along profiles overlying both surface-breaking and buried simulated flaws of known dimensions. Operating frequencies ranged between 900 and 4000 Hz. Generally agreement is good at lower frequencies ( 1000 Hz). At higher frequencies ( 4000 Hz), the agreement is not as good. This is thought to be due to the inability of the constant electric field approximation to model the steep electric field gradients present in the host metal at high frequency. The results are also sensitive to the method of computation of the electric field due to the source. Some improvements can and should be made to the method.     

Thin-film ferroelectrics of PZT of sol-gel processing

The ferroelectric effect has been demonstrated for sol-gel derived lead zirconate titanate (PZT) (53/47) thin films. The respective values of coercive field and remanent polarization were 4x10(6) V/m and 0.36 C/m(2). The thin-film fabrication process is simple and compatible with Si planar technology, and offers a wide variety of potential uses for counting, memory, and integrated optical circuit applications.     

Attenuation of second sound in bulk flowing He II

New measurements of second sound attenuation in bulk flowing He II are reported which extend to a region of higher Reynolds number. An expression for the attenuation explicitly containing the quantum vortex line density is developed which allows comparison with vortex line density data taken by other means. A bellows driven experimental apparatus is used to produce bulk flow velocities of 0 to 1 m/sec in a channel of 4.064 mm square internal cross section. Second sound pulses are produced by applying a square voltage pulse 200 s width and variable height to a strain gauge heater. The second sound pulses are detected with thin film sensors mounted 56 and 119 mm downstream. The velocity-dependent attenuation, measured as a function of bulk flow velocity at 1.5, 1.8, and 2.0 K, is compared with data from other researchers. The attenuation, and thus the vortex line density, appears to follow a gradual transition from laminar to turbulent behavior. Current theories do not account for the presence of quantized vortices in bulk flowing He II, where (v _n–v _s), and thus do not explain the observed second sound attentuation in this regime.     

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization

Certain tasks, such as formal program development and theorem proving, fundamentally rely upon the manipulation of higher-order objects such as functions and predicates. Computing tools intended to assist in performing these tasks are at present inadequate in both the amount of knowledge they contain (i.e., the level of support they provide) and in their ability to learn (i.e., their capacity to enhance that support over time). The application of a relevant machine learning technique—explanation-based generalization (EBG)—has thus far been limited to first-order problem representations. We extend EBG to generalize higher-order values, thereby enabling its application to higher-order problem encodings.Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out. First-order Horn logics (e.g., Prolog) are not, however, well suited to higher-order applications. Instead, we employ Prolog, a higher-order logic programming language, as our basic framework for realizing higher-order EBG. In order to capture the distinction between domain theory and training instance upon which EBG relies, we extend Prolog with the necessity operator of modal logic. We develop a meta-interpreter realizing EBG for the extended language, Prolog, and provide examples of higher-order EBG.     

A Universal Method of Scientific Inquiry

A paradigm of scientific discovery is defined within a first-order logical framework. Within this paradigm, the concept of successful scientific inquiry is formalized and investigated. Among other results, it is shown that a simple method of scientific inquiry is universal in the sense that it leads to success on every problem for which success is in principle possible.     

Neutron scattering as a probe of particle-like excitations in superfluid4He: A model calculation

In the microscopic theory of Bose-condensed liquids, the condensate wave function leads to a coupling of the density fluctuations and the single-particle excitations. A simple parametrized model of this based on coupling weakly damped zero-sound modes with strongly damped free-particle-like excitations Q ²/2m* explains why the phonon-roton resonance inS(Q, ) for superfluid⁴He exists above and belowT but only plays the role of an elementary excitation belowT . It is pointed out that this model also predicts thatS(Q, ) should exhibit a weak, low-frequency peak centered atQ ²/2m*, with weight roughly proportional to the condensate fractionn ₀. As a stimulus to further experimental searches for this branch, some model calculations are given forS(Q, ) forQ1 Å^–1.