Information-Based Distance Measures and the Canonical Reflection of View Updates

For the problem of reflecting an update on a database view to the main schema, the constant-complement strategies are precisely those which avoid all update anomalies, and so define the gold standard for well-behaved solutions to the problem. However, the families of view updates which are supported under such strategies are limited, so it is sometimes necessary to go beyond them, albeit in a systematic fashion. In this work, an investigation of such extended strategies is initiated for relational schemata. The approach is to characterize the information content of a database instance, and then require that the optimal reflection of a view update to the main schema embody the least possible change of information. The key property is identified to be strong monotonicity of the view, meaning that view insertions may always be reflected as insertions to the main schema, and likewise for deletions. In that context it is shown that for insertions and deletions, an optimal update, entailing the least change of information, exists and is unique up to isomorphism for wide classes of constraints

Inference Rules for Binary Predicates in a Multigranular Framework

In a multigranular framework, the two most important binary predicates are those for subsumption and disjointness. In the first part of this work, a sound and complete inference system for assertions using these predicates is developed. It is customized for the granular framework; particularly, it models both bottom and top granules correctly, and it requires all granules other then the bottom to be nonempty. Furthermore, it is single use, in the sense that no assertion is used more than once as an antecedent in a proof. In the second part of this work, a method is developed for extending a sound and complete inference system on a framework which admits Armstrong models to one which provides sound and complete inference on all assertions, both positive and negative. This method is then applied to the binary granule predicates, to obtain a sound and complete inference system for subsumption and disjointness, as well as their negations

Analysis of a Current-Regulated Brushless DC Drive

Current-regulated brushless DC machines are used in a wide variety of applications including robotics, actuators, electric vehicles, and ship propulsion systems. When conducting system analysis of this or any other type of drive, average-value reduced-order models are invaluable since they provide a means of rapidly predicting the electromechanical dynamics and are readily linearized for control system synthesis. In this paper, a highly accurate average-value reduced-order model of a hysteresis current-regulated brushless DC drive is set forth. In so doing it is demonstrated that the drive exhibits five distinct operating modes. The physical cause of each of these modes is explained and a mathematical model for each mode is set forth. The mathematical models are verified both experimentally and through the use of computer simulation. It has been found that the model set fourth herein is on the order of 300 times faster than a detailed computer simulation in calculating electromechanical transient

A Flux-weakening Strategy for Current-Regulated Surface-mounted Permanent-magnet Machine Drives

Permanent-magnet synchronous machines fed from current-regulated converters feature nearly ideal performance at low-to-moderate speeds. However, as rotor speed increases the back emf rises which results in loss of current regulation and decreased torque. In buried-magnet machine drives, flux weakening is often used to extend the speed range. This paper sets forth a flux-weakening control specifically designed for surface-mounted permanent-magnet machines which is simple and does not require knowledge of the machine or system parameters. The proposed method is demonstrated both experimentally and through the use of computer simulatio

Transient and Dynamic Average-Value Modeling of Synchronous Machine Fed Load-Commutated Converters

A new average-value model of a synchronous machine fed load-commutated converter is set forth in which the stator dynamics are combined with the DC link dynamics. This model is shown to he extremely accurate in predicting system transients and in predicting frequency-domain characteristics such as the impedance looking into the synchronous machine fed load-commutated converter. The model is verified against a detailed computer simulation and against a hardware test system, thus providing a three-way comparison. The proposed model is shown to be much more accurate than models in which the stator dynamics are neglecte

DC Link Stabilized Field Oriented Control of Electric Propulsion Systems

Induction motor based electric propulsion systems can be used in a wide variety of applications including locomotives, hybrid electric vehicles, and ships. Field oriented control of these drives is attractive since it allows the torque to be tightly and nearly instantaneously controlled. However, such systems can be prone to negative impedance instability of the DC link. This paper examines this type of instability and sets forth a readily implemented albeit nonlinear control strategy to mitigate this potential problem

Au-Ag template stripped pattern for scanning probe investigations of DNA arrays produced by Dip Pen Nanolithography

We report on DNA arrays produced by Dip Pen Nanolithography (DPN) on a novel Au-Ag micro patterned template stripped surface. DNA arrays have been investigated by atomic force microscopy (AFM) and scanning tunnelling microscopy (STM) showing that the patterned template stripped substrate enables easy retrieval of the DPN-functionalized zone with a standard optical microscope permitting a multi-instrument and multi-technique local detection and analysis. Moreover the smooth surface of the Au squares (abput 5-10 angstrom roughness) allows to be sensitive to the hybridization of the oligonucleotide array with label-free target DNA. Our Au-Ag substrates, combining the retrieving capabilities of the patterned surface with the smoothness of the template stripped technique, are candidates for the investigation of DPN nanostructures and for the development of label free detection methods for DNA nanoarrays based on the use of scanning probes.Comment: Langmuir (accepted

Theory of High-Force DNA Stretching and Overstretching

Single molecule experiments on single- and double stranded DNA have sparked a renewed interest in the force-extension of polymers. The extensible Freely Jointed Chain (FJC) model is frequently invoked to explain the observed behavior of single-stranded DNA. We demonstrate that this model does not satisfactorily describe recent high-force stretching data. We instead propose a model (the Discrete Persistent Chain, or ``DPC'') that borrows features from both the FJC and the Wormlike Chain, and show that it resembles the data more closely. We find that most of the high-force behavior previously attributed to stretch elasticity is really a feature of the corrected entropic elasticity; the true stretch compliance of single-stranded DNA is several times smaller than that found by previous authors. Next we elaborate our model to allow coexistence of two conformational states of DNA, each with its own stretch and bend elastic constants. Our model is computationally simple, and gives an excellent fit through the entire overstretching transition of nicked, double-stranded DNA. The fit gives the first values for the elastic constants of the stretched state. In particular we find the effective bend stiffness for DNA in this state to be about 10 nm*kbt, a value quite different from either B-form or single-stranded DNAComment: 33 pages, 11 figures. High-quality figures available upon reques

Comprehensive characterization of molecular interactions based on nanomechanics

Molecular interaction is a key concept in our understanding of the biological mechanisms of life. Two physical properties change when one molecular partner binds to another. Firstly, the masses combine and secondly, the structure of at least one binding partner is altered, mechanically transducing the binding into subsequent biological reactions. Here we present a nanomechanical micro-array technique for bio-medical research, which not only monitors the binding of effector molecules to their target but also the subsequent effect on a biological system in vitro. This label-free and real-time method directly and simultaneously tracks mass and nanomechanical changes at the sensor interface using micro-cantilever technology. To prove the concept we measured lipid vesicle (approximately 748*10(6) Da) adsorption on the sensor interface followed by subsequent binding of the bee venom peptide melittin (2840 Da) to the vesicles. The results show the high dynamic range of the instrument and that measuring the mass and structural changes simultaneously allow a comprehensive discussion of molecular interactions