134,627 research outputs found
Experience with mural in formalising Dust-Expert
The mural system was an outcome of a significant effort to develop a support tool for the effective use of a full formal methods development cycle. Experience with it, however, has been limited to a small number of illustrative examples that have been carried out by those closely associated with its development and implementation. This paper aims to remedy this situation by describing the experience of using mural for specifying Dust-Expert, an expert system for the relief venting of dust explosions in chemical processes. The paper begins by summarising the main requirements for Dust-Expert, and then gives a ¯avour of the VDM speci®cation that was formalised using mural.
The experience of using mural is described with respect to users' expectations that a formal methods tool should: (i) spot any inconsistencies; (ii) help manage and organise the specifications and allow one to easily add, access, update and delete specifications; (iii) help manage and carry out the refinement process; (iv) help manage and organise theories; (v) help manage and carry out proofs. The paper concludes by highlighting the strengths and weaknesses of mural that could be of interest to those developing the next generation of formal methods development tools
Sigma_c Dbar and Lambda_c Dbar states in a chiral quark model
The S-wave Sigma_c Dbar and Lambda_c Dbar states with isospin I=1/2 and spin
S=1/2 are dynamically investigated within the framework of a chiral constituent
quark model by solving a resonating group method (RGM) equation. The results
show that the interaction between Sigma_c and Dbar is attractive, which
consequently results in a Sigma_c Dbar bound state with the binding energy of
about 5-42 MeV, unlike the case of Lambda_c Dbar state, which has a repulsive
interaction and thus is unbound. The channel coupling effect of Sigma_c Dbar
and Lambda_c Dbar is found to be negligible due to the fact that the gap
between the Sigma_c Dbar and Lambda_c Dbar thresholds is relatively large and
the Sigma_c Dbar and Lambda_c Dbar transition interaction is weak.Comment: 7 pages,2 figures. arXiv admin note: text overlap with
arXiv:nucl-th/0606056 by other author
GRB afterglows: deep Newtonian phase and its application
Gamma-ray burst afterglows have been observed for months or even years in a
few cases. It deserves noting that at such late stages, the remnants should
have entered the deep Newtonian phase, during which the majority of
shock-accelerated electrons will no longer be highly relativistic. To calculate
the afterglows, we must assume that the electrons obey a power-law distribution
according to their kinetic energy, not simply the Lorentz factor.Comment: Poster at the 4th workshop "Gamma-Ray Bursts in the Afterglow Era"
(Rome, 2004), accepted for publication in the proceedings. 4 pages, with 3
figures inserte
The Electromagnetically Induced Transparency in Mechanical Effects of Light
We consider the dynamical behavior of a nanomechanical mirror in a
high-quality cavity under the action of a coupling laser and a probe laser. We
demonstrate the existence of the analog of electromagnetically induced
transparency (EIT) in the output field at the probe frequency. Our calculations
show explicitly the origin of EIT-like dips as well as the characteristic
changes in dispersion from anomalous to normal in the range where EIT dips
occur. Remarkably the pump-probe response for the opto mechanical system shares
all the features of the Lambda system as discovered by Harris and
collaborators.Comment: 4 pages, 5 figure
Dressing the electromagnetic nucleon current
A field-theory-based approach to pion photoproduction off the nucleon is used
to derive a microscopically consistent formulation of the fully dressed
electromagnetic nucleon current in an effective Lagrangian formalism. It is
shown how the rigorous implementation of local gauge invariance at all levels
of the reaction dynamics provides equations that lend themselves to practically
manageable truncations of the underlying nonlinearities of the problem. The
requirement of consistency also suggests a novel way of treating the pion
photoproduction problem. Guided by a phenomenological implementation of gauge
invariance for the truncated equations that has proved successful for pion
photoproduction, an expression for the fully dressed nucleon current is given
that satisfies the Ward-Takahashi identity for a fully dressed nucleon
propagator as a matter of course. Possible applications include meson photo-
and electroproduction processes, bremsstrahlung, Compton scattering, and
processes off nucleons.Comment: 10 pages, 9 figure
Electromagnetically Induced Transparency from Two Phonon Processes in Quadratically Coupled Membranes
We describe how electromagnetically induced transparency can arise in
quadratically coupled optomechanical systems. Due to quadratic coupling the
underlying optical process involves a two phonon process in optomechanical
system and this two phonon process makes the mean amplitude, which plays the
role of atomic coherence in traditional EIT, zero. We show how the fluctuation
in displacement can play a role similar to atomic coherence and can lead to
EIT-like effects in quadratically coupled optomechanical systems. We show how
such effects can be studied using the existing optomechanical systems.Comment: 5 pages,4 figure
Can reactive coupling beat motional quantum limit of nano waveguides coupled to microdisk resonator
Dissipation is generally thought to affect the quantum nature of the system
in an adverse manner, however we show that dissipatively coupled nano systems
can be prepared in states which beat the standard quantum limit of the
mechanical motion. We show that the reactive coupling between the waveguide and
the microdisk resonator can generate the squeezing of the waveguide by
injecting a quantum field and laser into the resonator through the waveguide.
The waveguide can show about 70--75% of maximal squeezing for temperature about
1--10 mK. The maximum squeezing can be achieved with incident pump power of
only 12 W for a temperature of about 1 mK. Even for temperatures of 20 mK,
achievable by dilution refrigerators, the maximum squeezing is about 60%.Comment: 6 pages,2 figure
Beaming effects in GRBs and orphan afterglows
The overall dynamical evolution and radiation mechanism of -ray burst
jets are briefly introduced. Various interesting topics concerning beaming in
-ray bursts are discussed, including jet structures, orphan afterglows
and cylindrical jets. The possible connection between -ray bursts and
neutron star kicks is also addressed.Comment: 10 Pages, 4 figures, to appear in a special issue of ApSS. Oral
report presented at "The Multiwavelength Approach to Unidentified Gamma-Ray
Sources" (Hong Kong, June 1 - 4, 2004; Conference organizers: K.S. Cheng and
G.E. Romero
- …