accurate interpretation of radiographic images is dependent on viewing conditions. recently the number of radiology departments has been increased so it needs to use a workstation for reporting. the aim of this study was assess monitor performance and the effect of viewing conditions on object detection. this investigation aimed to quantify the effects of changes in box brightness and ambient l...

Detectability of discrete event systems (DESs) is a property to determine a priori whether the current and subsequent states can be determined based on observations. In this paper, we investigate the verification of two detectability properties – strong detectability and weak detectability – for DESs modeled by labeled Petri nets. Strong detectability requires that we can always determine, afte...

objective(s): use of a positron emission tomography (pet)/single-photonemission computed tomography (spect) system facilitates the simultaneousacquisition of images with fluorine-18 fluorodeoxyglucose (18f-fdg) andtechnetium (99mtc)-tetrofosmin. however, 18f has a short half-life, and 511kev compton-scattered photons are detected in the 99mtc energy window.therefore, in this study, we aimed to ...

This paper introduces a concept of detectability for discrete-time infinite Markov jump linear systems that relates the stochastic convergence of the output with the stochastic convergence of the state. It is shown that the new concept generalizes a known stochastic detectability concept and, in the finite dimension scenario, it is reduced to the weak detectability concept. It is also shown tha...

Objective(s): Use of a positron emission tomography (PET)/single-photonemission computed tomography (SPECT) system facilitates the simultaneousacquisition of images with fluorine-18 fluorodeoxyglucose (18F-FDG) andtechnetium (99mTc)-tetrofosmin. However, 18F has a short half-life, and 511keV Compton-scattered photons are detected in the 99mTc energy window.Therefore, in this study, we aimed to ...

In this paper we define and analyze notions of detectability in stochastic discrete event systems (SDES). More specifically, we introduce the notions of A-detectability and AA-detectability which focus on characterizing our ability to estimate the true current state of a given SDES with increasing certainty as we observe more output symbols. We discuss observer-based techniques that can be used...

Partial detectability profiles are formed by randomly sampling each fault's detectability and are used in estimating the fault coverage of random input test vectors on combinational circuits. Partial detectability profiles are particularly useful for predicting fault coverage for large circuits with a large number of inputs. Predictions made using full and partial detectability profiles are com...

A fault is (strongly) detectable if it is possible to construct a residual generator that is sensitive to the (constant) fault while decoupling all disturbances. Two new fault detectability criterions and three new strong fault detectability criterions are presented. For comparison, existing fault detectability criterions are reviewed. To prove the criterions, a framework of polynomial bases is...

Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicability. We introduce a taxonomy of detectability specifications expressed in temporal-epistemic logic. We illustrate the practical relevance of attack detectability in a case study applied to a variant of Kerberos protoco...

In this paper we introduce some notions of stabilizability and detectability for discrete time-varying systems. These concepts are introduced by making state-space decompositions of the system. This allows an intuitive interpretation and shows the difficulties which occur if one tries to derive general stabilizability and detectability properties. Moreover, we show by means of a counterexample ...