14,924 research outputs found
The Role of Dipole Charges in Black Hole Thermodynamics
Modern derivations of the first law of black holes appear to show that the
only charges that arise are monopole charges that can be obtained by surface
integrals at infinity. However, the recently discovered five dimensional black
ring solutions empirically satisfy a first law in which dipole charges appear.
We resolve this contradiction and derive a general form of the first law for
black rings. Dipole charges do appear together with a corresponding potential.
We also include theories with Chern-Simons terms and generalize the first law
to other horizon topologies and more generic local charges.Comment: 21 pages, v2: typos corrected, v3: more typos correcte
Comprehension, Use Cases and Requirements
Within requirements engineering it is generally accepted that in writing specifications (or indeed any requirements phase document), one attempts to produce an artefact which will be simple to comprehend for the user. That is, whether the document is intended for customers to validate requirements, or engineers to understand what the design must deliver, comprehension is an important goal for the author. Indeed, advice on producing ‘readable’ or ‘understandable’ documents is often included in courses on requirements engineering. However, few researchers, particularly within the software engineering domain, have attempted either to define or to understand the nature of comprehension and it’s implications for guidance on the production of quality requirements.
In contrast, this paper examines thoroughly the nature of textual comprehension, drawing heavily from research in discourse process, and suggests some implications for requirements (and other) software documentation. In essence, we find that the guidance on writing requirements, often prevalent within software engineering, may be based upon assumptions which are an oversimplification of the nature of comprehension. Furthermore, that these assumptions may lead to rules which detract from the quality of the requirements document and, thus, the understanding gained by the reader. Finally the paper suggests lessons learned which may be useful in formulating future guidance for the production of requirements documentation
Embedding Requirements within the Model Driven Architecture
The Model Driven Architecture (MDA) brings benefits to software development, among them the potential for connecting software models with the business domain. This paper focuses on the upstream or Computation Independent Model (CIM) phase of the MDA. Our contention is that, whilst there are many models and notations available within the CIM Phase, those that are currently popular and supported by the Object Management Group (OMG), may not be the most useful notations for business analysts nor sufficient to fully support software requirements and specification.
Therefore, with specific emphasis on the value of the Business Process Modelling Notation (BPMN) for business analysts, this paper provides an example of a typical CIM approach before describing an approach which incorporates specific requirements techniques. A framework extension to the MDA is then introduced; which embeds requirements and specification within the CIM, thus further enhancing the utility of MDA by providing a more complete method for business analysis
An Annotated Checklist of the Crayfishes (Decapoda: Cambaridae) of Arkansas
Prior to the present study, 56 species with 3 additional subspecies for a total of 59 different taxa of crayfishes were recognized from Arkansas. We add a single species (Carmel Crayfish, Fallicambarus schusteri) to that list, subtract a documented synonym (Procambarus ferrugenius = Procambarus liberorum), update the classification to better reflect recent phylogenetic insights, and provide an updated annotated checklist of the 59 crayfish taxa of presently known from the state. There are 8 endemic species in Arkansas, including the Bayou Bodcau Crayfish (Bouchardina robisoni), Boston Mountains Crayfish (Cambarus causeyi), Hell Creek Cave Crayfish (C. zophonastes), Jefferson County Crayfish (Creaserinus gilpini), Ouachita Burrowing Crayfish (Fallicambarus harpi), Slenderwrist Burrowing Crayfish (F. petilicarpus), Saline Burrowing Crayfish (F. strawni), and Redspotted Stream Crayfish (Faxonius acares). There are also 2 federally endangered species, the Benton County Cave Crayfish (Cambarus aculabrum) and the Hell Creek Cave Crayfish (C. zophonastes) that inhabit Arkansas karst habitat. We expect that additional species will be included in the list with further DNA analyses
Performance of a steel spar wind turbine blade on the Mod-0 100 kW experimental wind turbine
The performance and loading of a large wind rotor, 38.4 m in diameter and composed of two low-cost steel spar blades were examined. Two blades were fabricated at Lewis Research Center and successfully operated on the Mod-0 wind turbine at Plum Brook. The blades were operated on a tower on which the natural bending frequency were altered by placing the tower on a leaf-spring apparatus. It was found that neither blade performance nor loading were affected significantly by this tower softening technique. Rotor performance exceeded prediction while blade loads were found to be in reasonable agreement with those predicted. Seventy-five hours of operation over a five month period resulted in no deterioration in the blade
One-Loop Anomaly Mediated Scalar Masses and (g-2)_mu in Pure Gravity Mediation
We consider the effects of non-universalities among sfermion generations in
models of Pure Gravity Mediation (PGM). In PGM models and in many models with
strongly stabilized moduli, the gravitino mass may be O(100) TeV, whereas
gaugino masses, generated through anomalies at 1-loop, remain relatively light
O(1) TeV. In models with scalar mass universality, input scalar masses are
generally very heavy (m_0 \simeq m_{3/2}) resulting in a mass spectrum
resembling that in split supersymmetry. However, if one adopts a no-scale or
partial no-scale structure for the K\"ahler manifold, sfermion masses may
vanish at the tree level. It is usually assumed that the leading order anomaly
mediated contribution to scalar masses appears at 2-loops. However, there are
at least two possible sources for 1-loop scalar masses. These may arise if
Pauli-Villars fields are introduced as messengers of supersymmetry breaking. We
consider the consequences of a spectrum in which the scalar masses associated
with the third generation are heavy (order m_{3/2}) with 1-loop scalar masses
for the first two generations. A similar spectrum is expected to arise in GUT
models based on E_7/SO(10) where the first two generations of scalars act as
pseudo-Nambu-Goldstone bosons. Explicit breaking of this symmetry by the gauge
couplings then generates one-loop masses for the first two generations. In
particular, we show that it may be possible to reconcile the g_mu - 2
discrepancy with potentially observable scalars and gauginos at the LHC.Comment: 30 pages, 30 figure
Aerodynamic performance of flared fan nozzles used as inlets
Tests were conducted in a low speed wind tunnel to determine the aerodynamic performance of several flared fan nozzles. Each of the flared nozzles was a downstream-facing inlet to a model fan that was used to simulate a variable pitch fan during reverse thrust operation. The total pressure recovery of each of the flared nozzles as well as that of an unflared nozzle and a serrated flare nozzle was obtained for comparison. The aerodynamic performance of a selected flared nozzle was considered in further detail. The nozzle surface pressures for a flared nozzle were also determined. Results indicated that the differences in aerodynamic performance among the nozzles were most apparent at the wind-tunnel-off condition. A nonzero free stream velocity significantly reduced the perforamnce of all the nozzles, and crosswind flow (free stream flow perpendicular to the model axis) further reduced the performance of the nozzles. The unflared nozzle and the serrated flare nozzle had reduced aerodynamic performance compared to a solid surface flared nozzle
A Simulator for LLVM Bitcode
In this paper, we introduce an interactive simulator for programs in the form
of LLVM bitcode. The main features of the simulator include precise control
over thread scheduling, automatic checkpoints and reverse stepping, support for
source-level information about functions and variables in C and C++ programs
and structured heap visualisation. Additionally, the simulator is compatible
with DiVM (DIVINE VM) hypercalls, which makes it possible to load, simulate and
analyse counterexamples from an existing model checker
- …