6,804 research outputs found
An Introduction to Pervasive Interface Automata
Pervasive systems are often context-dependent, component based systems in which components expose interfaces and offer one or more services. These systems may evolve in unpredictable ways, often through component replacement. We present pervasive interface automata as a formalism for modelling components and their composition. Pervasive interface automata are based on the interface automata of Henzinger et al, with several significant differences. We expand their notion of input and output actions to combinations of input, output actions, and callable methods and method calls. Whereas interfaces automata have a refinement relation, we argue the crucial relation in pervasive systems is component replacement, which must include consideration of the services offered by a component and assumptions about the environment. We illustrate pervasive interface autmotata and component replacement with a small case study of a pervasive application for sports predictions
Orthogonality Relations and Supercharacter Formulas of U(m|n) Representations
In this paper we obtain the orthogonality relations for the supergroup
U(m|n), which are remarkably different from the ones for the U(N) case. We
extend our results for ordinary representations, obtained some time ago, to the
case of complex conjugated and mixed representations. Our results are expressed
in terms of the Young tableaux notation for irreducible representations. We use
the supersymmetric Harish-Chandra-Itzykson-Zuber integral and the character
expansion technique as mathematical tools for deriving these relations. As a
byproduct we also obtain closed expressions for the supercharacters and
dimensions of some particular irreducible U(m|n) representations. A new way of
labeling the U(m|n) irreducible representations in terms of m + n numbers is
proposed. Finally, as a corollary of our results, new identities among the
dimensions of the irreducible representations of the unitary group U(N) are
presented.Comment: 56 pages, LaTeX, changes only in the writing of the titl
An Algorithm for Probabilistic Alternating Simulation
In probabilistic game structures, probabilistic alternating simulation
(PA-simulation) relations preserve formulas defined in probabilistic
alternating-time temporal logic with respect to the behaviour of a subset of
players. We propose a partition based algorithm for computing the largest
PA-simulation, which is to our knowledge the first such algorithm that works in
polynomial time, by extending the generalised coarsest partition problem (GCPP)
in a game-based setting with mixed strategies. The algorithm has higher
complexities than those in the literature for non-probabilistic simulation and
probabilistic simulation without mixed actions, but slightly improves the
existing result for computing probabilistic simulation with respect to mixed
actions.Comment: We've fixed a problem in the SOFSEM'12 conference versio
Development of an energy-absorbing passenger seat for a transport aircraft
Commercial air transport passenger safety and survivability, in the event of an impact-survivable crash, are subjects receiving increased technical focus/study by the aviation community. A B-720 aircraft, highly instrumented, and remotely controlled from the ground by a pilot in a simulated cockpit, was crashed on a specially prepared gravel covered impact site. The aircraft was impacted under controlled conditions in an air-to-ground gear-up mode, at a nominal speed of 150 knots and 4-1/2 deg glide slope. Data from a number of on board, crash worthiness experiments provided valuable information related to structural loads/failure modes, antimisting kerosene fuel, passenger and attendant restraint systems and energy absorbing seats. The development of an energy absorbing (EA) seat accomplished through innovative modification of a typical modern standard commercial aviation transport, three passenger seat is described
Light airplane crash tests at three pitch angles
Three similar twin-engine general aviation airplane specimens were crash tested at an impact dynamics research facility at 27 m/sec, a flight path angle of -15 deg, and pitch angles of -15 deg, 0 deg, and 15 deg. Other crash parameters were held constant. The test facility, instrumentation, test specimens, and test method are briefly described. Structural damage and accelerometer data for each of the three impact conditions are presented and discussed
Light airplane crash tests at impact velocities of 13 and 27 m/sec
Two similar general aviation airplanes were crash tested at the Langley impact dynamics research facility at velocities of 13 and 27 m/sec. Other flight parameters were held constant. The facility, instrumentation, tests specimens, and test method are briefly described. Structural damage and accelerometer data are discussed
- …