On the acquisition and representation of procedural knowledge

Historically knowledge acquisition has proven to be one of the greatest barriers to the development of intelligent systems. Current practice generally requires lengthy interactions between the expert whose knowledge is to be captured and the knowledge engineer whose responsibility is to acquire and represent knowledge in a useful form. Although much research has been devoted to the development of methodologies and computer software to aid in the capture and representation of some of some types of knowledge, little attention has been devoted to procedural knowledge. NASA personnel frequently perform tasks that are primarily procedural in nature. Previous work is reviewed in the field of knowledge acquisition and then focus on knowledge acquisition for procedural tasks with special attention devoted to the Navy's VISTA tool. The design and development is described of a system for the acquisition and representation of procedural knowledge-TARGET (Task Analysis and Rule Generation Tool). TARGET is intended as a tool that permits experts to visually describe procedural tasks and as a common medium for knowledge refinement by the expert and knowledge engineer. The system is designed to represent the acquired knowledge in the form of production rules. Systems such as TARGET have the potential to profoundly reduce the time, difficulties, and costs of developing knowledge-based systems for the performance of procedural tasks

Nonsmooth Lagrangian mechanics and variational collision integrators

Variational techniques are used to analyze the problem of rigid-body dynamics with impacts. The theory of smooth Lagrangian mechanics is extended to a nonsmooth context appropriate for collisions, and it is shown in what sense the system is symplectic and satisfies a Noether-style momentum conservation theorem. Discretizations of this nonsmooth mechanics are developed by using the methodology of variational discrete mechanics. This leads to variational integrators which are symplectic-momentum preserving and are consistent with the jump conditions given in the continuous theory. Specific examples of these methods are tested numerically, and the long-time stable energy behavior typical of variational methods is demonstrated

TARGET: Rapid Capture of Process Knowledge

TARGET (Task Analysis/Rule Generation Tool) represents a new breed of tool that blends graphical process flow modeling capabilities with the function of a top-down reporting facility. Since NASA personnel frequently perform tasks that are primarily procedural in nature, TARGET models mission or task procedures and generates hierarchical reports as part of the process capture and analysis effort. Historically, capturing knowledge has proven to be one of the greatest barriers to the development of intelligent systems. Current practice generally requires lengthy interactions between the expert whose knowledge is to be captured and the knowledge engineer whose responsibility is to acquire and represent the expert's knowledge in a useful form. Although much research has been devoted to the development of methodologies and computer software to aid in the capture and representation of some types of knowledge, procedural knowledge has received relatively little attention. In essence, TARGET is one of the first tools of its kind, commercial or institutional, that is designed to support this type of knowledge capture undertaking. This paper will describe the design and development of TARGET for the acquisition and representation of procedural knowledge. The strategies employed by TARGET to support use by knowledge engineers, subject matter experts, programmers and managers will be discussed. This discussion includes the method by which the tool employs its graphical user interface to generate a task hierarchy report. Next, the approach to generate production rules for incorporation in and development of a CLIPS based expert system will be elaborated. TARGET also permits experts to visually describe procedural tasks as a common medium for knowledge refinement by the expert community and knowledge engineer making knowledge consensus possible. The paper briefly touches on the verification and validation issues facing the CLIPS rule generation aspects of TARGET. A description of efforts to support TARGET's interoperability issues on PCs, Macintoshes and UNIX workstations concludes the paper

Vortex-antivortex annihilation in mesoscopic superconductors with a central pinning center

In this work we solved the time-dependent Ginzburg-Landau equations, TDGL, to simulate two superconducting systems with different lateral sizes and with an antidot inserted in the center. Then, by cycling the external magnetic field, the creation and annihilation dynamics of a vortex-antivortex pair was studied as well as the range of temperatures for which such processes could occur. We verified that in the annihilation process both vortex and antivortex acquire an elongated format while an accelerated motion takes place.Comment: 4 pages, 5 figures, work presented in Vortex VII

Ionization toward the high-mass star-forming region NGC 6334 I

Context. Ionization plays a central role in the gas-phase chemistry of molecular clouds. Since ions are coupled with magnetic fields, which can in turn counteract gravitational collapse, it is of paramount importance to measure their abundance in star-forming regions. Aims. We use spectral line observations of the high-mass star-forming region NGC 6334 I to derive the abundance of two of the most abundant molecular ions, HCO+ and N2H+, and consequently, the cosmic ray ionization rate. In addition, the line profiles provide information about the kinematics of this region. Methods. We present high-resolution spectral line observations conducted with the HIFI instrument on board the Herschel Space Observatory of the rotational transitions with Jup > 5 of the molecular species C17O, C18O, HCO+, H13CO+, and N2H+. Results. The HCO+ and N2H+ line profiles display a redshifted asymmetry consistent with a region of expanding gas. We identify two emission components in the spectra, each with a different excitation, associated with the envelope of NGC 6334 I. The physical parameters obtained for the envelope are in agreement with previous models of the radial structure of NGC 6334 I based on submillimeter continuum observations. Based on our new Herschel/HIFI observations, combined with the predictions from a chemical model, we derive a cosmic ray ionization rate that is an order of magnitude higher than the canonical value of 10^(-17) s-1. Conclusions. We find evidence of an expansion of the envelope surrounding the hot core of NGC 6334 I, which is mainly driven by thermal pressure from the hot ionized gas in the region. The ionization rate seems to be dominated by cosmic rays originating from outside the source, although X-ray emission from the NGC 6334 I core could contribute to the ionization in the inner part of the envelope.Comment: This paper contains a total of 10 figures and 3 table

Minkowski compactness measure

This is the author accepted manuscript. The final version is available from the publisher via the DOI in this record.Published in: Computational Intelligence (UKCI), 2013, 13th UK Workshop, Guildford UK. Date of Conference: 9-11 Sept. 2013Many compactness measures are available in the literature. In this paper we present a generalised compactness measure Cq(S) which unifies previously existing definitions of compactness. The new measure is based on Minkowski distances and incorporates a parameter q which modifies the behaviour of the compactness measure. Different shapes are considered to be most compact depending on the value of q: for q = 2, the most compact shape in 2D (3D) is a circle (a sphere); for q → ∞, the most compact shape is a square (a cube); and for q = 1, the most compact shape is a square (a octahedron). For a given shape S, measure Cq(S) can be understood as a function of q and as such it is possible to calculate a spectum of Cq(S) for a range of q. This produces a particular compactness signature for the shape S, which provides additional shape information. The experiments section of this paper provides illustrative examples where measure Cq(S) is applied to various shapes and describes how measure and its spectrum can be used for image processing applications

Violation of action--reaction and self-forces induced by nonequilibrium fluctuations

We show that the extension of Casimir-like forces to fluctuating fluids driven out of equilibrium can exhibit two interrelated phenomena forbidden at equilibrium: self-forces can be induced on single asymmetric objects and the action--reaction principle between two objects can be violated. These effects originate in asymmetric restrictions imposed by the objects' boundaries on the fluid's fluctuations. They are not ruled out by the second law of thermodynamics since the fluid is in a nonequilibrium state. Considering a simple reaction--diffusion model for the fluid, we explicitly calculate the self-force induced on a deformed circle. We also show that the action--reaction principle does not apply for the internal Casimir forces exerting between a circle and a plate. Their sum, instead of vanishing, provides the self-force on the circle-plate assembly.Comment: 4 pages, 1 figure. V2: New title; Abstract partially rewritten; Largely enhanced introductory and concluding remarks (incl. new Refs.

Third-order optical autocorrelator for time-domain operation at telecommunication wavelengths

We report on amorphous organic thin films that exhibit efficient third-harmonic generation at telecommunication wavelengths. At 1550 nm, micrometer-thick samples generate up to 17 µW of green light with input power of 250 mW delivered by an optical parametric oscillator. This high conversion efficiency is achieved without phase matching or cascading of quadratic nonlinear effects. With these films, we demonstrate a low-cost, sensitive third-order autocorrelator that can be used in the time-frequency domain