In this paper, we introduce a new fragment of the first-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satisfiability problem for monodic formulas in various linear time structures can be reduced to the satisfiability problem for a certain fragment of classical first...

We study the full set of planar Green's functions for a two-matrix model using the language of functions of non-commuting variables. Both the standard Schwinger-Dyson equations and equations determining connected Green's functions can be efficiently discussed and solved. This solution determines the master field for the model in the 'C-representation.

AIMS To assess the contribution of the four major operational variables in the radial keratotomy operation (RK) to the correction of myopic eyes. To study the deformation of the cornea after the operation and provide some valuable references for clinical practice. METHODS The expression of the correction ratio has been deduced, which can be directly represent as the deformation ratio of the c...

One of sheet severe plastic deformation (SPD) operation, namely constrained groove pressing (CGP), is investigated here in order to specify the optimum values for geometrical variables of this process on pure aluminium sheets. With this regard, two different objective functions, i.e. the uniformity in the effective strain distribution and the necessary force per unit weight of the specimen, are...

Goossens defined structural operational semantics for a subset of VHDL-87 and proved that the parallelism present in VHDL is benign. We extend this work to include VHDL-93 features such as shared variables and postponed processes that change the underlying semantic model. In the presence of shared variables, nondeterministic execution of VHDL-93 processes destroys the unique meaning property. W...

In this paper we consider synchronous parallel programs P that are composed by sequential randomized processes S Sk which communicate via shared variables First we give an operational semantics for the sequential components Si on the basis of a transition relation de ned in the classical SOS style a la Plotkin Plo which we use to specify the behaviour of P by a Markov chain whose transitions st...

The Hamiltonian formulation of the dynamics of a relativistic particle described by a higher-derivative action that depends both on the first and the second Frenet-Serret curvatures is considered from a geometrical perspective. We demonstrate how reparametrization covariant dynamical variables and their projections onto the Frenet-Serret frame can be exploited to provide not only a significant ...

We review the geometrical properties of vacuum spacetimes in (2+1)-gravity with vanishing cosmological constant. We explain how these spacetimes are characterised as quotients of their universal cover by holonomies. We explain how this description can be used to clarify the geometrical interpretation of the fundamental physical variables of the theory, holonomies and Wilson loops. In particular...

In an attempt to define a generic way to include human factors in a simulation of military operations HFM 128 suggested to break the causal chain between human factors as input and operational outcome into three components: a) human factors science based models to calculate state variables of the human, b) Performance Shaping Functions (PSF) to quantify the effect of states on individual perfor...