We present a rst-order modal-calculus which uses parameterised maximal x-points to describe safety and liveness properties of processes. Then we give a local model checking proof system for deciding if a process satisses such a formula. The processes we consider are those deenable in regular value-passing CCS with parameterised recursive deenitions. Certain rules in the proof system carry side ...

In the present study, a two-step approach for damage prognosis in long trusses is suggested in which the first step deals with locating probable damages by wavelet transform (WT) and static deflection derived from modal data with the intention of declining the subsequent inverse problem variables. Then, in the second step, optimization based model updating method using Artificial Bee Colony (AB...

We present an autoepistemic approach for rea soning about actions in the presence of incom plete information and sensing Speci cally we introduce a logical formalism that combines a very expressive logic of programs the modal mu calculus with a minimal knowledge modal ity We show that reasoning in such a formal ism can be done by integrating model checking for modal mu calculus and propositiona...

Feature curves on 3D shapes provide important hints about significant parts of the geometry and reveal their underlying structure. However, when we process real world data, automatically detected feature curves are affected by measurement uncertainty, missing data, and sampling resolution, leading to noisy, fragmented, and incomplete feature curve networks. These artifacts make further processi...

It is well known that damaged structural members may considerably alter the behaviour of the structures. Careful observation of these changes has often been viewed as a means to identify and assess the location and severity of damages in structures. Among the responses of a structure, natural frequencies and mode shapes are both relatively easy to obtain and independent from external excitation...