To the 36 meters crane girder with trapezoidal variable cross-section in a steel plant, finite element model is established reasonably according its actual size. The calculation of crane girder structure was introduced by using the finite element analysis software ANSYS. The local stress state of the cross-section is investigated and the stress concentration position of variable cross-section i...

A modal analogue of Lindstrr om's characterization of rst-order logic is proved. Basic modal logics are characterized as the only modal logics that have a notion of nite rank, or, equivalently, as the strongest modal logic whose formulas are preserved under ultra-products over !. Also, basic modal logic is the strongest classical logic whose formulas are preserved under bisimulations and ultra-...

We introduce a new semantics for modal predicate logic, with respect to which a rich class of first-order modal logics is complete, namely all normal first-order modal logics that are extensions of free quantified K. This logic is defined by combining positive free logic with equality PFL . = and the propositional modal logic K. We then uniformly construct—for each modal predicate logic L—a can...

Multi-modal virtual environments succeed better, than single-channel technologies, in creating the 'sense of presence'. We hypothesize that the underlying cognitive mechanism is related to a faster mental processing of multimodal events. Comparing reaction time in uni-modal, bimodal and tri-modal events, we show that the processing speed is: uni-modal > bi-modal > tri-modal. Given this advantag...

A gas turbine abruptly tripped to a stop during its daily morning start-up period. Out of a total of 81 blades in the first row only one blade was broken at its root. Prior to this accident, there were three blade failure accidents in the same plant during the last 10 years. First, the fracture surface of the troubled blade was investigated. Stress analysis of the blade showed that the maximum ...

We introduce distributive unimodal logic as a modal logic of binary relations over posets which naturally generalizes the classical modal logic of binary relations over sets. The relational semantics of this logic is similar to the relational semantics of intuitionistic modal logic and positive modal logic, but it generalizes both of these by placing no restrictions on the accessibility relatio...

[1] Several large strike slip earthquakes have occurred in various tectonic settings in the past 5 years, adding well documented data to the global collection of moment and length estimates for such earthquakes. Based on this augmented dataset, we reexamine the controversial issue of scaling of seismic moment with length of rupture. We find that the global dataset of large strike-slip earthquak...

Modal transition systems provide a behavioral and compositional specification formalism for reactive systems. We survey two extensions of modal transition systems: parametric modal transition systems for specifications with parameters, and weighted modal transition systems for quantitative specifications.