National Institute of Technology, Meghalaya

About: National Institute of Technology, Meghalaya is a education organization based out in Shillong, India. It is known for research contribution in the topics: Control theory & Computer science. The organization has 503 authors who have published 1062 publications receiving 6818 citations. The organization is also known as: NIT Meghalaya & NITM.

Minimal test set generation for input stuck-at and bridging faults in reversible circuits

Abstract: Research in reversible computing has gained importance because of its potential use in low-power design, and also quantum computing. Several works on reversible circuit testing have also been reported. Many fault models have been proposed, some of which have been borrowed from traditional logic. In this paper, we consider the problem of reversible circuit testing, specifically targeting test generation for stuck-at and bridging fault models. It has been shown that [log 2 N] number of test vectors are necessary and sufficient for detection of all inputs bridging faults of a reversible circuit with N inputs. Addition of only one more test vector to an existing test set of single input bridging faults can also detect all single input stuck-at faults. Finally, we provide our experimental results to verify our claim, and also show that the test size is smaller as compared to existing methods.

A study on partial and full replacement of fine aggregate in high-performance concrete with granulated blast furnace slag

Abstract: The influence of the partial / full replacement of fine aggregates with granulated blast furnace slag (GBS) and its effect on mechanical strength and durability properties (acid attack) of high-performance concrete of grade (M60) had been studied in the present work. The high-performance concrete mix had been designed in such a way that one group with natural sand and another with manufactured sand (Quarry dust). Each group of concrete mix with natural and manufactured sand consisted of five sub-groups, having 0%, 30%, 50%, 80% and 100% of GBS content. Other pozzolanic materials such as fly ash and silica fume were also employed to replace ordinary Portland cement (OPC) at 20% and 8% respectively, with a constant w/c ratio of 0.32 for the desired slump of 100 mm. According to the results, all the replacement levels of fine aggregate by GBS proved to enhance the mechanical and durability performance of concrete. It is concluded that the high-performance concrete can be produced by utilizing 100% GBS as fine aggregate, with improved mechanical and durability performance.

Parallel Reachability Analysis for Hybrid Systems

Abstract: We propose two parallel state-space exploration algorithms for hybrid systems with the goal of enhancing performance on multi-core shared memory systems. The first is an adaption of the parallel breadth first search in the SPIN model checker. We show that the adapted algorithm does not provide the desired load balancing for many hybrid systems benchmarks. The second is a task parallel algorithm based on cheaply precomputing cost of post (continuous and discrete) operations for effective load balancing. We illustrate the task parallel algorithm and the cost precomputation of post operators on a support-function-based algorithm for state-space exploration. The performance comparison of the two algorithms displays a better CPU utilization/load-balancing of the second over the first, except for certain cases. The algorithms are implemented in the model checker XSpeed and our experiments show a maximum speed-up of $900\times$ on a navigation benchmark with respect to SpaceEx LGG scenario, comparing on the basis of equal number of post operations evaluated.

3D Modelling of Superconductor Enabled Magnetic Induction Transmitter and Relay Coil for Non-conventional Media Communication

Abstract: The well established way of communication using radio frequency (RF) waves do not perform well in Non-Conventional (Non-Con) media viz. underground and underwater. Herein, the medium of soil or water is dynamic thus the use of RF technique is unusable. To establish a more effective communication in Non-Con media, researches showed that Magnetic Induction (MI) communication to be more suitable. In MI communication, parameters like number of turns, size and coil orientation have a significant effect on transceiver coil model. In this paper, a novel MI transmitter model using superconductor (SC) in one directional (1D) and in three directional (3D) is proposed. The model provides an enhanced magnetic field strength over a given distance. Further, SC based relay coils which collectively known as waveguide structure is also proposed to increase the MI communication range with intensified field strength. The performance evaluations are quantified in terms of communication range and received power for Non-Con medias. The frequency response for SC based transmitter model is given for maximum power transfer. Besides, the performance of traditional MI systems and waveguide are quantitatively compared with our improved SC based MI system and waveguide. The results show that the system has stronger magnetic field strength and greater communication range than the traditional ones.