Lower bounds on lengths of checking sequences

Lower bounds on the lengths of checking sequences constructed for testing from Finite State Machine-based specifications are established. These bounds consider the case where a distinguishing sequence is used in forming state recognition and transition verification subsequences and identify the effects of overlapping among such subsequences. Empirical results show that the existing methods for construction of checking sequences provide checking sequences with lengths that are within acceptable distance to these lower bounds.     

A Comparison of Mamdani and Sugeno Fuzzy Based Packet Scheduler for MANET with a Realistic Wireless Propagation Model

 The mobile nature of the nodes in a wireless mobile ad-hoc network (MANET) and the error prone link connectivity between nodes pose many challenges. These include frequent route changes, high packet loss, etc. Such problems increase the end-toend delay and decrease the throughput. This paper proposes two adaptive priority packet scheduling algorithms for MANET based on Mamdani and Sugeno fuzzy inference system. The fuzzy systems consist of three input variables: data rate, signal-to-noise ratio (SNR) and queue size. The fuzzy decision system has been optimised to improve its efficiency. Both fuzzy systems were verified using the Matlab fuzzy toolbox and the performance of both algorithms were evaluated using the riverbed modeler (formally known as OPNET modeler). The results were compared to an existing fuzzy scheduler under various network loads, for constant-bit-rate (CBR) and variable-bit-rate (VBR) traffic. The measuring metrics which form the basis for performance evaluation are end-to-end delay, throughput and packet delivery ratio. The proposed Mamdani and Sugeno scheduler perform better than the existing scheduler for CBR traffic. The end-to-end delay for Mamdani and Sugeno scheduler was reduced by an average of 52% and 54%, respectively. The performance of the throughput and packet delivery ratio for CBR traffic are very similar to the existing scheduler because of the characteristic of the traffic. The network was also at full capacity. The proposed schedulers also showed a better performance for VBR traffic. The end-to-end delay was reduced by an average of 38% and 52%, respectively. Both the throughput and packet delivery ratio (PDR) increased by an average of 53% and 47%, respectively. The Mamdani scheduler is more computationally complex than the Sugeno scheduler, even though they both showed similar network performance. Thus, the Sugeno scheduler is more suitable for real-time applications.     

A New Mobile Robot Toolbox for Matlab

In this study, a wheeled mobile robot navigation toolbox for Matlab is presented. The toolbox includes algorithms for 3D map design, static and dynamic path planning, point stabilization, localization, gap detection and collision avoidance. One can use the toolbox as a test platform for developing custom mobile robot navigation algorithms. The toolbox allows users to insert/remove obstacles to/from the robot’s workspace, upload/save a customized map and configure simulation parameters such as robot size, virtual sensor position, Kalman filter parameters for localization, speed controller and collision avoidance settings. It is possible to simulate data from a virtual laser imaging detection and ranging (LIDAR) sensor providing a map of the mobile robot’s immediate surroundings. Differential drive forward kinematic equations and extended Kalman filter (EKF) based localization scheme is used to determine where the robot will be located at each simulation step. The LIDAR data and the navigation process are visualized on the developed virtual reality interface. During the navigation of the robot, gap detection, dynamic path planning, collision avoidance and point stabilization procedures are implemented. Simulation results prove the efficacy of the algorithms implemented in the toolbox.     

MMSE estimator for speech enhancement considering the constructive and destructive interference of noise

A new minimum mean square error (MMSE) estimator for discrete cosine transform (DCT) domain speech enhancement considering the two state possibilities of signal and noise DCT coefficients, the constructive and destructive interference, is proposed. Given proper identification of these events are possible, an optimum non-linear MMSE estimator can be derived considering the conditional events. Compared to the previously reported dual-gain multiplicative filters, the proposed estimator demonstrates superior theoretical and experimental performance with respect to mean square error (MSE) improvement and other objective quality measures.     

Adaptive device-to-device communication using Wi-Fi Direct in smart cities

Wi-Fi Direct has become vastly popular in the last few years. Due to its fast network setup and the provision of high transmission rates, it is expected to be the piggyback technology for high speed device-to-device communications in smart cities. The increasing demand on Wi-Fi Direct networks and its co-location in the same band with other Wi-Fi ad-hoc and infrastructure networks have entailed the need for developing new adaptive techniques to utilize the wireless spectrum efficiently. In this paper, we introduce, analyze and implement a self-organizing algorithm designed specifically for pop-up Wi-Fi Direct networks. The algorithm dynamically changes the operating channels of pop-up Wi-Fi Direct networks according to their performance in a non-cooperative manner. It utilizes the spectrum efficiently, reduces congestion and enhances performance. Moreover, the modified Wi-Fi Direct network running the proposed algorithm is interoperable with all other Wi-Fi network modes and setups and does not affect their functionalities. On the contrary, it enhances their performance implicitly. We implement the algorithm using the driver of RTL8188CUS chipset in a Linux environment and conduct experiments to evaluate its performance. The obtained results illustrate the benefits of using the proposed algorithm.     

Destructive and non-destructive evaluation of concrete for optimum sand to aggregate volume ratio

Aggregates are the biggest contributor to concrete volume and are a crucial parameter in dictating its mechanical properties. As such, a detailed experimental investigation was carried out to evaluate the effect of sand-to-aggregate volume ratio (s/a) on the mechanical properties of concrete utilizing both destructive and non-destructive testing (employing UPV (ultrasonic pulse velocity) measurements). For investigation, standard cylindrical concrete samples were made with different s/a (0.36, 0.40, 0.44, 0.48, 0.52, and 0.56), cement content (340 and 450 kg/m³), water-to-cement ratio (0.45 and 0.50), and maximum aggregate size (12 and 19 mm). The effect of these design parameters on the 7, 14, and 28 d compressive strength, tensile strength, elastic modulus, and UPV of concrete were assessed. The careful analysis demonstrates that aggregate proportions and size need to be optimized for formulating mix designs; optimum ratios of s/a were found to be 0.40 and 0.44 for the maximum aggregate size of 12 and 19 mm, respectively, irrespective of the W/C (water-to-cement) and cement content.     

Bio-cellular processes modeling on silicon substrate: receptor–ligand binding and Michaelis Menten reaction

Reducing transmit power is the most straightforward way towards more energy-efficient communications, but it results in lower SNRs at the receiver which can add a performance and/or complexity cost. At low SNRs, synchronization and channel estimation errors erode much of the gains achieved through powerful turbo and LDPC codes. Further expanding the turbo concept through an iterative receiver—which brings synchronization and equalization modules inside the loop—can help, but this solution is prohibitively complex and it is not clear what can and what cannot be a part of the iterative structure. This paper fills two important gaps in this field: (1) as compared to previous research which either focuses on a subset of the problem assuming perfect remaining parameters or is computationally too complex, we propose a proper partitioning of algorithm blocks in the iterative receiver for manageable delay and complexity, and (2) to the best of our knowledge, this is the first physical demonstration of an iterative receiver based on experimental radio hardware. We have found that for such a receiver to work, (1) iterative timing synchronization is impractical, iterative carrier synchronization can be avoided by using our proposed approach, while iterative channel estimation is essential, and (2) the SNR gains claimed in previous publications are validated in indoor channels. Finally, we propose a heuristic algorithm for simplifying the carrier phase synchronization in an iterative receiver such that computations of the log likelihood ratios of the parity bits can be avoided to strike a tradeoff between complexity and performance.     

A comparative study of SiAlON ceramics

Two different varieties of Si₃N₄ powders were used to prepare SiAlON ceramics. 100% β-Si₃N₄ was used from refractory grade powders (B1) and another purer 98% α-Si₃N₄ (50A) powder was used to prepare the SiAlON samples. Since SiC + SiAlON composites reportedly perform better, batches were prepared with 15% SiC addition to the refractory powders (B1) and 17.5% SiC was added to the other SiAlON composition (50A). The samples were gas pressure sintered at 1840 °C and at 22 bar with 1 h dwelling time. Thereby, we could achieve 97–98% theoretical density. The hardness was recorded 14–17 GPa while fracture toughness varied from 4.3 to 5 MPa m^1/2. Fretting experiments showed initial running-in period of 300 cycles for all the tribo-couples. After which, the steady state coefficient of frictions (COF) were achieved. Steel ball of 10 mm diameter, fretting against 50A composition, showed 0.6 average steady state COF while the same composition while fretting against alumina ball of the same diameter, showed 0.57 average steady state COF. Results have been compared with SiAlON composition derived from refractory powder (B1) and found that the 50A composition performs better under identical test conditions. Moreover, cytocompatibility study also suggests that the investigated 50A composition can be used as substrate to support cell adhesion and proliferation of L929 mouse fibroblast cell lines whereas B1 composition derived from refractory powders are toxic in nature.