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

Categorizing methods for integrating machine learning with executable specifications

science China(Information sciences) 2024年第1期67卷 5-19页

作者： David HAREL Raz YERUSHALMI Assaf MARRON Achiya ELYASAF Department of Computer Science and Applied Mathematics Weizmann Institute of Science Department of Software and Information Systems Engineering Ben-Gurion University of the Negev

Deep learning(DL),which includes deep reinforcement learning(DRL),holds great promise for carrying out real-world tasks that human minds seem to cope with quite *** promise is already delivering extremely impressive results in a variety of ***,while DL-enabled systems achieve excellent performance,they are far from *** has been demonstrated,in several domains,that DL systems can err when they encounter cases they had not hitherto ***,the opacity of the produced agents makes it difficult to explain their behavior and ensure that they adhere to various requirements posed by human *** the other end of the software development spectrum of methods,behavioral programming(BP) facilitates orderly system development using self-standing executable modules aligned with how humans intuitively describe desired system *** this paper,we elaborate on different approaches for combining DRL with BP and,more generally,machine learning(ML) with executable specifications(ES).We begin by defining a framework for studying the various approaches,which can also be used to study new emerging approaches not covered *** then briefly review state-of-the-art approaches to integrating ML with ES,continue with a focus on DRL,and then present the merits of integrating ML with *** conclude with guidelines on how this categorization can be used in decision making in system development,and outline future research challenges.

关键词： machine learning artificial intelligence grey box learning domain knowledge rules behavioral programming deep reinforcement learning survey

来源：评论

学校读者我要写书评

暂无评论

Enhancing Deep Reinforcement Learning with Scenario-Based Modeling

引用

SN computer science 2023年第2期4卷 1-13页

作者： Yerushalmi, Raz Amir, Guy Elyasaf, Achiya Harel, David Katz, Guy Marron, Assaf Department of Computer Science and Applied Mathematics Weizmann Institute of Science Rehovot 76100 Israel School of Computer Science and Engineering The Hebrew University of Jerusalem Jerusalem 91904 Israel Software and Information Systems Engineering Ben-Gurion University of the Negev Beer-Sheva 8410501 Israel

Deep reinforcement learning agents have achieved unprecedented results when learning to generalize from unstructured data. However, the “black-box” nature of the trained DRL agents makes it difficult to ensure that they adhere to various requirements posed by engineers. In this work, we put forth a novel technique for enhancing the reinforcement learning training loop, and specifically—its reward function, in a way that allows engineers to directly inject their expert knowledge into the training process. This allows us to make the trained agent adhere to multiple constraints of interest. Moreover, using scenario-based modeling techniques, our method allows users to formulate the defined constraints using advanced, well-established, behavioral modeling methods. This combination of such modeling methods together with ML learning tools produces agents that are both high performing and more likely to adhere to prescribed constraints. Furthermore, the resulting agents are more transparent and hence more maintainable. We demonstrate our technique by evaluating it on a case study from the domain of internet congestion control, and present promising results. © 2023, The Author(s), under exclusive licence to Springer Nature Singapore Pte Ltd.

关键词： Deep reinforcement learning Domain expertise Machine learning Rule-based specifications Scenario-based modeling

来源：评论

学校读者我要写书评

暂无评论

Injections Attacks Efficient and Secure Techniques Based on Bidirectional Long Short Time Memory Model

引用

computers, Materials & Continua 2023年第9期76卷 3605-3622页

作者： Abdulgbar A.R.Farea Gehad Abdullah Amran Ebraheem Farea Amerah Alabrah Ahmed A.Abdulraheem Muhammad Mursil Mohammed A.A.Al-qaness School of Big Data&Software Engineering Chongqing UniversityChongqing401331China Department of Management Science Engineering Dalian University of TechnologyDalian116024China Software College Northeastern UniversityShenyang110169China Department of Information Systems College of Computer and Information ScienceKing Saud UniversityRiyadh11543Saudi Arabia Department of Management Science and Engineering South China University of TechnologyGuangzhou510641China Department of Computer Engineering and Mathematics University of Rovira i VirgiliTarragonaSpain College of Physics and Electronic Information Engineering Zhejiang Normal UniversityJinhua321004China

E-commerce,online ticketing,online banking,and other web-based applications that handle sensitive data,such as passwords,payment information,and financial information,are widely *** web developers may have varying levels of understanding when it comes to securing an online *** Query language SQL injection and cross-site scripting are the two vulnerabilities defined by the OpenWeb Application Security Project(OWASP)for its 2017 Top Ten List Cross Site Scripting(XSS).An attacker can exploit these two flaws and launch malicious web-based actions as a result of these *** published articles focused on these attacks’binary *** article described a novel deep-learning approach for detecting SQL injection and XSS *** datasets for SQL injection and XSS payloads are combined into a single *** dataset is labeledmanually into three labels,each representing a kind of *** work implements some pre-processing algorithms,including Porter stemming,one-hot encoding,and the word-embedding method to convert a word’s text into a *** model used bidirectional long short-term memory(BiLSTM)to extract features automatically,train,and test the payload *** payloads were classified into three types by BiLSTM:XSS,SQL injection attacks,and *** outcomes demonstrated excellent performance in classifying payloads into XSS attacks,injection attacks,and non-malicious ***’s high performance was demonstrated by its accuracy of 99.26%.

关键词： Web security SQL injection XSS deep learning RNN LSTM BiLSTM

来源：评论

学校读者我要写书评

暂无评论

An Empirical Comparison of Machine and Deep Learning Algorithms for Predicting Maternal Health Risk 5th

An Empirical Comparison of Machine and Deep Learning Algorit...

引用

5th EAI International Conference on Cognitive Computing and Cyber Physical systems, IC4S 2024

作者： N, Srinivasa Gupta Valarmathi, B. Kavitha, A. Gopini, Sai Bhuvan Seela, Hari Kumar Department of Manufacturing Engineering School of Mechanical Engineering Vellore Institute of Technology Tamil Nadu Vellore India Department of Software and Systems Engineering School of Computer Science Engineering and Information Systems Vellore Institute of Technology Tamil Nadu Vellore India Department of Mathematics School of Advanced of Sciences Vellore Institute of Technology Tamil Nadu Vellore India

ISBN: (纸本)9783031770777

Maternal health is among the greatest challenges in the world, especially in rural areas as there lack medical practitioners, they do not have easily accessible publics clinics and transport is difficult. Therefore, high rates of maternal as well as infant morbidity and mortalities are recorded. This research utilizes Artificial Intelligence (AI) with machine learning algorithms to forecast and address maternal health hazards right at their onset stage. The current research utilizes the concept of AI along with many Machine Learning (ML) methods like the Ensemble Learning Model (ELM), Random Forest (RF), K-Nearest Neighbour (KNN), Decision-Tree (DT), XG-Boost (XGB), Cat Boost (CB), and Gradient Boosting (GB), along with Synthetic Minority Over-sampling Technique (SMOTE) algorithm used for dealing with the problem class imbalance within the data set. SMOTE algorithm is utilized for the dataset balancing process. The handling system involves refining data preprocessing with the help of feature engineering and robust data cleaning which makes sure that anomalies do not erode the reliability of the predictive model. The existing methods [1] used RF (90%), DT (87%), XGB (85%), CB (86%), and GB (81%) algorithms and were compared with the accuracies of the proposed models like Logistic Regression (LR), Ensemble Learning Bagging (ELB), Ensemble Learning Stacking (ELS), Convolutional Neural Network (CNN), Recurrent Neural Network (RNN), Long Short-Term Memory (LSTM), and Gated Recurrent Unit (GRU). The existing methods used only imbalance dataset. The accuracies of the proposed models with using SMOTE algorithm (balanced dataset) are LR (61.33%), KNN (81%), ELB (92.33%), ELS (90.66%) CNN (40.67%), RNN (59.67%), LSTM (54%), GRU (56%) respectively. Among these methods, ELB achieved 92.33% of accuracy with using SMOTE algorithm using imbalanced dataset. Whereas the accuracies of the proposed models without using SMOTE algorithm (imbalanced dataset) are LR (66.09%), KNN (68.47%)

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Fingerprint Agreement Using Enhanced Kerberos Authentication Protocol on M-Health

引用

computer systems science & engineering 2022年第11期43卷 833-847页

作者： A.S.Anakath S.Ambika S.Rajakumar R.Kannadasan K.S.Sendhil Kumar School of Computing E.G.S.Pillay Engineering CollegeNagapattinam611002India Department of Computer Science and Engineering University College of Engineering AriyalurAriyalur621705India Department of Mathematics University College of Engineering AriyalurAriyalur621705India Department of Software Systems School of Computer Science and Engineering(SCOPE)Vellore Institute of Technology UniversityVellore632014India Department of IoT School of Computer Science and Engineering(SCOPE)Vellore Institute of Technology UniversityVellore632014India

Cloud computing becomes an important application development platform for processing user data with high *** providers are accustomed to providing storage centers outside the trusted location preferred by the data ***,ensuring the security and confidentiality of the data while processing in the centralized network is very *** secured key transmission between the sender and the receiver in the network is a huge challenge in managing most of the sensitive data transmission among the cloud *** are very active over the network like real authenticated user to hack the personal sensitive data,such as bank balance,health data,personal data,and confidential documents over the cloud *** this research,a secured key agreement between the sender and the receiver using Kerberos authentication protocol with fingerprint is proposed to ensure security in *** of patients are monitored using wireless sensor devices and are then transferred to the *** protocol helps in avoiding unnecessary communication of authenticated data over the cloud *** security process is a procedure with the best security in most of the authentication *** node is responsible in carrying data packets from the sender to the receiver in the cloud *** Kerberos protocol is used in trust node to ensure *** communication between the local health center and the healthcare server is ensured by using a fingerprint feature called minutiae form,which refers to the fingerprint image of both sender and *** computational and communicational cost of the proposed system is lesser when compared with other existing authentication methods.

关键词： Protocol security m-health cloud computing biometric fingerprint kerberos protocol

来源：评论

学校读者我要写书评

暂无评论

Enhancing Secure Development in Globally Distributed software Product Lines: A Machine Learning-Powered Framework for Cyber-Resilient Ecosystems

引用

computers, Materials & Continua 2024年第6期79卷 5031-5049页

作者： Marya Iqbal Yaser Hafeez Nabil Almashfi Amjad Alsirhani Faeiz Alserhani Sadia Ali Mamoona Humayun Muhammad Jamal University Institute of Information Technology PMAS-Arid Agriculture UniversityRawalpindiPakistan Department of Software Engineering College of Computer and Information SciencesJouf UniversityAl Jouf72388Saudi Arabia Department of Computer Science College of Computer and Information SciencesJouf UniversityAl Jouf72388Saudi Arabia Department of Computer Engineering&Networks College of Computer and Information SciencesJouf UniversityAl Jouf72388Saudi Arabia Department of Information Systems College of Computer and Information SciencesJouf UniversitySakakaAl Jouf72388Saudi Arabia Department of Mathematics Pir Mehr Ali Shah Arid Agriculture UniversityRawalpindiPakistan

Embracing software product lines(SPLs)is pivotal in the dynamic landscape of contemporary software ***,the flexibility and global distribution inherent in modern systems pose significant challenges to managing SPL variability,underscoring the critical importance of robust cybersecurity *** paper advocates for leveraging machine learning(ML)to address variability management issues and fortify the security of *** the context of the broader special issue theme on innovative cybersecurity approaches,our proposed ML-based framework offers an interdisciplinary perspective,blending insights from computing,social sciences,and ***,it employs ML for demand analysis,dynamic feature extraction,and enhanced feature selection in distributed settings,contributing to cyber-resilient *** experiments demonstrate the framework’s superiority,emphasizing its potential to boost productivity and security in *** digital threats evolve,this research catalyzes interdisciplinary collaborations,aligning with the special issue’s goal of breaking down academic barriers to strengthen digital ecosystems against sophisticated attacks while upholding ethics,privacy,and human values.

关键词： Machine Learning variability management cybersecurity digital ecosystems cyber-resilience

来源：评论

学校读者我要写书评

暂无评论

Asymptotic behavior of least squares estimators for nonlinear autoregressive models

引用

science China(Information sciences) 2023年第6期66卷 299-300页

作者： Zhaobo LIU Chanying LI College of Computer Science and Software Engineering Shenzhen University Key Laboratory of Systems and Control Academy of Mathematics and Systems ScienceChinese Academy of Sciences School of Mathematical Sciences University of Chinese Academy of Sciences

Dear editor,Estimations of nonlinear autoregressive(AR) models in the literature typically involve ergodic series. Based on this assumption,the asymptotic theory has been established accordingly(see [1–3]). However,t...

关键词：

来源：评论

学校读者我要写书评

暂无评论

Recent Developments in Authentication Schemes Used in Machine-Type Communication Devices in Machine-to-Machine Communication: Issues and Challenges

引用

computers, Materials & Continua 2024年第4期79卷 93-115页

作者： Shafi Ullah Sibghat Ullah Bazai Mohammad Imran Qazi Mudassar Ilyas Abid Mehmood Muhammad Asim Saleem Muhmmad Aasim Rafique Arsalan Haider Ilyas Khan Sajid Iqbal Yonis Gulzar Kauser Hameed Department of Computer Engineering Balochistan University of Information TechnologyEngineering and Management SciencesQuetta87300Pakistan Department of Information Technology Balochistan University of Information TechnologyEngineeringand Management SciencesQuetta87300Pakistan Department of Information Systems College of Computer Sciences and Information TechnologyKing Faisal UniversityHofuf in Al-Ahsa31982Saudi Arabia Department of Management Information Systems College of Business AdministrationKing Faisal UniversityHofuf in Al-Ahsa31982Saudi Arabia Department of Software Engineering College of ComputingRiphah International UniversityFaisalabad44000Pakistan Department of Electrical Engineering Balochistan University of Information Technology Engineeringand Management SciencesQuetta87300Pakistan Department of Mathematics College of Science Al-ZulfiMajmaah UniversityAl-Majmaah11952Saudi Arabia

Machine-to-machine (M2M) communication plays a fundamental role in autonomous IoT (Internet of Things)-based infrastructure, a vital part of the fourth industrial revolution. Machine-type communication devices(MTCDs) regularly share extensive data without human intervention while making all types of decisions. Thesedecisions may involve controlling sensitive ventilation systems maintaining uniform temperature, live heartbeatmonitoring, and several different alert systems. Many of these devices simultaneously share data to form anautomated system. The data shared between machine-type communication devices (MTCDs) is prone to risk dueto limited computational power, internal memory, and energy capacity. Therefore, securing the data and devicesbecomes challenging due to factors such as dynamic operational environments, remoteness, harsh conditions,and areas where human physical access is difficult. One of the crucial parts of securing MTCDs and data isauthentication, where each devicemust be verified before data transmission. SeveralM2Mauthentication schemeshave been proposed in the literature, however, the literature lacks a comprehensive overview of current M2Mauthentication techniques and the challenges associated with them. To utilize a suitable authentication schemefor specific scenarios, it is important to understand the challenges associated with it. Therefore, this article fillsthis gap by reviewing the state-of-the-art research on authentication schemes in MTCDs specifically concerningapplication categories, security provisions, and performance efficiency.

关键词： Authentication cyber security internet of things machine-type communication devices machine-to-machine communication

来源：评论

学校读者我要写书评

暂无评论

A new online field feature selection algorithm based on streaming data

引用

Journal of Ambient Intelligence and Humanized Computing 2024年第2期15卷 1365-1377页

作者： Zhang, Zhenjiang Song, Fuxing Zhang, Peng Chao, Han-Chieh Zhao, Yingsi School of Software Engineering Beijing Jiaotong University Beijing100044 China Department of Electronic and Information Engineering Key Laboratory of Communication and Information Systems Beijing Municipal Commission of Education Beijing Jiaotong University Beijing100044 China School of Information Science and Engineering Fujian University of Technology Fuzhou350118 China School of Mathematics and Computer Science Wuhan Polytechnic University Wuhan430023 China Department of Electrical Engineering National Dong Hwa University Hualien97401 Taiwan School of Economics and Management Beijing Jiaotong University Beijing100044 China

The rapid development of Internet technology derived out a massive network text data. Therefore, how to classify the massive text data efficiently has important theoretical significance and application value. In order to acquire accurate classification results, the process has been divided into two parts. In terms of text representation, this paper proposes an online field feature selection algorithm (OFFS algorithm) based on streaming data, which solves the problems of low efficiency and memory consumption of traditional feature selection algorithms. With improvements in the vector space model, the new algorithm can select the real-time feature of the data and quickly generate text vector. In the aspect of classifier design, an OFFS-BP neural network text classifier based on BP neutral network and OFFS algorithm is designed. It adapts to the distributed parallel computing, reduces the training time and balances the computation efficiency and classification accuracy. Finally based on the Spark platform, the OFFS-BP neural network classifier is implemented. The experimental results show that the OFFS-BP neural network classifier is more suitable for big data environment with less computation time and higher classification efficiency. © Springer-Verlag GmbH Germany, part of Springer Nature 2018.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Small sets of genuinely nonlocal Greenberger-Horne-Zeilinger states in multipartite systems

引用

Physical Review A 2024年第2期109卷 022428-022428页

作者： Zong-Xing Xiong Yongli Zhang Mao-Sheng Li Lvzhou Li Institute of Quantum Computing and Software School of Computer Science and Engineering Sun Yat-Sen University Guangzhou 510006 China School of Mathematics and Systems Science Guangdong Polytechnic Normal University Guangzhou 510665 China School of Mathematics South China University of Technology Guangzhou 510641 China

A set of orthogonal multipartite quantum states are called (distinguishability-based) genuinely nonlocal if they are locally indistinguishable across any bipartition of the subsystems. In this work, we consider the problem of constructing small genuinely nonlocal sets consisting of generalized Greenberger-Horne-Zeilinger (GHZ) states in multipartite systems. For system (C2)⊗N where N is large, using the language of group theory, we show that a tiny proportion Θ(1/2N) of the states among the N-qubit GHZ basis suffice to exhibit genuine nonlocality. Similar arguments also hold for the canonical generalized GHZ bases in systems (Cd)⊗N, wherever d is even and N is large. What is more, moving to the condition that any fixed N is given, we show that d+1 genuinely nonlocal generalized GHZ states exist in (Cd)⊗N, provided the local dimension d is sufficiently large. As an additional merit, within and beyond an asymptotic sense, the latter result also indicates some evident limitations of the “trivial othogonality-preserving local measurements” (TOPLM) technique that has been utilized frequently for detecting genuine nonlocality.

关键词： Nonlocality Quantum correlations in quantum information

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：