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

Secure-by-Construction Synthesis for Control systems

IEEE Transactions on Automatic Control 2025年第6期70卷 4170-4177页

作者： Zhong, Bingzhuo Liu, Siyuan Caccamo, Marco Zamani, Majid Thrust of Artificial Intelligence Information Hub The Thrust of Intelligent Transportation System Hub China KTH Royal Institute of Technology Division of Decision and Control Systems Stockholm Sweden Technical University of Munich TUM School of Engineering and Design Germany University of Colorado Boulder Department of Computer Science United States Ludwig Maximilian University Department of Computer Science Munich Germany

In this note, we present the synthesis of secure-by-construction controllers that address safety and security properties simultaneously in cyber-physical systems. Our focus is on studying a specific security property called opacity, which characterizes the system's ability to maintain plausible deniability of its secret behavior in the presence of an intruder. These controllers are synthesized based on a concept of so-called (augmented) control barrier functions. We propose conditions that facilitate the construction of the desired (augmented) control barrier functions and their corresponding secure-by-construction controllers. To compute these functions, we propose an iterative scheme that leverages iterative sum-of-square programming techniques. This approach enables efficient computation of these functions, particularly for polynomial systems. Finally, we validate the effectiveness of our results through a case study of a vehicle. © 1963-2012 IEEE.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Hybrid Dipper Throated and Grey Wolf Optimization for Feature Selection Applied to Life Benchmark Datasets

引用

computers, Materials & Continua 2023年第2期74卷 4531-4545页

作者： Doaa Sami Khafaga El-Sayed M.El-kenawy Faten Khalid Karim Mostafa Abotaleb Abdelhameed Ibrahim Abdelaziz A.Abdelhamid D.L.Elsheweikh Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Faculty of Artificial Intelligence Delta University for Science and TechnologyMansoura35712Egypt Department of System Programming South Ural State UniversityChelyabinsk454080Russia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Department of Computer Science Faculty of Specific EducationMansoura UniversityEgypt

Selecting the most relevant subset of features from a dataset is a vital step in data mining and machine *** feature in a dataset has 2n possible subsets,making it challenging to select the optimum collection of features using typical *** a result,a new metaheuristicsbased feature selection method based on the dipper-throated and grey-wolf optimization(DTO-GW)algorithms has been developed in this *** can result when the selection of features is subject to metaheuristics,which can lead to a wide range of ***,we adopted hybrid optimization in our method of optimizing,which allowed us to better balance exploration and harvesting chores more *** propose utilizing the binary DTO-GW search approach we previously devised for selecting the optimal subset of *** the proposed method,the number of features selected is minimized,while classification accuracy is *** test the proposed method’s performance against eleven other state-of-theart approaches,eight datasets from the UCI repository were used,such as binary grey wolf search(bGWO),binary hybrid grey wolf,and particle swarm optimization(bGWO-PSO),bPSO,binary stochastic fractal search(bSFS),binary whale optimization algorithm(bWOA),binary modified grey wolf optimization(bMGWO),binary multiverse optimization(bMVO),binary bowerbird optimization(bSBO),binary hysteresis optimization(bHy),and binary hysteresis optimization(bHWO).The suggested method is superior 4532 CMC,2023,vol.74,no.2 and successful in handling the problem of feature selection,according to the results of the experiments.

关键词： Metaheuristics dipper throated optimization grey wolf optimization binary optimizer feature selection

来源：评论

学校读者我要写书评

暂无评论

Spectral period doubling and encoding of dissipative optical solitons via gain control

引用

PhotoniX 2024年第1期5卷 290-305页

作者： Kangwen Yang Yi Zhou Yuqing Ling Kevin K.Tsia Heping Zeng Kenneth K.Y.Wong Shanghai Key Laboratory of Modern Optical System and Engineering Research Center of Optical Instrument and SystemMinistry of EducationSchool of Optical Electrical and Computer EngineeringUniversity of Shanghai for Science and TechnologyShanghai 200093China Department of Electrical and Electronic Engineering The University of Hong KongHong KongChina Advanced Biomedical Instrumentation Centre Hong Kong Science ParkHong KongChina State Key Laboratory of Precision Spectroscopy East China Normal UniversityShanghai 200062China

Period-doubling bifurcation,as an intermediate state between order and chaos,is ubiquitous in all disciplines of nonlinear ***,previous experimental observations of period doubling in ultrafast fiber lasers are mainly restricted to self-sustained steady state,controllable manipulation and dynamic switching between period doubling and other intriguing dynamical states are still largely ***,we propose to expand the vision of dissipative soliton periodic doubling,which we illustrate experimentally by reporting original spontaneous,collisional,and controllable spectral period doubling in a polarization-maintaining ultrafast fiber ***,the spontaneous period doubling can be observed in both single-and *** mechanism of the switchable state and periodic doubling was revealed by numerical ***,state transformation of individual solitons can be resolved during the collision of triple solitons involving stationary,oscillating,and period ***,controllable deterministic switching between period doubling and other dynamical states,as well as exemplifying the application of period-doubling-based digital encoding,is achieved under programmable pump *** results open a new window for unveiling complex Hopf bifurcation in dissipative systems and bring useful insights into nonlinear science and applications.

关键词： Period doubling Mode locking Ultrafast fiber lasers

来源：评论

学校读者我要写书评

暂无评论

An Integrated Demand Side Management Framework Utilizing Smart Grid Technologies and IoT for Enhanced Residential Energy Efficiency

An Integrated Demand Side Management Framework Utilizing Sma...

引用

2024 IEEE International Women in engineering (WIE) Conference on Electrical and computer engineering, WIECON-ECE 2024

作者： Venkatesan, P. Gopinath, C. Prabhavathy, P. Department of Electrical and Electronics Engineering India Center for Integrated Smart Waste Management System Department of Electrical and Electronics Engineering Sriperumbudur India Anna University Department of Computer Science and Engineering College of Engineering Guindy Chennai India

ISBN: (纸本)9798331535476

Increasing energy demands and the need for efficient management necessitate innovative solutions. This study introduces an integrated Demand Side Management (DSM) framework tailored for residential buildings within smart grid systems. The proposed methodology employs Earth Worm Optimization Algorithm (EWOA) and Virulence Optimization Algorithm (VOA) to optimize scheduling for household appliance using integration of Renewable Energy Storage (RES) and Renewable Energy Resources (RERs). Real-Time Electricity Scheduling (RTES) is implemented using IoT technologies to enable adaptive energy management. This system demonstrates significant performance improvements, achieving a 76.19% reduction in the Peak-to-Average Ratio (PAR) using VOA and a 73.8% reduction with EWOA when RES is included. Comparative analyses highlight substantial cost reductions, enhanced grid stability, and improved energy efficiency. This work not only showcases the novelty of integrating advanced optimization algorithms with IoT but also provides a robust approach to achieve sustainable and cost-effective energy management. © 2024 IEEE.

关键词： Smart power grids

来源：评论

学校读者我要写书评

暂无评论

Output Linearization of Single-Input Single-Output Fuzzy system to Improve Accuracy and Performance

引用

computers, Materials & Continua 2023年第5期75卷 2413-2427页

作者： Salah-ud-din Khokhar QinKe Peng Muhammad Yasir Noor Department of Automation Science and Technology(System Engineering Institute) School of Electronics and Information EngineeringXi’an Jiaotong UniversityXi’anShaanxi710049China Department of Computer Science G.C.UniversityLahore54000PunjabPakistan Department of Physics(Electronics) G.C.UniversityLahore54000PunjabPakistan

For fuzzy systems to be implemented effectively,the fuzzy membership function(MF)is essential.A fuzzy system(FS)that implements precise input and output MFs is presented to enhance the performance and accuracy of single-input single-output(SISO)FSs and introduce the most applicable input and output MFs protocol to linearize the fuzzy system’s *** a variety of non-linear techniques,a SISO FS is *** results of FS experiments conducted in comparable conditions are then *** simulated results and the results of the experimental setup agree fairly *** findings of the suggested model demonstrate that the relative error is abated to a sufficient range(≤±10%)and that the mean absolute percentage error(MPAE)is reduced by around 66.2%.The proposed strategy to reduceMAPE using an FS improves the system’s performance and control *** using the best input and output MFs protocol,the energy and financial efficiency of every SISO FS can be improved with very little tuning of *** proposed fuzzy system performed far better than other modern days approaches available in the literature.

关键词： Mean absolute percentage error membership functions relative error fuzzy system

来源：评论

学校读者我要写书评

暂无评论

Automatic Early Detection of Tomato Blight Disease Using Deep Neural Networks 4

Automatic Early Detection of Tomato Blight Disease Using Dee...

引用

4th International Conference on Technological Advancements in Computational sciences, ICTACS 2024

作者： Halder, Anangsha Neogi, Subhrendu Guha Dutta, Shibdas Chandra, Soumallya Chandra Majumdar, Pritha Guha Sarkar, Akash The Neotia University Department of Computer Science and Engineering West Bengal Sarisha India Brainware University Department of Computer Science and Engineering West Bengal Kolkata India Dcg Data-Core System India Pvt. Ltd West Bengal Kolkata India

ISBN: (纸本)9798350387490

Crop disease control is crucial for food security since plant illnesses diminish agricultural production. Crop productivity and quality depend on leaf diseases like tomatoes. Early plant disease identification utilizing computer vision and artificial intelligence can lessen disease severity and overcome the limitations of continuous human monitoring. Automatic Early detection and alert systems reduce disease and boost agricultural productivity by classifying tomato diseases from tomato leaf images using Deep Neural Network Models. Our study examined leaf photos to classify tomato diseases and healthy plants using AlexNet, ResNet-9, VGG-19, and a modified CNN model for tomato plant disease diagnosis using deep neural network architectures. The proposed CNN analyses images to identify edges, colours, and textures. The suggested model can recognize healthy and diseased tomato leaves with 98% accuracy, making it a valuable crop management tool that promotes sustainable agriculture and global food security. © 2024 IEEE.

关键词： Fruits

来源：评论

学校读者我要写书评

暂无评论

A novel U-net model for brain tumor segmentation from MRI images

引用

Alexandria engineering Journal 2025年 126卷 220-230页

作者： Obayya, Marwa Alshuhail, Asma Mahmood, Khalid Alanazi, Meshari H. Alqahtani, Mohammed Aljehane, Nojood O. Almansour, Hamad Al-Hagery, Mohammed Abdullah Department of Biomedical Engineering College of Engineering Princess Nourah bint Abdulrahman University PO Box 84428 Riyadh11671 Saudi Arabia Department of Information Systems College of Computer Sciences & Information Technology King Faisal university Saudi Arabia Department of Information Systems Applied College at Mahayil King Khalid University Saudi Arabia Department of Computer Science College of Sciences Northern Border University Arar Saudi Arabia Department of Information System and Cyber Security College of Computing and Information Technology University of Bisha Bisha61922 Saudi Arabia Department of Computer Science Faculty of Computers and Information Technology University of Tabuk Tabuk Saudi Arabia Applied Collage Najran University Najran Saudi Arabia Department of Computer Science College of Computer Qassim University Saudi Arabia

Segmentation of brain tumors aids in diagnosing the disease early, planning treatment, and monitoring its progression in medical image analysis. Automation is necessary to eliminate the time and variability associated with traditional segmentation methods. Convolutional neural networks (CNNs) and U-Net architectures have demonstrated their efficiency and effectiveness in segmenting brain tumors from MRI images using deep learning techniques. The paper presents an improved U-Net-based segmentation algorithm that integrates nested skip paths to improve encoder-decoder feature fusion. The performance of segmentation was optimized by utilizing a variety of activation functions and loss functions, including Dice Loss and Intersection over Union (IoU). A high level of accuracy was demonstrated in the proposed model when it was evaluated using the LGG Segmentation Dataset. The proposed approach for segmenting medical images has been shown to be both robust and efficient in a comparative analysis. © 2025 The Authors

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Hybrid Grey Wolf and Dipper Throated Optimization in Network Intrusion Detection systems

引用

computers, Materials & Continua 2023年第2期74卷 2695-2709页

作者： Reem Alkanhel Doaa Sami Khafaga El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Rashid Amin Mostafa Abotaleb B.M.El-den Department of Information Technology College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Department of Computer Science University of Engineering and TechnologyTaxilaPakistan Department of System Programming South Ural State UniversityChelyabinsk454080Russia

The Internet of Things(IoT)is a modern approach that enables connection with a wide variety of devices *** to the resource constraints and open nature of IoT nodes,the routing protocol for low power and lossy(RPL)networks may be vulnerable to several routing ***’s why a network intrusion detection system(NIDS)is needed to guard against routing assaults on RPL-based IoT *** imbalance between the false and valid attacks in the training set degrades the performance of machine learning employed to detect network ***,we propose in this paper a novel approach to balance the dataset classes based on metaheuristic optimization applied to locality-sensitive hashing and synthetic minority oversampling technique(LSH-SMOTE).The proposed optimization approach is based on a new hybrid between the grey wolf and dipper throated optimization *** prove the effectiveness of the proposed approach,a set of experiments were conducted to evaluate the performance of NIDS for three cases,namely,detection without dataset balancing,detection with SMOTE balancing,and detection with the proposed optimized LSHSOMTE *** results showed that the proposed approach outperforms the other approaches and could boost the detection *** addition,a statistical analysis is performed to study the significance and stability of the proposed *** conducted experiments include seven different types of attack cases in the RPL-NIDS17 *** on the 2696 CMC,2023,vol.74,no.2 proposed approach,the achieved accuracy is(98.1%),sensitivity is(97.8%),and specificity is(98.8%).

关键词： Metaheuristics grey wolf optimization dipper throated optimization dataset balancing locality sensitive hashing SMOTE

来源：评论

学校读者我要写书评

暂无评论

Prediction Analysis of Greeting Gestures based on Data Augmentation and LSTM 23

Prediction Analysis of Greeting Gestures based on Data Augme...

引用

23rd International Conference on Machine Learning and Cybernetics, ICMLC 2024

作者： Wibow, Angga Wahyu Sato-Shimokawara, Eri Kurnianingsih Graduate School of System Design Tokyo Metropolitan University Department of Computer Science Tokyo Japan Politeknik Negeri Semarang Department of Electrical Engineering Semarang Indonesia

ISBN: (纸本)9798331528041

The field of Human Activity Recognition (HAR) is growing significantly in several areas but little research focuses on cultural behavior. How machine learning can explain human activity as a promotional tool in understanding cultural differences in a region is very challenging. Studies using Recurrent Neural Network (RNN), especially Long Short-Term Memory (LSTM), require large data when used to research human activity recognition. Using small data is a challenge when using LSTM. This study aims to determine which data augmentation is most appropriate when used using LSTM to predict Japanese greeting gestures, namely eshaku, keirei, saikeirei, waving hands, and Indonesian greeting gestures, namely the movement of bringing both hands together in front of the chest with a slight bow of the head. This study proposes to compare several data augmentations, namely jittering, scaling, permutation, cropping, reverse, time shifting, frequency domain, and synthetic data generation. We evaluate model performance using the Mean Squared Error (MSE), Root Mean Squared Error (RMSE), Mean Absolute Error (MAE), and coefficient of determination (R2) metrics. The experimental results show that Time Shifting has the best MSE, RMSE, and MAE values compared to others and Frequency Domain has the best R2 values compared to others. This study concludes that Time Shifting and Frequency Domain are the best data augmentation methods when using LSTM in predicting greeting gestures using small data. These findings provide valuable insights into the effectiveness of various data augmentation methods in motion prediction tasks with limited data sets, as well as the importance of selecting appropriate data augmentation methods in human motion analysis. Future work could use data from two or more people using model explanations generated by machine learning and developing a new method for cultural behavior. © 2024 IEEE.

关键词： Mean square error

来源：评论

学校读者我要写书评

暂无评论

GHVC-Net: Hypervolume Contribution Approximation Based on Graph Neural Network

GHVC-Net: Hypervolume Contribution Approximation Based on Gr...

引用

2024 IEEE International Conference on systems, Man, and Cybernetics, SMC 2024

作者： Wu, Guotong Nan, Yang Shang, Ke Ishibuchi, Hisao Shenzhen University National Engineering Laboratory for Big Data System Computing Technology Shenzhen518060 China Southern University of Science and Technology Department of Computer Science and Engineering Shenzhen518055 China

ISBN: (纸本)9781665410205

This paper proposes a framework called GHVC-Net that uses the graph neural network (GNN) model to approximate each solution's hypervolume contribution (HVC). GHVC-Net is permutation invariant and can handle solution sets of arbitrary size, similar to the properties of GNN. Compared to HVC-Net (i.e., a machine learning model for HVC approximation), GHVC-Net achieves better accuracy with less training time. GHVC-Net is also compared with traditional approximation methods, such as line-based and point-based methods, to demonstrate its ability to identify the solution with the smallest (largest) HVC. © 2024 IEEE.

关键词： Neural network models

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：