We present two algorithms for the efficient placement of sensors in a sensor field. The proposed approach is aimed at optimizing the number of sensors and determining their placement to support distributed sensor networks. The optimization framework is inherently probabilistic due to the uncertainty associated with sensor detections. The proposed algorithms address coverage optimization under t...

—Aimed at the path coverage problem for wireless multimedia sensor networks, MTPCA (Moving Target based Path Coverage-enhancing Algorithm) algorithm is proposed. This algorithm introduces the improved probabilistic model into the virtual potential field based directional sensor network coverage. In order to correct the centroid position of sector area covered by sensor node in traditional prob...

Fault diagnosis in the presence of noise and model errors is of fundamental importance. In the paper, the meaning of fault isolation performance is formalized by using the established notion of coverage and false coverage from the field of statistics. Then formal relations describing the relationship between fault isolation performance and the residual related design parameters are derived. For...

When engineers design a system, there is always a question about how exhaustive the system has been examined to be correct. Coverage estimation provides an answer to this question in testing. A model checker verifies a design exhaustively, and proves the satisfaction of property specifications. However, people have noticed that design errors exist even after model checking is done, which goes t...

A simple model is proposed for calculating the reaction yield of a surface reaction of molecules chemisorbed on regular surfaces. An application to benzene from acetylene tricyclization on Pd(111) is performed. The analysis relies on random adsorption of acetylene on the clean crystal surface. The benzene yield is calculated in terms of the acetylene coverage. Analytical results are compared wi...

Spherical imaging is a technical approach of collecting scenery by viewing it through a single perspective. A typical realization of spherical imaging is a panoramic mosaic covering a part of the hemisphere. According to a photogrammetric definition, we introduce here, spherical imaging is an exact central projection explicitly determined by its projection center. They are linear images without...

We present a Monte Carlo analysis in terms of neutrino oscillations of the total rates measured in solar neutrino experiments in the framework of frequentist statistics. We show that the goodness of fit and the confidence level of the allowed regions in the space of the neutrino oscillation parameters are significantly overestimated in the standard method. We also present a calculation of exact...

The mobile communication is nowadays one of the basic needs of humanity. It is essential to the flourishing of human beings. Considering this reality, the need to use its mobile phone is become more important and diversified. The subscribers of the various mobile telephone operators are increasingly demanding. This situation poses the problems of the cover mobile network to the operators and le...

Over the last decade, extensive research has been conducted on coverage metrics for model checking. The most common coverage metrics are based on mutations, where one examines the effect of small modifications of the system on the satisfaction of the specification. While it is commonly accepted that mutation-based coverage provides adequate means for assessing the exhaustiveness of the model-ch...

So far path coverage problem has been studied widely to characterize the properties of the coverage of a path or a track in an area induced by a sensor network, in which the path or track is usually treated as a curve and the width of it can be ignored. However, sensor networks often are employed to carry out road surveillance or target tracking, in which the interesting area is only the surfac...