Analysing inconsistent first-order knowledgebases

It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a knowledgebase. This allows for the comparison of the inconsistency of diverse knowledgebases that have been represented as sets of first-order logic formulae. We motivate the approach by considering some examples of knowledgebases for representing and reasoning with ontological knowledge and with temporal knowledge. Analysing ontological knowledge (including the statements about which concepts are subconcepts of other concepts, and which concepts are disjoint) can be problematical when there is a lack of knowledge about the instances that may populate the concepts, and analysing temporal knowledge (such as temporal integrity constraints) can be problematical when considering infinite linear time lines isomorphic to the natural numbers or the real numbers or more complex structures such as branching time lines. We address these difficulties by providing algebraic measures of inconsistency in first-order knowledgebases.     

A dynamical systems approach to weighted graph matching

Graph matching is a fundamental problem that arises frequently in the areas of distributed control, computer vision, and facility allocation. In this paper, we consider the optimal graph matching problem for weighted graphs, which is computationally challenging due the combinatorial nature of the set of permutations. Contrary to optimization-based relaxations to this problem, in this paper we develop a novel relaxation by constructing dynamical systems on the manifold of orthogonal matrices. In particular, since permutation matrices are orthogonal matrices with nonnegative elements, we define two gradient flows in the space of orthogonal matrices. The first minimizes the cost of weighted graph matching over orthogonal matrices, whereas the second minimizes the distance of an orthogonal matrix from the finite set of all permutations. The combination of the two dynamical systems converges to a permutation matrix, which provides a suboptimal solution to the weighted graph matching problem. Finally, our approach is shown to be promising by illustrating it on nontrivial problems.     

Multisensor switching control strategy with fault tolerance guarantees

In this paper we propose a novel fault tolerant multisensor switching strategy for feedback control. Each sensor of the proposed multisensor scheme has an associated state estimator which, together with a state feedback gain, is able to individually stabilise the closed-loop system. At each instant of time, the switching strategy selects the sensor-estimator pair that provides the best closed-loop performance, as measured by a control-performance criterion. We establish closed-loop stability of the resulting switching scheme under normal (fault-free) operating conditions. More importantly, we show that closed-loop stability is preserved in the presence of faulty sensors if a set of conditions on the system parameters (such as bounds on the sensor noises, maximum and minimum values of the reference signal, etc.) is satisfied. This result enhances and broadens the applicability of the proposed multisensor scheme since it provides guaranteed properties such as fault tolerance and robust closed-loop stability under sensor fault. The results are applied to the problem of automotive longitudinal control.     

Severity of delayed (“secondary”) cerebral energy failure after acute hypoxia-ischemia is related to the time integral of acute ATP depletion

The aim of this study was to reproduce the delayed (secondary) cerebral energy failure previously described in birth-asphyxiated newborn infants and to investigate relationships between primary insult severity and the extent of the delayed energy failure. Phosphorus (³¹P) magnetic resonance spectroscopy (MRS) at 7 T was used to study the brains of 12 newborn piglets during an acute, reversible, cerebral hypoxic-ischemic episode which continued until nucleotide triphosphates (NTP) were depleted. After reperfusion and reoxygenation, spectroscopy was continued for 48 h. High-energy metabolite concentrations returned to near normal levels after the insult, but later they fell as delayed energy failure developed. The time integral of NTP depletion in the primary insult correlated strongly with the minimum [phosphocreatine (PCr)]/[inorganic orthophosphate (P_i)] observed 24–48 h after the insult. (Linear regression analysis gave slope –8.04 h^–1; ordinate intercept=1.23;r=0.92;P<0.0001.) This model is currently being used to investigate the therapeutic potential of various cerebroprotective strategies including hypothermia.     

The differences in underground mines dewatering with the application of caving or backfilling mining methods

Zambia Consolidated Copper Mines Ltd. (ZCCM) is planning a substantial increase in ore production in several of their underground mines on the Zambian Copperbelt over the next 10 years. The future production strategy is based on development of productive and economic mining methods through the application of mechanization and backfilling. Mechanization is designed to provide the production capability and the backfilling is designed to reduce water inflow into the mines. A similar trend can be seen in world-wide changes in mining methods from open stoping and sub-level caving to cut-and-fill stoping. Backfill is being employed worldwide, including in Australia, Canada, Sweden, Latin America, Zambia, and the U.S.A. Plans for backfill mining methods are underway for future operations in Chile, Canada, Zambia, and Mexico. The principal reasons for these changes in mining methods are twofold:

? Increased ore recovery, and

? Decreased environmental impact.

The main difference in the environmental impacts between mining with sub-level caving or open stoping and mining with backfilling methods is the reduction in subsidence or the potential for subsidence. Backfilling reduces ground movements in the rock overlying and adjacent to mine openings as well as subsidence at the surface. Reduced ground movement decreases the number and size of fracture-controlled hydraulic flow paths into a mine and, thereby, the impact of mining on surface and ground water resources. This paper deals with: 1) The impacts caused by open stoping and sub-level caving in comparison to backfilling methods; 2) The approximate impact of backfill on dewatering strategies, and; 3) The environmental benefits of backfill mining. The differences in mine drainage strategies are supported by case histories from various mines.     

Transport properties for a dilute solution of3He in two-dimensional liquid4He

The temperature variations of the diffusion coefficientD(T), thermal diffusion ratio k _T (T) and thermal conductivity (T) in a dilute solution of³He atom in two-dimensional liquid helium are evaluated explicitly by solving the kinetic equations via phonon-phonon, phonon-roton, roton-roton, impurityelementary excitation and impurity-impurity scatterings. In the low-temperature region, the main contributions toD(T) and (T) come from the interactions between phonons and impurities, while in the high-temperature region the interactions between impurities and whole elementary excitations contribute more strongly toD(T) and (T) than those of only elementary excitations. For a dilute solution, the thermal diffusion ratio k _T (T), neglecting the internal mass counterflow, is much smaller than the effective thermal diffusion ratio k _T ^* (T), which is a function of thermostatic properties. The effective thermal conductivity _eff is much larger than the thermal conductivity and has different temperature dependence from the thermal conductivity. The behaviors of the two-dimensional diffusion coefficient and thermal conductivity are much like the bulk case, where they exhibit exponential decay with increasing temperature, although they are much smaller than those of the bulk case.     

Introduction to the 100th anniversary issue of the Psychological Review..

Discusses the evolution of the Psychological Review from its inception in 1894 as a general journal to its current status as a forum for theoretical discussion. A historical overview of Psychological Review is presented, and its 2 main subfields, cognition and perception, are outlined. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Error compensation in machine tools: a neural network approach

For a non-idealized machine tool, each point in the workspace is associated with a tool point positioning error vector. If this error map can be determined, then it is possible to substantially improve the positioning performance of the machine by introducing suitable compensation into the control loop. This paper explores the possibility of using an artifical neural network (ANN) to compute this mapping. The training set for the ANN is obtained by mounting a physical artifact whose dimensions are precisely known in the machine's workspace. The machine, equipped with a touch trigger probe, measures the positions of features on the artifact. The difference between the machine reading and the known dimension is the machine error at that point in the workspace. Using standard modeling techniques, the kinematic error model for a CNC turning center was developed. This model was parameterized by measurement of the parametric error functions using a laser interferometer, electronic levels and a precision square. The kinematic model was then used to simulate the artifact-measuring process and develop the ANN training set. The effect of changing artifact geometry was explored and a machining operation was simulated using the ANN output to provide compensation. The results show that the ANN is capable of learning the error map of a real machine, and that ANN-based compensation can significantly reduce part-dimensional errors.     

Aniline hydrogenolysis on nickel: effects of surface hydrogen and surface structure

Fluorescence yield near-edge spectroscopy (FYNES) above the carbon K edge and temperature programmed reaction spectroscopy (TPRS) have been used as the methods for characterizing the reactivity and structure of adsorbed aniline and aniline derived species on the Ni(100) and Ni(111) surfaces over an extended range of temperatures and hydrogen pressures. The Ni(100) surface shows appreciably higher hydrogenolysis activity towards adsorbed aniline than the Ni(111) surface. Hydrogenolysis of aniline on the Ni(100) surface results in benzene formation at 470 K, both in reactive hydrogen atmospheres and in vacuum. External hydrogen significantly enhances the hydrogenolysis activity for aniline on the Ni(100) surface. Based on spectroscopic evidence, we believe that the dominant aniline hydrogenolysis reaction is preceded by partial hydrogenation of the aromatic ring of aniline in the presence of 0.001 Torr of external hydrogen on the (100) surface. In contrast, very little adsorbed aniline undergoes hydrogen induced C-N bond activation on the Ni(111) surface for hydrogen pressures as high as 10^–7 Torr below 500 K. Thermal dehydrogenation of aniline dominates with increasing temperature on the Ni(111) surface, resulting in the formation of a previously observed polymeric layer which is stable up to 820 K. Aniline is adsorbed at a smaller angle relative to the Ni(111) surface than the Ni(100) surface at temperatures below the hydrogenolysis temperature. We believe that the proximity and strong -interaction between the aromatic ring of the aniline and the surface is one major factor which controls the competition between dehydrogenation and hydrogen addition. In this case the result is a substantial enhancement of aniline dehydrogenation relative to hydrogenation on the Ni(111) surface.     

Electrochemical studies of octadecanethiol and octanethiol films on variable surface area mercury sessile drops

Octadecanethiol (ODT) and octanethiol (OT) films at the mercury-electrolyte interface are examined using cyclic voltammetry and differential capacitance measurements at a single frequency. A mercury flow-system is used to alter the volume, and therefore, the surface area and surface pressure of the mercury electrode. Manipulation of the mercury electrode's volume enables the introduction and removal of defects in the insulating thiol films. OT and ODT film behavior are contrasted under conditions of expansion and contraction. ODT forms extremely impermeable layers that allow 1000 time less redox probe current than seen on uncoated drops. Expansion of the mercury electrode to increase the electrode surface area produces defects and pinholes in the thiol film. These defects are almost completely removed when the drop is compressed back to its initial surface area. OT also forms insulating films on mercury sessile drops, however these films contain more defects than ODT films. While expansion of an OT-coated mercury drop increases redox probe current, recompression of the drop does not return the film to its initial condition. Pinholes and defects in the OT and ODT films can also be produced by cycling to negative potentials, which produce abrupt stripping peaks.