background: in the past three decades, tehran has experienced warmer summer so we need to determine heat-related mortality to establish appropriate public health activities during hot summers. the aim of the present study was to detect heat waves during the last decades and then determine excess mortality in immediate and lagged times. method: an ecological study based on time-series model was ...

the molecular weight distribution of 4 commercial isotactic polypropylene (ipp) samples was estimated using rheological data. the dynamic moduli data, obtained from rheological measurements in linear viscoelastic region was used for calculation of relaxation time spectrum, h(τ) and then shear relaxation modulus, g(t). finally, applying thimm kernel function and relaxation modulus data in genera...

this paper is pertained with the problem of admissibility analysis of uncertain discrete-time nonlinear singular systems by adopting the state-space takagi-sugeno fuzzy model with time-delays and norm-bounded parameter uncertainties. lyapunov krasovskii functionals are constructed to obtain delay-dependent stability condition in terms of linear matrix inequalities, which is dependent on the low...

We survey recent results about the relation between Datalog and temporal veriication logics. Datalog is a well-known database query language relying on the logic programming paradigm. We introduce Dat-alog LITE, a fragment of Datalog with well-founded negation, which has an easy stratiied semantics and a linear time model checking algorithm. Datalog LITE subsumes temporal languages such as CTL ...

in this study, independent variables were time (1-15 min0, temperature (25-45) and power of ultrasound. results showed that time of ultrasound was linear (p

this paper undertakes the synthesis of a logic-based switching h2/h∞ state-feedback controller for continuous-time lti singular perturbation systems. our solution achieves a minimum bound on the h2 performance level, while also satisfying the h∞ performance requirements. the proposed hybrid control scheme is based on a fuzzy supervisor managing the combination of two controllers. a convex lmi-b...

In this paper we suggest a procedure for testing reversibility of time series. Our approach is based on a necessary and sufficient condition for time reversibility of linear models. An attractive feature of the procedure is that in converse with other approaches it doesn’t require important assumptions, especially existence of moments of order higher than two. Our simulation confirms the proced...

In this paper we show that Datalog is well-suited as a temporal veriication language. Dat-alog is a well-known database query language relying on the logic programming paradigm. We introduce Datalog LITE, a fragment of Datalog with well-founded negation, and present a linear time model checking algorithm for Datalog LITE. We show that Datalog LITE subsumes temporal languages such as CTL and the...

We present a distance-agnostic approach to quantitative verification. Taking as input an unspecified distance on system traces, or executions, we develop a game-based framework which allows us to define a spectrum of different interesting system distances corresponding to the given trace distance. Thus we extend the classic linear-time–branching-time spectrum to a quantitative setting, parametr...