A novel design of 8-bit adder/subtractor by quantum-dot cellular automata

Application of quantum-dot is a promising technology for implementing digital systems at nano-scale. QCA supports the new devices with nanotechnology architecture. This technique works based on electron interactions inside quantum-dots leading to emergence of quantum features and decreasing the problem of future integrated circuits in terms of size. In this paper, we will successfully design, implement and simulate a new full adder based on QCA with the minimum delay, area and complexities. Also, new XOR gates will be presented which are used in 8-bit controllable inverter in QCA. Furthermore, a new 8-bit full adder is designed based on the majority gate in the QCA, with the minimum number of cells and area which combines both designs to implement an 8-bit adder/subtractor in the QCA. This 8-bit adder/subtractor circuit has the minimum delay and complexity. Being potentially pipeline, the QCA technology calculates the maximum operating speed.     

Fabrication of SiC-Whisker-Reinforced MoSi2 Composites by Tape Casting

In this paper, we describe a procedure for the processing of SiC-whisker-reinforced MoSi₂ composites via tape casting. Based on the characteristics of SiC whiskers and MoSi₂ powder in aqueous and nonaqueous solvents, a slip formulation (solvent, dispersant, binder, etc.) has been developed. The formulation developed allows for a uniform distribution of SiC whiskers in the matrix, easy separation of the tapes from the polymeric carrier, convenient control of both tape thickness and orientation of SiC whiskers, and a low binder burnout temperature. The latter is important for the prevention of the oxidation of MoSi₂ powder during the binder burnout in an oxidizing atmosphere.     

Modeling of protein adsorption to DEAE sepharose FF: Comparison of data with model simulation

The equilibrium and kinetic characteristics of the adsorption of human serum albumin (HSA) and ovalbumin (OVA) to the DEAE Sepharose FF weak anion exchanger were experimentally determined. The rate for protein adsorption was simulated with two different models, the first being based on a single lumped kinetic parameter, while the second includes the individual mass transfer processes occurring prior to the adsorption intervention, i.e., diffusion across the liquid film surrounding individual particles and diffusion within the ion exchanger particle itself. The actual adsorption of OVA to DEAE Sepharose FF in fully mixed stirred vessels and in packed bed columns was consistent with both models. In the case of HSA, however, the adsorption profile in an agitated vessel was consistent only with the pore diffusion model and neither model could correctly predict the latter part of the breakthrough profile observed in packed bed experiments.     

A 60‐GHz on‐chip slot‐array antenna in integrated‐passive‐device technology for antenna‐in‐package applications

A new millimeter‐wave antenna structure on a low‐cost, production platform integrated passive device technology is presented. The antenna consists of a 2‐by‐1 array of slot antennas at 60 GHz. An in‐house developed on‐chip antenna measurement setup was used to characterize the fabricated antenna. The measurement results show an antenna gain of more than 5 dBi with a return loss of 18 dB at 60 GHz. The better‐than‐10‐dB impedance bandwidth of the antenna covers the 60‐GHz unlicensed band from 57 to 64 GHz. The 3‐dB beamwidths of the antenna are 105° and 76° at E‐plane and H‐plane at 60 GHz, respectively. The size of the die of the antenna is 2 mm × 4.5 mm. © 2013 Wiley Periodicals, Inc. Int J RF and Microwave CAE 24:155–160, 2014.     

An empirical study of control logic specifications for programmable logic controllers

This paper presents an empirical study of control logic specifications used to document industrial control logic code in manufacturing applications. More than one hundred input/output related property specifications from ten different reusable function blocks were investigated. The main purpose of the study was to provide understanding of how the specifications are expressed by industrial practitioners, in order to develop new tools and methods for specifying control logic software, as well as for evaluating existing ones. In this paper, the studied specifications are used to evaluate linear temporal logic in general and the specification language ST-LTL, tailored for functions blocks, in particular. The study shows that most specifications are expressed as implications, that should always be fulfilled, between input and output conditions. Many of these implications are complex since the input and output conditions may be mixed and involve sequences, timer issues and non-boolean variables. Using ST-LTL it was possible to represent all implications of this study. The few non-implication specifications could be specified in ST-LTL as well after being altered to suit the specification language. The paper demonstrates some advantages of ST-LTL compared to standard linear temporal logic and discusses possible improvements such as support for automatic rewrite of complex specifications.     

A new set distance and its application to shape registration

We propose a new distance measure, called Complement weighted sum of minimal distances, between finite sets in ${\mathbb Z }^n$ and evaluate its usefulness for shape registration and matching. In this set distance the contribution of each point of each set is weighted according to its distance to the complement of the set. In this way, outliers and noise contribute less to the new similarity measure. We evaluate the performance of the new set distance for registration of shapes in binary images and compare it to a number of often used set distances found in the literature. The most extensive evaluation uses a set of synthetic 2D images. We also show three examples of real problems: registering a set of 2D images extracted from synchrotron radiation micro-computed tomography (SR $\upmu $ CT) volumes depicting bone implants; the difficult multi-modal registration task of finding the exact location of a 2D slice of a bone implant, as imaged by a light microscope, within a 3D SR $\upmu $ CT volume of the same implant; and finally recognition of handwritten characters. The evaluation shows that our new set distance performs well for all tasks and outperforms the other observed distance measures in most cases. It is therefore useful in many image registration and shape comparison tasks.     

Robust Unknown Input Observer Design for Linear Uncertain Time Delay Systems with Application to Fault Detection

In this paper, a novel approach is proposed to design a robust fault detection observer for uncertain linear time delay systems. The system is composed of both norm‐bounded uncertainties and exogenous signals (noise, disturbance, and fault) which are considered to be unknown. The main contribution of this paper is to present unknown input observer (UIO)‐based fault detection system which shows the maximum sensitivity to fault signals and the minimum sensitivity to other signals. Since the system contains uncertainty terms, an H_∞ model‐matching approach is used in design procedure. The reference residual signal generator system is designed so that the fault signal has maximum sensitivity while the exogenous signals have minimum sensitivity on the residual signal. Then, the fault detection system is designed by minimizing the estimation error between the reference residual signal and the UIO residual signal in the sense of H_∞ norm. A sufficient condition for the existence of such a filter is exploited in terms of certain linear matrix inequalities (LMIs). Application of the proposed method in a numerical example and an engineering process are simulated to demonstrate the effectiveness of the proposed algorithm. Simulation results show the validity of the proposed approach to detect the occurrence of faults in the presence of modeling errors, disturbances, and noise.