Joint physical and link layer error control analysis for nanonetworks in the Terahertz band

Nanonetworks consist of nano-sized communicating devices which are able to perform simple tasks at the nanoscale. The limited capabilities of individual nanomachines and the Terahertz (THz) band channel behavior lead to error-prone wireless links. In this paper, a cross-layer analysis of error-control strategies for nanonetworks in the THz band is presented. A mathematical framework is developed and used to analyze the tradeoffs between Bit Error Rate, Packet Error Rate, energy consumption and latency, for five different error-control strategies, namely, Automatic Repeat reQuest (ARQ), Forward Error Correction (FEC), two types of Error Prevention Codes (EPC) and a hybrid EPC. The cross-layer effects between the physical and the link layers as well as the impact of the nanomachine capabilities in both layers are taken into account. At the physical layer, nanomachines are considered to communicate by following a time-spread on-off keying modulation based on the transmission of femtosecond-long pulses. At the link layer, nanomachines are considered to access the channel in an uncoordinated fashion, by leveraging the possibility to interleave pulse-based transmissions from different nodes. Throughout the analysis, accurate path loss, noise and multi-user interference models, validated by means of electromagnetic simulation, are utilized. In addition, the energy consumption and latency introduced by a hardware implementation of each error control technique, as well as, the additional constraints imposed by the use of energy-harvesting mechanisms to power the nanomachines, are taken into account. The results show that, despite their simplicity, EPCs outperform traditional ARQ and FEC schemes, in terms of error correcting capabilities, which results in further energy savings and reduced latency.     

Modeling of Dispersive Materials Using Dispersion Models for FDTD Application

A nonlinear optimization algorithm based on the Nelder Mead method is used to characterize the frequency dependent permittivity of 15 materials based on Lorentz, modified Lorentz, Drude and Lorentz-Drude models. The optimized model parameters are used to calculate the complex relative permittivity of each material and compare it with experimental data. In each case, a very good match is found between the optimized and experimental data over a long wavelength range. Comparative study of the models used for each material is performed based on accuracy, wavelength range of applicability and computational efficiency. The parameters presented can be used for computer simulation of electromagnetic wave phenomena involving these materials.     

Mixed convective heat transfer enhancement in a ventilated cavity by flow modulation via rotating plate

The present study numerically explores the mixed convection phenomena in a differentially heated ventilated square cavity with active flow modulation via a rotating plate. Forced convection flow in the cavity is attained by maintaining external fluid flow through an opening at the bottom of the left cavity wall while leaving it through another opening at the right cavity wall. A counter-clockwise rotating plate at the center of the cavity acts as an active flow modulator. Moving mesh approach is used for the rotation of the plate and the numerical solution is achieved using arbitrary Lagrangian-Eulerian finite element formulation with a quadrilateral discretization scheme. Transient parametric simulations have been performed for various frequency of the rotating plate for a fixed Reynolds number (Re) of 100 based on maximum inlet flow velocity while the Richardson number (Ri) is maintained at unity. Heat transfer performance has been evaluated in terms of spatially averaged Nusselt number and time-averaged Nusselt number along the heated wall. Power spectrum analysis in the frequency domain obtained from the fast Fourier transform analysis indicates that thermal frequency and plate frequency start to deviate from each other at higher values of velocity ratio (>4).     

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.     

Superconductivity and Fluctuation-Induced Conductivity (FIC) Analysis of (Cu0.5Tl0.5?x M x )Ba2Ca2Cu3O10?δ

Superconductivity has been improved by partial substitution of slightly higher electronegative (M=Bi, Hg) elements at Tl sites in (Cu_0.5Tl_0.5?x M _x )Ba₂O_4??? (x=0,0.25) charge reservoir layer of (Cu_0.5Tl_0.5?x M _x )Ba₂Ca₂Cu₃O_10??? superconductor. These samples were characterized by X-ray diffractometry, dc-resistivity, ac-susceptibility, FTIR absorption spectroscopy, and fluctuation-induced conductivity (FIC) analysis. The FIC analysis has been carried out in the light of Aslamasov?CLarkin (AL) theory on the resistivity versus temperature curves of (Cu_0.5Tl_0.5?x M _x )Ba₂Ca₂Cu₃O_10??? superconductor. The microscopic parameters such as cross-over temperature (T _o ), zero-temperature coherence length ?? _c (0), inter-layer coupling (J), and critical exponents (?? _2D and ?? _3D) have been determined from FIC analysis of these samples and tried to correlate them to the superconductivity order parameters. A?direct correlation between the cross-over temperatures (T _o ) and zero resistivity critical temperature {T _c (R=0)} and carrier concentration in these samples has been observed. The improvement in T _c (R=0) and the shift of 3D AL region to higher temperature values with the doping of Bi and Hg have also been observed.     

Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures

Surgical robots are increasingly being used in operation theaters involving normal or laparoscopic surgeries. The working of these surgical robots is highly dependent on their control algorithms, which require very rigorous analysis to ensure their correct functionality due to the safety-critical nature of surgeries. Traditionally, safety of control algorithms is ensured by simulations, but they provide incomplete and approximate analysis results due to their inherent sampling-based nature. We propose to use probabilistic model checking, which is a formal verification method, for quantitative analysis, to verify the control algorithms of surgical robots in this paper. As an illustrative example, the paper provides a formal analysis of a virtual fixture control algorithm, implemented in a neuro-surgical robot, using the PRISM model checker. In particular, we provide a formal discrete-time Markov chain-based model of the given control algorithm and its environment. This formal model is then analyzed for multiple virtual fixtures, like cubic, hexagonal and irregular shapes. This verification allowed us to discover new insights about the considered algorithm that allow us to design safer control algorithms.     

VO2 nanostructures based chemiresistors for low power energy consumption hydrogen sensing

Mott-type VO₂ oxide nanobelts are demonstrated to be effective hydrogen gas sensors at room temperature. These nanobelts, synthesized by hydrothermal process and exhibiting the VO₂ (A) crystallographic phase, display room temperature H₂ sensitivity as low as 0.17 ppm. The nanobelts (ultralong belt-like) nanostructures could be an ideal system for fully understanding dimensionally confined transport phenomena in functional oxides and for building functional devices based on individual nanobelts.