检索结果-南通市图书馆

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

Novel Framework for an Intrusion Detection System Using Multiple Feature Selection Methods Based on Deep Learning

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2024年第4期29卷 948-958页

作者： A.E.M.Eljialy Mohammed Yousuf Uddin Sultan Ahmad department of Information systems College of Computer Engineering and SciencesPrince Sattam Bin Abdulaziz UniversityAlkharjSaudi Arabia department of computer Science College of Computer Engineering and SciencesPrince Sattam Bin Abdulaziz UniversityAlkharjSaudi Arabiaand also with University Center for Research and Development(UCRD)Department of Computer Science and EngineeringChandigarh UniversityPunjabIndia

Intrusion detection systems (IDSs) are deployed to detect anomalies in real time. They classify a network’s incoming traffic as benign or anomalous (attack). An efficient and robust IDS in software-defined networks is an inevitable component of network security. The main challenges of such an IDS are achieving zero or extremely low false positive rates and high detection rates. Internet of Things (IoT) networks run by using devices with minimal resources. This situation makes deploying traditional IDSs in IoT networks unfeasible. Machine learning (ML) techniques are extensively applied to build robust IDSs. Many researchers have utilized different ML methods and techniques to address the above challenges. The development of an efficient IDS starts with a good feature selection process to avoid overfitting the ML model. This work proposes a multiple feature selection process followed by classification. In this study, the Software-defined networking (SDN) dataset is used to train and test the proposed model. This model applies multiple feature selection techniques to select high-scoring features from a set of features. Highly relevant features for anomaly detection are selected on the basis of their scores to generate the candidate dataset. Multiple classification algorithms are applied to the candidate dataset to build models. The proposed model exhibits considerable improvement in the detection of attacks with high accuracy and low false positive rates, even with a few features selected.

关键词： random forest feature selection decision tree software-defined network logistic regression intrusion detection system XGB classifier AdaBoost

Storing Freshwater Versus Storing Electricity in Power systems with High Freshwater Electric Demand

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Modern Power systems and Clean Energy 2024年第2期12卷 323-333页

作者： Mubarak J.Al-Mubarak Antonio J.Conejo department of Electrical and computer engineering The Ohio State UniversityColumbusOHUSA department of Electrical engineering Kuwait UniversityP.O.Box 5969Safat 13060Kuwait department of Integrated systems engineering and the department of Electrical and computer engineering The Ohio State UniversityColumbusOH 43210USA IEEE

We consider a power system whose electric demand pertaining to freshwater production is high(high freshwater electric demand),as in the Middle East,and investigate the tradeoff of storing freshwater in tanks versus storing electricity in batteries at the day-ahead operation *** storing freshwater and storing electricity increase the actual electric demand at valley hours and decrease it at peak hours,which is generally beneficial in term of cost and ***,to what extent?We analyze this question considering three power systems with different generation-mix configurations,i.e.,a thermal-dominated mix,a renewable-dominated one,and a fully renewable *** generation-mix configurations are inspired by how power systems may evolve in different countries in the Middle *** production uncertainty is compactly modeled using chance *** draw conclusions on how both storage facilities(freshwater and electricity)complement each other to render an optimal operation of the power system.

关键词： Power system operation freshwater production and transportation coordination day-ahead scheduling

Early Detection of Colletotrichum Kahawae Disease in Coffee Cherry Based on computer Vision Techniques

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

computer Modeling in engineering & Sciences 2024年第4期139卷 759-782页

作者： Raveena Selvanarayanan Surendran Rajendran Youseef Alotaibi department of computer Science and engineering Saveetha School of EngineeringSaveetha Institute of Medical and Technical ScienceChennai602105India department of computer Science College of Computer and Information SystemsUmm Al-Qura UniversityMakkah21955Saudi Arabia

Colletotrichum kahawae(Coffee Berry Disease)spreads through spores that can be carried by wind,rain,and insects affecting coffee plantations,and causes 80%yield losses and poor-quality coffee *** deadly disease is hard to control because wind,rain,and insects carry *** researchers utilized a deep learning system to identify CBD in coffee cherries at three growth stages and classify photographs of infected and uninfected cherries with 93%accuracy using a random forest *** the dataset is too small and noisy,the algorithm may not learn data patterns and generate accurate *** overcome the existing challenge,early detection of Colletotrichum Kahawae disease in coffee cherries requires automated processes,prompt recognition,and accurate *** proposed methodology selects CBD image datasets through four different stages for training and *** to train a model on datasets of coffee berries,with each image labeled as healthy or *** themodel is trained,SHAP algorithmto figure out which features were essential formaking predictions with the proposed *** of these characteristics were the cherry’s colour,whether it had spots or other damage,and how big the Lesions *** inception is important for classification to virtualize the relationship between the colour of the berry is correlated with the presence of *** evaluate themodel’s performance andmitigate excess fitting,a 10-fold cross-validation approach is *** involves partitioning the dataset into ten subsets,training the model on each subset,and evaluating its *** comparison to other contemporary methodologies,the model put forth achieved an accuracy of 98.56%.

关键词： computer vision coffee berry disease colletotrichum kahawae XG boost shapley additive explanations

Securing Cloud-Encrypted Data:Detecting Ransomware-as-a-Service(RaaS)Attacks through Deep Learning Ensemble

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

computers, Materials & Continua 2024年第4期79卷 857-873页

作者： Amardeep Singh Hamad Ali Abosaq Saad Arif Zohaib Mushtaq Muhammad Irfan Ghulam Abbas Arshad Ali Alanoud Al Mazroa School of computer Information Sciences University of CumberlandsWilliamsburgKentucky40769USA computer Science department College of Computer Science and Information SystemsNajran UniversityNajran61441Saudi Arabia department of Mechanical engineering College of EngineeringKing Faisal UniversityAl-Ahsa31982Saudi Arabia department of Electrical Electronics and Computer SystemsCollege of Engineering and TechnologyUniversity of SargodhaSargodha40100Pakistan Electrical engineering department College of EngineeringNajran UniversityNajran61441Saudi Arabia department of Electrical engineering The University of LahoreLahore54000Pakistan Faculty of computer and Information systems Islamic University of MadinahMadinah42351Saudi Arabia department of Information systems College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia

Data security assurance is crucial due to the increasing prevalence of cloud computing and its widespread use across different industries,especially in light of the growing number of cybersecurity threats.A major and everpresent threat is Ransomware-as-a-Service(RaaS)assaults,which enable even individuals with minimal technical knowledge to conduct ransomware *** study provides a new approach for RaaS attack detection which uses an ensemble of deep learning *** this purpose,the network intrusion detection dataset“UNSWNB15”from the Intelligent Security Group of the University of New South Wales,Australia is *** the initial phase,the rectified linear unit-,scaled exponential linear unit-,and exponential linear unit-based three separate Multi-Layer Perceptron(MLP)models are ***,using the combined predictive power of these three MLPs,the RansoDetect Fusion ensemble model is introduced in the suggested *** proposed ensemble technique outperforms previous studieswith impressive performance metrics results,including 98.79%accuracy and recall,98.85%precision,and 98.80%*** empirical results of this study validate the ensemble model’s ability to improve cybersecurity defenses by showing that it outperforms individual *** expanding the field of cybersecurity strategy,this research highlights the significance of combined deep learning models in strengthening intrusion detection systems against sophisticated cyber threats.

关键词： Cloud encryption RaaS ensemble threat detection deep learning cybersecurity

A linkable signature scheme supporting batch verification for privacy protection in crowd-sensing

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Digital Communications and Networks 2024年第3期10卷 645-654页

作者： Xu Li Gwanggil Jeon Wenshuo Wang Jindong Zhao School of computer and Control engineering Yantai UniversityYantai264005China department of Embedded systems engineering Incheon National UniversityAcademyro-119Incheon22012Republic of Korea

The maturity of 5G technology has enabled crowd-sensing services to collect multimedia data over wireless network,so it has promoted the applications of crowd-sensing services in different fields,but also brings more privacy security challenges,the most commom which is privacy *** a privacy protection technology combining data integrity check and identity anonymity,ring signature is widely used in the field of privacy ***,introducing signature technology leads to additional signature verification *** the scenario of crowd-sensing,the existing signature schemes have low efficiency in multi-signature ***,it is necessary to design an efficient multi-signature verification scheme while ensuring *** this paper,a batch-verifiable signature scheme is proposed based on the crowd-sensing background,which supports the sensing platform to verify the uploaded multiple signature data efficiently,so as to overcoming the defects of the traditional signature scheme in multi-signature *** our proposal,a method for linking homologous data was presented,which was valuable for incentive mechanism and data *** results showed that the proposed scheme has good performance in terms of security and efficiency in crowd-sensing applications with a large number of users and data.

关键词： 5G network Crowd-sensing Privacy protection Ring signature Batch verification

Time and Space Efficient Multi-Model Convolution Vision Transformer for Tomato Disease Detection from Leaf Images with Varied Backgrounds

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

computers, Materials & Continua 2024年第4期79卷 117-142页

作者： Ankita Gangwar Vijaypal Singh Dhaka Geeta Rani Shrey Khandelwal Ester Zumpano Eugenio Vocaturo department of computer and Communication engineering Manipal University JaipurJaipurIndia department of IoT and Intelligent systems Manipal University JaipurJaipurIndia department of computer engineering ModellingElectronics and Systems(DIMES)University of CalabriaRende(Cosenza)Italy National Research Council Institute of Nanotechnology(NANOTEC)Rende(Cosenza)Italy

A consumption of 46.9 million tons of processed tomatoes was reported in 2022 which is merely 20%of the total *** increase of 3.3%in consumption is predicted from 2024 to *** are also rich in iron,potassium,antioxidant lycopene,vitamins A,C and K which are important for preventing cancer,and maintaining blood pressure and glucose ***,tomatoes are globally important due to their widespread usage and nutritional *** face the high demand for tomatoes,it is mandatory to investigate the causes of crop loss and minimize *** are one of the major causes that adversely affect crop yield and degrade the quality of the tomato *** leads to financial losses and affects the livelihood of ***,automatic disease detection at any stage of the tomato plant is a critical *** learning models introduced in the literature show promising results,but the models are difficult to implement on handheld devices such as mobile phones due to high computational costs and a large number of ***,most of the models proposed so far work efficiently for images with plain backgrounds where a clear demarcation exists between the background and leaf ***,the existing techniques lack in recognizing multiple diseases on the same *** address these concerns,we introduce a customized deep learning-based convolution vision transformer *** achieves an accuracy of 93.51%for classifying tomato leaf images with plain as well as complex backgrounds into 13 *** requires a space storage of merely 5.8 MB which is 98.93%,98.33%,and 92.64%less than stateof-the-art visual geometry group,vision transformers,and convolution vision transformermodels,*** training time of 44 min is 51.12%,74.12%,and 57.7%lower than the above-mentioned ***,it can be deployed on(Internet of Things)IoT-enabled devices,drones,or mobile devices to assist farmers in the real-time monitoring of tomato *** p

关键词： Tomato disease transformer deep learning mobile devices

Empirical Wavelet Transform Based Method for Identification and Analysis of Sub-synchronous Oscillation Modes Using PMU Data

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Modern Power systems and Clean Energy 2024年第1期12卷 34-40页

作者： Joice G.Philip Jaesung Jung Ahmet Onen the department of Energy systems Research Ajou UniversitySuwonSouth Korea the department of Electrical and Electronic engineering Abdullah Gul UniversityKayseri38080Turkey the department of Electrical and computer engineering College of EngineeringSultan Qaboos UniversityAl-KhoudMuscatOman

This paper proposes an empirical wavelet transform(EWT)based method for identification and analysis of sub-synchronous oscillation(SSO)modes in the power system using phasor measurement unit(PMU)*** phasors from PMUs are preprocessed to check for the presence of *** the presence is established,the signal is decomposed using EWT and the parameters of the mono-components are estimated through Yoshida *** superiority of the proposed method is tested using test signals with known parameters and simulated using actual SSO signals from the Hami Power Grid in Northwest *** show the effectiveness of the proposed EWT-Yoshida method in detecting the SSO and estimating its parameters.

关键词： Empirical wavelet transform(EWT) sub-synchronous oscillation Prony-based method Yoshida algorithm variational mode decomposition phasor measurement unit(PMU)

Advances in Manta Ray Foraging Optimization:A Comprehensive Survey

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Journal of Bionic engineering 2024年第2期21卷 953-990页

作者： Farhad Soleimanian Gharehchopogh Shafi Ghafouri Mohammad Namazi Bahman Arasteh department of computer engineering Urmia BranchIslamic Azad UniversityUrmiaIran department of computer engineering Tabriz BranchIslamic Azad UniversityTabrizIran department of computer engineering Maybod BranchIslamic Azad UniversityMaybodIran department of Software engineering Faculty of Engineering and Natural ScienceIstinye UniversityIstanbulTurkey

This paper comprehensively analyzes the Manta Ray Foraging Optimization(MRFO)algorithm and its integration into diverse academic *** in 2020,the MRFO stands as a novel metaheuristic algorithm,drawing inspiration from manta rays’unique foraging behaviors—specifically cyclone,chain,and somersault *** biologically inspired strategies allow for effective solutions to intricate physical *** its potent exploitation and exploration capabilities,MRFO has emerged as a promising solution for complex optimization *** utility and benefits have found traction in numerous academic *** its inception in 2020,a plethora of MRFO-based research has been featured in esteemed international journals such as IEEE,Wiley,Elsevier,Springer,MDPI,Hindawi,and Taylor&Francis,as well as at international conference *** paper consolidates the available literature on MRFO applications,covering various adaptations like hybridized,improved,and other MRFO variants,alongside optimization *** trends indicate that 12%,31%,8%,and 49%of MRFO studies are distributed across these four categories respectively.

关键词： Manta ray foraging optimization Metaheuristic algorithms Hybridization Improved Optimization