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

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

来源：评论

学校读者我要写书评

暂无评论

An improved KNN algorithm based on multi-attribute classification

引用

ICIC Express Letters, Part B: Applications 2011年第5期2卷 1117-1122页

作者： Zhang, Hongliang Li, Liangjun Li, Tienan Yang, Feng Computing Center of Anshan Normal University Anshan 114003 China School of Computer Science and Automatic Control Hebei United University No. 46 Xinhua Xidao Tangshan 063000 China School of Information Science and Engineering Northeastern University No. 11 Lane 3 Wenhua Road Heping District Shenyang 110819 China

To improve the classification accuracy of both the conventional Euclidean KNN algorithm and the improved KNN algorithm based on information entropy, this paper proposes an improved KNN algorithm based on multi-attribute classification. The procedures of the new algorithm comprise three steps: i) classify the attributes according to the percentage of their attribute values in an entire attribute of sample set into those discrete attributes suitable for entropy-based KNN algorithm and those continuous attributes suitable for conventional Euclidean KNN similarity-based algorithm;ii) process the two types of attributes separately and then sum up the two series of results with weighing and put the sum as the distance between samples;iii) select k samples which are closest to the test sample to determine the decision attribute type of the test sample. © 2011 ISSN 2185-2766.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Stability and Stabilization of T-S Fuzzy Systems with Time-Varying Delay: An Input-Output Approach

Stability and Stabilization of T-S Fuzzy Systems with Time-V...

引用

IEEE Conference on Decision and control

作者： Lin Zhao Huijun Gao Peng Shi Research Institute of Intelligent Control and Systems Harbin Institute of Technology Harbin Hei-longjiang 150001 China Dept. of Computing and Mathematical Sciences University of Glamorgan Pontypridd CF37 1DL United Kingdom and School of Engineering and Science Victoria University PO BOX 14428 Melbourne VIC 8001 Australia

ISBN: (纸本)9781612848006

An input-output approach to the stability and stabilization of Takagi-Sugeno (T-S) fuzzy system with time-varying delay is proposed in this paper. A novel method is employed to approximate the time-varying delay. Thus the considered system can be formulated into a feedback interconnection form, which contains a constant time-delayed forward subsystem. Then based on the scaled small gain theorem, the problem reduces to studies of the bounded real property and H_(infinity) control problem of the scaled forward subsystem. Some effective techniques used to be applied to the constant time delay systems are now utilized to solve the time-varying case. By virtue of this conversion, less-conservative stability criteria and stabilization methods via Parallel Distributed Compensation (PDC) scheme are obtained. Numerical experiments are performed to illustrate the advantage of the proposed techniques.

关键词： Fuzzy systems time varying INPUT-OUTPUT Stability criteria SUB-SYSTEM virtues Constant Time Delay

来源：评论

学校读者我要写书评

暂无评论

A new on-line indicator of biopolymer content in bacterial cultures

A new on-line indicator of biopolymer content in bacterial c...

引用

作者： Hrnčiřík, Pavel Vovsík, J. Náhlík, J. Department of Computing and Control Engineering Institute of Chemical Technology Prague Technická 5 166 28 Praha 6 Czech Republic

ISBN: (纸本)9783902661708

This paper describes the application of an impedance spectroscopy based analyser in combination with standard off-gas measurements for on-line monitoring of an intracellular biopolymer accumulation during a bioproduction process (Pseudomonas putida KT2442 fed-batch cultivation). Using exclusively on-line measurements a new physiological indicator of biopolymer accumulation in bacterial cells is proposed. The indicator, which could be referred to as an "obesity" quotient, is based on capacitance difference signal carrying information on number of cells and cumulative oxygen consumption related to dry cell weight. © 2010 IFAC.

关键词： Capacitance

来源：评论

学校读者我要写书评

暂无评论

Global robust output regulation for nonlinear systems with iISS inverse dynamics

Global robust output regulation for nonlinear systems with i...

引用

IEEE International Conference on Automation and Logistics

作者： Xu, Dabo Huang, Jie Applied Control and Computing Laboratory Department of Mechanical and Automation Engineering Chinese University of Hong Kong Shatin N.T. Hong Kong

ISBN: (纸本)9781424483754

This paper develops an approach to dealing with the global robust output regulation problem for a class of nonlinear systems with integral input-to-state stable (iISS) inverse dynamics by using output feedback control. As iISS condition is strictly weaker than ISS condition, the result of this paper applies to a larger class of nonlinear systems. © 2010 IEEE.

关键词： Stabilization

来源：评论

学校读者我要写书评

暂无评论

Constraint checking for XML-based language specification by SAT solver

Constraint checking for XML-based language specification by ...

引用

4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, SSIRI-C 2010

作者： Xiao, Hao Wang, Zheng Pu, Gegang Gu, Bin Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai 200062 China Beijing Institute of Control Engineering Beijing 100080 China

ISBN: (纸本)9780769540870

XML has been widely applied in kinds of areas and applications as a data exchange format. Recently, plenty of of languages based on XML emerge. There are many constraints specified by natural language in these XML-based language specifications to regulate the rules that are supposed to be obeyed by designers or programmers. To specify those constraints precisely, we present a relational calculus to capture them. Meanwhile, by means of the constraint solvers (SAT or SMT solver), we can decide that whether a XML-based document satisfies the constraints specified in its corresponding specification. © 2010 IEEE.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：