Heterogeneous consensus of higher‐order multi‐agent systems with mismatched uncertainties using sliding mode control

A robust consensus controller is proposed for heterogeneous higher‐order nonlinear multi‐agent systems, when the agent dynamics are involved with mismatched uncertainties. A distributed consensus protocol based on a time‐varying nonhomogeneous finite‐time disturbance observer and sliding mode control is designed to realize the network consensus of higher‐order multi‐agent systems. The time‐varying finite‐time disturbance observer overcomes the problem of peaking value near the initial time caused by the constant gain one and is designed to estimate the uncertainties and to mitigate the effect of mismatched uncertainties during the sliding mode. To eliminate the chattering phenomenon and ensure finite‐time convergence to the sliding surface, the control law is designed by using the super twisting algorithm. Finally numerical simulations are given to illustrate the validity of the proposed method. Copyright © 2016 John Wiley & Sons, Ltd.     

Security analysis of GTRBAC and its variants using model checking

Security analysis is a formal verification technique to ascertain certain desirable guarantees on the access control policy specification. Given a set of access control policies, a general safety requirement in such a system is to determine whether a desirable property is satisfied in all the reachable states. Such an analysis calls for the use of formal verification techniques. While formal analysis on traditional Role Based Access Control (RBAC) has been done to some extent, recent extensions to RBAC lack such an analysis. In this paper, we consider the temporal RBAC extensions and propose a formal technique using timed automata to perform security analysis by analyzing both safety and liveness properties. Using safety properties one ensures that something bad never happens while liveness properties show that some good state is also achieved. GTRBAC is a well accepted generalized temporal RBAC model which can handle a wide range of temporal constraints while specifying different access control policies. Analysis of such a model involves a process of mapping a GTRBAC based system into a state transition system. Different reduction rules are proposed to simplify the modeling process depending upon the constraints supported by the system. The effect of different constraints on the modeling process is also studied.     

33.7 MHz heavy-ion radio frequency quadrupole linac at VECC Kolkata

A 33.7 MHz heavy-ion radio frequency quadrupole (RFQ) linear accelerator has been designed, built, and tested. It is a four-rod-type RFQ designed for acceleration of 1.38 keVu, qA> or =116 ions to about 29 keVu. Transmission efficiencies of about 85% and 80% have been measured for the unanalyzed and analyzed beams, respectively, of oxygen ((16)O(2+), (16)O(3+), (16)O(4+)), nitrogen ((14)N(3+), (14)N(4+)), and argon ((40)Ar(4+)). The system design and measurements along with results of beam acceleration test will be presented.     

An electrochemical technique to deposit thin films of PbTe

PbTe thin films were deposited electrochemically on transparent conducting oxide coated (TCO) glass substrates from a solution of lead acetate and TeO₂ at low pH. A lead (Pb) strip was used as a sacrificing anode and the TCO glass acted as the cathode, which were short-circuited externally. Depositions were carried out at different temperatures of the bath to study the growth kinetics and grain growth. X-ray diffraction technique, scanning electron microscopy, infrared spectroscopy and resistivity measurements were carried out to characterize the deposited films. The films were polycrystalline in nature with a cubic phase.     

Channel Adaptive Quantization for Limited Feedback MIMO Beamforming Systems

Multiple-input multiple-output (MIMO) wireless systems can achieve significant diversity and array gain by using transmit beamforming and receive combining techniques. In the absence of full channel knowledge at the transmitter, the transmit beamforming vector can be quantized at the receiver and sent to the transmitter using a low-rate feedback channel. In the literature, quantization algorithms for the beamforming vector are designed and optimized for a particular channel distribution, commonly the uncorrelated Rayleigh distribution. When the channel is not uncorrelated Rayleigh, however, these quantization strategies result in a degradation of the receive signal-to-noise ratio (SNR). In this paper, switched codebook quantization is proposed where the codebook is dynamically chosen based on the channel distribution. The codebook adaptation enables the quantization to exploit the spatial and temporal correlation inherent in the channel. The convergence properties of the codebook selection algorithm are studied assuming a block-stationary model for the channel. In the case of a nonstationary channel, it is shown using simulations that the selected codebook tracks the distribution of the channel resulting in improvements in SNR. Simulation results show that in the case of correlated channels, the SNR performance of the link can be significantly improved by adaptation, compared with nonadaptive quantization strategies designed for uncorrelated Rayleigh-fading channels     

Erosion-corrosion behavior of SiC particle-reinforced Al-Si alloy in NaOH slurry

The erosion-corrsosion behavior of SiC particle-reinforced Al-Si alloy has been studied in NaOH slurry simulating the mining atmosphere. The study was performed at two different sand concentrations, namely, 20 and 30 wt pct, and at a speed of 900 rpm. It is depicted that the wear rates decreased with increasing sand content, indicating that corrosion is the dominating mode of material removal. Further composite exhibited lower wear resistance than the laloys irrespective of the sand concentration. Scanning electron microscope (SEM) observations indicated the dissolution of dendrites of Al due to severe corrosion, leaving behind the network of Si. This ultimately results in the falling of Si particles from the matrix, leaving behind voids. This also results in the formation of voids around the SiC particles and leads to pullout of SiC particles from the matrix during the wear process.     

Peroxisome Proliferator-Activated Receptor-α (PPARα) Expression in a Clinical Population of Pakistani Patients with Type 2 Diabetes and Dyslipidemia

Poor glycemic control and dyslipidemia are hallmarks of type 2 diabetes mellitus (T2DM), which predispose to cardiovascular diseases. Peroxisome proliferator-activated receptor-α (PPARα) has been associated with atherosclerosis, but its role in T2DM is less clear. Previously, we studied PPARα expression levels in diabetics with and without dyslipidemia (DD). In this study we described the association with fasting blood glucose, HbA1c levels and lipid levels of the study population. Patient demography and biochemical data were collected from hospitals in Islamabad, Pakistan, and RT-PCR data of PPARα expression were retrieved from our previous study from the same cohort. We performed t-tests and regression analysis to evaluate the relationships between PPARα expression and demographic and clinical variables. As expected, body mass index and HbA1c were elevated in T2DM and DD patients compared to controls. Blood lipids (total cholesterol, triglycerides, LDL and HDL) were significantly higher in the DD group compared to the other two groups. In the T2DM and DD groups, the PPARα expression was not associated with any of the physical and biochemical parameters measured in this study. Expression of the PPARα gene was independent of blood lipids and glycemic control in this study. Further research is necessary to better understand the biological parameters of PPARα expression.     

The EcpD Tip Adhesin of the Escherichia coli Common Pilus Mediates Binding of Enteropathogenic E. coli to Extracellular Matrix Proteins

The attachment of enteropathogenic Escherichia coli (EPEC) to intestinal epithelial cells is facilitated by several adhesins; however, the individual host-cell receptors for pili-mediated adherence have not been fully characterized. In this study, we evaluated the hypothesis that the E. coli common pilus (ECP) tip adhesin protein EcpD mediates attachment of EPEC to several extracellular matrix (ECM) glycoproteins (fibronectin, laminin, collagens I and IV, and mucin). We found that the ΔecpA mutant, which lacks production of the EcpA filament but retains EcpD on the surface, adhered to these glycoproteins below the wild-type levels, while the ΔecpD mutant, which does not display EcpA or EcpD, bound significantly less to these host glycoproteins. In agreement, a purified recombinant EcpD subunit bound significantly more than EcpA to laminin, fibronectin, collagens I and IV, and mucin in a dose-dependent manner. These are compelling data that strongly suggest that ECP-producing EPEC may bind to host ECM glycoproteins and mucins through the tip adhesin protein EcpD. This study highlights the versatility of EPEC to bind to different host proteins and suggests that the interaction of ECP with the host’s ECM glycoproteins may facilitate colonization of the intestinal mucosal epithelium.     

A junctionless tunnel field effect transistor with low subthreshold slope

we demonstrate the design of a triple gate n-channel junctionless transistor that we call a junctionless tunnel field effect transistor (JLTFET). The JLTFET is a heavily doped junctionless transistor which uses the concept of tunneling, by narrowing the barrier between source and channel of the device, to turn the device ON and OFF. Simulation shows significant improvement compared to simple junctionless field effect transistor both in I _ON/I _OFF ratio and subthreshold slope. Here, junctionless tunnel field effect transistors with high-k dielectric and low-k spacers are demonstrated through simulation and shows an ON-current of 0.25 mA/μm for the gate voltage of 2 V and an OFF current of 3 pA/μm (neglecting gate leakage). In addition, our device shows optimized performance with high I _ON/I _OFF (～10⁹). Moreover, a subthreshold slope of 47 mV/decade is obtained for a 50 nm gate length of simulated JLTFET at room temperature which indicates that JLTFET is a promising candidate for switching performance.