179 research outputs found
Structural Refinement for the Modal nu-Calculus
We introduce a new notion of structural refinement, a sound abstraction of
logical implication, for the modal nu-calculus. Using new translations between
the modal nu-calculus and disjunctive modal transition systems, we show that
these two specification formalisms are structurally equivalent.
Using our translations, we also transfer the structural operations of
composition and quotient from disjunctive modal transition systems to the modal
nu-calculus. This shows that the modal nu-calculus supports composition and
decomposition of specifications.Comment: Accepted at ICTAC 201
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
There are two fundamentally different approaches to specifying and verifying
properties of systems. The logical approach makes use of specifications given
as formulae of temporal or modal logics and relies on efficient model checking
algorithms; the behavioural approach exploits various equivalence or refinement
checking methods, provided the specifications are given in the same formalism
as implementations.
In this paper we provide translations between the logical formalism of
Hennessy-Milner logic with greatest fixed points and the behavioural formalism
of disjunctive modal transition systems. We also introduce a new operation of
quotient for the above equivalent formalisms, which is adjoint to structural
composition and allows synthesis of missing specifications from partial
implementations. This is a substantial generalisation of the quotient for
deterministic modal transition systems defined in earlier papers
Boundary Liouville theory at c=1
The c=1 Liouville theory has received some attention recently as the
Euclidean version of an exact rolling tachyon background. In an earlier paper
it was shown that the bulk theory can be identified with the interacting c=1
limit of unitary minimal models. Here we extend the analysis of the c=1-limit
to the boundary problem. Most importantly, we show that the FZZT branes of
Liouville theory give rise to a new 1-parameter family of boundary theories at
c=1. These models share many features with the boundary Sine-Gordon theory, in
particular they possess an open string spectrum with band-gaps of finite width.
We propose explicit formulas for the boundary 2-point function and for the
bulk-boundary operator product expansion in the c=1 boundary Liouville model.
As a by-product of our analysis we also provide a nice geometric interpretation
for ZZ branes and their relation with FZZT branes in the c=1 theory.Comment: 37 pages, 1 figure. Minor error corrected, slight change in result
(1.6
Modelling, Simulation and Fuzzy Self-Tuning Control of D-STATCOM in a Single Machine Infinite Bus Power System
© 2019 Bentham Science Publishers. This is the accepted manuscript version of an article which has been published in final form at https://doi.org/10.2174/2352096511666180314141205In recent years, demand for electricity has increased considerably, while the expansion of generation and transmission has been very slow due to limited investment in resources and environmental restrictions. Methods: As a result, the power system becomes vulnerable to disturbances and instability. FACTS (Flexible AC Transmission Systems) technology has now been accepted as a potential solution to this problem. This paper deals with the modelling, simulation and fuzzy self-tuning control of a D-STATCOM to enhance the stability and improve the critical fault clearing time(CCT) in a single machine infinite bus (SMIB).A detailed modelling of the D-STATCOM and comprehensive derivation of the fuzzy logic self-tuning control is presented. Results: The dynamic performance of the power system with the proposed control scheme is validated through in a simulation study carried out under Matlab/Simulink and SimPowerSystems toolbox. Conclusion: The results demonstrate a significant enhancement of the power system stability under the simulated fault conditions considered.Peer reviewe
Anthropogenic Space Weather
Anthropogenic effects on the space environment started in the late 19th
century and reached their peak in the 1960s when high-altitude nuclear
explosions were carried out by the USA and the Soviet Union. These explosions
created artificial radiation belts near Earth that resulted in major damages to
several satellites. Another, unexpected impact of the high-altitude nuclear
tests was the electromagnetic pulse (EMP) that can have devastating effects
over a large geographic area (as large as the continental United States). Other
anthropogenic impacts on the space environment include chemical release ex-
periments, high-frequency wave heating of the ionosphere and the interaction of
VLF waves with the radiation belts. This paper reviews the fundamental physical
process behind these phenomena and discusses the observations of their impacts.Comment: 71 pages, 35 figure
D* Production in Deep Inelastic Scattering at HERA
This paper presents measurements of D^{*\pm} production in deep inelastic
scattering from collisions between 27.5 GeV positrons and 820 GeV protons. The
data have been taken with the ZEUS detector at HERA. The decay channel
(+ c.c.) has been used in the study. The
cross section for inclusive D^{*\pm} production with
and is 5.3 \pms 1.0 \pms 0.8 nb in the kinematic region
{ GeV and }. Differential cross
sections as functions of p_T(D^{*\pm}), and are
compared with next-to-leading order QCD calculations based on the photon-gluon
fusion production mechanism. After an extrapolation of the cross section to the
full kinematic region in p_T(D^{*\pm}) and (D^{*\pm}), the charm
contribution to the proton structure function is
determined for Bjorken between 2 10 and 5 10.Comment: 17 pages including 4 figure
Observation of Scaling Violations in Scaled Momentum Distributions at HERA
Charged particle production has been measured in deep inelastic scattering
(DIS) events over a large range of and using the ZEUS detector. The
evolution of the scaled momentum, , with in the range 10 to 1280
, has been investigated in the current fragmentation region of the Breit
frame. The results show clear evidence, in a single experiment, for scaling
violations in scaled momenta as a function of .Comment: 21 pages including 4 figures, to be published in Physics Letters B.
Two references adde
The IMF in Starbursts
The history of the IMF in starburst regions is reviewed. The IMFs are no
longer believed to be top-heavy, although some superstar clusters, whether in
starburst regions or not, could be. General observations of the IMF are
discussed to put the starburst results in perspective. Observed IMF variations
seem to suggest that the IMF varies a little with environment in the sense that
denser and more massive clusters produce more massive stars, and perhaps more
brown dwarfs too, compared to intermediate mass stars.Comment: 8 pages, to be published in ``Starbursts: from 30 Doradus to Lyman
Break Galaxies,'' held at Institute of Astronomy, Cambridge University, UK,
September 6-10, 2004. Kluwer Academic Publishers, edited by Richard de Grijs
and Rosa M. Gonzalez Delgad
- …