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

Annual International Conference of the IEEE engineering in Medicine and Biology Society

作者： Rodolphe J. Gentili Hyuk Oh Javier Molina James A. Reggia José L. Contreras- Vidal Department of Kinesiology School of Public Health Maryland Robotics Center Neuroscience and Cognitive Science Program University of Maryland College Park MD 20742 USA Neuroscience and Cognitive Science Program University of Maryland College Park MD 20742 USA Department of Systems Engineering and Automation Technical University of Cartagena 30202 Cartagena Spain Department of Computer Science University of Maryland Institute for Advanced Computer Studies University of Maryland College Park MD 20742 USA Department of Electrical and Computer Engineering University of Houston Houston TX 77004 USA

ISBN: (纸本)9781424441198

In order to approach human hand performance levels, artificial anthropomorphic hands/fingers have increasingly incorporated human biomechanical features. However, the performance of finger reaching movements to visual targets involving the complex kinematics of multijointed, anthropomorphic actuators is a difficult problem. This is because the relationship between sensory and motor coordinates is highly nonlinear, and also often includes mechanical coupling of the two last joints. Recently, we developed a cortical model that learns the inverse kinematics of a simulated anthropomorphic finger. Here, we expand this previous work by assessing if this cortical model is able to learn the inverse kinematics for an actual anthropomorphic humanoid finger having its two last joints coupled and controlled by pneumatic muscles. The findings revealed that single 3D reaching movements, as well as more complex patterns of motion of the humanoid finger, were accurately and robustly performed by this cortical model while producing kinematics comparable to those of humans. This work contributes to the development of a bioinspired controller providing adaptive, robust and flexible control of dexterous robotic and prosthetic hands.

关键词： reaching prosthetic providing

来源：评论

学校读者我要写书评

暂无评论

A Taxonomy for User-Healthcare Robot Interaction

A Taxonomy for User-Healthcare Robot Interaction

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society

作者： Conrad Bzura Hosung Im Tammy Liu Kevin Malehorn Taskin Padir Bengisu Tulu Biomedical Engineering Department Worcester Polytechnic Institute Worcester MA 01609 USA Robotics Engineering Program Worcester Polytechnic Institute Worcester MA 01609 USA Management Information Systems Program Worcester Polytechnic Institute Worcester MA 01609 USA Assistant Professor of Robotics Engineering and Electrical and Computer Engineering Worcester Polytechnic Institute Worcester MA 01609 USA Assistant Professor in the School of Business Worcester Polytechnic Institute Worcester MA 01609 USA

ISBN: (纸本)9781424441198

This paper evaluates existing taxonomies aimed at characterizing the interaction between robots and their users and modifies them for health care applications. The modifications are based on existing robot technologies and user acceptance of robotics. Characterization of the user, or in this case the patient, is a primary focus of the paper, as they present a unique new role as robot users. While therapeutic and monitoring-related applications for robots are still relatively uncommon, we believe they will begin to grow and thus it isimportant that the spurring relationship between robot and patient is well understood.

关键词： understood relationship isimportant

来源：评论

学校读者我要写书评

暂无评论

Selective gas sensing with a single graphene-on-silicon transistor

Selective gas sensing with a single graphene-on-silicon tran...

引用

IEEE Silicon Nanoelectronics Workshop (SNW)

作者： A.A. Balandin S. Rumyantsev G. Liu M.S. Shur R.A. Potyrailo Nano-Device Laboratory Department of Electrical Engineering and Materials Science and Engineering Program Bourns College of Engineering University of California Riverside Riverside CA USA Center for Integrated Electronics and Department of Electrical Computer and Systems Engineering Rensselaer Polytechnic Institute Troy NY USA Ioffe Physical-Technical Institute Russian Academy of Science Saint Petersburg Russia Chemistry and Chemical Engineering GE Global Research Center Niskayuna NY USA

The low-frequency 1/f noise in graphene transistors has been studied extensively owing to the proposed graphene applications in analog devices and communication systems [1-5]. The studies were motivated by the fact that the low-frequency noise can be up-converted by device nonlinearity and contribute to the phase noise of the system. Similarly, the sensor sensitivity is often limited by the electronic low-frequency noise. Therefore, noise is usually considered as one of the main limiting factors for the device or overall system operation. However, the electronic noise spectrum itself can be used as a sensing parameter increasing the sensor sensitivity and selectivity. Here, we show that vapors of different chemicals produce distinguishably different effects on the low-frequency noise spectra of the graphene-on-Si transistor. Our study showed that some gases change the electrical resistance of pristine graphene devices without changing their low-frequency noise spectra while other gases modify the noise spectra by inducing Lorentzian components with distinctive features. The characteristic corner frequency f C of the Lorentzian noise bulges in graphene devices is different for different chemicals and varies from f C =10 - 20 Hz for tetrahydrofuran to f C =1300 - 1600 Hz for chloroform. We tested the selected set of chemicals vapors on different graphene device samples and alternated different vapors for the same samples. The obtained results indicate that 1/f noise in combination with other sensing parameters can allow one to achieve the selective gas sensing with a single pristine graphene transistor. Our method of gas sensing with graphene does not require graphene surface functionalization or fabrication of an array of the devices with each tuned to a certain chemical. The observation of the Lorentzian components in the vapor-exposed graphene can also help in developing an accurate theoretical description of the noise mechanism in graphene.

关键词： Transistors Sensors Low-frequency noise Chemicals Gases Physics

来源：评论

学校读者我要写书评

暂无评论

PatternLab: From mass spectra to label-free differential shotgun proteomics

引用

Current Protocols in Bioinformatics 2012年第SUPPL.40期40卷

作者： Carvalho, Paulo C. Fischer, Juliana S.G. Xu, Tao Yates III, John R. Barbosa, Valmir C. Carlos Chagas Institute-Fiocruz Parańa Brazil Department of Cell Biology The Scripps Research Institute La Jolla CA United States Systems Engineering and Computer Science Program COPPE Federal University of Rio de Janeiro Brazil

PatternLab for proteomics is a self-contained computational environment for analyzing shotgun proteomic data. Recent improvements incorporate modules to facilitate the computational analysis, such as FastaDBXtractor for sequence database preparation and ProLuCID runner for simplifying and managing the protein identification search engine;modules for pushing the limits on proteomics standards, such as SEPro, which relies on a semi-labeled decoy approach for increasing confidence in filtering and organizing peptide spectrum matches;and modules with novel features, such as SEProQ for enabling labelfree quantitation by extracted ion chromatograms according to a distributed normalized ion abundance factor approach (dNIAF). Existing modules were also improved, such as the TFold module for pinpointing differentially expressed proteins. These new modules are integrated into the previously described arsenal of tools for further data analysis. Here we provide detailed instructions for operating and understanding them. © 2012 by John Wiley & Sons, Inc.

关键词： Dniaf filtering PSMs Protein identification Quantitative proteomics Semi-labeled decoy approach

来源：评论

学校读者我要写书评

暂无评论

Automated program transformation for migration to new libraries

Automated program transformation for migration to new librar...

引用

2011 7th Central and Eastern European Software engineering Conference in Russia, CEE-SECR 2011

作者： Itsykson, Vladimir Zozulya, Alexey Computer Systems and Program Engineering Dept. Saint-Petersburg State Polytechnical University Saint-Petersburg Russia

ISBN: (纸本)9781467308441

In modern software engineering the task of migration from one system environment to another may arise very often (e.g. software migrating from Windows to Linux or from desktop PC to some mobile platform). This task may be accomplished manually, but this will certainly be not cost- and time-effective and will require additional testing and verification. Therefore various automated techniques aimed to solve this problem seem to be very useful. The article takes into consideration one of such approaches, mainly focused on transferring source code between two library environments. © 2011 IEEE.

关键词： Reengineering

来源：评论

学校读者我要写书评

暂无评论

Visualization of signalized intersections in driving simulator and validity of driving behaviors in virtual environments

Advances in Transportation Studies

引用

Advances in Transportation Studies 2012年第26期 17-28页

作者： Yan, X. Abdel-Aty, M. Guo, D. Radwan, E. MOE Key Laboratory for Transportation Complex Systems Theory and Technology Beijing Jiaotong University Beijing 100044 China Department of Civil and Environmental Engineering University of Central Florida Orlando FL 32816-2450 United States Computer Science Program College of Business Florida Gulf Coast University 10501 FGCU Boulevard South Fort Myers FL 33965-6565 United States Center for Advanced Transportation Systems Simulation University of Central Florida Orlando FL 32816-2450 United States

Visualization of highway traffic environments in virtual reality plays a key role on fidelity of simulation and validity of driving behaviors in driving simulator studies. This paper describes a procedure to replicate a signalized intersection with many complex features into a driving simulator's 3-D databases through building a graphical visual database, constructing a road motion database, and creating simulated traffic. The validity of the visualization was assessed via the comparison of the drivers' speeds in the simulator and the speed data at the real intersection. It was found that both speed data follow normal distributions and have equal means for each intersection approach;however, that the speeds measured in the driving simulator have a larger variability than those measured in the field. The users' subjective evaluation results indicated that 92% subjects could recognize the simulated intersection in the driving simulator experiment. Therefore, the strategy of geo-specific environment modeling would be useful for studying driving behaviors in virtual environments.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

A verification mechanism of feature models for mobile and context-aware software product lines

A verification mechanism of feature models for mobile and co...

引用

5th Brazilian Symposium on Components, Architectures and Reuse, SBCARS 2011

作者： Marinho, Fabiana G. Andrade, Rossana M.C. Werner, Cláudia Graduate Program in Computer Science Federal University of Ceará Fortaleza Brazil Systems Engineering and Computer Science Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9780769546261

Software Product Lines (SPLs) have been used to develop mobile and context-aware applications, which provide services and data for their users from anywhere and at any time using context information. In SPLs, commonality and variability of a system family are identified and often documented in a feature model. However, the development of a feature model for mobile and context-aware SPLs is not trivial, since it should comprise system and context information. Furthermore, the consistency check of feature models in the considered domain is also complex and demands advanced skills of software engineers. This paper proposes a mechanism to formalize and verify the correctness and consistency of feature models for mobile and context-aware SPLs based on a profile enriched with OCL specifications. © 2011 IEEE.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

Accelerating the Artificial Bee Colony Algorithm by Hardware Parallel Implementations

Accelerating the Artificial Bee Colony Algorithm by Hardware...

引用

IEEE Latin American Symposium on Circuits and systems

作者： Daniel M. Mufioz Carlos H. Llanos Leandro dos S. Coelho Mauricio Ayala-Rincon Department of Mechanical Engineering Automation and Control Group/GRACO University of Brasilia Industrial and Systems Engineering Graduate Program LAS/PPGEPS Pontifical Catholic University of Parana Department of Computer Science and Mathematics University of Brasilia

ISBN: (纸本)9781467312073

Artificial bee colony (ABC) is an optimization algorithm inspired on the intelligent behavior of honey bee swarms. It is suitable to be applied when mathematical techniques are impractical or provide suboptimal solutions. As a population-based algorithm, the ABC suffers on large execution times specifically for embedded optimization problems with computational limitations. For that we propose a hardware parallel architecture of the opposition-based ABC algorithm (HPOABC) that facilitates the implementation in Field programmable Gate Arrays (FPGAs). Numerical simulations using four well-known benchmark problems demonstrate that the opposition-based approach allows the algorithm to improve its functionality, preserving the swarm diversity. Additionally, synthesis results point outs that the HPOABC architecture is effectively mapped in hardware and is suitable for embedded applications.

关键词： Global optimization Swarm intelligence Artificial bee colony FPGAs Floating-point arithmetic

来源：评论

学校读者我要写书评

暂无评论

Propositional dynamic logic with storing, recovering and parallel composition

Propositional dynamic logic with storing, recovering and par...

引用

作者： Benevides, Mario R.F. De Freitas, Renata Petrucio, Viana Computer Science Department Systems and Computer Engineering Program Federal University of Rio de Janeiro Brazil Institute of Mathematics Fluminense Federal University Brazil

This work extends Propositional Dynamic Logic (PDL) with parallel composition operator and four atomic programs which formalize the storing and recovering of elements in data structures. A generalization of Kripke semantics is proposed that instead of using set of possible states it uses structured sets of possible states. This new semantics allows for representing data structures and using the five new operator one is capable of reasoning about the manipulation of these data structures. The use of the new language (PRSPDL) is illustrated with some examples. We present sound and complete set of axiom schemata and inference rules to prove all the valid formulas for a restricted fragment called RSPDLo. © 2011 Elsevier B.V. All rights reserved.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Minimum maximum-degree publish-subscribe overlay network design

Minimum maximum-degree publish-subscribe overlay network des...

引用

作者： Onus, Melih Richa, Andréa W. Department of Computer Engineering Bilkent University Ankara 06560 Turkey Computer Science and Engineering Program School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ 85281 United States

Designing an overlay network for publish/subscribe communication in a system where nodes may subscribe to many different topics of interest is of fundamental importance. For scalability and efficiency, it is important to keep the degree of the nodes in the publish/subscribe system low. It is only natural then to formalize the following problem: Given a collection of nodes and their topic subscriptions, connect the nodes into a graph that has least possible maximum degree in such a way that for each topic t, the graph induced by the nodes interested in t is connected. We present the first polynomial-time logarithmic approximation algorithm for this problem and prove an almost tight lower bound on the approximation ratio. Our experimental results show that our algorithm drastically improves the maximum degree of publish/subscribe overlay systems. We also propose a variation of the problem by enforcing that each topic-connected overlay network be of constant diameter while keeping the average degree low. We present three heuristics for this problem that guarantee that each topic-connected overlay network will be of diameter 2 and that aim at keeping the overall average node degree low. Our experimental results validate our algorithms, showing that our algorithms are able to achieve very low diameter without increasing the average degree by much. © 2011 IEEE.

关键词： Overlay networks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：