We survey the most significant literature about compositional techniques for concurrent and real-time system verification. We especially focus on abstract frameworks for rely/guarantee compositionality that handles circularity, but also consider different developments.

Blind source separation (BSS) for convolutive mixtures can be performed efficiently in the frequency domain, where independent component analysis (ICA) is applied separately in each frequency bin. However, frequencydomain BSS involves two major problems that must be solved. The first is the permutation problem: the permutation ambiguity of ICA should be aligned so that a separated signal in the...

In this paper, RGB to gray, binaryzation and morphological close operation are used for fire flame images processing. The area, mean gray, circularity between fire flame and interference image are analyzed then. It is found in the experimental data that the differences among the autocorrelation function of the area sequence, the variance of the mean gray sequence, the mean v and autocorrelation...

This paper proposes a new algorithm for a class of binary images thinning by using two PCNNs (pulse coupled neural networks). Once the travelling pulses of the two PCNNs meet, the thinning result is obtained. The criterion of pulses meeting is given, and the parameters of the PCNNs are also specified, which make the implementation of the proposed thinning algorithm easier. The algorithm is used...

A system for supporting corneal suture for minimizing induced astigmatism, due to irregular manual stitches, has been designed. The system projects 48 light spots, from LEDs, displayed in a precise circle at the lachrymal film of the examined cornea. The displacement, the size and deformation of the reflected image of these light spots analysis providies the keratometry and the circularity of t...

We present analysis of spatial patterns of generic disease spread simulated by a stochastic long-range correlation SIR model, where individuals can be infected at long distance in a power law distribution. We integrated various tools, namely perimeter, circularity, fractal dimension, and aggregation index to characterize and investigate spatial pattern formations. Our primary goal was to unders...

Kabani river is a 7 order stream with a basin area of 1647 km. There are 4 sixth order and11 fifth order sub-basins. This analysis is mainly confined to 11 fifth order sub basins. Morphometric indices like stream ordering, bifurcation ratio, stream length, drainage density, stream frequency, form factor, elongation ratio, circularity ratio, constant of channel maintenance, asymmetry factor, sin...

This paper critically discusses recent objections that have been raised against the contextual understanding of fundamental physical objects advocated by non-eliminative ontic structural realism. One of these recent objections claims that such a purely relational understanding of objects cannot account for there being a determinate number of them. A more general objection concerns a well-known ...

This paper proposed a novel voting ranking random forests (VRRF) method for solving hepatocellular carcinoma (HCC) image classification problem. Firstly, in preprocessing stage, this paper used bilateral filtering for hematoxylin-eosin (HE) pathological images. Next, this paper segmented the bilateral filtering processed image and got three different kinds of images, which include single binary...

The accuracy of the angular distance may decrease due to lots of factors, such as the parameters of the stellar camera aren’t calibrated on-orbit, or the location accuracy of the star image points is low, and so on, which can cause the low success rates of star identification. A robust directed circularity pattern algorithm is proposed in this paper, which is developed on basis of the matching ...