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

IEEE Conference on Decision and Control

作者： Yutaka Yamamoto Mathukumalli Vidyasagar Department of Applied Analysis and Complex Dynamical Systems Graduate School of Informatics Kyoto University Kyoto Japan Erik Jonsson School of Engineering & Computer Science University of Texas Dallas Richardson TX USA

ISBN: (纸本)9781612848006;9781612848013

The graph topology plays a central role in characterizing the robustness of feedback systems. In particular, it provides necessary and sufficient conditions for the continuity properties of the transfer matrices of stabilized closed-loop systems. It is possible to derive stronger conclusions by confining our attention to a compact set of controllers. Specifically, if a family of plants is stabilized by each controller belonging to a compact set of controllers, then the closed-loop transfer matrix is uniformly continuous. However, at present a precise characterization of compactness in the graph topology is not available. That is the topic of the present paper. In general it appears difficult to give a necessary and sufficient conditions for a set to be compact. Hence we give a necessary condition and a sufficient condition, and discuss the gap between the two. The necessary condition is standard, while the proof of the sufficient condition is based on three major theorems in analysis: the Baire category theorem, Montel's theorem on normal families of analytic functions, and the corona theorem for H ∞ . Finally, it is shown how the notion of a compact set of controllers can be applied to the problem of approximate design and performance estimation for sampled-data control systems.

关键词： Topology Approximation methods Convergence Algebra Extraterrestrial measurements Control systems

来源：评论

学校读者我要写书评

暂无评论

Constraint satisfaction in XML temporal databases

引用

International Journal of Reasoning-based Intelligent Systems 2011年第1期3卷 44-58页

作者： Papadakis, Nikos Christodolou, Yannis Sartzetakis, Panagiotis Papadakis, Kostas Department of Sciences Technological Education Institute of Crete GR 710 04 Iraklio Crete Greece Department of Electronic and Computer Engineering Technical University of Crete Chania Greece Department of Applied Informatics and Multimedia Department Techological Education Institute of Crete GR 710 04 Iraklio Crete Greece Department of Computer Sciences University of Crete GR 710 04 Crete Greece

In this paper we elaborate on the handling of the ramification problem in the setting of temporal databases. Starting with the observation that solutions from the literature on reasoning about action are inadequate for addressing the ramification problem. The ramification problem refers to the production of indirect effects after the execution of an update in order to ensure the satisfaction of integrity constraints (an update could has as effect the violation of some integrity constraints). In our prior work we have presented a solution (with implementation) based on an extension of the situation calculus and the work of McCain and Turner. In this paper, we present a tool that connects the theoretical results to practical considerations, by (a) producing the appropriate static rules in order to address the ramification problem in temporal setting and (b) providing a friendly enviroment which produces the indirect effects after the execution of an xquery in XML temporal databases. Copyright © 2011 Inderscience Enterprises Ltd.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Phase specific optimal treatment for cancer using GA and swarm intelligence

Phase specific optimal treatment for cancer using GA and swa...

引用

International Conference on computer and Information Technology (ICCIT)

作者： S Algoul M A Hossain M S Alam M A Majumder Department of Computing School of Computing Informatics and Media University of Bradford Bradford UK Department of Computer Science School of Computing Engineering and Information University of Northumbria UK Department of Applied Physics Electronics and Communication Engineering University of Dhaka Bangladesh University of Bradford Bradford West Yorkshire GB

This paper presents an investigation into the development of a multi-objective optimal chemotherapy control model to reduce the number of cancer cells after a number of fixed treatment cycles with minimum side effects. A phase specific drug scheduling method using a close-loop control method with multi-objective techniques is proposed in this paper. Genetic Algorithm (GA) and particle swarm optimisation algorithm (PSO) are used to optimise the control solution for trading-off between the cell killing and toxic side effects. A close-loop control method, namely Integral-Proportional-Derivative (I-PD) is designed to control the drug to be infused into the patient's body and multi-objective GA (MOGA) and multi-objective PSO (MOPSO) are used to find suitable parameters of the controller. The proposed algorithm is implemented, tested and verified through a set of experiments. Performances of the proposed methods demonstrated that both the MOGA and MOPSO approach can offer very efficient drug scheduling that trade-off between cell killing and toxic side effects and satisfy associated design goals. It is also noted that the MOGA based method offers better performance as compared to MOPSO and can reduce the number of proliferating and quiescent cells up to 72.2% and 60.4% respectively. Future research needs to evaluate the proposed scheduling with clinical data and experiments.

关键词： Drugs

来源：评论

学校读者我要写书评

暂无评论

Geometry and curvature of spin networks

Geometry and curvature of spin networks

引用

IEEE Conference on Control Technology and Applications (CCTA)

作者： E Jonckheere S G Schirmer F C Langbein Ming Hsieh Department of Electrical Engineering University of Southern California Los Angeles CA USA Department of Applied Maths & Theoretical Physics University of Cambridge Cambridge UK School of Computer Science & Informatics Cardiff University Cardiff UK

A measure for the maximum quantum information transfer capacity (ITC) between nodes of a spin network is defined, and shown to induce a metric on a space of equivalence classes of nodes for homogeneous chains with XX and Heisen-berg couplings. The geometry and curvature of spin chains with respect of this metric are studied and compared to the physical network geometry. For general networks hierarchical clustering is used to elucidate the proximity of nodes with regard to the maximum ITC. Finally, it is shown how minimal control can be used to overcome intrinsic limitations and speed up information transfer.

关键词： Geometry Couplings Indexes Gravity Extraterrestrial measurements Control systems

来源：评论

学校读者我要写书评

暂无评论

A V2X-based approach for reduction of delay propagation in vehicular Ad-Hoc networks

A V2X-based approach for reduction of delay propagation in v...

引用

International Conference on ITS Telecommunications (ITST)

作者： Ahmad Mostafa Anna Maria Vegni Rekha Singoria Talmai Oliveira Thomas D. C. Little Dharma P. Agrawal School of Computing Sciences and Informatics Center of Distributed and Mobile Computing University of Cincinnati Cincinnati OH USA Department of Applied Electronics University of Rome Tre Rome Italy Department of Electrical and Computer Engineering Boston University Boston MA USA

In this paper we investigate the time delay propagation rates in a Vehicular Ad-Hoc Network, where vehicular connectivity is supported by both Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) protocols. In our vision, seamless connectivity issues in a VANET with nearby network infrastructure, can be fixed by an opportunistic choice of a vehicular protocol between V2V and V2I. Such a decision is taken by each vehicle whenever it needs to transmit messages. Our technique - called as Vehicle-to-X - represents a handoff procedure between V2V and V2I, and vice versa, in order to keep vehicles connected independent of mobility issues and traffic scenarios. We investigate the time delay as a performance metric for protocol switching, and present the time propagation rates which occur when vehicles are transmitting warning messages, via V2V or V2I. Simulation results show how the simultaneous usage of pre-existing network infrastructure, together with inter-vehicular communications, provides low delays; while traditional opportunistic vehicular communications increases the transmission time delays and does not guarantee seamless connectivity to vehicles.

关键词： Vehicles Delay effects Delay Protocols Road transportation Wireless networks Switches

来源：评论

学校读者我要写书评

暂无评论

Stability analysis of fuzzy logic control systems for a class of nonlinear SISO discrete-time systems

Stability analysis of fuzzy logic control systems for a clas...

引用

作者： Precup, Radu-Emil Tomescu, Marius-Lucian Preitl, Stefan Petriu, Emil M. Dragoş, Claudia-Adina Department of Automation and Applied Informatics Politehnica University of Timisoara Bd. V. Parvan 2 RO-300223 Timisoara Romania Computer Science Faculty Aurel Vlaicu University of Arad Complex Universitar M Str. Elena Dragoi 2 RO-310330 Arad Romania School of Information Technology and Engineering University of Ottawa 800 King Edward Ottawa ON K1N 6N5 Canada

ISBN: (纸本)9783902661937

This paper suggests a new stability analysis theorem dedicated to a class of fuzzy logic control systems. The fuzzy logic control systems consist of nonlinear Single Input-Single Output (SISO) discrete-time processes controlled by Takagi-Sugeno fuzzy logic controllers. The stability analysis is conducted on the basis of Lyapunov's direct method with quadratic Lyapunov function candidates. The theorem proves that if the derivative of the Lyapunov function candidate is negative definite in the active region of each fuzzy rule then the fuzzy logic control system will be asymptotically stable in the sense of Lyapunov. Sufficient stability conditions are offered. An example related to the design of a stable fuzzy logic control system for the discrete-time Lorenz chaotic system and simulation results are included. © 2011 IFAC.

关键词： Lyapunov functions

来源：评论

学校读者我要写书评

暂无评论

Search for resonant top quark plus jet production in tt¯+jets events with the ATLAS detector in pp collisions at s=7 TeV

引用

Physical Review D 2012年第9期86卷 091103(R)-091103(R)页

作者： G. Aad T. Abajyan B. Abbott J. Abdallah S. Abdel Khalek A. A. Abdelalim O. Abdinov R. Aben B. Abi M. Abolins O. S. AbouZeid H. Abramowicz H. Abreu E. Acerbi B. S. Acharya L. Adamczyk D. L. Adams T. N. Addy J. Adelman S. Adomeit P. Adragna T. Adye S. Aefsky J. A. Aguilar-Saavedra M. Agustoni M. Aharrouche S. P. Ahlen F. Ahles A. Ahmad M. Ahsan G. Aielli T. Akdogan T. P. A. Åkesson G. Akimoto A. V. Akimov M. S. Alam M. A. Alam J. Albert S. Albrand M. Aleksa I. N. Aleksandrov F. Alessandria C. Alexa G. Alexander G. Alexandre T. Alexopoulos M. Alhroob M. Aliev G. Alimonti J. Alison B. M. M. Allbrooke P. P. Allport S. E. Allwood-Spiers J. Almond A. Aloisio R. Alon A. Alonso F. Alonso B. Alvarez Gonzalez M. G. Alviggi K. Amako C. Amelung V. V. Ammosov S. P. Amor Dos Santos A. Amorim N. Amram C. Anastopoulos L. S. Ancu N. Andari T. Andeen C. F. Anders G. Anders K. J. Anderson A. Andreazza V. Andrei X. S. Anduaga P. Anger A. Angerami F. Anghinolfi A. Anisenkov N. Anjos A. Annovi A. Antonaki M. Antonelli A. Antonov J. Antos F. Anulli M. Aoki S. Aoun L. Aperio Bella R. Apolle G. Arabidze I. Aracena Y. Arai A. T. H. Arce S. Arfaoui J-F. Arguin E. Arik M. Arik A. J. Armbruster O. Arnaez V. Arnal C. Arnault A. Artamonov G. Artoni D. Arutinov S. Asai R. Asfandiyarov S. Ask B. Åsman L. Asquith K. Assamagan A. Astbury M. Atkinson B. Aubert E. Auge K. Augsten M. Aurousseau G. Avolio R. Avramidou D. Axen G. Azuelos Y. Azuma M. A. Baak G. Baccaglioni C. Bacci A. M. Bach H. Bachacou K. Bachas M. Backes M. Backhaus E. Badescu P. Bagnaia S. Bahinipati Y. Bai D. C. Bailey T. Bain J. T. Baines O. K. Baker M. D. Baker S. Baker E. Banas P. Banerjee Sw. Banerjee D. Banfi A. Bangert V. Bansal H. S. Bansil L. Barak S. P. Baranov A. Barbaro Galtieri T. Barber E. L. Barberio D. Barberis M. Barbero D. Y. Bardin T. Barillari M. Barisonzi T. Barklow N. Barlow B. M. Barnett R. M. Barnett A. Baroncelli G. Barone A. J. Barr F. Barreiro J. Barreiro Guimarães da Costa P. Barrillon R. Bartoldus A. E. Barton V. Bartsch A. Basye R. L. Bates L. Batkova J. Fakultät für Mathematik und Physik Albert-Ludwigs-Universität Freiburg Germany Physikalisches Institut University of Bonn Bonn Germany Homer L. Dodge Department of Physics and Astronomy University of Oklahoma Norman Oklahoma USA Institut de Física d’Altes Energies and Departament de Física de la Universitat Autònoma de Barcelona and ICREA Barcelona Spain LAL Université Paris-Sud and CNRS/IN2P3 Orsay France Section de Physique Université de Genève Geneva Switzerland Institute of Physics Azerbaijan Academy of Sciences Baku Azerbaijan Nikhef National Institute for Subatomic Physics and University of Amsterdam Amsterdam Netherlands Department of Physics Oklahoma State University Stillwater Oklahoma USA Department of Physics and Astronomy Michigan State University East Lansing Michigan USA Department of Physics University of Toronto Toronto Ontario Canada Raymond and Beverly Sackler School of Physics and Astronomy Tel Aviv University Tel Aviv Israel DSM/IRFU (Institut de Recherches sur les Lois Fondamentales de l’Univers) CEA Saclay (Commissariat a l’Energie Atomique) Gif-sur-Yvette France INFN Sezione di Milano Italy Dipartimento di Fisica Università di Milano Milano Italy INFN Gruppo Collegato di Udine Italy ICTP Trieste Italy AGH University of Science and Technology Faculty of Physics and Applied Computer Science Krakow Poland Physics Department Brookhaven National Laboratory Upton New York USA Department of Physics Hampton University Hampton Virginia USA Department of Physics Yale University New Haven Connecticut USA Fakultät für Physik Ludwig-Maximilians-Universität München München Germany School of Physics and Astronomy Queen Mary University of London London United Kingdom Particle Physics Department Rutherford Appleton Laboratory Didcot United Kingdom Department of Physics Brandeis University Waltham Massachusetts USA Departamento de Fisica Teorica y del Cosmos and CAFPE Universidad de Granada Granada Spain Albert Einstein Center for

This paper presents a search for a new heavy particle produced in association with a top or antitop quark. Two models in which the new heavy particle is a color singlet or a color triplet are considered, decaying, respectively, to t¯q or tq, leading to a resonance within the tt¯+jets signature. The full 2011 ATLAS pp collision data set from the LHC (4.7 fb−1) is used to search for tt¯ events produced in association with jets, in which one of the W bosons from the top quarks decays leptonically and the other decays hadronically. The data are consistent with the Standard Model expectation, and a new particle with mass below 430 Gev for both W′ boson and color triplet models is excluded at 95% confidence level, assuming unit right-handed coupling.

关键词： QUARKS JETS (Nuclear physics) NUCLEAR counters COLLISIONS (Nuclear physics) STANDARD model (Nuclear physics) RADIOACTIVE decay ATOMIC mass

来源：评论

学校读者我要写书评

暂无评论

WORKSHOP: The role of expectations in intuitive human-robot interaction

WORKSHOP: The role of expectations in intuitive human-robot ...

引用

ACM/IEEE International Conference on Human-Robot Interaction (HRI)

作者： Verena Hafner Manja Lohse Joachim Meyer Yukie Nagai Britta Wrede Department of Computer Science Cognitive Robotics Berlin Germany CoR-Laboratory and Applied Informatics Technical Faculty Bielefeld University Germany Department of Industrial Engineering and Management University of Negev Israel Department of Adaptive Machine Systems Graduate School of Engineering Osaka University Japan Head of CoR-Laboratory research group Hybrid Society Technical Faculty Bielefeld University Germany

Human interaction is highly intuitive: we infer reactions of our opponents mainly from what we have learned in years of experience and often assume that other people have the same knowledge about certain situations, abilities, and expectations as we do. In human-robot interaction (HRI) we cannot take for granted that this is equally true since HRI is asymmetrical. In other words, robots have different abilities, knowledge, and expectations than humans. They need to react appropriately to human expectations and behaviour. With this respect, scientific advances have been made to date for applications in entertainment and service robotics that largely depend on intuitive interaction. However, HRI today is often still unnatural, slow, and unsatisfactory for the human interlocutor. Both the sensorimotor interaction with environment and interlocutor, and the social aspects of the interaction still need to be researched and improved. Therefore, this full-day workshop aims to bring together researchers from different scientific fields to discuss these crosscutting issues and to exchange views on what are the preconditions and principles of intuitive interaction.

关键词： Educational institutions computer science Robot sensing systems Electronic mail Humans Industrial engineering

来源：评论

学校读者我要写书评

暂无评论

Stability Analysis of Fuzzy Logic Control Systems for a Class of Nonlinear SISO Discrete-Time Systems

引用

IFAC Proceedings Volumes 2011年第1期44卷 13612-13617页

作者： Radu-Emil Precup Marius-Lucian Tomescu Stefan Preitl Emil M. Petriu Claudia-Adina Dragoş Department of Automation and Applied Informatics “Politehnica” University of Timisoara Bd. V. Parvan 2 RO-300223 Timisoara Romania (Tel: +40-256403229 Computer Science Faculty “Aurel Vlaicu” University of Arad Complex Universitar M Str. Elena Dragoi 2 RO-310330 Arad Romania Department of Automation and Applied Informatics “Politehnica” University of Timisoara Bd. V. Parvan 2 RO-300223 Timisoara Romania School of Information Technology and Engineering University of Ottawa 800 King Edward Ottawa Ontario K1N 6N5 Canada

Abstract This paper suggests a new stability analysis theorem dedicated to a class of fuzzy logic control systems. The fuzzy logic control systems consist of nonlinear Single Input-Single Output (SISO) discrete-time processes controlled by Takagi-Sugeno fuzzy logic controllers. The stability analysis is conducted on the basis of Lyapunov's direct method with quadratic Lyapunov function candidates. The theorem proves that if the derivative of the Lyapunov function candidate is negative definite in the active region of each fuzzy rule then the fuzzy logic control system will be asymptotically stable in the sense of Lyapunov. Sufficient stability conditions are offered. An example related to the design of a stable fuzzy logic control system for the discrete-time Lorenz chaotic system and simulation results are included.

关键词： Discrete-time systems fuzzy logic control Lyapunov function candidates nonlinear systems stability analysis

来源：评论

学校读者我要写书评

暂无评论

Intelligent operating conditions design by means of bio-inspired models

Intelligent operating conditions design by means of bio-insp...

引用

World Congress on Nature & Biologically Inspired Computing (NaBIC)

作者： José R. Villar Javier Sedano Emilio Corchado Vicente Vera Beatriz Hernando Raquel Redondo Computer Science Department University of Oviedo Gijón Spain Informatics and Automatica Department University of Salamanca Salamanca Spain Odontology Faculty Universidad Complutense of Madrid Madrid Spain Dept. of A.I. & Applied Electronics Castilla y León Technological Institute (ITCL) Burgos Spain Department of Civil Engineering University of Burgos Burgos Spain

This study presents a novel hybrid intelligent system, which focuses on the optimisation of machine parameters for dental milling purposes. The basis of this approach is hybridizing two bio-inspired algorithms, as Neural Networks with Genetic Algorithms for choosing and modelling the feature subset that best descript the operation conditions. These operating conditions are given as parameters for a dental drill machine. The aim of this approach is twofold: a feature selection process is carried out while the modelling of the operating conditions is achieved. The reliability of the proposed novel hybrid system is validated with a real industrial use case, based on the optimisation of a high-precision machining centre with five axes for dental milling purposes.

关键词： Artificial neural networks Genetic algorithms Computational modeling Data models Biological system modeling Manufacturing Dentistry

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：