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

1st Joint Symposium on Computer-Aided control System Design, CACSD 2011 and Systems with Uncertainty, SU 2011

作者： Heath, W.P. Morales, R. Li, G. Control Systems Centre Sackville Street Building University of Manchester Manchester M13 9PL United Kingdom Control and Instrumentation Research Group Department of Engineering University of Leicester University Road Leicester LE1 7RH United Kingdom School of Engineering Computing and Mathematics University of Exeter North Park Road Exeter EX4 4QF United Kingdom

ISBN: (纸本)9781457710667

An anti-windup scheme is said to be robustness preserving if it inherits the robustness properties of the corresponding unsaturated loop. It has recently been shown in the literature that anti-windup based on internal model control preserves robustness against additive uncertainty. In this paper we illustrate examples where other anti-windup schemes are also robustness preserving. We also demonstrate by counterexample that internal model control need not preserve robustness against multiplicative uncertainty. We consider both single-input single-output and multivariable control loops. © 2011 IEEE.

关键词： Robustness (control systems)

来源：评论

学校读者我要写书评

暂无评论

RESTful web service composition: Extracting a process model from Linear Logic theorem proving

RESTful web service composition: Extracting a process model ...

引用

2011 7th International Conference on Next Generation Web Services Practices, NWeSP 2011

作者： Zhao, Xia Liu, Enjie Clapworthy, Gordon J. Ye, Na Lu, Yueming Department of Computer Science and Technology University of Bedfordshire Luton United Kingdom School of Information and Control Engineering Xi'An University of Architecture and Technology Xi'an China School of Electronic and Information Engineering Xi'An Jiao Tong University Xi'an China Key Laboratory of Trustworthy Distributed Computing and Service Beijing University of Posts and Telecommunications Ministry of Education Beijing China

ISBN: (纸本)9781457711268

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. © 2011 IEEE.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Exploiting Free LUT Entries to Mitigate Soft Errors in SRAM-based FPGAs

Exploiting Free LUT Entries to Mitigate Soft Errors in SRAM-...

引用

Asian Test Symposium (ATS)

作者： Keheng Huang Yu Hu Xiaowei Li Gengxin Hua Hongjin Liu Bo Liu State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences China Beijing Institute of Control Engineering China

As the feature size of FPGA shrinks to nanometers, SRAM-based FPGAs are more vulnerable to soft errors. During logic synthesis, reliability of the design can be improved by introducing logic masking effect. In this work, we observe that there are a lot of not-fully occupied look-up tables (LUTs) after logic synthesis. Hence, we propose a functional equivalent class based soft error mitigation scheme to exploit free LUT entries in the circuit. The proposed technique replaces not fully-occupied LUTs with corresponding functional equivalent classes, which can improve the reliability while preserve the functionality of the design. Experimental results show that, compared with the baseline ABC mapper, the proposed technique can reduce the soft error rate by 21%, and the critical-path delay increase is only 4.25%.

关键词： Table lookup Circuit faults Forward error correction Field programmable gate arrays Vectors Reliability engineering

来源：评论

学校读者我要写书评

暂无评论

Global robust output regulation for a class of multivariable systems and its application to a motor drive system

Global robust output regulation for a class of multivariable...

引用

2011 American control Conference (ACC)

作者： Zhaowu Ping Jie Huang Applied Control and Computing Laboratory Department of Mechanical and Automation Engineering Chinese University of Hong Kong Sha Tin Hong Kong China

In this paper, we study the global robust output regulation problem for a class of multivariable nonlinear systems. The problem is first converted into a stabilization problem of an augmented system composed of the original plant and an internal model. The augmented system is a two-input system containing both dynamic uncertainty and time-varying static uncertainty. By decomposing the two-input control problem into two single-input control problems, we can solve the problem via a recursive approach utilizing the changing supply function technique. Finally, the theoretical result is applied to the speed tracking control and load torque disturbance rejection problem of a surface-mounted PM synchronous motor.

关键词： Robustness Synchronous motors Mathematical model State feedback Equations Trajectory Uncertainty

来源：评论

学校读者我要写书评

暂无评论

Robustness preserving anti-windup for SISO systems

Robustness preserving anti-windup for SISO systems

引用

IEEE Conference on Decision and control

作者： R. M. Morales W. P. Heath G. Li Department of Engineering Control & Instrumentation Research Group University of Leicester Leicester UK Control Systems Centre School of Electrical and Electronic Engineering University of Manchester Institute of Science and Technology Manchester UK School of Engineering Computing and Mathematics University of Exeter Exeter UK

ISBN: (纸本)9781612848006;9781612848013

A control feedback system with saturation nonlinearities is said to have robustness preserving characteristics if the constrained system is as robust as its linear counterpart. Such characteristics can be desirable. It has been proved for some special cases that the anti-windup version of the Internal Model control architecture can offer such characteristics for first-order plants with delays against norm-bounded (not only LTI) uncertainty. This paper provides general conditions expressed in the frequency domain which allow to test for the preservation of robustness for plants of any order. In addition, a class of robustness preserving controllers is characterised in terms of the Zames-Falb conditions. The test is shown to be easily implementable and exploited for anti-windup tuning.

关键词： Robustness Uncertainty Tuning Educational institutions control systems Roads Conferences

来源：评论

学校读者我要写书评

暂无评论

Second-order sliding mode approaches to disturbance estimation and fault detection in fractional-order systems

引用

IFAC Proceedings Volumes 2011年第1期44卷 2436-2441页

作者： Alessandro Pisano Milan Rapaić Elio Usai Zoran Jelicić Dept. of Electrical and Electronic Engineering (DIEE) Univ. of Cagliari Cagliari Italy Computing and Control Dept. Faculty of Technical Sciences Univ. of Novi Sad Serbia

Abstract This paper outlines some results concerning the application of second-order sliding-mode techniques to address estimation and fault detection problems involving fractional order (FO) dynamics. Perturbed and switched FO systems are dealt with throughout the paper. Simple tuning formulas for the suggested schemes are constructively developed along the paper by means of appropriate Lyapunov analysis. Simulation and experimental results confirm the expected performance.

关键词： Fractional order systems Sliding mode control Observation and fault detection

来源：评论

学校读者我要写书评

暂无评论

Human action recognition in daily living

引用

Journal of Computational Information Systems 2011年第10期7卷 3599-3605页

作者： Yin, Jianqin Tian, Guohui Zhou, Fengyu Jiang, Haitao School of Control Science and Engineering Shandong University Jinan 250061 China Shandong Provincial Key Laboratory of Network Based Intelligent Computing School of Information Science and Engineering University of Jinan Jinan 250022 China

Human action recognition in daily living is a key to provide intelligent service for the service robot. But the real-time human action recognition in daily living is difficult to realize because of different views, sizes and duration time of the action. In order to solve these problems, a human action recognition scheme combined pose estimation, location and duration time is put forward in this paper. At first, Zernike moments of the object contours are extracted, and Principal Component Analysis (PCA) is used to reduce the dimension of the features. Then kNN is used to estimate the human pose on our defined pose sets. To depict the dynamic process of our pose the ratio of height and width of the object are fused;The pose index, the ratio of the height and width of the object and the location of the object are used as the observation sequence, and the Hidden Markov Models(HMMs) are designed to realize the recognition of the human action. Experimental results show that the method can efficiently solve the problems in daily living. © 2011 Binary Information Press.

关键词： Hidden Markov models

来源：评论

学校读者我要写书评

暂无评论

A new tool for comparison and evaluation of medical images

A new tool for comparison and evaluation of medical images

引用

8th Annual IEEE Product Safety engineering Society's Symposium on Product Compliance engineering, ISPCE 2011

作者： Gráfová, Lucie Hořejš, Jan Procházka, Aleš Kašparova, Magdaléna Dostálová, Taťjana Department of Computing and Control Engineering Institute of Chemical Technology Prague Technická 5 166 28 6 Prague Czech Republic Department of Paediatric Stomatology 2nd Medical Faculty Charles University Prague V Úvalu 84 150 06 5 Prague Czech Republic

ISBN: (纸本)9781612846859

A new tool has been developed for comparison and evaluation of medical images based on image registration and edge detection algorithms. The tool performance has been demonstrated on the processing of the ortopantomograms taken before and after treatment. The accuracy of the performance has been discussed and the possible origins of tool performance errors have been explained. The results obtained using presented tool have been discussed by an expert. The expert has confirmed that the tool is well suited for comparison and evaluation of ortopantomograms. The expert has come to the conclusion that our tool can be useful in other specializations of dentistry, not only in orthodontics. © 2011 IEEE.

关键词： Edge detection

来源：评论

学校读者我要写书评

暂无评论

A new tool for comparison and evaluation of medical images

A new tool for comparison and evaluation of medical images

引用

7th IEEE International Symposium on Intelligent Signal Processing, WISP 2011

作者： Gráfová, Lucie Hořejš, Jan Procházka, Aleš Kašparová, Magdaléna Dostálová, Taťjana Department of Computing and Control Engineering Institute of Chemical Technology Prague Technická 5 166 28 Prague 6 Czech Republic Department of Paediatric Stomatology 2nd Medical Faculty Charles University Prague V Úvalu 84 150 06 Prague 5 Czech Republic

ISBN: (纸本)9781457714016

关键词： Edge detection

来源：评论

学校读者我要写书评

暂无评论

Motion vehicles tracking in intelligent transportation visual surveillance systems

引用

Nanjing Li Gong Daxue Xuebao/Journal of Nanjing University of Science and Technology 2012年第SUPPL.2期36卷 216-222页

作者： Wu, Lin-Feng Xiong, Gang Qian, Shou-Yi Xie, Li Zhejiang Provincial Key Lab. of Information Network Technology Department of Information Science and Electronic Engineering Zhejiang University Hangzhou 310027 China State Key Laboratory of Management and Control for Complex Systems Institute of Automation Chinese Academy of Sciences Beijing 100190 China Cloud Computing Industrial Technology Innovation and Incubation Center Dongguan Research Institute of CASIA Chinese Academy of Sciences Dongguan 523808 China Wenzhou Research Institute of Electronics and Information Wenzhou 325003 China

In terms of the difficulty of vehicle tracking in complex environment of the visual surveillance system, an object tracking algorithm is proposed for the applications in practical visual surveillance systems for intelligent traffic. A block-based Gaussian mixture background modeling method for object detection is presented to reduce the computational complexity of moving vehicle object abstraction. An adaptive tracking algorithm fused with color features and texture features is described to better adapt the traffic scene variation. The experimental results show that the proposed algorithm can effectively deal with the complex urban traffic conditions and the tracking performance is better than the conventional particle filter method and single feature based non-adaptive object tracking method.

关键词： Tracking (position)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：