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

14th International Symposium on Applied Reconfigurable Computing, ARC 2018

作者： Merchant, Farhad Vatwani, Tarun Chattopadhyay, Anupam Raha, Soumyendu Nandy, S.K. Narayan, Ranjani Institute for Communication Technologies and Embedded Systems RWTH Aachen University Aachen Germany Hardware and Embedded Systems Lab Nanyang Technological University Singapore Singapore Scientific Computation Laboratory Indian Institute of Science Bangalore India Computer Aided Design Laboratory Indian Institute of Science Bangalore India Morphing Machines Pvt. Ltd. Bangalore India

ISBN: (纸本)9783319788890

In this paper, we present efficient realization of Kalman Filter (KF) that can achieve up to 65% of the theoretical peak performance of underlying architecture platform. KF is realized using Modified Faddeeva Algorithm (MFA) as a basic building block due to its versatility and REDEFINE Coarse Grained Reconfigurable Architecture (CGRA) is used as a platform for experiments since REDEFINE is capable of supporting realization of a set algorithmic compute structures at run-time on a Reconfigurable Data-path (RDP). We perform several hardware and software based optimizations in the realization of KF to achieve 116% improvement in terms of Gflops over the first realization of KF. Overall, with the presented approach for KF, 4-105x performance improvement in terms of Gflops/watt over several academically and commercially available realizations of KF is attained. In REDEFINE, we show that our implementation is scalable and the performance attained is commensurate with the underlying hardware resources. © Springer International Publishing AG, part of Springer Nature 2018.

关键词： Kalman filters

来源：评论

学校读者我要写书评

暂无评论

Automatic design of Microfluidic Devices

Automatic Design of Microfluidic Devices

引用

2018 Forum on Specification and design Languages, FDL 2018

作者： Wille, Robert Li, Bing Drechsler, Rolf Schlichtmann, Ulf Johannes Kepler University Linz Institute for Integrated Circuits Austria Technical University of Munich Electronic Design Automation Munich Germany Institute of Computer Science University of Bremen Bremen Germany Cyber Physical Systems DFKI GmbH Bremen Germany

ISBN: (纸本)9781538664186

This overview paper summarizes the content of a tutorial given at the 2018 edition of the Forum on specification design Languages. The aim of the tutorial was to introduce the technology of microfluidic devices, which gained significant interest in the recent past, as well as corresponding design challenges to a community focused on design automation and corresponding specification/design languages. By this, the overview presents a starting point for researchers and engineers interested in getting involved in this area. © 2018 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Achieving efficient realization of kalman filter on CGRA through algorithm-architecture co-design

arXiv

引用

arXiv 2018年

作者： Merchant, Farhad Vatwani, Tarun Chattopadhyay, Anupam Raha, Soumyendu Nandy, S.K. Narayan, Ranjani Institute for Communication Technologies and Embedded Systems RWTH Aachen University Germany Hardware and Embedded Systems Lab Nanyang Technological University Singapore Scientific Computation Laboratory Indian Institute of Science Bangalore India Computer Aided Design Laboratory Indian Institute of Science Bangalore India Morphing Machines Pvt. Ltd

In this paper, we present efficient realization of Kalman Filter (KF) that can achieve up to 65% of the theoretical peak performance of underlying architecture platform. KF is realized using Modified Faddeeva Algorithm (MFA) as a basic building block due to its versatility and REDEFINE Coarse Grained Reconfigurable Architecture (CGRA) is used as a platform for experiments since REDEFINE is capable of supporting realization of a set algorithmic compute structures at run-time on a Reconfigurable Data-path (RDP). We perform several hardware and software based optimizations in the realization of KF to achieve 116% improvement in terms of Gflops over the first realization of KF. Overall, with the presented approach for KF, 4-105x performance improvement in terms of Gflops/watt over several academically and commercially available realizations of KF is attained. In REDEFINE, we show that our implementation is scalable and the performance attained is commensurate with the underlying hardware resources. Copyright © 2018, The Authors. All rights reserved.

关键词： Kalman filters

来源：评论

学校读者我要写书评

暂无评论

Automatic design of Microfluidic Devices

Automatic Design of Microfluidic Devices

引用

Forum on Specification, Verification and design Languages, FDL

作者： Robert Wille Bing Li Rolf Drechsler Ulf Schlichtmann Institute for Integrated Circuits Johannes Kepler University Linz Austria Chair of Electronic Design Automation Technical University of Munich Munich Germany Institute of Computer Science Cyber Physical Systems DFKI GmbH Bremen Germany

This overview paper summarizes the content of a tutorial given at the 2018 edition of the Forum on specification & design Languages. The aim of the tutorial was to introduce the technology of microfluidic devices, which gained significant interest in the recent past, as well as corresponding design challenges to a community focused on design automation and corresponding specification/design languages. By this, the overview presents a starting point for researchers and engineers interested in getting involved in this area.

关键词： Valves Heating systems Mixers Task analysis Tutorials design automation

来源：评论

学校读者我要写书评

暂无评论

Near-Space Aerospace Vehicles Attitude Control Based on Adaptive Dynamic Programming and Sliding Mode Control

Near-Space Aerospace Vehicles Attitude Control Based on Adap...

引用

International Joint Conference on Neural Networks

作者： Yufei Tang Chaoxu Mu Haibo He Department of Computer & Electrical Engineering and Computer Science and the Institute for Sensing and Embedded Network Systems Engineering Florida Atlantic University School of Electrical Engineering and Automation Tianjin University Department of Electrical Computer and Biomedical Engineering University of Rhode Island

ISBN: (纸本)9781509061839

In this paper, coordinated sliding mode control (SMC) and adaptive dynamic programming (ADP) strategy is proposed for near-space aerospace vehicle (NSASV) adaptive attitude tracking control. In this design, the NSASV attitude angle control is implemented as classical cascade control scheme with two control loops in the model. The outer one is a slow control loop for the attitude angle tracking, and the inner one is a fast control loop for the attitude angular rate tracking. Both of these two control loops are designed by using SMC, which can provide exact control performance near the operating point. To improve the control performance and robustness under parameter variations and external disturbances, ADP based supplementary control is introduced and incorporated into the inner fast control loop to provide adaptive compensation for the reference signal. Simulation study is carried out in Matlab/Simulink environment, and the results demonstrate that the proposed cooperative control could provide quite satisfied tracking performance in terms of overshoot and oscillation.

关键词： Attitude control Dynamics Adaptation models Vehicle dynamics Dynamic programming Space vehicles

来源：评论

学校读者我要写书评

暂无评论

Online platform for conducting responsible research and innovations

Online platform for conducting responsible research and inno...

引用

International Conference on Research Challenges in Information science, RCIS

作者： Mohamad Ajami Louisa Grabner Giovanni Giambene Van Le Doanh Luong John Pearson Automation Technology Fraunhofer-Institute for Production Systems and Design Technology (IPK) Berlin Germany Department of Information Engineering and Mathematical Sciences University of Siena Siena Italy Faculty of Computer Science University of Namur Namur Belgium

ISBN: (纸本)9781479987115

This paper deals with the implementation of an online platform for Responsible Research and Innovation (RRI), which provides anticipatory and deliberative tools to address societal expectations with regard to resrarch and innovation and mobilises information technology tools for inclusive, responsive and sustainable research. In particular, we have developed a Forum, which is a Web-based application and service for stakeholders (members of the RRI community) to deliberate and discuss about RRI. Different interaction modalities are supported by the Forum, such as: `Caucus Process', Suggestion Board, Partnership Initiative, etc. A special attention is devoted to the Citizen Jury and Tacit Knowledge modules that represent innovative features of our Forum. The outcomes show that our online Forum represents an effective solution to address RRI issues by adopting e-Government and knowledge management approaches. This work was carried out as part of EU FP7 Responsibility project.

关键词： Rail to rail inputs Technological innovation Stakeholders Electronic mail Electronic government Knowledge management computer science

来源：评论

学校读者我要写书评

暂无评论

TACLeBench: A benchmark collection to support worst-case execution time research 16

TACLeBench: A benchmark collection to support worst-case exe...

引用

16th International Workshop on Worst-Case Execution Time Analysis, WCET 2016

作者： Falk, Heiko Altmeyer, Sebastian Hellinckx, Peter Lisper, Björn Puffitsch, Wolfgang Rochange, Christine Schoeberl, Martin Sørensen, Rasmus Bo Wägemann, Peter Wegener, Simon Hamburg University of Technology Institute of Embedded Systems Hamburg Germany University of Amsterdam Amsterdam Netherlands University of Antwerp iMinds Antwerp Belgium Mälardalen University School of Innovation Design and Engineering Västerås Sweden Technical University of Denmark Department of Applied Mathematics and Computer Science Lyngby Denmark University of Toulouse Toulouse France Friedrich-Alexander University Erlangen-Nürnberg Erlangen-Nürnberg Germany AbsInt Angewandte Informatik GmbH Saarbrücken Germany

ISBN: (纸本)9783959770255

Engineering related research, such as research on worst-case execution time, uses experimentation to evaluate ideas. For these experiments we need example programs. Furthermore, to make the research experimentation repeatable those programs shall be made publicly available. We collected open-source programs, adapted them to a common coding style, and provide the collection in open-source. The benchmark collection is called TACLeBench and is available from GitHub in version 1.9 at the publication date of this paper. One of the main features of TACLeBench is that all programs are self-contained without any dependencies on standard libraries or an operating system. © Heiko Falk,Sebastian Altmeyer, Peter Hellinckx, Björn Lisper, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Rasmus Bo Sørensen, Peter Wägemann, and Simon Wegener.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Foreword

Proceedings of the 2016 International Conference on Image Pr...

引用

Proceedings of the 2016 International Conference on Image Processing, computer Vision, and Pattern Recognition, IPCV 2016 2016年

作者： Abd-Wahab, Mohd Helmy Al-Bakry, Abbas Al-Holou, Nizar Arabnia, Hamid R. Bhattacharya, Mahua Martinez Castillo, Juan Jose Daimi, Kevin Deligiannidis, Leonidas Djoudi, Lamia Atma Duong, Trung Eshaghian-Wilner, Mary Mehrnoosh Gravvanis, George A. Huang, Ruizhu Jandieri, George Kim, Byung-Gyu Kim, Tai-hoon Korovin, Iakov Lai, Guoming Lee, Hyo Jong Bin Mansor, Muhammad Naufal Marsh, Andrew Mostafaeipour, Ali Park, James J. Patil, Shashikant Ponalagusamy, R. Schaefer, Gerald Singh, Akash Solo, Ashu M.G. Swee, Sim Kok Thomas, Jaya Tinetti, Fernando G. Vladimir, Hahanov Wang, Shiuh-Jeng Yang, Mary Yoe, Hyun You, Jane Zhao, Wenbing Department of Computer Engineering University Tun Hussein Onn Malaysia Malaysia University of IT and Communications Baghdad Iraq Electrical and Computer Engineering Department IEEE/SEM-Computer Chapter University of Detroit Mercy DetroitMI United States University of Georgia United States ABV Indian Institute of Information Technology and Management MHRD Government of India India Acantelys Alan Turing Nikola Tesla Research Group and GIPEB Universidad Nacional Abierta Venezuela Computer Science and Software Engineering Programs Department of Mathematics Computer Science and Software Engineering University of Detroit Mercy DetroitMI United States Department of Computer Information Systems Wentworth Institute of Technology BostonMA United States Synchrone Technologies France Rutgers University State University of New Jersey New Jersey United States University of Southern California California United States Electrical Engineering University of California Los Angeles Los Angeles [UCLA CA United States Advanced Scientific Computing Applied Math and Applications Research Group Applied Mathematics and Numerical Computing and Department of ECE School of Engineering Democritus University of Thrace Xanthi Greece Texas Advanced Computing Center University of Texas AustinTX United States Georgian Technical University Tbilisi Georgia Institute of Cybernetics Georgian Academy of Science Georgia Multimedia Processing CommunicationsLab.[MPCL Department of Computer Science and Engineering College of Engineering SunMoon University Korea Republic of School of Information and Computing Science University of Tasmania Australia Southern Federal University Russia Computer Science and Technology Sun Yat-Sen University Guangzhou China Center for Advanced Image and Information Technology Division of Computer Science and Engineering Chonbuk National University Korea Republic of Faculty of Engineering Technology Kampus Uniciti Alam Universiti Malaysia Perlis UniMAP Malaysi

来源：评论

学校读者我要写书评

暂无评论

Opening remarks

2016 International Conference on Advances in Human Machine I...

引用

2016 International Conference on Advances in Human Machine Interaction, HMI 2016 2016年

作者： Nagaraja, Ch. Swamy, J. Nagendra Rajendra, J. Khan, M.S. Vishwanath Reddy, D.S. Manjunath, N. Dillmann, Ruediger Tarn, Tzyh Jong Zhao, Qianchuan Ammi, Mehdi Zuberek, Wlodek M. Sandhu, P.S. Patthira Newman, K. De Silva Liyanage, Chandratilak Hassan, Sohair Aly Aly Sun, Kien Wen Rahman, Md. Moshiur Ordoño, E. Evangelista Sharma, R.K. Mishra, Preeti Chandel, B.S. Singla, Ekta Petric, Tadej Zhong, Yu Jiglar, Janson Alemzadeh, Kazem Asokan, T. Tripathi, Animesh Tripathi, Manoj Ram, Swaminath Shrma, M.K. Panday, P.N. Kumar, Devendra Hinchey, Mike Stilman, Boris Suraj, Zbigniew Pal, Sankar K. Sasi, Sreela Rajan, Deepu Marshall, Roger G. Abraham, Ajith Peter S, David Paul, Vargheese Gopakumar, V. Dustdar, Schahram Soto, Sebastián Ventura Rausch, Andreas Angelis, Lefteris Nelson, Andrew L. Botzheim, Janos Bernardino, Heder Soares Zboril, Frantisek Ane, Bernadetta Kwintiana Maeda, Toshiyuki Sakalauskas, Virgilijus Hann, Garenth Lim King Samek, Jan Romero Salguero, José Raúl Varghese, Kuruvilla Kriksciuniene, Dalia Mathew, Jimson Reif, Wolfgang Mauri, Giancarlo Cabrerizo Lorite, Francisco Javier Özcan, Ender Cho, Sung-Bae Paily, Roy P. Rezankova, Hana Tudjarov, Boris Hong, Wei-Chiang De Oliveira, José Valente Flores Romero, Juan Jose Oskouei, Rozita Jamili Cicchetti, Antonio Roy, Chanchal Segura, Sergio Samuel, C. Mallet, Frédéric Mernik, Marjan Punnekkat, Sasikumar Waseemulla, A. Sri Devaraj Urs Educational Trust Bangalore India R. L. Jalappa Institute of Technology Doddaballapur Bangalore India Humanoids and Intelligence Systems Lab Kalsruhe Germany Electrical and Systems Engineering Washington University in St. Louis United States Deputy Director of Center for Intelligent and Networked Systems Department of Automation Tsinghua University Beijing China Department of Computer Science CNRS/LIMSI Lab AMI Group France Memorial University St. John'sNL Canada RBIT and Bio-Technology India LR University Thailand University of Colorado at Boulder Boulder United States Faculty of Science University of Brunei Brunei University of Kuala Lumpur Malaysia National Chiao Tung University Taiwan EPR Centre Bangladesh Mapua Institute of Technology Philippines ARO CWC Lucknow India Mpec Kanpur India DSC DBS Kanpu India Indian Institute of Technology Ropar India Jozaf Stefan Institute Department of Automation Biocyernetics and Robotics Ljubljana Slovenia Robotics Institute Carnegie Mellon University Pittsburgh United States Faculty of Engineering University of Bristol United Kingdom Department of Engineering Design Indian Institute of Technology Madras India Lucknow Uni Lucknow India CSJM Uni Kanpur India UPPCB Lucknow India PCB Roorkee India Awadh Uni Faijabad India Agra Uni Agra India Lero University of Limerick Ireland University of Colorado Denver United States University of Rzeszow Poland Indian Statistical Institute Kolkata India Gannon University PA United States Nanyang Technical University Singapore Singapore Plymouth State University NH United States MIR Labs United States Cochin University of Science and Technology India State Project Facilitation Unit TEQIP Kerala India Technical University of Vienna Austria University of Cordoba Spain Clausthal University of Technology Germany Aristotle University of Thessaloniki Greece Androtics LLC TucsonAZ United States Tokyo Metropolitan University Japan Federal Unive

来源：评论

学校读者我要写书评

暂无评论

Challenges for Software Engineering in automation

引用

Journal of Software Engineering and Applications 2014年第5期7卷 440-451页

作者： Birgit Vogel-Heuser Christian Diedrich Alexander Fay Sabine Jeschke Stefan Kowalewski Martin Wollschlaeger Peter Gohner Institute of Automation and Information Systems Technische Universitat MünchenMünchenGermany Institute for Automation and Communication Otto von Guericke University MagdeburgMagdeburgGermany Institute of Automation Technology Helmut-Schmidt-UniversityHamburgGermany Institute of Information Management in Mechanical Engineering RWTH Aachen UniversityAachenGermany Computer Science 11—Embedded Software Laboratory RWTH Aachen UniversityAachenGermany Institute for Applied Computer Science Dresden University of TechnologyDresdenGermany Institute of Industrial Automation and Software Engineering University of StuttgartStuttgartGermany

This paper gives an introduction to the essential challenges of software engineering and requirements that software has to fulfill in the domain of automation. Besides, the functional characteristics, specific constraints and circumstances are considered for deriving requirements concerning usability, the technical process, the automation functions, used platform and the well-established models, which are described in detail. On the other hand, challenges result from the circumstances at different points in the single phases of the life cycle of the automated system. The requirements for life-cycle-management, tools and the changeability during runtime are described in detail.

关键词： automation Software Engineering Models Tools

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：