Design of High Speed AWGN Communication Channel Emulator

This paper presents a method for designing a high accuracy white gaussian noise generator suitable for communication channel emulation. The proposed solution is based on the combined use of the Box-Muller method and the central limit theorem. The resulting architecture provides a high accuracy AWGN with a low complexity architecture for a digital implementation in FPGA. The performance is studied by means of MATLAB simulations and various complexity figures are given.     

Implicit induction in conditional theories

We propose a new procedure for proof by induction in conditional theories where case analysis is simulated by term rewriting. This technique reduces considerably the number of variables of a conjecture to be considered for applying induction schemes. Our procedure is presented as a set of inference rules whose correctness has been formally proved. Moreover, when the axioms are ground convergent and the functions are completely defined, it is possible to apply the system for refuting conjectures. The procedure is even refutationally complete for conditional equations with Boolean preconditions over free constructors. The method is entirely implemented in the proverSPIKE. This system has solved interesting problems in a completely automatic way, that is, without interaction with the user and without ad hoc heuristics. It has also proved the challenging Gilbreath card trick, with only two easy lemmas.Preliminary versions of the results have been presented at the 13th International Joint Conference on Artificial Intelligence, Chambéry (France), 1993 (Bouhoula and Rusinowith, 1993).     

Unsupervised deep learning approach for network intrusion detection combining convolutional autoencoder and one-class SVM

Applied Intelligence - With the rapid advancement in network technologies, the need for cybersecurity has gained increasing momentum in recent years. As a primary defense mechanism, an intrusion...     

An improved light attenuation technique for measuring large interfacial areas

A laser-based light attenuation technique was successfully used to measure interfacial areas as high as 5832 m²/m³ and Sauter mean bubble diameter varying between 50 and 5600 μm. Good agreement between this approach and the photographic technique was obtained particularly at low gas holdups.     

Effect of Adding Transition Metals to Copper on the Dehydrogenation Reaction of Ethanol

The present work aims to investigate the effect adding Ag, Co, Ni, Cd and Pt to copper on ethanol dehydrogenation. The catalysts synthesized by deposition–precipitation method were characterized using various physicochemical methods such as N₂ adsorption–desorption, TPR, SEM–EDX, XRD, XPS and TGA–DSC-MS. Catalytic evaluation results revealed that the predominant product of the reaction was acetaldehyde. Monometallic copper or mixed with Cd, Ag or Co show good catalytic performances. Adding nickel to copper improves the process conversion but reduces acetaldehyde selectivity, giving rise to methane in produced hydrogen. Pt-Cu/SiO₂ catalyst guides the reaction towards diethyl ether. Time on stream tests performed during 12 h at 260 °C, showed that adding Cd to Cu enhances its stability by over 30% of conversion, this is explained by the reduction of copper crystallites sintering, which makes Cd-Cu/SiO₂ a promising catalyst for the production of acetaldehyde by ethanol dehydrogenation.

Graphic Abstract

     

RF MEMS continuous reversible variable inductor based on a microfluidic network

In this work, RF MEMS continuous reversible variable inductor has been fabricated by using microelectronic technology and lamination process. We review, evaluate and compare this variable inductor with other work. The proposed inductor is a dual circular coil and has an inductance of few nH. The fundamental idea is to place a liquid droplet between the metal turns of a coil in order to modify the capacitive/resistive coupling between metal tracks and hence to change the stored magnetic energy. The SU-8 resin was used to realize the microfluidic channels and Au as metallic tracks. To prove the reversibility of the inductor, two cases were studied: filling and emptying of channels. The tuning range of the inductance is approximately 107 % at 1.6 GHz, making these devices very suitable as building blocks in many RF applications.     

Single mask fabrication process for movable MEMS devices

The current work reports on the realization of movable micromachining devices using self-aligned single-mask fabrication process. Only dry etching process utilizing inductively coupled plasma reactive ion etching was used to release 3D micro structures from single crystal silicon substrate. No wet etching process is required to release the structures as is the case with silicon on insulator (SOI) wafers. Also the developed process does not require an SOI substrate and accordingly dispensing with the application of a wet etching step, thus yielding uniform structures without stiction. The optimized process was applied to realize thermally actuated microgrippers. The article presents the development of the fabrication process and demonstrates the operation of the fabricated device. The optimized process provides an avenue for low cost fabrication of movable micromachining devices without the use of complicated wet etching steps typically associated with SOI substrates.     

Design and motion analysis of vibration-driven small robot Rizeh

Vibration mechanism is good candidates to be used as actuation system in small robots. However, mini fabrication of small electrical and mechanical drives is a challenging issue. Moreover, no analytical model for motion analysis of vibration driven robots is devised. In this paper, a small robot is developed. To setup a low-cost robot, cell phone vibrators are employed as actuation mechanism. Motion principle of the robot is analytically obtained and appropriate mechanical and electronic derives are designed. Some technical tips are employed to reduce the size of the robot. The obtained model was evaluated by simulations in MSC.ADAMS as well as some standard experiments on a real robot named Rizeh. Moreover, the robot is tested in a line following task, as a typical task for mobile robots.