We present new measurements conducted on a single-photon imager implemented in CMOS technology. The sensor was designed to sustain massive doses of Gamma irradiation, X-rays, and proton bombardment. The chip was also designed to operate continuously in large magnetic fields without measurable noise and distortion. The imager consists of an array of 32x32 photon counting pixels with a pitch of 3...

In this paper, an improved GEP(Gene Expression Programming based on Block Strategy, BS-GEP) is proposed in consideration of the characteristics of software reliability growth models, on which a new software reliability modeling method is formed. Block strategy is the key point of BS-GEP, in which the population is divided into several blocks according to the individual fitness of each generatio...

In general, we would like to investigate the steady-state performance of a feedback system to disturbances and/or reference inputs that are not only constants, but can be expressed as arbitrary polynomials in time. Assuming that the system under consideration is stable, we classify such systems into system types depending to the polynomial degree for which the tracking error is constant. System...

This paper presents an approach to the verification of programs for programmable logic controllers (PLCs) using SMV, a software package for formal verification of state transition systems. Binary PLC programs are converted directly into SMV modules that retain the variable names and execution sequences of the original programs. The system being controlled is modeled by a C/E system block diagra...

A brief paper-and-pencil instrument was developed to rapidly assess visuospatial ability and serve as an alterative to the WAIS Block Design subtests during screening or when assessment time is limited. The Design Organization Test (DOT) consists of square black-and-white grids with visual patterns similar to those of the Block Design subtests. Administration is straightforward and requires exa...

New methods, for the design of different block diagrams of PLL, using the asymptotic analysis of high-frequency periodic oscillations, are suggested. The PLL description on three levels is made: 1) on the level of electronic realizations; 2) on the level of phase and frequency relations between inputs and outputs in block diagrams; 3) on the level of differential and integro-differential equati...

A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram model is a model that does not have behavior in the sense that values of properties do not change. A structural model may include properties, variables and operations. Individuals are a special case of operators with ...

There is a need to quantify system properties methodically. Dependability and security models have evolved nearly independently. Therefore, it is crucial to develop a classification of dependability and security models which can meet the requirement of professionals in both fault-tolerant computing and security community. In this paper, we present a new classification of dependability and secur...