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

American control Conference

作者： Fei Sun Necmiye Ozay Eric M. Wolff Jun Liu Richard M. Murray Information Security Center Beijing University of Posts and Telecommunications China Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI 48109 USA Department of Control and Dynamical Systems California Institute of Technology Pasadena CA 91125 USA Department of Automatic Control and Systems Engineering University of Sheffield Mappin Street Sheffield S1 3JD United Kingdom

ISBN: (纸本)9781479932757

Augmented finite transition systems generalize nondeterministic transition systems with additional liveness conditions. We propose efficient algorithms for synthesizing control protocols for augmented finite transition systems to satisfy high-level specifications expressed in a fragment of linear temporal logic (LTL). We then use these algorithms within a framework for switching protocol synthesis for discrete-time dynamical systems, where augmented finite transition systems are used for abstracting the underlying dynamics. We introduce a notion of minimality for abstractions of certain fidelity and show that such minimal abstractions can be exactly computed for switched affine systems. Additionally, based on this framework, we present a procedure for computing digitally implementable switching protocols for continuous-time systems. The effectiveness of the proposed framework is illustrated through two examples of temperature control for buildings.

关键词： Switched systems Switches Protocols Heuristic algorithms Transient analysis Complexity theory

来源：评论

学校读者我要写书评

暂无评论

Highlights from the 11th ISCB Student Council Symposium 2015. Dublin, Ireland. 10 July 2015

引用

BMC bioinformatics 2016年第3期17 Suppl 3卷 95页

作者： Katie Wilkins Mehedi Hassan Margherita Francescatto Jakob Jespersen R. Gonzalo Parra Bart Cuypers Dan DeBlasio Alexander Junge Anupama Jigisha Farzana Rahman Griet Laenen Sander Willems Lieven Thorrez Yves Moreau Nagarajan Raju Sonia Pankaj Chothani C. Ramakrishnan Masakazu Sekijima M. Michael Gromiha Paddy J Slator Nigel J Burroughs Przemysław Szałaj Zhonghui Tang Paul Michalski Oskar Luo Xingwang Li Yijun Ruan Dariusz Plewczynski Giulia Fiscon Emanuel Weitschek Massimo Ciccozzi Paola Bertolazzi Giovanni Felici Pieter Meysman Manu Vanaerschot Maya Berg Hideo Imamura Jean-Claude Dujardin Kris Laukens Westa Domanova James R. Krycer Rima Chaudhuri Pengyi Yang Fatemeh Vafaee Daniel J. Fazakerley Sean J. Humphrey David E. James Zdenka Kuncic Plant Pathology and Plant-Microbe Biology Section School of Integrative Plant Science Cornell University Ithaca USA Graduate Field of Computational Biology Cornell University Ithaca USA School of Computing & Mathematics University of South Wales Cardiff UK Department of Genome Biology for Neurodegenerative Diseases German Center for Neurodegenerative Diseases (DZNE) within the Helmholtz Association ᅟ Germany Department of Surgery Massachusetts General Hospital The Broad Institute of MIT and Harvard Boston USA Department of Systems Biology Technical University of Denmark Kemitorvet Denmark Protein Physiology Lab Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires Buenos Aires Argentina Molecular Parasitology Unit (MPU) Institute of Tropical Medicine Antwerp Belgium Advanced Database Research and Modeling (ADReM) research group University of Antwerp Antwerpen Belgium Department of Computer Science University of Arizona Tucson USA Department of Veterinary Clinical and Animal Sciences Center for non-coding RNA in Technology and Health University of Copenhagen Copenhagen Denmark University College Dublin Dublin Ireland Department of Electrical Engineering (ESAT) STADIUS Center for Dynamical Systems Signal Processing and Data Analytics KU Leuven Leuven Belgium Minds Medical IT Department Leuven Belgium Scientific Institute of Public Health (WIV-ISP) Platform of Biotechnology and Molecular Biology (PBB) Brussels Belgium Department of Development and Regeneration @ Kulak KU Leuven Kortrijk Belgium Department of Biotechnology Bhupat and Jyoti Metha School of Biosciences Indian Institute of Technology Madras Chennai India Philips Research North America Briarcliff Manor USA Global Scientific Information and Computing Center (GSIC) Tokyo Institute of Technology Tokyo Japan Systems Biology Centre University of Warwick Senate House Coventry UK Systems Biology Doctoral Training Centre University of Warwick Senate House Coventry UK Center for B

A1 Highlights from the eleventh ISCB Student Council Symposium 2015 Katie Wilkins, Mehedi Hassan, Margherita Francescatto, Jakob Jespersen, R. Gonzalo Parra, Bart Cuypers, Dan DeBlasio, Alexander Junge, Anupama Jigisha, Farzana Rahman O1 Prioritizing a drug’s targets using both gene expression and structural similarity Griet Laenen, Sander Willems, Lieven Thorrez, Yves Moreau O2 Organism specific protein-RNA recognition: A computational analysis of protein-RNA complex structures from different organisms Nagarajan Raju, Sonia Pankaj Chothani, C. Ramakrishnan, Masakazu Sekijima; M. Michael Gromiha O3 Detection of Heterogeneity in Single Particle Tracking Trajectories Paddy J Slator, Nigel J Burroughs O4 3D-NOME: 3D NucleOme Multiscale Engine for data-driven modeling of three-dimensional genome architecture Przemysław Szałaj, Zhonghui Tang, Paul Michalski, Oskar Luo, Xingwang Li, Yijun Ruan, Dariusz Plewczynski O5 A novel feature selection method to extract multiple adjacent solutions for viral genomic sequences classification Giulia Fiscon, Emanuel Weitschek, Massimo Ciccozzi, Paola Bertolazzi, Giovanni Felici O6 A Systems Biology Compendium for Leishmania donovani Bart Cuypers, Pieter Meysman, Manu Vanaerschot, Maya Berg, Hideo Imamura, Jean-Claude Dujardin, Kris Laukens O7 Unravelling signal coordination from large scale phosphorylation kinetic data Westa Domanova, James R. Krycer, Rima Chaudhuri, Pengyi Yang, Fatemeh Vafaee, Daniel J. Fazakerley, Sean J. Humphrey, David E. James, Zdenka Kuncic

关键词： Visceral Leishmaniasis Feature Selection Method Frequent Itemset Mining Leishmania Donovani Student Council

来源：评论

学校读者我要写书评

暂无评论

Lidar-Assisted Wind Turbine Feedforward Torque controller Design Below Rated

Lidar-Assisted Wind Turbine Feedforward Torque Controller De...

引用

American control Conference

作者： Na Wang Kathryn E. Johnson Alan D. Wright Carlo E. Carcangiu Colorado School of Mines Department of Electrical Engineering and Computer Science Golden CO 80401 USA Colorado School of Mines Department of Electrical Engineering and Computer Science and Joint Appointee at National Renewable Energy Laboratory's National Wind Technology Center Golden CO 80401 USA National Renewable Energy Laboratory Golden CO 80401 USA Closed-Loop Control at ALSTOM WIND S.L.U. Barcelona Spain

ISBN: (纸本)9781479932757

Two below-rated feedforward torque control strategies are investigated for a megawatt-scale commercial turbine to regulate rotor speed and reduce turbine structural loads. The investigated regime for this research is the transition region when the turbine is operating just below rated wind speed. In this transition region, the rotor speed has reached its rated value but the generator torque has not. The first of the two controllers designed is a nonlinear feedforward controller that is based on aerodynamic torque balance computed from a light detection and ranging (lidar) measurement and a feedback power measurement from the turbine. A linear disturbance accommodating control (DAC) based torque controller has also been adapted and compared with the nonlinear control strategy. This DAC depends only on the lidar feedforward measurement without using feedback measurement from the turbine. The controllers are verified with a nonlinear FAST turbine model and turbulent wind fields.

关键词： Torque Feedforward neural networks Rotors Wind turbines Laser radar Wind speed Poles and towers

来源：评论

学校读者我要写书评

暂无评论

Adaptive parallel tiled code generation and accelerated auto-tuning

Adaptive parallel tiled code generation and accelerated auto...

引用

作者： Tavarageri, Sanket Ramanujam, J. Sadayappan, P. Department of Computer Science and Engineering Ohio State University Columbus OH United States School of Electrical Engineering and Computer Science Center for Computation and Technology Louisiana State University United States

Tiling is an important program transformation that is often used to enhance cache locality and to obtain coarse-grained parallelism. In this paper, we address the problem of generating adaptive parametric tiled code for parallel execution contexts;in other words, generating parallel tiled code in which tile sizes can be changed on the fly during execution. Changing of tile sizes during pipelined parallel execution of tiles presents the following fundamental code-generation challenge: the unscanned iteration space may become non-convex. We develop novel solutions for the adaptive parallel tiled code generation problem. Using adaptive tiling, auto-tuning for tile size selection can be accelerated: in a single run of the tiled code, several tile sizes may be tested for their performance and thus expedite auto-tuning. Adaptive tiling is also useful in scenarios where tile sizes need to be dynamically altered to tailor to the changing execution environments, such as dynamically resized caches for power savings. Experimental evaluation on a number of benchmarks demonstrates the effectiveness of the developed approach. © The Author(s) 2013.

关键词： Ion beams

来源：评论

学校读者我要写书评

暂无评论

Application of artificial bee colony algorithm to select architecture of a optimal neural network for the prediction of rolling force in hot strip rolling process

引用

Journal of Chemical and Pharmaceutical Research 2013年第9期5卷 563-570页

作者： Zhao, Zhiwei Yang, Jingming Che, Haijun Sun, Hao Yang, He Key Lab of Industrial Computer Control Engineering of Hebei Province Institution of Electrical Engineering Yanshan University Qinhuangdao China National Engineering Research Center for Equipment and Technology of Cold Strip Rolling Yanshan University Qinhuangdao China Department of Computer Science and Technology Tangshan College Tangshan China

In the face of global competition, the requirement for dimensional accuracy, mechanical properties and surface properties has become a major challenge on aluminum manufacturing industries. Conventional rolling force formulas, however, provide not more than reasonably exact approximations. The mathematical modeling of the hot rolling process has long been recognized to be a desirable approach to aid in rolling operating practice and the design of mill equipment to improve productivity and quality. However, many factors make the theoretical analysis of the rolling process very complex and time-consuming. This paper presents a prediction method based on the Artificial Bee Colony algorithm and BP neural network, which was developed in order to improve the prediction of rolling force in hot strip rolling process. The architecture of BP neural network is optimized by Artificial Bee Colony algorithm. Comparing with the Sims mathematical model and BP neural network, the experimental results show that the prediction accuracy and error of rolling force is superior to the other two methods, and the predicted rolling force is very close to the practical rolling force.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Optimizing pyramid visibiliy coverage for autonomous robots in 3D environment

Optimizing pyramid visibiliy coverage for autonomous robots ...

引用

8th International Conference on computer Science and Education, ICCSE 2013

作者： Yu, Wuyi Li, Maoqing Li, Xin School of Electrical Engineering and Computer Science Center for Computation and Technology Louisiana State University United States Department of Automation Xiamen University Xiamen China

ISBN: (纸本)9781467344623

This paper studies the optimal visibility coverage for autonomous robots in complex 3D environments. The perception sensor equipped on an inspection robot usually has a pyramid-shaped visible range with limited distance and angle. Finding the optimal pyramid visibility coverage for a given 3D region is NP hard;this paper presents an effective progressive integer linear programming algorithm to compute an approximate solution. Our framework allows the user to specify a coverage rate parameter to balance the percentage of visibility and the required guarding points for the given region. The algorithm is assessed in a simulated 3D pipeline environment and demonstrated promising for detecting leaks, clogs, and deformation of the pipes. © 2013 IEEE.

关键词： Visibility

来源：评论

学校读者我要写书评

暂无评论

Finite Abstractions of Networked control Systems

Finite Abstractions of Networked Control Systems

引用

IEEE Annual Conference on Decision and control

作者： Majid Zamani Manuel Mazo Alessandro Abate Department of Electrical Engineering and Information Technology Technische Universitat Munchen D-80290 Munich Germany Delft Center for Systems and Control Delft University of Technology 2628 CD Delft The Netherlands Department of Computer Science University of Oxford OX1 3QD Oxford United Kingdom

ISBN: (纸本)9781467360890

In networked control systems (NCS), the communication between sensors, controllers, and actuators is supported by a shared communication channel that is subject to variable communication delays, limited bandwidth, packet losses, quantization errors, and other practical non-idealities. This work investigates the problem of constructively deriving symbolic models of NCS by simultaneously considering the mentioned network non-idealities. By employing the obtained symbolic models, one can completely automate the design of controllers enforcing rich logical specifications, e.g. formulae in linear temporal logic, over NCS.

关键词： Delays Sensors Artificial neural networks Trajectory Actuators

来源：评论

学校读者我要写书评

暂无评论

InAs/GaAs p-type quantum dot and dots-in-well infrared photodetectors

InAs/GaAs p-type quantum dot and dots-in-well infrared photo...

引用

The 4th Advances in Optoelectronics and Micro/nano-optics (AOM 2014)(第四届光电子与微纳光学进展国际会议)

作者： A.G.UnilPerera Y.F.Lao S.Wolde Y.H.Zhang T.M.Wang J.O.Kim Ted Schuler-Sandy Zhao-Bing Tian S.S.Krishna Department of Physics and Astronomy Georgia State UniversityAtlantaGA 30303USA Key Laboratory of Artificial Structures and Quantum ControlDepartment of Physics and AstronomyShanghai Jiao Tong UniversityShanghai 200240China Center for High Technology MaterialsDepartment of Electrical and Computer EngineeringUniversity of New MexicoAlbuquerqueNM87106USA

Quantum dot infrared photodetector (QDIP) is one of the important emerging devices in the field of infrared (IR) technology,and has received considerable attention in the past *** advantage using QDs as the active region of photodetectors originates from three-dimensional confinement for carriers,which offers normal incidence detection,and low dark currents and longer photocarrier lifetime (e.g.,compared to quantum wells (QWs)) owing to the phonon bottleneck effect.[1] Significant progress achieved in the past makes use of quantum dots and dots-in-a-well (DWELL) designs,based on n-type electrons.

关键词： Photodetectors Quantum dots Quantum wells Dots-in-well

来源：评论

学校读者我要写书评

暂无评论

AFCD: An approximated-fair and controlled-delay queuing for high speed networks

AFCD: An approximated-fair and controlled-delay queuing for ...

引用

2013 IEEE 2013 22nd International Conference on computer Communication and Networks, ICCCN 2013

作者： Xue, Lin Kumar, Suman Cui, Cheng Kondikoppa, Praveenkumar Chiu, Chui-Hui Park, Seung-Jong School of Electrical Engineering and Computer Science Center for Computation and Technology Louisiana State University Baton Rouge LA United States Department of Computer Science Troy University Troy AL United States

ISBN: (纸本)9781467357746

High speed networks have characteristics of high bandwidth, long queuing delay, and high burstiness which make it difficult to address issues such as fairness, low queuing delay and high link utilization. Current high speed networks carry heterogeneous TCP flows which makes it even more challenging to address these issues. Since sender centric approaches do not meet these challenges, there have been several proposals to address them at router level via queue management (QM) schemes. These QM schemes have been fairly successful in addressing either fairness issues or large queuing delay but not both at the same time. We propose a new QM scheme called Approximated-Fair and controlled-Delay (AFCD) queuing for high speed networks that aims to meet following design goals: approximated fairness, controlled low queuing delay, high link utilization and simple implementation. The design of AFCD utilizes a novel synergistic approach by forming an alliance between approximated fair queuing and controlled delay queuing. It uses very small amount of state information in sending rate estimation of flows and makes drop decision based on a target delay of individual flow. Through experimental evaluation in a 10Gbps high speed networking environment, we show AFCD meets our design goals by maintaining approximated fair share of bandwidth among flows and ensuring a controlled very low queuing delay with a comparable link utilization. © 2013 IEEE.

关键词： HIgh speed networks

来源：评论

学校读者我要写书评

暂无评论

Quantum Nondemolition Detection of a Propagating Microwave Photon

引用

Physical Review Letters 2014年第9期112卷 093601-093601页

作者： Sankar R. Sathyamoorthy L. Tornberg Anton F. Kockum Ben Q. Baragiola Joshua Combes C. M. Wilson Thomas M. Stace G. Johansson Department of Microtechnology and Nanoscience MC2 Chalmers University of Technology S-41296 Gothenburg Sweden Center for Quantum Information and Control University of New Mexico Albuquerque New Mexico 87131-0001 USA Institute for Quantum Computing and Electrical and Computer Engineering Department University of Waterloo Waterloo N2 L 3G1 Canada Centre for Engineered Quantum Systems School of Physical Sciences University of Queensland Saint Lucia Queensland 4072 Australia

The ability to nondestructively detect the presence of a single, traveling photon has been a long-standing goal in optics, with applications in quantum information and measurement. Realizing such a detector is complicated by the fact that photon-photon interactions are typically very weak. At microwave frequencies, very strong effective photon-photon interactions in a waveguide have recently been demonstrated. Here we show how this type of interaction can be used to realize a quantum nondemolition measurement of a single propagating microwave photon. The scheme we propose uses a chain of solid-state three-level systems (transmons) cascaded through circulators which suppress photon backscattering. Our theoretical analysis shows that microwave-photon detection with fidelity around 90% can be realized with existing technologies.

关键词： MICROWAVE photonics RESEARCH QUANTUM mechanics QUANTUM information science PHOTON-photon interactions WAVEGUIDES PHOTON scattering BACKSCATTERING

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：