Water Seepage Mapping in an Underground Coal-Mine Barrier Using Self-potential and Electrical Resistivity Tomography

Mine Water and the Environment - Seepage of water through an underground coal-mine barrier is a common indicator of a potential hydrogeological hazard. The Jharia coalfield has witnessed several...     

MIMO Channel Capacity and Configuration Selection for Switched Parasitic Antennas

Multiple-input multiple-output (MIMO) systems offer significant enhancements in terms of their data rate and channel capacity compared to traditional systems. However, correlation degrades the system performance and imposes practical limits on the number of antennas that can be incorporated into portable wireless devices. The use of switched parasitic antennas (SPAs) is a possible solution, especially where it is difficult to obtain sufficient signal decorrelation by conventional means. The covariance matrix represents the correlation present in the propagation channel, and has significant impact on the MIMO channel capacity. The results of this work demonstrate a significant improvement in the MIMO channel capacity by using SPA with the knowledge of the covariance matrix for all pattern configurations. By employing the “water-pouring algorithm” to modify the covariance matrix, the channel capacity is significantly improved compared to traditional systems, which spread transmit power uniformly across all the antennas. A condition number is also proposed as a selection metric to select the optimal pattern configuration for MIMO-SPAs.     

Malware clustering using suffix trees

Clustering is an important problem in malware research, as the number of malicious samples that appear every day makes manual analysis impractical. Although these samples belong to a limited number of malware families, it is difficult to categorize them automatically as obfuscation is involved. By extracting relevant features we can apply clustering algorithms, then only analyze a couple of representatives from each cluster. However, classic clustering algorithms that compute the similarity between each pair of samples are slow when a large collection is involved. In this paper, the features will be strings of operation codes extracted from the binary code of each sample. With a modified suffix tree data structure we can find long enough substrings that correspond to portions of a program’s code. These substrings must be filtered against a database of known substrings so that common library code will be ignored. The items that have common substrings above a certain threshold will be grouped into the same cluster. Our algorithm was tested with data extracted from real-world malware and constructed quality clusters.     

Pairwise testing for software product lines: comparison of two approaches

Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability, which in turn leads to combinatorial explosion of the number of derivable products. Exhaustive testing in such a large products space is hardly feasible. Hence, one possible option is to test SPLs by generating test configurations that cover all possible t feature interactions (t-wise). It dramatically reduces the number of test products while ensuring reasonable SPL coverage. In this paper, we report our experience on applying t-wise techniques for SPL with two independent toolsets developed by the authors. One focuses on generality and splits the generation problem according to strategies. The other emphasizes providing efficient generation. To evaluate the respective merits of the approaches, measures such as the number of generated test configurations and the similarity between them are provided. By applying these measures, we were able to derive useful insights for pairwise and t-wise testing of product lines.     

Image retrieval based on non-uniform bins of color histogram and dual tree complex wavelet transform

Multimedia Tools and Applications - Traditional Content-Based Image Retrieval (CBIR) systems were developed for retrieving similar kinds of images from a whole image database based on the given...     

Verification of the applicability of lattice model to concrete fracture by AE study

Notched three-point bend specimens (TPB) were tested under crack mouth opening displacement (CMOD) control at a rate of 0.0004 mm/s and the entire fracture process was simulated using a regular triangular two-dimensional lattice network only over the expected fracture process zone width. The rest of the beam specimen was discretised by a coarse triangular finite element mesh. The discrete grain structure of the concrete was generated assuming the grains to be spherical. The load versus CMOD plots thus simulated agreed reasonably well with the experimental results. Moreover, acoustic emission (AE) hits were recorded during the test and compared with the number of fractured lattice elements. It was found that the cumulative AE hits correlated well with the cumulative fractured lattice elements at all load levels thus providing a useful means for predicting when the micro-cracks form during the fracturing process, both in the pre-peak and in the post-peak regimes.