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

Stabilization of networked control systems with nonuniform random sampling periods

International Journal of Robust and Nonlinear control 2011年第5期21卷 501-526页

作者： Yang, Hongjiu Xia, Yuanqing Shi, Peng Department of Automatic Control Beijing Institute of Technology Beijing 100081 China Department of Computing and Mathematical Sciences University of Glamorgan Pontypridd CF37 1DL United Kingdom School of Engineering and Science Victoria University Melbourne VIC 8001 Australia

In this paper, a new linear delayed delta operator switched system model is proposed to describe networked control systems with packets dropout and network-induced delays. The plant is a continuous-time system, which is sampled by time-varying random sampling periods. A general delta domain Lyapunov stability criterion is given for delta operator switched systems with time delays. Sufficient conditions for asymptotic stability of closed-loop networked control systems with both packets dropout and network-induced delays are presented in terms of linear matrix inequalities (LMIs). A verification theorem is given to show the solvability of the stabilization conditions by solving a class of finite LMIs. Both the case of data packets arrive instantly and the case of invariant sampling periods in delta operator systems are given, respectively. Three numerical examples are given to illustrate the effectiveness and potential of the developed techniques. © 2010 John Wiley & Sons, Ltd.

关键词： Stabilization

来源：评论

学校读者我要写书评

暂无评论

Spiking Neural P Systems for Arithmetic Operations

Spiking Neural P Systems for Arithmetic Operations

引用

International Conference on Bio-Inspired computing: Theories and Applications, BICTA

作者： Xiangxiang Zeng Tao Song Linqiang Pan Xingyi Zhang Key Laboratory on Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan Hubei China Key Laboratory of Intelligent Computing and Signal Processing School of Computer Science and Technology Anhui University Hefei Anhui China

Recently, Gutierrez-Naranjo and Leporati considered performing basic arithmetic operations on a new class of bioinspired computing devices -- spiking neural P systems (for short, SN P systems). However, the binary encoding mechanism used in their research looks like the encoding approach in electronic circuits, instead of the style of spiking neurons (in usual SN P systems, information are encoded as the time interval between spikes). In this work, three SN P systems are constructed as adder, subtracter and multiplier, respectively. In these devices, a number is inputted to the system as the interval of time elapsed between two spikes received by input neuron, the result of a computation is the time between the moments when the output neuron spikes.

关键词： Neurons Tin Encoding Adders Educational institutions Generators Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Combining ensemble technique of support vector machines with the optimal kernel method for hyperspectral image classification

Combining ensemble technique of support vector machines with...

引用

IEEE International Symposium on Geoscience and Remote Sensing (IGARSS)

作者： Bor-Chen Kuo I-Ling Chen Cheng-Hsuan Li Chih-Cheng Hung Graduate Institute of Educational Measurement and Statistics National Taichung University of Education Taichung Taiwan Department of Electrical and Control Engineering National Chiao Tung University Hsinchu Taiwan School of Computing and Software Engineering Southern Polytechnic State University GA USA

In remote sensing researches, the curse of dimensionality is one greatly difficult classification problem. Many studies have demonstrated that multiple classifier systems, such as the random subspace method (RSM), can alleviate small sample size and high dimensionality concern and obtain more outstanding and robust results than a single classifier on extensive pattern recognition issues. A dynamic subspace method (DSM) was proposed for constructing component classifiers with adaptive subspaces to adjust the shortcomings of RSM based on re substitution accuracy by applying each classifier. However, the performances of SVMs are based on choosing the proper kernel functions or proper parameters of a kernel function. The objective of this research is to develop a novel ensemble technique based on support vector machines (SVMs) via the optimal kernel method, and propose a novel subspace selection mechanism, named the kernel-based dynamic subspace method (KDSM), to improve DSM on automatically determining dimensionality and selecting component dimensions for diverse subspaces. Experimental results show a sound performance of classification on the famous hyperspectral images, Washington DC Mall.

关键词： Kernel Support vector machines Nickel Hyperspectral imaging Training Accuracy

来源：评论

学校读者我要写书评

暂无评论

Preface

2012 IEEE Conference on Evolving and Adaptive Intelligent Sy...

引用

2012 IEEE Conference on Evolving and Adaptive Intelligent Systems, EAIS 2012 - Proceedings 2012年 iii-iv页

作者： Angelov, Plamen Filev, Dimitar Kasabov, Nik Iglesias, José Antonio Communication Systems Department InfoLab21 Lancaster University Lancaster LA1 4WA United Kingdom Intelligent Control and Infonnation Systems Ford Research and Advanced Engineering 2101 Village Road MD #1437 Dearborn MI 48121 United States Knowledge Engineering and Discovery Research Institute School of Computing and Infonnatics Sciences Auckland University of Technology 581 Great South Rd 1020 Auckland New Zealand Carlos III University of Madrid Avda. Universidad 30 28911 Leganes Spain

来源：评论

学校读者我要写书评

暂无评论

Robust Anti-windup Compensator Synthesis via Integral Quadratic Constraints

引用

IFAC Proceedings Volumes 2011年第1期44卷 14477-14482页

作者： G. Li W.P. Heath G. Herrmann School of Engineering Computing and Mathematics University of Exeter North Park Road Exeter UK EX4 4QF Control Systems Centre School of Electrical and Electronic Engineering University of Manchester Sackville Street Building Manchester M13 9PL UK ACTLab Department of Mechanical Engineering University of Bristol Queens Building University Walk Bristol BS8 1TR UK

Abstract We develop an anti-windup (AW) compensator synthesis approach using Integral Quadratic Constraints (IQC). The synthesis finds the AW compensator that achieves a specified robustness against additive or input multiplicative uncertainty, provided there exists a feasible solution. We also incorporate a performance criterion into the AW compensator synthesis to achieve an appropriate trade-off between the performance and robustness. The efficacy of this approach is demonstrated by a numerical example.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

来源：评论

学校读者我要写书评

暂无评论

Study of MRI susceptibility artifacts for nanomedical applications

引用

Journal of Nanotechnology in engineering and Medicine 2010年第4期1卷 041002页

作者： Wortmann, Tim Dahmen, Christian Fatikow, Sergej Department of Computing Science Division Microrobotics Control Engineering University of Oldenburg -KISUM D-26129 Oldenburg Germany

This article deals with the exploitation of magnetic susceptibility artifacts in magnetic resonance imaging (MRI) for the recognition of metallic delivery capsules. The targeted application is a closed-loop position control of magnetic objects implemented using the components of a clinical MRI scanner. Actuation can be performed by switching the magnetic gradient fields, whereas object locations are detected by an analysis of the MRI scans. A comprehensive investigation of susceptibility artifacts with a total number of 108 experimental setups has been performed in order to study scaling laws and the impact of object properties and imaging parameters. In addition to solid metal objects, a suspension of superparamagnetic nanoparticles has been examined. All 3D scans have been segmented automatically for artifact quantification and location determination. Analysis showed a characteristic shape for all three base types of sequences, which is invariant to the magnetic object shape and material. Imaging parameters such as echo time and flip angle have a moderate impact on the artifact volume but do not modify the characteristic artifact shape. The nanoparticle agglomerates produce imaging artifacts similar to the solid samples. Based on the results, a two-stage recognition/tracking procedure is proposed. © 2010 by ASME.

关键词： Magnetic resonance imaging

来源：评论

学校读者我要写书评

暂无评论

Experimental comparison of AdaBoost algorithms applied on leg detection with different range sensor setups

Experimental comparison of AdaBoost algorithms applied on le...

引用

19th International Workshop on Robotics in Alpe-Adria-Danube Region, RAAD 2010

作者： Jurić-Kavelj, Srećko Petrović, Ivan Department of Control and Computer Engineering University of Zagreb Faculty of Electrical Engineering and Computing Zagreb Croatia

ISBN: (纸本)9781424468867

When tracking people or other moving objects with a mobile robot, detection is the first and most critical step. At first most researchers focused on the tracking algorithms, but recently AdaBoost (supervised machine learning technique) was used for people legs detection in 2D range data. The results are promising, but it is unclear if the obtained classifier could be used on the data from another sensor. As it would be a huge inconvenience having to train a classifier for every sensor (setup), we set out to find if, and when is a classifier trained on one sensor setup transferable to another sensor setup. We tested two sensors in five different setups. In total, we acquired 2455 range scans. Experiments showed that the classifier trained on noisier sensor data performed better at classification of data coming from other sensor setups. Classifiers trained on less noisy data were shown to be overconfident, and performed poorly on noisy data. Furthermore, experiments showed that classifiers learned on ten times smaller datasets performed as good as classifiers trained on larger datasets. Since AdaBoost is a supervised learning technique, obtaining same classifier efficiency with significantly smaller dataset means less hand labeling of the data for the same results. © 2010 IEEE.

关键词： Adaptive boosting

来源：评论

学校读者我要写书评

暂无评论

Automatic bioindicator images evaluation

Automatic bioindicator images evaluation

引用

14th International Conference on Intelligent engineering Systems, INES 2010

作者： Slavíková, P. Mudrová, M. Procházka, A. Department of Computing and Control Engineering Institute of Chemical Technology Prague Czech Republic

ISBN: (纸本)9781424476527

Presented paper deals with processing of electron-microscope images of Picea Abies stomas. A stoma character strongly depends on the level of air pollution in the area where the tree grows - as the stoma epidermis covers with epiticular waxes to protect itself against the negative environmental influences. According to the level of incrustation it is possible to distinguish five classes of stoma structure. An automatic algorithm recognizing a degree of stoma damage, based on the microscopic image processing can be useful during the process of environmental assessment. This work is devoted to a solution of the problem of stoma evaluation by means of texture classification. There are two principles discussed in the paper: The first principle is based on gradient methods while the second one uses a wavelet transform. Possibilities of application of mentioned attitudes were investigated and the classification criteria distinguishing the stoma character were suggested, as well. The resulting algorithm was verified on a library of four hundred real images and achieved results were compared with an expert's sensual classification. Selected methods of image preprocessing as noise reduction, brightness correction and resampling were used as well. © 2010 IEEE.

关键词： Gradient methods

来源：评论

学校读者我要写书评

暂无评论

H∞ filtering for linear parameter-varying systems with jumping parameters subject to data missing and quantization

H∞ filtering for linear parameter-varying systems with jump...

引用

Chinese control Conference (CCC)

作者： Xiuming Yao Weixing Zheng Tao Li The Hebei Engineering Research Center of Simulation & Optimized Control for Power Generation North China Electric Power University Baoding 071003 China School of Computing and Mathematics University of Western Sydney Penrith NSW 2751 Australia Department of Information and Communication Nanjing University of Information Science and Technology 210044 Jiangsu China

This paper is concerned with the problem of H ∞ filtering for a class of discrete-time linear parameter-varying (LPV) systems with Markovian switching under data missing and quantization. A stochastic variable is used to describe the model of the data missing phenomenon. Then a H ∞ filter is designed to guarantee the filtering error dynamics is stochastically stable with H ∞ performance. The existence of the desired H ∞ filter is ensured by some sufficient conditions expressed in terms of parameterized linear matrix inequalities (PLMIs). The proposed theoretical findings are validated by numerical results.

关键词： Quantization Switches Electronic mail Filtering Stochastic processes Data models Linear matrix inequalities

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：