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

2013 IEEE 18th International Conference on Emerging Technologies and Factory Automation, ETFA 2013

作者： Davó, Miguel A. Baños, Alfonso University of Murcia Dpt. Computer and Systems Engineering 30071 Murcia Spain

ISBN: (纸本)9781479908622

The aim of this work is to present an experiment of liquid level process controlled by a reset PI+CI compensator. The results are compared with a well tuned linear PI compensator, showing that the reset compensator improves the performance in both setpoint tracking and disturbance rejection. The experiment validates the simulation results obtained for a tuning rule proposed in a previous work. © 2013 IEEE.

关键词： Disturbance rejection

来源：评论

学校读者我要写书评

暂无评论

Reasoning in fuzzy OWL 2 with delorean

Reasoning in fuzzy OWL 2 with delorean

引用

6th International Workshop on Uncertainty Reasoning for the Semantic Web, URSW 2010, Held as Part of the 9th International Semantic Web Conferences, ISWC 2010 and 1st International Workshop on Uncertainty in Description Logics, UniDL2010

作者： Bobillo, Fernando Delgado, Miguel Gómez-Romero, Juan Dpt. of Computer Science and Systems Engineering University of Zaragoza Spain Dpt. of Computer Science and Artificial Intelligence University of Granada Spain Applied Artificial Intelligence Group University Carlos III Madrid Spain

ISBN: (纸本)9783642359743

Classical ontologies are not suitable to represent imprecise or vague information, which has led to several extensions using non-classical logics. In particular, several fuzzy extensions have been proposed in the literature. In this paper, we present the fuzzy ontology reasoner DeLorean, the first to support a fuzzy extension of OWL 2. We discuss how to use it for fuzzy ontology representation and reasoning, and describe some implementation details and optimization techniques. An empirical evaluation demonstrates that these optimizations considerably improve the performance of the reasoner. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Patient-specific models from inter-patient biological models and clinical records 14

Patient-specific models from inter-patient biological models...

引用

Formal Methods in computer Aided Design (FMCAD)

作者： E. Tronci T. Mancini I. Salvo S. Sinisi F. Mari I. Melatti A. Massini F. Davì T. Dierkes R. Ehrig S. Röblitz B. Leeners T.H.C. Krüger M. Egli F Ille Computer Science Department Sapienza University of Rome Computational Systems Biology Group Zuse Institute Berlin Division of Reproductive Endocrinology University Hospital Zurich Dpt. of Psychiatry Social Psychiatry and Psychotherapy Hannover Medical School CC Aerospace Biomedical Science & Tech. Luzern Univ. of Appl. Sciences & Arts

ISBN: (纸本)9780983567844

One of the main goals of systems biology models in a health-care context is to individualise models in order to compute patient-specific predictions for the time evolution of species (e.g., hormones) concentrations. In this paper we present a statistical model checking based approach that, given an inter-patient model and a few clinical measurements, computes a value for the model parameter vector (model individualisation) that, with high confidence, is a global minimum for the function evaluating the mismatch between the model predictions and the available measurements. We evaluate effectiveness of the proposed approach by presenting experimental results on using the GynCycle model (describing the feedback mechanisms regulating a number of reproductive hormones) to compute patient-specific predictions for the time evolution of blood concentrations of E2 (Estradiol), P4 (Progesterone), FSH (Follicle-Stimulating Hormone) and LH (Luteinizing Hormone) after a certain number of clinical measurements.

关键词： Computational modeling Biological system modeling Barium Predictive models Evolution (biology) Biochemistry

来源：评论

学校读者我要写书评

暂无评论

Linear Quadratic Optimal Trajectory-Tracking Control of a Longitudinal Thrust Vectoring-Enabled Unmanned Tri-TiltRotor

Linear Quadratic Optimal Trajectory-Tracking Control of a Lo...

引用

Annual Conference of the IEEE Industrial Electronics Society

作者： Christos Papachristos Kostas Alexis Anthony Tzes Electrical & Computer Engineering Dpt. University of Patras Autonomous Systems Lab ETH Zurich Electrical & Computer Engineering Dpt. University of Patras

ISBN: (纸本)9781479902255

The optimal trajectory-tracking control of a Tri-TiltRotor Unmanned Aerial Vehicle is the subject of this paper. This specific UAV design possesses the capability to control the orientation of its main rotors, thus enabling operation in both the Vertical Take-Off and Landing as well as the Fixed-Wing flight mode configuration. The translational controller developed is based on a Linear-Quadratic tracking scheme. Additionally to the proposed controller, the newly introduced capability for rotor-tilting, and thus thrust vectoring, as provided by this design is proposed for its utilization in the control of the longitudinal degree-of-freedom of the UAV. Simulation and experimental results are presented, demonstrating both the overall proposed controller's efficiency, as well as the clear advantage gained by the aforementioned proposed strategy, with regard to the controlled system's longitudinal control performance.

关键词： trajectory tracking Unmanned Aerial Vehicle drone honey bees Vertical take off Standing Orders cage set Linear quadratic Controllers UNMANNED vertical control performance Freedom Surgery

来源：评论

学校读者我要写书评

暂无评论

Automatic collection of failure data from the iOS platform

Automatic collection of failure data from the iOS platform

引用

2013 43rd Annual IEEE/IFIP Conference on Dependable systems and Networks Workshop, DSN-W 2013

作者： Cinque, Marcello Cotroneo, Domenico Rodriguez-Dominguez, Carlos Garrido, Jose Luis Dpt. of Electrical Engineering and Information Technology DIETI University of Naples Federico II Via Claudio 21 80125 Naples Italy Dpt. of Computer Languages and Systems ETSIIT University of Granada C/ P. D. Saucedo Aranda S/N 18071 - Granada Spain

ISBN: (纸本)9781479901814

The increasing complexity of smart phones makes them more susceptible to accidental failures. However, there is still little understanding on the dependability behavior of modern smart phones. In this paper, we propose the design and implementation of a logger to collect relevant failure data from iOS devices, such as iPhone and iPad. The preliminary use of the logger on real-world devices shows that it is able to collect meaningful failure data and to provide interesting insight on the dependability behavior of iOS. © 2013 IEEE.

关键词： Smartphones

来源：评论

学校读者我要写书评

暂无评论

Automatic Collection of Failure Data from the iOS Platform

Automatic Collection of Failure Data from the iOS Platform

引用

Annual IEEE/IFIP International Conference on Dependable systems and Networks Workshops

作者： Marcello Cinque Domenico Cotroneo Carlos Rodnguez-Dominguez Jose Luis Garrido Dpt. of Electrical Engineering and Information Technology DIETI University of Naples Federico II Dpt. of Computer Languages and Systems ETSIIT University of Granada

ISBN: (纸本)9781479901807

关键词： Failure data collection Smart phones IOS Smartphone automatic collection IO Loggers iPhones

来源：评论

学校读者我要写书评

暂无评论

Query expansion with a little help from twitter

Communications in Computer and Information Science

引用

Communications in computer and Information science 2013年 384卷 20-29页

作者： Anagnostopoulos, Ioannis Razis, Gerasimos Mylonas, Phivos Anagnostopoulos, Christos-Nikolaos Computer Science and Biomedical Informatics Dpt. University of Thessaly Greece Electrical and Computer Engineering School National Technical University of Athens Greece Cultural Technology and Communication Dpt. University of the Aegean Greece

With the advent and rapid spread of microblogging services, web information management finds a new research topic. Although classical information retrieval methods and techniques help search engines and services to present an adequate precision in lower recall levels (top-k results), the constantly evolving information needs of microblogging users demand a different approach, which has to be adapted to the dynamic nature of On-line Social Networks (OSNs). In this work, we use Twitter as microblogging service, aiming to investigate the query expansion provision that can be extracted from large graphs, and compare it against classical query expansion methods that require mainly prior knowledge, such as browsing history records or access and management of search logs. We provide a direct comparison with mainstream media services, such as Google, Yahoo!, Bing, NBC and Reuters, while we also evaluate our approach by subjective comparisons in respect to the Google Hot Searches service. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Social networking (online)

来源：评论

学校读者我要写书评

暂无评论

DECOMPOSITION BY PARTIAL LINEARIZATION IN MULTIUSER systems

DECOMPOSITION BY PARTIAL LINEARIZATION IN MULTIUSER SYSTEMS

引用

IEEE International Conference on Acoustics, Speech, and Signal Processing

作者： G. Scutari F. Facchinei P. Song D. P. Palomar J.-S. Pang Dpt. of Electrical Eng. State University of New York (SUNY) at Buffalo Dpt. of Computer Control and Management Eng. University of Rome "La Sapienza" Dpt. of Electronic and Computer Eng. Hong Kong Univ. of Science and Technology Dpt. of Industrial and Enterprise Systems Eng. University of Illinois

ISBN: (纸本)9781479903573

We propose a decomposition framework for the distributed optimization of general nonconvex sum-utility functions arising in the design of wireless multi-user interfering systems. Our main contributions are: i) the development of the first provably convergent Jacobi best-response algorithm, where all users simultaneously solve a suitably convexified version of the original sum-utility optimization problem;ii) the derivation of a general dynamic pricing mechanism that provides a unified view of existing pricing schemes that are based, instead, on heuristics;and iii) a framework that can be easily particularized to well-known applications, giving rise to practical algorithms that outperform all existing ad-hoc methods proposed for very specific problems. Our framework contains as special cases well-known gradient algorithms for nonconvex sum-utility problems, and many block-coordinate descents schemes for convex functions.

关键词： Nonconvex social problems Parallel & distributed optimization Successive convex approximation decomposition Linearization Frameworks Partial Heuristics Pricing algorithms descent

来源：评论

学校读者我要写书评

暂无评论

When free riding is the best choice: The case of network charges for content providers

When free riding is the best choice: The case of network cha...

引用

International Conference on Network and Service Management

作者： Maurizio Naldi Giuseppe D'Acquisto Università di Roma Tor Vergata Dpt. of Computer Science and Civil Engineering Roma Italy

Content providers are often accused of free riding by exploiting the network to distribute their content without sharing their revenues with the network providers. In order to assess the correctness of such an accusation, we set up a game-theoretical model, where content providers releasing their contents for free and under the payment of a usage-based charge are both present. In this model, the network provider charges both content providers a usage-based charge (network charge) as well. The network provider and the paid content provider act as the players, using the respective retail prices as strategic leverages. Both the cases where network charges are set by the network provider and by a regulatory authority are examined. The Nash equilibrium is determined in a closed form. In a typical scenario, the solution represented by zero network charges maximizes both the network provider's revenues and the social welfare: free riding for content providers appears as the best choice under both the viewpoints of the selfish network provider and the regulatory authority.

关键词： Games Advertising Equations Network neutrality Conferences Nash equilibrium

来源：评论

学校读者我要写书评

暂无评论

PI+CI tuning for integrating plus deadtime systems

PI+CI tuning for integrating plus deadtime systems

引用

2012 IEEE 17th International Conference on Emerging Technologies and Factory Automation, ETFA 2012

作者： Davo, Miguel A. Banos, Alfonso University of Murcia Dpt. Computer and Systems Engineering 30071 Murcia Spain

ISBN: (纸本)9781467347372

The PI+CI is a reset compensator that has been shown to be effective in a number of practical applications. In this work, a simple PI+CI tuning method for integrating systems with time delay is proposed. It is a direct method, with only a tuning parameter to balance between closed-loop robustness and performance. A tuning rule for the reset ratio parameter of the PI+CI compensator is proposed in order to improve the disturbance rejection. Finally, the proposed compensator is compared with some well-tuned PI compensators. © 2012 IEEE.

关键词： Disturbance rejection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：