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

International Conference on Next Generation Web Services Practices (NWeSP)

作者： Xia Zhao Enjie Liu Gordon J. Clapworthy Na Ye Yueming Lu Department of Computer Science and Technology University of Bedfordshire Luton UK School of Electronic and Information Engineering Xi'an Jiaotong University Xian China School of Information and Control Engineering Xi'an University of architecture and technology Xian China Key Laboratory of Trustworthy Distributed Computing and Service Ministry of Education Beijing University of Posts and Telecommunications Beijing China

This paper introduces a two-stage Linear Logic based program synthesis approach to automatic RESTful web service composition. The Linear Logic theorem proof is applied at both resource and service invocation method levels, which greatly improves the searching efficiency and guarantees the correctness and completeness of the service composition. Furthermore, the process calculus is used as formalism for the composition process, which enables the approach to be executable at the business management level. The process calculus is attached to the Linear Logic inference rules in the style of type theory, so the process model is extracted directly from the complete proof. An example is given to show the extraction of a process model from a Linear Logic proof search.

关键词： Web services Business Calculus Educational institutions Next generation networking Marine vehicles Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Tutorial: control issues in haptic teleoperation

Tutorial: Control issues in haptic teleoperation

引用

World Haptics Conference

作者： Angelika Peer Cristian Secchi Katsunari Sato Cenk Cavusoglu Institute of Automatic Control Engineering (LSR) Technische Universität München Munchen Germany DISMI University of Modena and Reggio Emilia and INFM Reggio Emilia Italy Graduate School of System Design and Management Keio University Yokohama Kanagawa Japan Department of Electrical Engineering and Computer Sciences Case Western Reserve University Cleveland OH USA

Telerobotics is one of the most traditional fields of robotics and it played a crucial role in the history of robotics and of the mankind, especially in the areas of space and undersea exploration and of remote material handling. On the other hand, teleoperation is still a very active research area and many problems are still open. In particular, the design of the control strategy for coupling local and remote site is of paramount importance for implementing telepresence, namely the feeling of being directly interacting with the remote environment. The IEEE RAS Technical Committee on Telerobotics would like to propose a half-day tutorial for illustrating several successful control strategies for implementing high performance bilateral teleoperation systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A filtered tuning method for a GPC controller

A filtered tuning method for a GPC controller

引用

IET Irish Signals and systems Conference, ISSC 2010

作者： Schwarz, M.H. Cox, C.S. Börcsök, J. Department of Computer Architecture and System Programming Safety Computer Technology University of Kassel Kassel Germany Control Systems Centre University of Sunderland Sunderland United Kingdom Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781849192521

This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas exist. However, when it comes to designing a generalised predictive controller (GPC) four parameters have to be specified. To choose those parameters is not a trivial task since they are not directly related to control or regulation performance. The presented tuning method exploits model-parameters to select suitable controller parameters. Additionally, a Rhinehart filter is incorporated in the design to decrease the impact of noise, therefore, a fifth parameter has to be optimised. The proposed method has been tested in simulation and on a real system.

关键词： controllers

来源：评论

学校读者我要写书评

暂无评论

An application of fractional intelligent robust controller for electromechanical valve

An application of fractional intelligent robust controller f...

引用

World Congress on Information and Communication Technologies (WICT)

作者： Tribeni Prasad Banerjee Suman Saha Swagatam Das Ajith Abraham Department of Electronics and Telecommunication Engineering Jadavpur University Kolkata India Drives and Control System Laboratory CSIR-Central Mechanical Engineering Research Institute Durgapur West Bengal India IT For Innovations EU Center of excellence Faculty of Electrical Engineering and Computer Science VSB-Technical University of Ostrava Czech Republic Scientific Network for Innovation and Research Excellence Machine Intelligence Research Laboratories-MIR Laboratories WA USA

The paper analyzed and model of a fault tolerant electromechanical controlled worm gear driven fuel shut off valve for aerospace application. The analysis is mainly on design a reduced order fractional controller. This is for controlling the velocity of worm gear so that the friction torque due to uneven rotational speed can be avoided. Because with the friction and stiction and backlash the valve system performance is reduced and more and more unstable this leads the system to failure. The proposed controller can provide robustness against the uncertain loading torque and system parameter.

关键词： Valves Gears Equations control systems Robustness Mathematical model Torque

来源：评论

学校读者我要写书评

暂无评论

An Interdisciplinary Approach to Designing Adaptive Lighting Environments

An Interdisciplinary Approach to Designing Adaptive Lighting...

引用

International Conference on Intelligent Environments (IE)

作者： Remco Magielse Philip Ross Sunder Rao Tanir Ozcelebi Paola Jaramillo Oliver Amft Designing Quality in Interaction (DQI) Group Department of Industrial Design Intelligent Lighting Institute (ILI) Eindhoven University of Technology Eindhoven Netherlands System Architecture and Networks (SAN) Group Department of Mathematics and Computer Science Intelligent Lighting Institute (ILI) Eindhoven University of Technology Eindhoven Netherlands Signal Processing Systems (SPS) Group Department of Electrical Engineering Intelligent Lighting Institute (ILI) Eindhoven University of Technology Eindhoven Netherlands

Due to advancements in lighting technologies new opportunities for application emerge. In this paper an interdisciplinary study towards the development of adaptive lighting environments is presented. An implementation of an adaptive lighting environment is made in the domain of office work. For evaluation, experts from the domains of human-system interaction, activity and context recognition, and system architecture design are interviewed. Contributions are made with regard to the implementation of the adaptive lighting in office environments and an evaluation method that is in line with the interdisciplinary approach. From the evaluation method insights in the fields of human-computer interaction, activity and context recognition and system architecture and (wireless) networking and in topics that span across these fields are gained.

关键词： Indexes

来源：评论

学校读者我要写书评

暂无评论

Decision tree based fault detection and classification in distance relaying

Engineering Intelligent Systems

引用

engineering Intelligent systems 2011年第3期19卷 139-147页

作者： Samantaray, S.R. Kamwa, I. Joos, Geza School of Electrical Sciences Indian Institute of Technology Bhubaneswar Odisha India Hydro-Quebec/IREQ Power System Analysis Operation and Control Varennes QC J3X 1S1 Canada Department of Electrical and Computer Engineering McGiII University McConnell 6333480 University Street Montreal QC H3A 2A7 Canada

This paper presents a new approach for fault detection and classification in transmission line using Decision Tree (DT). The DT based fault detection algorithm uses 1/4th cycle data of fault currents from fault inception, to generate the optimal decision tree for fault detection. Similarly, the DT based classification algorithm takes half cycle data from fault inception of three phase currents along with zero sequence current, and constructs the optimal decision tree for classifying all 10 types of shunt faults in the transmission line fault process. The algorithm is tested on simulated fault data with wide variations in operating parameters of the power system network. The results indicate that the proposed method can reliably detect and classify faults in transmission line within the sub-cycle time-frame while keeping the computational burden sufficiently low to make a real-time implementation feasible. © 2011 CRL Publishing Ltd.

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

Metadata in digital video repositories: An analysis on author-generated metadata

Metadata in digital video repositories: An analysis on autho...

引用

2010 International Conference on Information Society, i-Society 2010

作者： Dantas, Joana Socrates Silveira, Regina Melo Ruggiero, Wilson Vicente LARC-Laboratory of Computer Architecture and Networks Department of Computer and Digital System Engineering Escola Politécnica da Universidade São Paulo Brazil

ISBN: (纸本)9780956426338

The growth of digital content generation and its access by the general public have, for the past few years, promoted the importance of resources' metadata, and enhanced the debate on their generation and quality. The improvement of new technologies and users needs have led to new metadata generation practices, which include the author-generated metadata. By studying the current literature on the subject we analyzed the author-generated metadata quality used on a given IPTV service. From the results of this study we propose an alternative methodology for insertion of metadata by the service user, where an auto-complete engine is applied aiming to enhance the system's metadata quality. © 2010 i-Society.

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

Study of Pitchfork bifurcation in discrete Hopfield neural network

Study of Pitchfork bifurcation in discrete Hopfield neural n...

引用

International Conference on Advances in Machine Learning and systems engineering

作者： Marichal, R. Piñeiro, J.D. González, E. Torres, J. System Engineering and Control and Computer Architecture Department University of La Laguna Edf. Informatica Avda. Francisco Sánchez S/N 38206 Tenerife Canary Islands Spain

ISBN: (纸本)9789048194186

A simple two-neuron model of a discrete Hopfield neural network is considered. The local stability is analyzed with the associated characteristic model. In order to study the dynamic behavior, the Pitchfork bifurcation is examined. In the case of two neurons, one necessary condition for yielding the Pitchfork bifurcation is found. In addition, the stability and direction of the Pitchfork bifurcation are determined by applying the normal form theory and the center manifold theorem. © 2010 Springer Science+Business Media B.V.

关键词： Hopfield neural networks

来源：评论

学校读者我要写书评

暂无评论

Corrections to “A High-Order Internal Model Based Iterative Learning control Scheme for Nonlinear systems With Time-Iteration-Varying Parameters” [Nov 10 2665-2670]

引用

IEEE Transactions on Automatic control 2011年第1期56卷 235-235页

作者： Chenkun Yin Jian-Xin Xu Zhongsheng Hou Advanced Control System Laboratory School of Electronics and Information Engineering Beijing Jiaotong University Beijing China Department of Electrical and Computer Engineering National University of Singapore Singapore

In the above titled paper (ibid., vol. 55, no. 11, pp. 2665-2670, Nov. 10), six errors were found. The corrections are presented here.

关键词： Adaptive control Autoregressive processes Iterative methods Learning systems Nonlinear control systems Time varying systems

来源：评论

学校读者我要写书评

暂无评论

DCMTs: Supporting dynamically created migratory threads

DCMTs: Supporting dynamically created migratory threads

引用

International Conference on Computational Science and engineering

作者： Zhu, Yueting Zhang, Wu Jiang, Hai Lei, Yu Peng, Junjie Department of Computer Science and Engineering Shanghai University Shanghai China Department of Computer Science Arkansas State University Jonesboro AR United States Department of Computer Science and Engineering University of Texas Arlington TX United States Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences China

ISBN: (纸本)9780769543239

Thread migration is an effective technique for fault resilience and load balancing in high performance computing. However, flexible thread migration is not easy to achieve. In this paper, we present an approach to creating migratory threads dynamically at application level. The targets must be executable source files. Compared to the static ones, the number of threads created during migration with the new scheme is independent from the context. Various thread cases are considered for migration. Thread state is handled at application level. Variables are saved in structures in C language for speedy state construction. In order to solve the inability of traditional methods in tracking the created threads, a tree of active function calls is used to record the callback. The preprocessor of the proposed one is written in YACC for accuracy and programmability. The migration enabling process is transparent to programmers with the help of the preprocess. The experimental results have demonstrated the effectiveness of this approach. © 2010 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：