We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to represent information safety, and to derive answers to standard queries and to safety queries. The design of this logic is based on signaling act theory. Two strong simplifications lead to a logic S” with two modalities to ...

This paper presents a recursive method of modal parameters identification based on operational measurements, dedicated for non-stationary systems. Decoupling signal components procedure allowed to reduce the signal model and simplified the process of modal parameters estimation. Adaptive method of filtering simplified the process of wavelet function selection. Presented method utilize Continuou...

Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational semantics (SOS). An extension of algebraic and coalgebraic methods, it abstracts from concrete notions of syntax and system behaviour, thus treating various kinds of operational descriptions in a uniform fashion. In this paper, bialgebraic semantics is c...

AbstrAct: The Operational Modal Analysis technique is a methodology very often applied for the identification of dynamic systems when the input signal is unknown. The applied methodology is based on a technique to estimate the Frequency Response Functions and extract the modal parameters using only the structural dynamic response data, without assuming the knowledge of the excitation forces. Su...

the paper investigates into the vibrational characteristics of the truck chassis including the natural frequencies and mode shapes. truck chassis forms the structural backbone of a commercial vehicle. when the truck travels along the road, the truck chassis is excited by dynamic forces caused by the road roughness, engine, transmission and more. modal analysis using finite element method (fem) ...

Low-power radio frequency (RF) chip transceiver technology and the associated structural health monitoring platforms have matured recently to enable high-rate, lossless transmission of measurement data across large-scale sensor networks. The intrinsic value of these advanced capabilities is the allowance for highquality, rapid operational modal analysis of in-service structures using distribute...

in this paper, optimum location of power system stabilizers in order to damp inter-area oscillations has been investigated by using modal series method. nonlinear effects grow in dynamical behaviors of heavily loaded stressed power systems significantly. hence linear based methods and techniques no longer present clear and exact response of the systems. in this article by defining new nonlinear...

the occurrence of chatter vibrations in boring operation has a great influence in improving workpiece dimensional accuracy, surface quality and production efficiency. in this paper instability analysis of machining process is presented by dynamic model of boring machine. this model, which consists of machine tool’s structure, is provided by finite element method and ansys software. the model is...

Understanding and characterization of wind turbine dynamics, especially when operating, is an important though challenging task. The main problem is that an operating wind turbine cannot be truly modeled as a time invariant system, which limits the applicability of conventional well-established modal analysis methods. This paper compares two experimental techniques that characterize the dynamic...

In this paper we present a method for translating Horn clauses extended with modalities and embedded implication (which provide reasoning capabilities in a multiagent situation and hypothetical reasoning) into Horn clauses, therefore suitable for SLD resolution. The translation takes two steps: the rst one eliminates embedded implications by introducing new modalities; the second eliminates mod...