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. 相似文献
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). 相似文献
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... 相似文献
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 N2 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/SiO2 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/SiO2 a promising catalyst for the production of acetaldehyde by ethanol dehydrogenation.
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. 相似文献
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. 相似文献
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. 相似文献
Of 27 amino acids studied, most had some antioxidant activity when added in aqueous solution to either safflower oil or a mixture of sunflower and cottonseed oil (active oxygen and storage methods). Cysteine-HCl, glutamic acid-HCl (in the mixture), and glutamic acid-HCl (in safflower oil) behaved as prooxidants. When added as a solid, most amino acids were ineffective. The protection factors of these amino acids were less than 1.3 in safflower oil with methionine, proline, lysine and cysteine providing the highest activ-ity. In the oil mixture (which had a higher metal content) lysine, arginine, glutamic acid, methionine, and hydroxyproline were anti-oxidant with protection factors of up to 1.85. Chelation of metals by amino acids was presumably responsible for the antioxidant activity. The increase in cysteine concentration up to 1% has more than doubled the protection factor in Bint oil (compared with the 0.01% level), whereas with some other amino acids the increase was either small or slight. 相似文献