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

2017 IEEE International Conference on robotics and Automation, ICRA 2017

作者： Li, Lening Fu, Jie Robotics Engineering Program Worcester Polytechnic Institute WorcesterMA01609 United States Robotics Engineering Program Department of Electrical and Computer Engineering Worcester Polytechnic Institute WorcesterMA01609 United States

ISBN: (纸本)9781509046331

In this paper, we propose a sampling-based policy iteration for optimal planning under temporal logic constraints. The method integrates approximate optimal control, importance sampling, and formal methods. For a subclass of linear temporal logic, the planning problem is transformed to an optimal control problem for a hybrid system where discrete transitions are triggered by linear time events in temporal logic. Instead of solving the Hamilton-Jacobi-Bellman equation, we use policy function approximation to reduce the problem into a search of an optimal weight vector that parametrizes the near-optimal policy for given bases. Then, we incorporate Model Reference Adaptive Search - an importance sampling-based optimization algorithm to perform a sample-efficient search within the parameter space of policy function approximations. Facing the discontinuity in cost function introduced by temporal logic constraints and system dynamics, we introduce 1) a rank function in formal logic specifications to enable sample-efficient search;2) specification-guided basis selection. Under mild technical assumptions, the proposed algorithm converges, with probability one, to a global approximate optimal policy that ensures the satisfaction of temporal logic constraints. The correctness and efficiency of the method are demonstrated through numerical experiments including temporal logic planning for a linear system and a nonlinear mobile robot. © 2017 IEEE.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Channel estimation for wireless communication systems assisted by large intelligent surfaces

arXiv

引用

arXiv 2019年

作者： Lin, Junliang Wang, Gongpu Fan, Rongfei Tsiftsis, Theodoros A. Tellambura, Chintha Beijing Key Lab of Transportation Data Analysis and Mining School of Computer and Information Technology Beijing Jiaotong University Beijing100044 China School of Information and Electronics Beijing Institute of Technology Beijing100081 China School of Intelligent Systems Science and Engineering Jinan University Zhuhai519070 China Department of Electrical and Computer Engineering University of Alberta EdmontonABT6G 2V4 Canada

—In this letter, the channel estimation problem is studied for wireless communication systems assisted by large intelligent surface. Due to features of assistant channel, channel estimation (CE) problem for the investigated system is shown as a constrained estimation error minimization problem, which differs from traditional CE problems. A Lagrange multiplier and dual ascent-based estimation scheme is then designed to obtain a closed-form solution for the estimator iteratively. Moreover, the Cramér-Rao lower bounds are deduced for performance evaluation. Simulation results show that the designed scheme could improve estimation accuracy up to 18%, compared with least square method in low signal-to-noise ratio regime. Copyright © 2019, The Authors. All rights reserved.

关键词： Channel estimation

来源：评论

学校读者我要写书评

暂无评论

Terahertz dynamic aperture imaging at stand-off distances using a compressed sensing protocol

arXiv

引用

arXiv 2019年

作者： Augustin, S. Jung, P. Frohmann, S. Hübers, H.-W. Dept. of Phys. Humboldt-Univ. zu Berlin and the Inst. of Optical Sensor Syst. of the Ger. Aerosp. Ctr. Berlin Department of Electrical Engineering and Computer Science Technische Universität Berlin Institute of Optical Sensor Systems of the German Aerospace Center Berlin

In this text, results of a 0:35 terahertz (THz) dynamic aperture imaging approach are presented. The experiments use an optical modulation approach and a single pixel detector at a stand-off imaging distance of ≈1m. The optical modulation creates dynamic apertures of 5cm diameter with ≈2000 individually controllable elements. An optical modulation approach is used here for the first time at a large far-field distance, for the investigation of various test targets in a fieldof-view of 8 x 8cm. The results highlight the versatility of this modulation technique and show that this imaging paradigm is applicable even at large far-field distances. It proves the feasibility of this imaging approach for potential applications like stand-off security imaging or far field THz microscopy. Copyright © 2019, The Authors. All rights reserved.

关键词： Light modulators

来源：评论

学校读者我要写书评

暂无评论

An Overview of Cyber Insecurity and Malicious Uses of Cyberspace 4th

An Overview of Cyber Insecurity and Malicious Uses of Cybers...

引用

4th International Conference on Advanced engineering Theory and Applications, AETA 2017

作者： Silva, Rui Miguel Zelinka, Ivan Lab UbiNET – Computer Science Security and Cybercrime/LISP – Laboratory of Informatics Systems and Parallelism Superior and Management School Polytechnic Institute of Beja Rua Pedro Soares s/n Beja7800-295 Portugal Department of Computer Science Faculty of Electrical Engineering and Computer Science VSB-TUO 17. Listopadu 2172/15 Ostrava-Poruba 708 00 Czech Republic

ISBN: (纸本)9783319698137

Cyberspace entered in our lives for years, in all the domain areas of modern societies, since gamming and fun, from sport information to political and cultural news, scientific dissemination, governmental and public duty activities and all of these domains create a new economical and financial really. Nowadays "People and Money" are on cyberspace and these turns the focus of crime activities to cyberspace. By other side, cyberspace gives fast access from one corner of the world to other corners of the world just in a mouse click and all these with physical cover. So, cybercrime, and all the other "cybers", like cyber security, cyber defense, cyber warfare, cyber terrorism, cyber hacktivism, or cyber spy, came to stay in the real world. The talk will overview the state of the art of the bad uses or malicious uses of cyberspace due to insecurity and benefits form cyberspace as a platform for malicious activities. © Springer International Publishing AG 2018.

关键词： Cybersecurity

来源：评论

学校读者我要写书评

暂无评论

Volterra Models in Load Leveling Problem

Volterra Models in Load Leveling Problem

引用

2018 International Conference Green Energy and Smart Grids, GESG 2018

作者： Sidorov, Denis Zhukov, Alexey Foley, Aoife Tynda, Aleksandr Muftahov, Ildar Panasetsky, Daniil Li, Yong Melentiev Energy Systems Institute Siberian Branch of Russian Academy of Sciences Irkutsk Russia Institute of Solar-Terrestrial Physics Siberian Branch of Russian Academy of Sciences Irkutsk Russia School of Mechanical and Aerospace Engineering Queen's University Belfast Belfast United Kingdom Department of Computer Engineering Penza State University Penza Russia Irkutsk Division of Main Computer Centre JSC Russian Railways Irkutsk Russia College of Electrical and Information Engineering Hunan University Changsha China

Further growth in renewable energy and planned electrification and decentralization of transport and heating loads in future power systems will result in a more complex unit commitment problem (UCP). This paper proposes an adaptive approach to load leveling problem using novel dynamic models based on the Volterra integral equations of the first kind with piecewise continuous kernels. This approach employs a direct numerical method. The considered collocation-type numerical method has the second-order accuracy and enjoys self-regularization properties, which is associated with confidence levels of system demand. This adaptive approach is suitable for energy storage optimization in real time. The efficiency of the proposed methodology is demonstrated on the Single Electricity Market of the Island of Ireland. © 2018 The Authors, published by EDP Sciences.

关键词： Numerical methods

来源：评论

学校读者我要写书评

暂无评论

Computational representation for a simulation scenario definition language

Computational representation for a simulation scenario defin...

引用

AIAA Modeling and Simulation Technologies Conference, 2018

作者： Durak, Umut Jafer, Shafagh Wittman, Rob Mittal, Saurabh Hartmann, Sven Zeigler, Bernard P. Institute of Flight Systems Braunschweig38108 Germany Embry-Riddle Aeronautical University Daytona BeachFL32114-3900 United States The MITRE Corporation McLean VA22102 United States Clausthal University of Technology Clausthal-Zellerfeld38678 Germany RTSync Corp. and Arizona Center for Integrated M&S TucsonAZ85621 United States Flight Dynamics and Simulation Department of Electrical Computer Software and Systems Engineering Department Head Simulation Experimentation and Gaming Architecture Analytics Department Department of Informatics Department of Electrical and Computing Engineering

ISBN: (数字)9781624105289

ISBN: (纸本)9781624105289

The modeling and simulation community in aviation is in search of standardization in simulation scenario definition. While the System Entity Structure (SES) ontology promises an effective formal means of domain modeling, computational representation is still a key challenge to tackle for fostering wide-acceptance and standardization. This paper presents an eXtended Markup Language (XML) based approach. It first gives the relational specification and the schema definition of the SES ontology. Following a layered modeling workflow, it then presents a schema definition for the simulation scenario definition language and exemplifies its utilization. © 2018, American institute of Aeronautics and Astronautics Inc, AIAA. All rights reserved.

关键词： Standardization

来源：评论

学校读者我要写书评

暂无评论

ECG-derived blood pressure classification using complexity analysis-based machine learning 11

ECG-derived blood pressure classification using complexity a...

引用

11th International Conference on Health Informatics, HEALTHINF 2018 - Part of 11th International Joint Conference on Biomedical engineering systems and Technologies, BIOSTEC 2018

作者： Simjanoska, Monika Gjoreski, Martin Bogdanova, Ana Madevska Koteska, Bojana Gams, Matjaž Tasič, Jurij Faculty of Computer Science and Engineering Ss. Cyril and Methodius University Rugjer Boshkovikj 16 Skopje1000 Macedonia Department of Intelligent Systems Jozef Stefan Institute International Postgraduate School Jamova cesta 39 Ljubljana1000 Slovenia Faculty of Electrical Engineering University of Ljubljana Trzaska cesta 25 Ljubljana1000 Slovenia

ISBN: (纸本)9789897582813

The recent advancement on wearable physiological sensors supports the development of real-time diagnosis in preventive medicine that demands various signal processing techniques to enable the extraction of the vital signs (e.g., blood pressure). Blood pressure estimation from physiological sensors data is challenging task that usually is solved by a combination of multiple signals. In this paper we present a novel complexity analysis-based machine-learning perspective on the problem of blood pressure class estimation only from ECG signals. We show that high classification accuracy of 96.68% can be achieved by extracting information via complexity analysis on the ECG signal followed by applying a stack of machine-learning classifiers. In addition, the proposed stacking approach is compared to a traditional machine-learning approaches and feature analysis is performed to determine the influence of the different features on the classification accuracy. The experimental data was gathered by daily monitoring of 20 subjects with two different ECG sensors. Copyright © 2018 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved

关键词： Electrocardiograms

来源：评论

学校读者我要写书评

暂无评论

The launch of BMC Materials

引用

BMC Materials 2019年第1期1卷 1-5页

作者： Harriet E. Manning Pedro Barquinha Rodrigo Martins Wenguo Cui Drew Evans Emmanuel Kymakis Haiyan Wang Ehrenfried Zschech Springer Nature 4 Crinan Street London N1 9XW UK Department of Materials Science Universidade NOVA de Lisboa Lisbon Portugal Shanghai Institute of Traumatology and Orthopaedics Ruijin Hospital Shanghai Jiao Tong University School of Medicine Shanghai China Future Industries Institute University of South Australia Adelaide Australia Department of Electrical & Computer Engineering Hellenic Mediterranean University Heraklion Crete Greece School of Materials Engineering Purdue University West Lafayette USA Fraunhofer Institute for Ceramic Technologies and Systems Dresden Germany

BMC Materials is a new, community-focussed venue for all publishable research across the broad discipline of materials science. It joins the mature and reputable BMC Series of journals, adhering to the same standards ...

BMC Materials is a new, community-focussed venue for all publishable research across the broad discipline of materials science. It joins the mature and reputable BMC Series of journals, adhering to the same standards of publishing and the ethos of open research set by the Series. Together with its sister journals BMC Chemical engineering, BMC Biomedical engineering, BMC Energy and BMC Chemistry, BMC Materials furthers the BMC Series’ expansion into the physical sciences and engineering.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automatic generation of flight simulation scenarios with aviation scenario definition language

Automatic generation of flight simulation scenarios with avi...

引用

作者： Jafer, Shafagh Chhaya, Bharvi Durak, Umut Gerlach, Torsten Embry-Riddle Aeronautical University Daytona BeachFL32114-3900 United States DLR German Aerospace Center Brunswick 38108 Germany Department of Electrical Computer Software and Systems Engineering 600 S Clyde Morris Blvd Lehman343 United States Flight Dynamics and Simulation Institute of Flight Systems Lilienthalplatz 7 Germany

The riseofmodeling and simulation has been phenomenalin aviationasa swift, accurate, and cost-effective method for experimentation and training. However, there still exists a lack of common understanding and standardized practices in the simulation scenario development process. This paper presents a detailed overview of the Aviation Scenario Definition Language, which provides a standard scenario specification mechanism in the aviation domain. The Aviation Scenario Definition Language provides a well-structured definition language to formally specify a complete flight simulation scenario. This paper provides the technical details of the Aviation Scenario Definition Language and its underlying Simulation Interoperability Standards Organization standard base object model. Acase study for unmanned aerial vehicle flight is presented to demonstrate the capabilities of the Aviation Scenario Definition Language in automatically generating simulation scenario scripts for a target flight simulator. © 2018 by the American institute of Aeronautics and Astronautics, Inc. All rights reserved.

关键词： Flight simulators

来源：评论

学校读者我要写书评

暂无评论

Learning Vehicle Surrounding-aware Lane-changing Behavior from Observed Trajectories

Learning Vehicle Surrounding-aware Lane-changing Behavior fr...

引用

IEEE Symposium on Intelligent Vehicle

作者： Shuang Su Katharina Muelling John Dolan Praveen Palanisamy Priyantha Mudalige Department of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA USA Robotics Institute Carnegie Mellon University Pittsburgh PA USA General Motors Company

ISBN: (纸本)9781538644539

Predicting lane-changing intentions has long been a very active area of research in the autonomous driving community. However, most of the literature has focused on individual vehicles and did not consider both the neighbor information and the accumulated effects of vehicle history trajectories when making the predictions. We propose to apply a surrounding-aware LSTM algorithm for predicting the intention of a vehicle to perform a lane change that takes advantage of both vehicle past trajectories and their neighbor's current states. We trained the model on real-world lane changing data and were able to show in simulation that these two components can lead not only to higher accuracy, but also to earlier lane-changing prediction time, which plays an important role in potentially improving the autonomous vehicle's overall performance.

关键词： Trajectory History Prediction algorithms Automobiles Training Predictive models Feature extraction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：