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

Integrated system design for vertical takeoff-landing of small unmanned aerial vehicles

学校读者我要写书评

暂无评论

Integrated system design for vertical takeoff-landing of sma...

2018 systems and Information engineering Design Symposium, SIEDS 2018

作者： Rau, James V. Babiceanu, Radu F. Master of Science in Systems Engineering Embry-Riddle Aeronautical University United States Systems Engineering Department of Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University United States

ISBN: (纸本)9781538663431

Due to the advancements in autonomous units, more small unmanned aerial vehicles (sUAV's) are being utilized to accomplish commercial missions. Fixed wing, vertical takeoff-landing (FW-VTOL) sUAV's have been developed to provide similar flight performance characteristics in comparison to fixed wing or multi-copter sUAV's. The hybrid fixed-wing aircrafts offer significant usability and safety advantages over its rival systems. These aircrafts can be deployed in a slow and controlled manner off a vessel or in a small remote location. This is an alternative method that can be used instead of launching the aircraft using conventional high-speed long runways, nets or catapults. Unlike private aircrafts these small vehicles are not as strictly regulated, whether it is the certification of design or the pilot's flight hours and endorsements. A formalized safety system for FW-VTOL sUAV's must be integrated with all autonomous units in order to adhere to similar aircraft safety requirements. The proposed Integrated Flight Safety Plan (IFSP) has been modeled in a finite-state machine to consider all possible events of the unit during flight. These system conditions and criteria allow for the unit to react to internal failures and external changes, autonomously, and acutely control the outcome with bystander safety as a primary consideration. The formal verification and checking of the IFSP model can be tested using an abstract simulation. A predetermined mission replicate is repeatedly tested, based on approximate probabilistic events, to assess the effectiveness of the model adapting during flights that contain one or more system failures. © 2018 IEEE.

关键词： Fixed wings

Knowledge-routed visual question reasoning: Challenges for deep representation embedding

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Cao, Qingxing Li, Bailin Liang, Xiaodan Wang, Keze Lin, Liang School of Intelligent Systems Engineering Sun Yat-sen University China DarkMatter AI Research China Department of statistics University of California Los AngelesCA90095 United States School of Computer Science and Engineering Sun Yat-sen University Key Laboratory of Machine Intelligence and Advanced Computing Ministry of Education Engineering Research Center for Advanced Computing Engineering Software of Ministry of Education China

Though beneficial for encouraging the Visual Question Answering (VQA) models to discover the underlying knowledge by exploiting the input-output correlation beyond image and text contexts, the existing knowledge VQA datasets are mostly annotated in a crowdsource way, e.g., collecting questions and external reasons from different users via the internet. In addition to the challenge of knowledge reasoning, how to deal with the annotator bias also remains unsolved, which often leads to superficial over-fitted correlations between questions and answers. To address this issue, we propose a novel dataset named Knowledge-Routed Visual Question Reasoning for VQA model evaluation. Considering that a desirable VQA model should correctly perceive the image context, understand the question, and incorporate its learned knowledge, our proposed dataset aims to cutoff the shortcut learning exploited by the current deep embedding models and push the research boundary of the knowledge-based visual question reasoning. Specifically, we generate the question-answer pair based on both the Visual Genome scene graph and an external knowledge base with controlled programs to disentangle the knowledge from other biases. The programs can select one or two triplets from the scene graph or knowledge base to push multi-step reasoning, avoid answer ambiguity, and balanced the answer distribution. In contrast to the existing VQA datasets, we further imply the following two major constraints on the programs to incorporate knowledge reasoning: i) multiple knowledge triplets can be related to the question, but only one knowledge relates to the image object. This can enforce the VQA model to correctly perceive the image instead of guessing the knowledge based on the given question solely;ii) all questions are based on different knowledge, but the candidate answers are the same for both the training and test sets. We make the testing knowledge unused during training to evaluate whether a model can unde

关键词： Knowledge based systems

AMOGA: A Static-Dynamic Model Generation Strategy for Mobile Apps Testing

学校读者我要写书评

暂无评论

arXiv 2019年

作者： Salihu, Ibrahim-Anka Ibrahim, Rosziati Ahmed, Bestoun S. Zamli, Kamal Z. Usman, Asmau Department of Software Engineering Faculty of Computer Science and Information Technology Universiti Tun Hussein Onn Malaysia Batu Pahat Johor86400 Malaysia Department of Software Engineering Faculty of Computer Science and Information Technology Universiti Tun Hussein Onn Malaysia Batu Pahat Johor86400 Malaysia Department of Mathematics and Computer Science Karlstad University Karlstad Sweden Faculty of Computer Systems and Software Engineering Universiti Malaysia Pahang GambangPahang26300 Malaysia Department of Software Engineering Faculty of Computer Science and Information Technology Universiti Tun Hussein Onn Malaysia Batu Pahat Johor86400 Malaysia

In the past few years, mobile devices have been increasingly replacing traditional computers as their capabilities such as CPU computation, memory, RAM size, and many more, are being enhanced almost to the level of conventional computers. These capabilities are being exploited by mobile apps developers to produce apps that offer more functionalities and optimized performance. To ensure acceptable quality and to meet their specifications (e.g., design), mobile apps need to be tested thoroughly. As the testing process is often tedious, test automation can be the key to alleviating such laborious activities. In the context of the Android-based mobile apps, researchers and practitioners have proposed many approaches to automate the testing process mainly on the creation of the test suite. Although useful, most existing approaches rely on reverse engineering a model of the application under test for test case creation. Often, such approaches exhibit a lack of comprehensiveness as the application model does not capture the dynamic behavior of the applications extensively due to the incompleteness of reverse engineering approaches. To address this issue, this paper proposes AMOGA, a strategy that uses a hybrid, static-dynamic approach for generating user interface model from mobile apps for model-based testing. AMOGA implements a novel crawling technique that uses the event list of UI element associated with each event to dynamically exercise the events ordering at the run-time to explore the applications’ behavior. An experimental evaluation was performed to assess the effectiveness of our strategy by measuring the code coverage and the fault detection capability through the use of mutation testing concept. Results of the experimental assessment showed that AMOGA represents an alternative approach for model-based testing of mobile apps by generating comprehensive models to improve the coverage of the applications. The strategy proved its effectiveness by achieving high co

关键词： Model checking

Correction to: Next-generation UWB antennas gadgets for human health care using SAR

学校读者我要写书评

暂无评论

EURASIP Journal on Wireless Communications and Networking 2021年第1期2021卷 1-1页

作者： Ali, Aysha Maryam Al Ghamdi, Mohammed A. Iqbal, Muhammad Munwar Khalid, Shehzad Aldabbas, Hamza Saeed, Saqib University of Engineering and Technology Taxila Pakistan Computer Science Department Umm Al-Qura University Makkah City Saudi Arabia Computer Engineering Department Bahria University Islamabad Pakistan Software Engineering Department Prince Abdullah Bin Ghazi Faculty of Information and Communication Technology Al-Balqa Applied University Al-Salt Jordan Department of Computer Information Systems College of Computer Science and Information Technology Imam Abdulrahman Bin Faisal University Dammam Kingdom of Saudi Arabia

An amendment to this paper has been published and can be accessed via the original article.

关键词：

F2A2: Flexible Fully-decentralized Approximate Actor-critic for Cooperative Multi-agent Reinforcement Learning

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Li, Wenhao Jin, Bo Wang, Xiangfeng Yan, Junchi Zha, Hongyuan School of Data Science The Chinese University of Hong Kong Shenzhen China Shenzhen Institute of Artificial Intelligence and Robotics for Society Shenzhen518172 China School of Software Engineering Shanghai Research Institute for Intelligent Autonomous Systems Tongji University Shanghai201804 China School of Computer Science and Technology Key Laboratory of Mathematics and Engineering Applications Ministry of Education East China Normal University Shanghai200062 China Department of Computer Science and Engineering Key Laboratory of Artificial Intelligence Ministry of Education Shanghai Jiao Tong University Shanghai200240 China

Traditional centralized multi-agent reinforcement learning (MARL) algorithms are sometimes unpractical in complicated applications due to non-interactivity between agents, the curse of dimensionality, and computation complexity. Hence, several decentralized MARL algorithms are motivated. However, existing decentralized methods only handle the fully cooperative setting where massive information needs to be transmitted in training. The block coordinate gradient descent scheme they used for successive independent actor and critic steps can simplify the calculation, but it causes serious bias. This paper proposes a flexible fully decentralized actor-critic MARL framework, which can combine most of the actor-critic methods and handle large-scale general cooperative multi-agent settings. A primal-dual hybrid gradient descent type algorithm framework is designed to learn individual agents separately for decentralization. From the perspective of each agent, policy improvement and value evaluation are jointly optimized, which can stabilize multi-agent policy learning. Furthermore, the proposed framework can achieve scalability and stability for the large-scale environment. This framework also reduces information transmission by the parameter sharing mechanism and novel modeling-other-agents methods based on theory-of-mind and online supervised learning. Sufficient experiments in cooperative Multiagent Particle Environment and StarCraft II show that the proposed decentralized MARL instantiation algorithms perform competitively against conventional centralized and decentralized methods. Copyright © 2020, The Authors. All rights reserved.

关键词： Gradient methods

A Preliminary Component Model for IoT

学校读者我要写书评

暂无评论

IOP Conference Series: Materials science and engineering 2020年第1期769卷

作者： Arbaayah Kamarudin Ng Keng Yap Mohamed Abdullahi Ali Lim Swee Phang Department of Software Engineering and Information Systems Faculty Computer Science and Information Technology Universiti Putra Malaysia

The enthusiasm of IT entrepreneurs in producing Internet of Things (IoT) systems is undeniable as currently, the number of connected devices is enormously increasing. Many research has been done to efficiently develop IoT systems. IoT systems are usually engineered from scratch. IoT component models have been introduced but lack of generic development framework or model that supports high reusability and loose coupling in dealing with the heterogeneous devices that can hinder its development. Thus, an IoT component model is proposed. Meta-modelling has been used to define the component model where the specific interaction and composition standard in a component are abstracted. IoT component model is intended to develop a prototype for IoT development. With this IoT prototype, IoT system developers will not need to develop everything from scratch every time, as generic components can be reused even when it is applied in different domains or during system enhancement is required. Smart home IoT system has been selected as a case study to evaluate our prototype tool. In this study, we provide an alternative way to develop IoT software in component-based software engineering method. A prototype has also been developed to assist reusability and reduce coupling between modules.

关键词：

Security of the Internet of Things: Vulnerabilities, Attacks and Countermeasures

学校读者我要写书评

暂无评论

arXiv 2019年

作者： Butun, Ismail Österberg, Patrik Song, Houbing Department of Computer Science and Engineering Chalmers University of Technology Gothenburg Sweden Mid Sweden University Sundsvall Sweden Department of Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University FL United States

Wireless Sensor Networks (WSNs) constitute one of the most promising third-millennium technologies and have wide range of applications in our surrounding environment. The reason behind the vast adoption of WSNs in various applications is that they have tremendously appealing features, e.g., low production cost, low installation cost, unattended network operation, autonomous and longtime operation. WSNs have started to merge with the Internet of Things (IoT) through the introduction of Internet access capability in sensor nodes and sensing ability in Internet-connected devices. Thereby, the IoT is providing access to huge amount of data, collected by the WSNs, over the Internet. However, owing to the absence of a physical line-of-defense, i.e. there is no dedicated infrastructure such as gateways to watch and observe the flowing information in the network, security of WSNs along with IoT is of a big concern to the scientific community. More specifically, for the application areas in which CIA (confidentiality, integrity, availability) has prime importance, WSNs and emerging IoT technology might constitute an open avenue for the attackers. Besides, recent integration and collaboration of WSNs with IoT will open new challenges and problems in terms of security. Hence, this would be a nightmare for the individuals using these systems as well as the security administrators who are managing those networks. Therefore, a detailed review of security attacks towards WSNs and IoT, along with the techniques for prevention, detection, and mitigation of those attacks are provided in this paper. In this text, attacks are categorized and treated into mainly two parts, most or all types of attacks towards WSNs and IoT are investigated under that umbrella: "Passive Attacks" and "Active Attacks". Understanding these attacks and their associated defense mechanisms will help paving a secure path towards the proliferation and public acceptance of IoT technology. Copyright © 2019, The Aut

关键词： Internet of things

A Review of Artificial Fish Swarm Algorithms: Recent Advances and Applications

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Pourpanah, Farhad Wang, Ran Lim, Chee Peng Wang, Xi-Zhao Yazdani, Danial College of Mathematics and Statistics Guangdong Key Lab. of Intelligent Information Processing Shenzhen University China Department of Electrical and Computer Engineering University of Windsor Canada College of Mathematics and Statistics Shenzhen Key Lab. of Advanced Machine Learning and Applications Guangdong Key Lab. of Intelligent Information Processing Shenzhen University China Institute for Intelligent Systems Research and Innovation Deakin University Australia College of Computer Science and Software Engineering Guangdong Key Lab. of Intelligent Information Processing Shenzhen University China School of Computer Science and Engineering Southern University of Science and Technology China

The Artificial Fish Swarm Algorithm (AFSA) is inspired by the ecological behaviors of fish schooling in nature, viz., the preying, swarming and following behaviors. Owing to a number of salient properties, which include flexibility, fast convergence, and insensitivity to the initial parameter settings, the family of AFSA has emerged as an effective Swarm Intelligence (SI) methodology that has been widely applied to solve real-world optimization problems. Since its introduction in 2002, many improved and hybrid AFSA models have been developed to tackle continuous, binary, and combinatorial optimization problems. This paper aims to present a concise review of the continuous AFSA, encompassing the original ASFA, its improvements and hybrid models, as well as their associated applications. We focus on articles published in high-quality journals since 2013. Our review provides insights into AFSA parameters modifications, procedure and sub-functions. The main reasons for these enhancements and the comparison results with other hybrid methods are discussed. In addition, hybrid, multi-objective and dynamic AFSA models that have been proposed to solve continuous optimization problems are elucidated. We also analyse possible AFSA enhancements and highlight future research directions for advancing AFSA-based models. Copyright © 2020, The Authors. All rights reserved.

关键词： Multiobjective optimization

A review of uncertainty quantification in deep learning: Techniques, applications and challenges

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Abdar, Moloud Pourpanah, Farhad Hussain, Sadiq Rezazadegan, Dana Liu, Li Ghavamzadeh, Mohammad Fieguth, Paul Cao, Xiaochun Khosravi, Abbas Rajendra Acharya, U. Makarenkov, Vladimir Nahavandi, Saeid Deakin University Australia College of Mathematics and Statistics Guangdong Key Lab. of Intelligent Information Processing Shenzhen University Shenzhen518060 China Dibrugarh University Dibrugarh India Department of Computer Science and Software Engineering Swinburne University of Technology Melbourne Australia Center for Machine Vision and Signal Analysis University of Oulu Oulu Finland Google research United States Department of Systems Design Engineering University of Waterloo Waterloo Canada State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Beijing China Department of Electronics and Computer Engineering Ngee Ann Polytechnic Clementi Singapore Department of Computer Science University of Quebec in Montreal MontrealQC Canada

—Uncertainty quantification (UQ) plays a pivotal role in the reduction of uncertainties during both optimization and decision making, applied to solve a variety of real-world applications in science and engineering. Bayesian approximation and ensemble learning techniques are two of the most widely-used UQ methods in the literature. In this regard, researchers have proposed different UQ methods and examined their performance in a variety of applications such as computer vision (e.g., self-driving cars and object detection), image processing (e.g., image restoration), medical image analysis (e.g., medical image classification and segmentation), natural language processing (e.g., text classification, social media texts and recidivism risk-scoring), bioinformatics, etc. This study reviews recent advances in UQ methods used in deep learning, investigates the application of these methods in reinforcement learning, and highlight the fundamental research challenges and directions associated with the UQ field. Copyright © 2020, The Authors. All rights reserved.

关键词： Image segmentation