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

Asia-Pacific Conference on software engineering

作者： Mohd Hafeez Osman Stefan Kugele Sina Shafaei Department of Software Engineering & Information Systems University Putra Malaysia Serdang Malaysia Department of Computer Science Technical University of Munich Munich Germany

Intelligent systems based on artificial intelligence techniques are increasing and are recently being accepted in the automotive domain. In the competition of automobile makers to provide fully automated vehicles, it is perceived that artificial intelligence will profoundly influence the automotive electric and electronic architecture in the future. However, while such systems provide highly advanced functions, safety risk increases as AI-based systems may produce uncertain output and behaviour. In this paper, we devise a run-time safety monitoring framework for AI-based intelligence systems focusing on autonomous driving functions. In detail, this paper describes (i) the characteristics of a safety monitoring framework; (ii) the safety monitoring framework itself, and (iii) we develop a prototype and implement the framework for two critical driving functions: Lane detection and object detection. Through an implementation of the framework to a prototypic control environment, we show the possibility of this framework in the real context. Finally, we discuss the techniques used in developing the safety monitoring framework and describes the encountered challenges.

关键词： Monitoring Hazards software Anomaly detection ISO Standards Automotive engineering

来源：评论

学校读者我要写书评

暂无评论

Dynamic solution probability acceptance within the flower pollination algorithm for t-way test suite generation

arXiv

引用

arXiv 2019年

作者： Nasser, Abdullah B. Zamli, Kamal Z. Ahmed, Bestoun S. Faculty of Computer Systems and Software Engineering Universiti Malaysia Pahang Kuantan Pahang26300 Malaysia Faculty of Electrical Engineering Department of Computer Science Czech Technical University Czech Republic

Flower Pollination Algorithm (FPA) is the new breed of metaheuristic for general optimization problem. In this paper, an improved algorithm based on Flower Pollination Algorithm (FPA), called imFPA, has been proposed. In imFPA, the static selection probability is replaced by the dynamic solution selection probability in order to enhance the diversification and intensification of the overall search process. Experimental adoptions on combinatorial tway test suite generation problem (where t indicates the interaction strength) show that imFPA produces very competitive results as compared to existing strategies. Copyright © 2019, The Authors. All rights reserved.

关键词： Heuristic algorithms

来源：评论

学校读者我要写书评

暂无评论

Towards Self-Explainable Cyber-Physical systems

Towards Self-Explainable Cyber-Physical Systems

引用

ACM/IEEE International Conference on Model Driven engineering languages and systems Companion

作者： Mathias Blumreiter Joel Greenyer Francisco Javier Chiyah Garcia Verena Klos Maike Schwammberger Christoph Sommer Andreas Vogelsang Andreas Wortmann Institute for Software Systems Hamburg University of Technology Software Engineering Group Leibniz Universitat Hannover Heriot-Watt University Software and Embedded Systems Engineering Technische Universitat Berlin Department of Computing Science University of Oldenburg Heinz Nixdorf Institute and Dept. of Computer Science Paderborn University Automated Systems Engineering Technologies Technische Universitat Berlin Software Engineering RWTH Aachen University

ISBN: (纸本)9781728151267

With the increasing complexity of Cyber-Physical systems, their behavior and decisions become increasingly difficult to understand and comprehend for users and other stakeholders. Our vision is to build self-explainable systems that can, at run-time, answer questions about the system's past, current, and future behavior. As hitherto no design methodology or reference framework exists for building such systems, we propose the Monitor, Analyze, Build, Explain (MAB-EX) framework for building self-explainable systems that leverage requirements- and explainability models at run-time. The basic idea of MAB-EX is to first Monitor and Analyze a certain behavior of a system, then Build an explanation from explanation models and convey this EXplanation in a suitable way to a stakeholder. We also take into account that new explanations can be learned, by updating the explanation models, should new and yet un-explainable behavior be detected by the system.

关键词： Explainability Self-adaptive systems Cyber-physical systems Adaptive systems Cyber-physical systems MONITOR Runtime Buildings

来源：评论

学校读者我要写书评

暂无评论

A New Support Value Method Filtering Based on Object Support Partition for Soft Reduction 1

引用

2nd International Conference on Advanced Data and Information engineering, DaEng 2015

作者： Mohammed, Mohammed Adam Taheir Mohd, Wan Maseri Wan Arshah, Ruzaini Abdullah Mungad, M. Sutoyo, Edi Chiroma, Haruna Faculty of Computer Systems & Software Engineering Universiti Malaysia Pahang Lebuhraya Tun Razak KuantanPahang Malaysia Department of Information System University of Malaya Pantai Valley Kuala Lumpur50603 Malaysia Department of Artificial Intelligence University of Malaya Pantai Valley Kuala Lumpur50603 Malaysia Gombe Nigeria

ISBN: (数字)9789811317996

ISBN: (纸本)9789811317972

Soft set time complexity is become really a problem when the numbers of parameters are increased. In order to solve time complexity problem, it necessary to reduce the boundary of optimal soft set growth and due to this the time cost can be enhanced. Several soft set methods are determining the soft set reduction but in performing the reduction it spends more time to produce the result and this happens because the false candidate sets are a part of solution. So, if the boundary of candidate reduction is narrowed then the reduction process will speed up. In this paper, we proposed a new method which reducing the boundary of candidate reduction using Lipschitz constant and wavelet discrete transform to eliminate large false sets from the solution. In Lipschitz constant function the value of candidate implies are determined, where based on wavelet WDT the false sets which is not in the form of implies also can be determined. The proposed method remove an inconsistency noise from the soft set in a pre-processing filtering based on if then method which help to classify further reduction in short time. It found that by using Lipschitz constant function and wavelet discrete transform the reduction time can be enhanced several times comparing to previous reduction methods. The result indicates that Lipschitz constant function and wavelet WDT algorithm. It complements each other to determine candidate soft set reduction. © Springer Nature Singapore Pte Ltd. 2019.

关键词： Set theory

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Mapping digital forensic application requirement specification to an international standard

引用

Forensic Science International: Reports 2020年 2卷 100137-100137页

作者： Kebande, Victor R. Baror, Stacey O. Parizi, Reza M. Choo, Kim-Kwang Raymond Venter, H.S. Department of Computer Science & Media Technology Malmö Universitete Malmö Sweden Department of Computer Science University of Pretoria South Africa College of Computing and Software Engineering Kennesaw State University Marietta GA United States Department of Information Systems and Cyber Security University of Texas at San Antonio San Antonio 78249-0631 TX United States

A potential security incident may go unsolved if standardized forensic approaches are not applied during lawful investigations. This paper highlights the importance of mapping the digital forensic application requirement specification to an international standard, precisely ISO/IEC 27043. The outcome of this work is projected to contribute to the problem of secure DF tool creation, and in the process address software Requirements Specification (SRS) as a process of digital evidence admissibility. © 2020 The Author(s)

关键词： Applications design Digital forensics ISO/IEC 27043 software requirements specification (SRS)

来源：评论

学校读者我要写书评

暂无评论

Big data analytics: A single window IoT-enabled climate variability system for all-year-round vegetable cultivation

引用

IOP Conference Series: Earth and Environmental Science 2021年第1期655卷

作者： Wilson Nwankwo Kingsley Eghonghon Ukhurebor Software Engineering &Cyberphysical Systems Unit Department of Computer Science Edo University Iyamho Edo State Nigeria Climatic Environmental & Telecommunication Unit Department of Physics Edo University Iyamho Edo State Nigeria

Vegetables constitute a major food source with huge nutritional values as well as major source of income. The cultivation of vegetables is dictated by climate and seasonal changes across Nigeria. Edo State lies within the South of Nigeria and enjoys the two popular seasons (rainy and dry) like many other parts of the country. However, the variability in soil distribution and weather conditions across different locations is a determining factor as to the category of not just vegetables to grow but other crops. In this paper, Edo state is used as a flagship project for its diverse potentials and uniqueness in respect of known variability in soil and weather conditions. The State is divided into three geo-referenced agricultural districts. A prototype system is proposed to provide vegetable farmers with real-time information on vegetablefarming requirements. The proposed system is an Internet of things (IoT)-enabled climate variability system with interfaces to popular mobile networks, existing Geographical Information System (GIS) in the State, and remote sensing stations respectively. Each geo-referenced point is a nexus to areas with similar weather variability and soil distribution. Historical data is collected from the existing GIS and a provision is made to constantly enrich the historical data with new information from the geo-referenced points including crops grown, trends in cultivation, queries from farmers, etc. The information generated from the geo-referenced locations are routed via GPS to the central analytics server in the cloud and appropriate algorithms are used to carry out data analysis for real-time prediction and messages to farmers through the Internet and Short Message Services (SMS). With this system, it is submitted that subsistent and mechanized farmers would benefit through the guidance of an analytics system thereby boosting vegetablefarming regardless of the season of the year.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Symmetric Learning Data Augmentation Model for Underwater Target Noise Data Expansion

引用

computers, Materials & Continua 2018年第12期57卷 521-532页

作者： Ming He Hongbin Wang Lianke Zhou Pengming Wang Andrew Ju College of Computer Science and Technology Harbin Engineering UniversityHarbin150001China College of Computer and Information Engineering Heilongjiang University of Science and TechnologyHarbin150022China School of Software and Microelectronics Harbin University of Science and TechnologyHarbin150080China Department of Computer Science and Information Systems University of LimerickLimerickIreland

An important issue for deep learning models is the acquisition of training of *** abundant data from a real production environment for training,deep learning models would not be as widely used as they are ***,the cost of obtaining abundant real-world environment is high,especially for underwater *** is more straightforward to simulate data that is closed to that from real *** this paper,a simple and easy symmetric learning data augmentation model(SLDAM)is proposed for underwater target radiate-noise data expansion and *** SLDAM,taking the optimal classifier of an initial dataset as the discriminator,makes use of the structure of the classifier to construct a symmetric generator based on antagonistic *** generates data similar to the initial dataset that can be used to supplement training data *** model has taken into consideration feature loss and sample loss function in model training,and is able to reduce the dependence of the generation and expansion on the feature *** verified that the SLDAM is able to data expansion with low calculation *** results showed that the SLDAM is able to generate new data without compromising data recognition accuracy,for practical application in a production environment.

关键词： Data augmentation symmetric learning data expansion underwater target noise data

来源：评论

学校读者我要写书评

暂无评论

Integrating simulation and numerical analysis in the evaluation of generalized stochastic petri nets

Integrating simulation and numerical analysis in the evaluat...

引用

作者： Zimmermann, Armin Hotz, Thomas Department of Computer Science and Automation Systems and Software Engineering Group Technische Universität Ilmenau Helmholtzplatz 5 Ilmenau98693 Germany Institute for Mathematics Group for Probability Theory and Mathematical Statistics Technische Universität Ilmenau Weimarer Straße 25 Ilmenau98693 Germany

The standard existing performance evaluation methods for discrete-state stochastic models such as Petri nets either generate the reachability graph followed by a numerical solution of equations or use some variant of simulation. Both methods have characteristic advantages and disadvantages depending on the size of the reachability graph and type of performance measure. This article proposes a hybrid performance evaluation algorithm for the steady-state solution of Generalized Stochastic Petri Nets that integrates elements of both methods. It automatically adapts its behavior depending on the available size of main memory and number of model states. As such, the algorithm unifies simulation and numerical analysis in a joint framework. It is proved to result in an unbiased estimator whose variance tends to zero with increasing simulation time. The article extends earlier results with an algorithm variant that starts with a small maximum number of particles and increases them during the run to increase the efficiency in cases that are rapidly solved by regular simulation. The algorithm's applicability is demonstrated through case studies, including an example where it outperforms the standard methods. © 2019 Copyright held by the owner/author(s).

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Physical layer encryption using a Vernam cipher

arXiv

引用

arXiv 2019年

作者： Mirsky, Yisroel Fedidat, Benjamin Haddad, Yoram Georgia Institute of Technology School of Computer Science College of Computing Department of Software and Information Systems Engineering Ben-Gurion University Department of Communications Engineering Jerusalem College of Technology

Secure communication is a necessity. However, encryption is commonly only applied to the upper layers of the protocol stack. This exposes network information to eavesdroppers, including the channel's type, data rate, protocol, and routing information. This may be solved by encrypting the physical layer, thereby securing all subsequent layers. In order for this method to be practical, the encryption must be quick, preserve bandwidth, and must also deal with the issues of noise mitigation and synchronization. In this paper, we present the Vernam Physical Signal Cipher (VPSC): A novel cipher which can encrypt the harmonic composition of any analog waveform. The VPSC accomplished this by applying a modified Vernam cipher to the signal's frequency magnitudes and phases. This approach is fast and preserves the signal's bandwidth. In the paper, we offer methods for noise mitigation and synchronization, and evaluate the VPSC over a noisy wireless channel with multi-path propagation interference. Copyright © 2019, The Authors. All rights reserved.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：