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

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

来源：评论

学校读者我要写书评

暂无评论

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...

关键词：

来源：评论

学校读者我要写书评

暂无评论

nPGSAO: A Hybrid Particle Swarm Optimization and Genetic Algorithm with Niching Technology for Edge Server Placement

引用

IEEE Internet of Things Journal 2025年第12期12卷 19370-19383页

作者： Wang, Bo Zhang, Zhifeng Song, Ying Chen, Ming Liu, Dongqing Software Engineering College Zhengzhou University of Light Industry Zhengzhou China Computer School Beijing Information Science and Technology University Beijing China School of Mathematics and Computer Science Tongling University Tongling China National Engineering Laboratory for Internet Medical Systems and Applications the First Affiliated Hospital of Zhengzhou University Zhengzhou China

In this paper, we focus on the edge server placement problem (ESPP). ESPP is to decide positions (edge stations) where purchased edge servers (ESs) are placed when a service provider builds or upgrades its edge computing solution. The decision of ESPP largely determines the overall service quality and resource efficiency. We aim at providing ESPP solutions for optimizing the service quality in terms of the system response time, given a set of purchased ESs. To achieve this aim, we first deduce the optimal request dispatch for each edge station based on queue theory and Binomial theorem. Then, based on the deduced result, we formulate ESPP into a discrete nonlinear constrained optimization model. Because ESPP is NP-hard and generally multi-modality, we designed a hybrid metaheuristic algorithm to combine advantages of particle swarm optimization (PSO) and genetic algorithm (GA) as well as the niching technology, which is named nPGSAO. The basic idea of nPGSAO is grouping similar individuals into a niche and finding the niche best. Then, nPGSAO evolves each individual by integrating the swarm intelligence of PSO into the evolutionary process of GA based on its personal and niching best. To evaluate the performance of nPGSAO, we conducted extensive simulated experiments. The results show that nPGSAO achieves 5.78%–40.4% better response time with varied ESPP scale, compared to 11 up-to-date algorithms, and has a linear time complexity with the ESPP scale. These confirm the superior performance and scalability of nPGSAO. © 2014 IEEE.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Reversible Data Hiding With Secret Encrypted Image Sharing and Adaptive Coding

引用

IEEE Internet of Things Journal 2025年第13期12卷 23933-23945页

作者： Fang, Guangtian Wang, Feng Zhao, Chenbin Qin, Chuan Chang, Ching-Chun Chang, Chin-Chen Fujian University of Technology College of Computer Science and Mathematics Fuzhou350118 China Fujian University of Technology College of Computer Science and Mathematics Key Laboratory of Big Data Mining and Applications Fuzhou350118 China Monash University Faculty of IT Department of Software Systems and Cybersecurity VIC3800 Australia Ministry of Education School of Cyber Science and Engineering Key Laboratory of Aerospace Information Security and Trusted Computing Wuhan430072 China University of Shanghai for Science and Technology School of Optical-Electrical and Computer Engineering Shanghai200093 China Feng Chia University Information and Communication Security Research Center Taichuang 40724 Taiwan Feng Chia University Department of Information Engineering and Computer Science Taichung40724 Taiwan

To ensure the security of image information and facilitate efficient management in the cloud, the utilization of reversible data hiding in encrypted images (RDHEI) has emerged as pivotal. However, most existing RDHEI schemes suffer from lower security and limited embedding capacity. To tackle these challenges, we propose a reversible data hiding with secret encrypted image sharing and adaptive coding scheme. Specifically, in the encryption phase, we introduce an improved secret sharing (SS) encryption method based on the chinese remainder theorem for polynomials (CRTP). This method not only improves the security of encrypted images but also vacates a larger room for embedding. In the embedding phase, we introduce an adaptive coding embedding approach using XOR preservation (XORP) and huffman coding, which provides high embedding capacity. Experimental results and security analysis demonstrate that our proposed encryption method achieves optimal values in security indicators for encrypted images, such as information entropy, histograms, NPCR and UACI. The proposed embedding method is superior to some state-of-the-art schemes in terms of embedding capacity. Furthermore, in datasets BOSSBase and BOWS2, the average embedding rates of the proposed embedding approach can reach 2.1745 bpp and 2.0656 bpp, respectively. © 2025 IEEE.

关键词： Cryptography Encryption Security Data mining Adaptive coding Correlation Cloud computing Polynomials Image coding Streaming media

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Method for controlling phytoplankton distribution in fresh open water

引用

International Journal of Environmental Studies 2024年第5期81卷 2130-2147页

作者： Moldasheva, Raushan Ismailova, Aisulu Turmukhanova, Gulnur Mailybayeva, Aiman Yelezhanova, Shynar Zhanuzakova, Zulfiya Zhamangara, Aizhan Department of Information Systems Faculty of Computer Systems and Vocational Education S. Seifullin Kazakh Agrotechnical University Astana Kazakhstan Department of Software Engineering Faculty of Physics Mathematics and Information Technology Atyrau University named after Kh. Dosmukhamedov Atyrau Kazakhstan Department of Computer Science Faculty of Physics Mathematics and Information Technology Atyrau University named after Kh. Dosmukhamedov Atyrau Kazakhstan Laboratory of Palaeobotany Astana Botanical Garden branch of the Institute of Botany and Phytointroduction Astana Kazakhstan

This paper presents a processed phytoplankton dataset from Lake Zerendi and other Kokshetau Upland lakes, Kazakhstan. The study aimed to develop an automated method for controlling the distribution of phytoplankton in fresh open water using a gradient descent approach with the search for a starting point for research. The paper also presents the reconstructed biomass indicators for changes in water temperature, with model calibration based on results from 5 years of surface sampling. A special feature of the proposed computer data processing is the cubic spline interpolation, which allows a higher calculation accuracy. This method reduces the sample size required, providing a comprehensive picture of the condition of the infrastructure and allowing for a more efficient response to emerging ecosystem issues. © 2023 Informa UK Limited, trading as Taylor & Francis Group.

关键词： Phytoplankton

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：