Process algebras extended by a concept to present timing behaviour have been very recently proposed as a good modelling tool for the combined analysis of qualitative and quantitative system behaviour. We introduce a a process algebra including exponentially distributed time delays and a systematic approach to compute the underlying labelled transition system and continuous time Markov process. ...

For a closure space (P,φ) with φ(∅) = ∅, the closures of open subsets of P , called the regular closed subsets, form an ortholattice Reg(P,φ), extending the poset Clop(P,φ) of all clopen subsets. If (P,φ) is a finite convex geometry, then Reg(P, φ) is pseudocomplemented. The Dedekind-MacNeille completion of the poset of regions of any central hyperplane arrangement can be obtained in this way, ...

Abstract We present a new version of the Monte Carlo event generator ReneSANCe. The takes into account complete one-loop electroweak (EW) corrections, higher order QED corrections in leading logarithm (LL) approximation and some EW to processes at e + − colliders with finite particle masses arbitrary polarizations initial final particles. ReneSANCe can produce events full phase space this optio...

We study the quantisation of complex, finite–dimensional, compact, classical phase spaces C, by explicitly constructing Hilbert–space vector bundles over C. We find that these vector bundles split as the direct sum of two holomorphic vector bundles: the holomorphic tangent bundle T (C), plus a complex line bundle N(C). Quantum states (except the vacuum) appear as tangent vectors to C. The vacuu...

Liquid-crystal light valves can have intensity-dependent resolution. We find for a nematic liquid-crystal light valve that this effect is well modeled as a phase that has been blurred by a linear space-invariant filter. The phase point-spread function is measured and is used in simulations to demonstrate that it introduces intermodulation products to the diffraction patterns of computer-generat...

In the present paper, effect of initial stresses on the propagation of Love waves has been investigated in a fluid saturated, anisotropic, porous layer lying in welded contact over a prestressed, non-homogeneous elastic half space. The dispersion equation of phase velocity has been derived. It has been found that the phase velocity of Love waves is considerably influenced by porosity and anisot...

This paper presents the application of radial basis neural networks to the development of a novel method for the condition monitoring and fault diagnosis of synchronous generators. In the proposed scheme, flux linkage analysis is used to reach a decision. Probabilistic neural network (PNN) and discrete wavelet transform (DWT) are used in design of fault diagnosis system. PNN as main part of thi...