Gamma-ray radiolysis of aqueous phenol solutions dispersing TiO2 or Al2O3 nanoparticles was investigated. Organic compounds, including phenol and aromatic intermediates induced by the radiolysis, were effectively remo...
详细信息
Verification to validate designs is one of the important tasks in VLSI design flow. Due to the great advances in integration, verification for whole designs is getting more and more difficult. To solve this problem in...
详细信息
Verification to validate designs is one of the important tasks in VLSI design flow. Due to the great advances in integration, verification for whole designs is getting more and more difficult. To solve this problem in early stages of design flows, we suggest a formal equivalence checking method for given two C-based hardware oriented specifications (C descriptions). To verify large C descriptions efficiently, we use textual differences in the two C descriptions and verify them in terms, of symbolic simulation. We believe that our approach will be useful where two specifications to be verified are very close, which is a very common situation in practical designs.
Robotic operations carried out via the Internet face several challenges and difficulties. These range from human-computer interfacing and human-robot interaction to overcoming random time delay and task synchronizatio...
详细信息
ISBN:
(纸本)0780365763
Robotic operations carried out via the Internet face several challenges and difficulties. These range from human-computer interfacing and human-robot interaction to overcoming random time delay and task synchronization. These limitations are intensified when multi-operators at multisites are collaboratively teleoperating multirobots to achieve a certain task. In this paper, a new modeling and control method for Internet-based cooperative teleoperation is developed. Combining Petri net model and event-based planning and control theory, the new method provides an efficient way to model the concurrence and complexity of the Internet-based cooperative teleoperation. It also provides an efficient analysis tool to study the stability, transparency and synchronization of the system. Furthermore, the new modeling and control method enables us to design an Internet-based cooperative telerobotic system that is reliable, safe and intelligent. This new method has been experimentally implemented in a three site test bed consisting of robotic laboratories in the USA, Hong Kong and Japan. The experimental results have verified the theoretical development and further demonstrated the advantages of the new modeling and control method.
More secure and convenient personal identification systems are needed in many places. Biometrics, such as a retina, voice, fingerprint etc., is a solution for these requests. We propose a new personal identification s...
详细信息
More secure and convenient personal identification systems are needed in many places. Biometrics, such as a retina, voice, fingerprint etc., is a solution for these requests. We propose a new personal identification system, which uses fingerprint image and micromechanical key. This system provides a more convenient method for users and keeps high-level security. This paper describes the system structure and hardware specifications. Also, we explain a fabrication method of these system components by MEMS techniques. We simulated the fabrication processes to make components of the system. Then we made a prototype of the micromechanical key.
暂无评论