2,916 research outputs found
A System of Interaction and Structure
This paper introduces a logical system, called BV, which extends
multiplicative linear logic by a non-commutative self-dual logical operator.
This extension is particularly challenging for the sequent calculus, and so far
it is not achieved therein. It becomes very natural in a new formalism, called
the calculus of structures, which is the main contribution of this work.
Structures are formulae submitted to certain equational laws typical of
sequents. The calculus of structures is obtained by generalising the sequent
calculus in such a way that a new top-down symmetry of derivations is observed,
and it employs inference rules that rewrite inside structures at any depth.
These properties, in addition to allow the design of BV, yield a modular proof
of cut elimination.Comment: This is the authoritative version of the article, with readable
pictures, in colour, also available at
. (The published version contains
errors introduced by the editorial processing.) Web site for Deep Inference
and the Calculus of Structures at <http://alessio.guglielmi.name/res/cos
Indirect stabilization of weakly coupled systems with hybrid boundary conditions
We investigate stability properties of indirectly damped systems of evolution
equations in Hilbert spaces, under new compatibility assumptions. We prove
polynomial decay for the energy of solutions and optimize our results by
interpolation techniques, obtaining a full range of power-like decay rates. In
particular, we give explicit estimates with respect to the initial data. We
discuss several applications to hyperbolic systems with {\em hybrid} boundary
conditions, including the coupling of two wave equations subject to Dirichlet
and Robin type boundary conditions, respectively
Possible, alternative explanations of the T2K observation of the nu_e appearance from an initial nu_mu
An alternative explanation to the emergence of sin^2(2 theta_13) > 0 is
discussed. It is pointed out that the recorded T2K events might have been due
to some other new physics in the neutrino sector, related to the LSND/MiniBooNE
sterile neutrino anomalies, for which there is nowadays a growing evidence. The
presently running ICARUS detector with the CNGS beam will be able to
distinguish between these two possible sources of the effectComment: 5 pages, 1 figur
Sensorless Direct Field-Oriented Control of Three-Phase Induction Motor Drives for Low-Cost Applications
A sensorless direct rotor field-oriented control (SDRFOC) scheme of three-phase induction motors for low-cost applications is presented in this paper. The SDRFOC algorithm is based on a sensorless closed-loop rotor flux observer whose main advantages are simplicity and robustness to motor parameter detuning. The whole algorithm has been developed and implemented on a low-cost fixed-point digital signal processor controller. Experimental results are presented for a 0.5-kW induction motor drive for a primary vacuum pump used in industry applications
FIELD ORIENTED CONTROL OF IPM DRIVES FOR FLUX WEAKENING APPLICATIONS
Interior Permanent Magnet (IPM) drives are adapted to flux-weakening, then to constant power operation
over a wide speed range. Most of the control strategies for IPM motor drives are based on the control of
the current vector. Flux-weakening is obtained by proper current references, that are calculated according
to the magnetic model of the motor. This approach needs the accurate characterization of the motor and
it is sensitive to the inaccuracy and the variation of the model parameters. Moreover, in the case of
a variable dc-link, an additional voltage loop is necessary to correct the current references values at
different dc-link voltage levels. The direct control of the flux vector, in the stator flux oriented frame, is
proposed here, with the aim of obtaining the constant voltage operation of the IPM motor drive in the
flux weakening range by means of a very simple control algorithm. The proposed direct flux control is
tested on an IPM motor drive designed for traction. The exploitation of the maximum torque in all the
operating speed range is demonstrated. The control is also capable to adapt its flux and current set-points
to different dc-link voltage levels with no need of additional voltage regulators. Discrete-time simulation
and experimental results are presented and compared showing good accordance
Non-radioactive molecular probes for the detection of three filamentous viruses of the grapevine
Digoxigenin-labelled riboprobes (DIG-RNA) were developed for the detection in infected tissue extracts of grapevine trichovirus A (GVA), grapevine trichovirus B (GVB) and grapevine leafroll-associated closterovirus III (GLRaV III). The probes were virus-specific and could be used for the identification of the respective viruses in sap expressed from infected Nicotiana species (GVA and GVB) and in total nucleic acid extracts from infected grapevines (GVA, GVB and GLRaV III). The efficiency of detection was the same as (GLRaV III), or slightly less than (GVA), with ELISA. No difference was found in detection efficiency between DIG-RNA and cDNA radioactive probes
A new search for anomalous neutrino oscillations at the CERN-PS
The LSND experiment has observed a 3.8 sigma excess of anti-nu_e events from
an anti-nu_mu beam coming from pions at rest. If confirmed, the LSND anomaly
would imply new physics beyond the standard model, presumably in the form of
some additional sterile neutrinos. The MiniBooNE experiment at FNAL-Booster has
further searched for the LSND anomaly. Above 475 MeV, the nu_e result is
excluding the LSND anomaly to about 1.6 sigma but it introduces an unexplained,
new 3.0 sigma anomaly at lower energies, down to 200 MeV. The nu_e data have so
far an insufficient statistics to be conclusive with LSND's anti-nu_e. The
present proposal at the CERN-PS is based on two strictly identical LAr-TPC
detectors in the near and far positions, respectively at 127 and 850 m from the
neutrino (or antineutrino) target and focussing horn, observing the
electron-neutrino signal. This project will benefit from the already developed
technology of ICARUS T600, well tested on surface in Pavia, without the need of
any major R&D activity and without the added problems of an underground
experiment (CNGS-2). The superior quality of the Liquid Argon imaging TPC and
its unique electron - pi-zero discrimination allow full rejection of the NC
background, without efficiency loss for electron neutrino detection. In two
years of exposure, the far detector mass of 600 tons and a reasonable
utilization of the CERN-PS with the refurbished previous TT7 beam line will
allow to collect about 10^6 charged current events, largely adequate to settle
definitely the LSND anomaly.Comment: 23 pages, 17 figures, added watermark, better referencin
CNGS neutrino beam systematics for
Energy spectra, intensity and composition of the CERN to Gran Sasso CNGS
neutrino beam for nu_mu-->nu_tau and nu_mu-->nu_e oscillation searches are
presented. The associated beam systematics, which is the major ingredient for
the nu_mu-->nu_e search sensitivity, are obtained from the study of the
previous CERN WANF.Comment: presented at NOW 2004, 5 pages, 7 figure
Design, synthesis, docking studies and monoamine oxidase inhibition of a small library of 1-acetyl- and 1-thiocarbamoyl-3,5-diphenyl-4,5-dihydro-(1h)-pyrazoles
New N-acetyl/N-thiocarbamoylpyrazoline derivatives were designed and synthesized in high yields to assess their inhibitory activity and selectivity against human monoamine oxidase A and B. The most important chiral compounds were separated into their single enantiomers and tested. The impact of the substituents at N1, C3 and C5 positions as well the influence of the configuration of the C5 on the biological activity were analyzed. Bulky aromatic groups at C5 were not tolerated. p-Prenyloxyaryl moiety at C3 oriented the selectivity toward the B isoform. The results were also corroborated by molecular modelling studies providing new suggestions for the synthesis of privileged structures to serve as lead compounds for the treatment of mood disorders and neurodegenerative diseases
- …