1,406 research outputs found
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
- …