检索结果-内蒙古大学图书馆

IEEE Photonics Conference (IPC)

作者： D.A. Bergstein R.J. Irani M.F. Irani C. DeLisi M.S. Unlu Boston University Electrical & Computer Engineering Dept. Boston MA USA Boston University Center for Advanced Genomic Technology Boston MA USA

The paper describes the resonant cavity imaging biosensor (RCIB) for binding site detection. The RCIB achieves excellent sensitivity with the use of an optical cavity. Light resonating inside the optical cavity interacts with the intracavity medium, the biomolecules in this case, over the number of passes proportional to the cavity finesse

关键词： Resonance Biosensors DNA Molecular biophysics Optical surface waves Proteins Optical resonators Probes Biomedical optical imaging Optical sensors

来源：评论

学校读者我要写书评

暂无评论

Design of Bilateral Teleoperators for Soft Environments with Adaptive Environmental Impedance Estimation

Design of Bilateral Teleoperators for Soft Environments with...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： X. Wang P.X. Liu D. Wang B. Chebbi M. Meng Dept. of Systems & Computer Engineering Carleton University Ottawa ON Canada School of Advanced Technology Algonquin College Ottawa ONT Canada Dept. of Electrical & Computer Engineering University of Waterloo Waterloo ON Canada School of Advanced Technology Algonquin College Ottawa ON Canada Dept. of Electronic Engineering Chinese University of Hong Kong Hong Kong SAR China

This paper studies the problem of improving the fidelity of bilateral teleoperators under the stability constraint. First, a new fidelity measure for teleoperators is proposed. Then the teleoperator design problem is formulated as the optimization problem of maximizing the proposed fidelity measure under the stability constraint. The robust stability theory for unstructured uncertainty is applied to analyze the stability of bilateral teleoperators. Third, a new scheme to estimate adaptively the environmental impedance is developed to improve the fidelity of the systems. Finally, a case study is presented to validate the introduced approach.

关键词： Teleoperators Impedance Design engineering Robust stability Stability analysis Surgery Control systems Manipulators Force feedback Humans

来源：评论

学校读者我要写书评

暂无评论

On the inherent necessity of heuristic proofs

On the inherent necessity of heuristic proofs

引用

IEEE systems, Man and Cybernetics Society, Proceedings - 2005 International Conference on systems, Man and Cybernetics

作者： Rubin, Stuart H. Chen, Shu-Ching Law, James B. Lee, Gordon K. Spawar Systems Center 53560 Hull St. San Diego CA 92152-5001 United States Florida International University School of Computer Science Miami FL 33199 United States Expert2 Systems Inc. 3920 Leland St. San Diego CA 92106-1048 United States San Diego State University Dept. of Electrical and Computer Engineering San Diego CA United States

It follows from the Non-Reducibility of the Theorization Problem that an arbitrary proof cannot be valid on an absolute scale. Thus, in order for an arbitrary proof to be generative, it must be self-referential;but then, it must also be heuristic if not incomplete as a consequence. By relaxing the validity requirement, heuristic (i.e., relative) proof techniques are enabled. We show that heuristics are search randomizations in space-time. It is shown how one can develop heuristics, which are randomizations of knowledge. Even more intriguing, it is shown that heuristic proof is to formal proof what fuzzy logic is to formal logic. Simply put, the paper argues for the need to relax the notion of formal proof if AI is to advance. © 2005 IEEE.

关键词： Theorem proving

来源：评论

学校读者我要写书评

暂无评论

Unsupervised speaker adaptation for phonetic transcription based voice dialing

引用

Second International Confernce on Fuzzy systems and Knowledge Discovery, FSKD 2005

作者： Kim, Weon-Goo Jang, MinSeok Lee, Chin-Hui School of Electronic and Information Eng. Kunsan National Univ. Biometrics Engineering Research Center Kunsan Chonbuk 573-701 Korea Republic of Dept. of Computer Information Science Kunsan National Univ. Kunsan Chonbuk 573-701 Korea Republic of School of Electrical and Computer Eng. Georgia Institute of Technology Atlanta GA 30332 United States

ISBN: (纸本)9783540283317

Since the speaker independent phoneme HMM based voice dialing system uses only the phoneme transcription of the input sentence, the storage space could be reduced greatly. However, the performance of the system is worse than that of the speaker dependent system due to the phoneme recognition errors generated when the speaker independent models are used. In order to solve this problem, a new method that jointly estimates the transformation vectors (bias) and transcriptions for the speaker adaptation is presented. The biases and transcriptions are estimated iteratively from the training data of each user with maximum likelihood approach to the stochastic matching using speaker independent phoneme models. Experimental result shows that the proposed method is superior to the conventional method using transcriptions only. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Voice/data communication systems

来源：评论

学校读者我要写书评

暂无评论

Iterative training techniques for phonetic template based speech recognition with a speaker-independent phonetic recognizer

引用

18th Australian Joint Conference on Artificial Intelligence, AI 2005: Advances in Artificial Intelligence

作者： Kim, Weon-Goo Jang, Minseok Lee, Chin-Hui School of Electronic and Information Eng. Kunsan National Univ. Biometrics Engineering Research Center Kunsan Chonbuk 573-701 Korea Republic of Dept. of Computer Information Science Kunsan National Univ. Kunsan Chonbuk 573-701 Korea Republic of School of Electrical and Computer Eng. Georgia Institute of Technology Atlanta GA 30332 United States

ISBN: (纸本)3540304622

This paper presents a new method that improves the performance of the speaker specific phonetic template based speech recognizer with the speaker-independent (SI) phoneme HMMs. Since the phonetic template based speech recognizer uses only the phoneme transcription of the input utterance, the performance of the system is worse than that of the speaker dependent system due to the mismatch between the training data and the SI models. In order to solve these problems, a new training method that iteratively estimates the phonetic templates and transformation vectors for the adaptation of the SI phoneme HMMs is presented. The phonetic class based and codebook-based stochastic matching methods are used to estimate the transformation vectors for speaker adaptation. Performance evaluation using the speaker dependent recognition experiments performed over actual telephone line showed a reduction of about 40% in the error rates when compare to the conventional speaker specific phonetic template based speech recognizer. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Speech recognition

来源：评论

学校读者我要写书评

暂无评论

Monotonic convergent iterative learning controller design based on interval model conversion

Monotonic convergent iterative learning controller design ba...

引用

20th IEEE International Symposium on Intelligent Control, ISIC '05 and the13th Mediterranean Conference on Control and Automation, MED '05

作者： Ahn, Hyo-Sung Moore, Kevin L. Chen, Yangquan IEEE United States Dept. of Electrical and Computer Engineering Utah State University 4160 Old Main Hill Logan UT 84322-4160 United States Research and Technology Development Center Johns Hopkins University Applied Physics Laboratory 11100 Johns Hopkins Road Laurel MD 20723-6099 United States

ISBN: (纸本)0780389360

This paper presents the design of a robust iterative learning controller for the case of a plant with interval model uncertainty in the "A-matrix" of its state space description. First order perturbation theory is utilized to find bounds on the eigenvalues and eigenvectors of the powers of A when A is an interval matrix. These bounds are then used for calculation of the interval uncertainty of the Markov matrix, which can then be used to design an iterative learning controller that ensures monotonie convergence for all systems in the interval plant. ©2005 IEEE.

关键词： Control system analysis

来源：评论

学校读者我要写书评

暂无评论

Formal verification of flight critical software

Formal verification of flight critical software

引用

AIAA Guidance, Navigation, and Control Conference 2005

作者： Miller, Steven P. Anderson, Elise A. Wagner, Lucas G. Whalen, Michael W. Heimdahl, Mats P. E. Rockwell Collins Inc. Cedar Rapids IA 52498 United States University of Minnesota Minneapolis MN 55455 United States Advanced Technology Center MS 108-206 400 Collins Road NE AIAA Commercial Systems Flight Control MS 105-191 400 Collins Road NE Dept. of Computer Science and Electrical Engineering 4192 EE/CS Bldg. 200 Union Street

ISBN: (纸本)1563477378

Recent advances in modeling languages have made it feasible to formally specify and analyze the behavior of large system components. Synchronous data flow languages, such as Lustre, SCR, and RSML-e are well suited to this task, and commercial versions of these tools such as SCADE and Simulink are growing rapidly in popularity among designers of safety critical systems, largely due to their ability to automatically generate code from the models. At the same time, advances in formal analysis tools have made it practical to formally verify important properties of these models to ensure that design defects are identified and corrected early in the lifecycle. This report describes how such formal verification tools have been applied to the FCS 5000, a new family of Flight Control systems being developed by Rockwell Collins Inc. Copyright © 2005 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved.

关键词： Flight dynamics

来源：评论

学校读者我要写书评

暂无评论

STABILITY ANALYSIS OF ITERATIVE LEARNING CONTROL SYSTEM WITH INTERVAL UNCERTAINTY

引用

IFAC Proceedings Volumes 2005年第1期38卷 282-287页

作者： Hyo-Sung Ahn Kevin L. Moore YangQuan Chen Center for Self-Organizing and Intelligent Systems Dept. of Electrical and Computer Engineering 4160 Old Main Hill Utah State University Logan UT 84322-4160 USA Research and Technology Development Center Johns Hopkins University Applied Physics Laboratory 11100 Johns Hopkins Road Laurel MD 20723-6099

This paper presents a stability analysis of the iterative learning control (ILC) problem when the plant Markov parameters are subject to interval uncertainty. Using the super-vector approach to ILC, vertex Markov matrices are employed to develop sufficient conditions for both asymptotic stability and monotonic convergence of the ILC process. It is shown that Kharitonov segments between vertex matrices are not required for checking the stability of interval super-vector ILC systems, but instead checking just the vertex Markov matrices is sufficient.

关键词： Iterative learning control monotonic convergence interval uncertainty Schur stability vertex matrices

来源：评论

学校读者我要写书评

暂无评论

A HARDWARE IMPLEMENTATION OF EIA 709.1 CONTROL NETWORKING STANDARD

引用

IFAC Proceedings Volumes 2005年第1期38卷 31-36页

作者： Jeon Il Moon Jung Sub Kim Jong Bae Kim Kye Young Lim Byoung Wook Choi R&D Center of LG Industrial Systems CO. Ltd Anyangshi Korea School of Electrical Engineering Penn State University U.S.A. Korea Polytechnic University Kyonggido Korea Dept. of Electrical Engineering Seoul Nat'l Univ. of Technology Seoul Korea

This paper presents a solution for the hardware implementation of EIA-709.1 Control Networking Protocol. It is the basic protocol of LonWorks systems that is widely used for the building system and the sensor system. The EIA 709.1 protocol has been implemented at the hardware level from physical layer to network layer to reduce the computing load on the CPU. VHSIC hardware description language (HDL) has been used for the EIA-709.1 protocol. Other layers have been implemented using C programs on Intel 8051 processor. The EIA-709.1 protocol has been implemented using field programmable gate array (FPGA) technology and the commercial feasibility of the proposed solution has been performed through the communication test using the Neuron Chip of EIA-709.1 protocol. The designed EIA709.1 core is usable as one of the intellectual properties (IPs) and it is applicable to design System-on-a-Chip (SoC) for various industrial controllers.

关键词： EIA-709.1 fieldbus networks protocols embedded systems

来源：评论

学校读者我要写书评

暂无评论

Calculation of the spontaneous emission spatial dependency in semiconductor laser using transmission line model

Calculation of the spontaneous emission spatial dependency i...

引用

International Conference/Workshop on Laser and Fiber-Optical Networks Modeling (LFNM)

作者： M. Razaghi A. Zarifkar B. Hadian S. Mahalle V. Ahmadi Department of Electrical Engineering School of Engineering Tarbiat Moalem University Tehran Iran Dept of Electrical Eng. School of Eng. Tarbiat Modares University Tehran Iran Department of Optical Systems and Technology Iran Telecommunication Research Center Tehran Iran Dept. of Optical Systems and Technology Iran Telecommunication Research Center (ITRC) Tehran Iran AEOI Laser Research Center Tehran Tehran Iran

In this paper we calculate the spatial dependency of the spontaneous emission in semiconductor laser cavity using a model based on transmission line laser method (TLLM). Results show that in the simple ridge laser structure, the major part of the spontaneous emission occurs at the middle of the cavity and so uniform spontaneous emission can't be assumed

关键词： Spontaneous emission Laser modes Semiconductor lasers Transmission lines Power transmission lines Optical waveguides Light scattering Particle scattering Waveguide lasers Equivalent circuits

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：