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

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

来源：评论

学校读者我要写书评

暂无评论

Extinction Chains Reveal Intermediate Phases Between the Safety and Collapse in Mutualistic Ecosystems

引用

Engineering 2024年第12期43卷 89-98页

作者： Guangwei Wang Xueming Liu Ying Xiao Ye Yuan Linqiang Pan Xiaohong Guan Jianxi Gao Hai-Tao Zhang The MOE Engineering Research Center of Autonomous Intelligent Unmanned Systems State Key Laboratory of Digital Manufacturing Equipment and TechnologySchool of Artificial Intelligence and AutomationHuazhong University of Science and TechnologyWuhan 430074China Guangdong HUST Industrial Technology Research Institute Huazhong University of Science and TechnologyDongguan 523808China Guangdong Provincial Engineering Technology Center of Autonomous Unmanned Vessels Dongguan 523808China MOE Key Laboratory of Intelligent Networks and Network Security&State Key Laboratory of Manufacturing Systems Xi’an Jiaotong UniversityXi’an 710049China Tsinghua National Laboratory of Information Science and Technology Department of AutomationTsinghua UniversityBeijing 100084China Department of Computer Science Rensselaer Polytechnic InstituteTroyNY 12180USA

Ecosystems are undergoing unprecedented persistent deterioration due to unsustainable anthropogenic human activities,such as overfishing and deforestation,and the effects of such damage on ecological stability are *** recent advances in experimental and theoretical studies on regime shifts and tipping points,theoretical tools for understanding the extinction chain,which is the sequence of species extinctions resulting from overexploitation,are still lacking,especially for large-scale nonlinear networked *** this study,we developed a mathematical tool to predict regime shifts and extinction chains in ecosystems under multiple exploitation situations and verified it in 26 real-world mutualistic networks of various sizes and *** discovered five phases during the exploitation process:safe,partial extinction,bistable,tristable,and collapse,which enabled the optimal design of restoration strategies for degraded or collapsed *** validated our approach using a 20-year dataset from an eelgrass restoration ***,we also found a specific region in the diagram spanning exploitation rates and competition intensities,where exploiting more species helps increase *** computational tool provides insights into harvesting,fishing,exploitation,or deforestation plans while conserving or restoring the biodiversity of mutualistic ecosystems.

关键词： Complex system Network science Overexploitation Regime shift Metastability

来源：评论

学校读者我要写书评

暂无评论

A Novel Parallel Computing Confidentiality Scheme Based on Hindmarsh-Rose Model

引用

computers, Materials & Continua 2023年第8期76卷 1325-1341页

作者： Jawad Ahmad Mimonah Al Qathrady Mohammed SAlshehri Yazeed Yasin Ghadi Mujeeb Ur Rehman Syed Aziz Shah School of Computing Engineering and the Built EnvironmentEdinburgh Napier UniversityEdinburghEH105DTUK Department of Information Systems College of Computer Science and Information SystemsNajran UniversityNajran61441Saudi Arabia Department of Computer Science College of Computer Science and Information SystemsNajran UniversityNajran61441Saudi Arabia Department of Computer Science Al Ain UniversityAbu Dhabi112612United Arab Emirates School of Science Technology and HealthYork St John UniversityYorkYO317EXUK Research Centre for Intelligent Healthcare Coventry UniversityCoventryCV15FBUK

Due to the inherent insecure nature of the Internet,it is crucial to ensure the secure transmission of image data over this ***,given the limitations of computers,it becomes evenmore important to employ efficient and fast image encryption *** 1D chaotic maps offer a practical approach to real-time image encryption,their limited flexibility and increased vulnerability restrict their practical *** this research,we have utilized a 3DHindmarsh-Rosemodel to construct a secure *** randomness of the chaotic map is assessed through standard *** proposed system enhances security by incorporating an increased number of system parameters and a wide range of chaotic parameters,as well as ensuring a uniformdistribution of chaotic signals across the entire value ***,a fast image encryption technique utilizing the new chaotic system is *** novelty of the approach is confirmed through time complexity *** further strengthen the resistance against cryptanalysis attacks and differential attacks,the SHA-256 algorithm is employed for secure key *** results through a number of parameters demonstrate the strong cryptographic performance of the proposed image encryption approach,highlighting its exceptional suitability for secure ***,the security of the proposed scheme has been compared with stateof-the-art image encryption schemes,and all comparison metrics indicate the superior performance of the proposed scheme.

关键词： Hindmarsh-rose model image encryption SHA-256 parallel computing

来源：评论

学校读者我要写书评

暂无评论

Counterfactual discriminative micro-expression recognition

引用

Visual Intelligence 2024年第1期2卷 350-359页

作者： Yong Li Menglin Liu Lingjie Lao Yuanzhi Wang Zhen Cui Department of Computer Science City University of Hong KongHong Kong999077China School of Computer Science and Engineering Nanjing University of Science and TechnologyNanjing210094China Key Laboratory of Intelligent Perception and Systems for High-Dimensional Information Ministry of EducationSchool of Computer Science and EngineeringNanjing University of Science and TechnologyNanjing210094China

Micro-expressions are spontaneous,rapid and subtle facial movements that can hardly be suppressed or ***-expression recognition(MER)is one of the most challenging topics in affective *** aims to recognize subtle facial movements which are quite difficult for humans to perceive in a fleeting ***,many deep learning-based MER methods have been ***,how to effectively capture subtle temporal variations for robust MER still perplexes *** propose a counterfactual discriminative micro-expression recognition(CoDER)method to effectively learn the slight temporal variations for video-based *** explicitly capture the causality from temporal dynamics hidden in the micro-expression(ME)sequence,we propose ME counterfactual reasoning by comparing the effects of the facts *** ME sequences and the counterfactuals ***-revised ME sequences,and then perform causality-aware prediction to encourage the model to learn those latent ME temporal *** experiments on four widely-used ME databases demonstrate the effectiveness of CoDER,which results in comparable and superior MER performance compared with that of the state-of-the-art *** visualization results show that CoDER successfully perceives the meaningful temporal variations in sequential faces.

关键词： Affective computing Micro-expression recognition Temporal variation Counterfactual reasoning Causal graph

来源：评论

学校读者我要写书评

暂无评论

CapsNet-FR: Capsule Networks for Improved Recognition of Facial Features

引用

computers, Materials & Continua 2024年第5期79卷 2169-2186页

作者： Mahmood Ul Haq Muhammad Athar Javed Sethi Najib Ben Aoun Ala Saleh Alluhaidan Sadique Ahmad Zahid farid Department of Computer System Engineering University of Engineering&TechnologyPeshawar25000Pakistan College of Computer Science and Information Technology Al-Baha UniversityAlaqiq65779-7738Saudi Arabia REGIM-Lab:Research Groups in Intelligent Machines National School of Engineers of Sfax(ENIS)University of SfaxSfax3038Tunisia Department of Information Systems College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityRiyadh84428Saudi Arabia EIAS:Data Science and Blockchain Laboratory College of Computer and Information SciencesPrince Sultan UniversityRiyadh11586Saudi Arabia Department of Computer Sciences Bahria University Karachi CampusKarachi541004Pakistan Department of Electrical Engineering Abasyn UniversityPeshawar25000Pakistan

Face recognition (FR) technology has numerous applications in artificial intelligence including biometrics, security,authentication, law enforcement, and surveillance. Deep learning (DL) models, notably convolutional neuralnetworks (CNNs), have shown promising results in the field of FR. However CNNs are easily fooled since theydo not encode position and orientation correlations between features. Hinton et al. envisioned Capsule Networksas a more robust design capable of retaining pose information and spatial correlations to recognize objects morelike the brain does. Lower-level capsules hold 8-dimensional vectors of attributes like position, hue, texture, andso on, which are routed to higher-level capsules via a new routing by agreement algorithm. This provides capsulenetworks with viewpoint invariance, which has previously evaded CNNs. This research presents a FR model basedon capsule networks that was tested using the LFW dataset, COMSATS face dataset, and own acquired photos usingcameras measuring 128 × 128 pixels, 40 × 40 pixels, and 30 × 30 pixels. The trained model outperforms state-ofthe-art algorithms, achieving 95.82% test accuracy and performing well on unseen faces that have been blurred orrotated. Additionally, the suggested model outperformed the recently released approaches on the COMSATS facedataset, achieving a high accuracy of 92.47%. Based on the results of this research as well as previous results, capsulenetworks perform better than deeper CNNs on unobserved altered data because of their special equivarianceproperties.

关键词： CapsNet face recognition artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Evolutionary Optimization Methods for High-Dimensional Expensive Problems:A Survey

引用

IEEE/CAA Journal of Automatica Sinica 2024年第5期11卷 1092-1105页

作者： MengChu Zhou Meiji Cui Dian Xu Shuwei Zhu Ziyan Zhao Abdullah Abusorrah Department of Electrical and Computer Engineering New Jersey Institute of TechnologyNewarkNJ 07102 USA School of Information and Electronic Engineering Zhejiang Gongshang UniversityHangzhou 310018China School of Intelligent Manufacturing Nanjing University of Science and TechnologyNanjing 210094China Institute of Systems Engineering Macao University of Science and TechnologyMacao 999078China School of Artificial Intelligence and Computer Jiangnan UniversityWuxi 214122China School of Information Science and Engineering Northeastern UniversityShenyang 110819China Center of Research Excellence in Renewable Energy and Power Systems Department of Electrical and Computer EngineeringFaculty of EngineeringKing Abdulaziz UniversityJeddah 21589Saudi Arabia K.A.CARE Energy Research and Innovation Center King Abdulaziz UniversityJeddah 21589Saudi Arabia

Evolutionary computation is a rapidly evolving field and the related algorithms have been successfully used to solve various real-world optimization *** past decade has also witnessed their fast progress to solve a class of challenging optimization problems called high-dimensional expensive problems(HEPs).The evaluation of their objective fitness requires expensive resource due to their use of time-consuming physical experiments or computer ***,it is hard to traverse the huge search space within reasonable resource as problem dimension *** evolutionary algorithms(EAs)tend to fail to solve HEPs competently because they need to conduct many such expensive evaluations before achieving satisfactory *** reduce such evaluations,many novel surrogate-assisted algorithms emerge to cope with HEPs in recent *** there lacks a thorough review of the state of the art in this specific and important *** paper provides a comprehensive survey of these evolutionary algorithms for *** start with a brief introduction to the research status and the basic concepts of ***,we present surrogate-assisted evolutionary algorithms for HEPs from four main *** also give comparative results of some representative algorithms and application ***,we indicate open challenges and several promising directions to advance the progress in evolutionary optimization algorithms for HEPs.

关键词： computer optimization evolutionary

来源：评论

学校读者我要写书评

暂无评论

Automatic extraction of lightweight and efficient neural network architecture of heavy convolutional architectures to predict microsatellite instability from hematoxylin and eosin histology in gastric cancer

引用

Neural Computing and Applications 2024年第25期36卷 15295-15321页

作者： Rostami, Habib Ashkpour, Maryam Behzadi-Khormouji, Hamed Mokhtari, Maral Khayati, Armin Keshavarz, Ahmad Talatian Azad, Saeed Tabesh, Yahya Computer Engineering Department Faculty of Intelligent Systems Engineering and Data Science Persian Gulf University Bushehr75168 Iran Artificial Intelligence and Intelligent Healthcare Lab Artificial Intelligence and Data Mining Research Group Faculty of Intelligent Systems Engineering and Data Science ICT Research Institute Persian Gulf University Bushehr75168 Iran Faculty of New Science and Technologies University of Tehran Tehran Iran Department of Computer Science Imec-IDLab University of Antwerp Sint-Pietersvliet 7 Antwerp2000 Belgium Shahid Faghihi Hospital Shiraz University of Medical Sciences Shiraz Iran Department of Computer Science Engineering and IT School of Electrical and Computer Engineering Shiraz University Shiraz Iran Electrical Engineering Department Faculty of Intelligent Systems Engineering and Data Science Persian Gulf University Bushehr75168 Iran IoT and Signal Processing Research Group Faculty of Intelligent Systems Engineering and Data Science ICT Research Institute Persian Gulf University Bushehr75168 Iran Department of Mathematical Sciences Sharif University of Technology Tehran Iran

Cancers have emerged as a significant concern due to their impact on public health and society. The examination and interpretation of tissue sections stained with Hematoxylin and Eosin (H&E) play a crucial role in disease assessment, particularly in cases like gastric cancer. Microsatellite instability (MSI) is suggested to contribute to the carcinogenesis of specific gastrointestinal tumors. However, due to the nonspecific morphology observed in H&E-stained tissue sections, MSI determination often requires costly evaluations through various molecular studies and immunohistochemistry methods in specialized molecular pathology laboratories. Despite the high cost, international guidelines recommend MSI testing for gastrointestinal cancers. Thus, there is a pressing need for a new diagnostic modality with lower costs and widespread applicability for MSI detection. This study aims to detect MSI directly from H&E histology slides in gastric cancer, providing a cost-effective alternative. The performance of well-known deep convolutional neural networks (DCNNs) and a proposed architecture are compared. medical image datasets are typically smaller than benchmark datasets like ImageNet, necessitating the use of off-the-shelf DCNN architectures developed for large datasets through techniques such as transfer learning. Designing an architecture proportional to a custom dataset can be tedious and may not yield desirable results. In this work, we propose an automatic method to extract a lightweight and efficient architecture from a given heavy architecture (e.g., well-known off-the-shelf DCNNs) proportional to a specific dataset. To predict MSI instability, we extracted the MicroNet architecture from the Xception network using the proposed method and compared its performance with other well-known architectures. The models were trained using tiles extracted from whole-slide images, and two evaluation strategies, tile-based and whole-slide image (WSI)-based, were employed and comp

关键词： Network architecture

来源：评论

学校读者我要写书评

暂无评论

Facial Expression Recognition Model Depending on Optimized Support Vector Machine

引用

computers, Materials & Continua 2023年第7期76卷 499-515页

作者： Amel Ali Alhussan Fatma M.Talaat El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Doaa Sami Khafaga Mona Alnaggar Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Machine Learning&Information Retrieval Department Faculty of Artificial IntelligenceKafrelsheikh UniversityKafrelsheikh33516Egypt Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Robotics and Intelligent Machines Department Faculty of Artificial IntelligenceKafrelsheikh UniversityKafrelsheikh33516Egypt

In computer vision,emotion recognition using facial expression images is considered an important research *** learning advances in recent years have aided in attaining improved results in this *** to recent studies,multiple facial expressions may be included in facial photographs representing a particular type of *** is feasible and useful to convert face photos into collections of visual words and carry out global expression *** main contribution of this paper is to propose a facial expression recognitionmodel(FERM)depending on an optimized Support Vector Machine(SVM).To test the performance of the proposed model(FERM),AffectNet is *** uses 1250 emotion-related keywords in six different languages to search three major search engines and get over 1,000,000 facial photos *** FERM is composed of three main phases:(i)the Data preparation phase,(ii)Applying grid search for optimization,and(iii)the categorization *** discriminant analysis(LDA)is used to categorize the data into eight labels(neutral,happy,sad,surprised,fear,disgust,angry,and contempt).Due to using LDA,the performance of categorization via SVM has been obviously *** search is used to find the optimal values for hyperparameters of SVM(C and gamma).The proposed optimized SVM algorithm has achieved an accuracy of 99%and a 98%F1 score.

关键词： Facial expression recognition machine learning linear dis-criminant analysis(LDA) support vector machine(SVM) grid search

来源：评论

学校读者我要写书评

暂无评论

Handling Imbalanced Data for Improved Classification Performance: Methods and Challenges 3

Handling Imbalanced Data for Improved Classification Perform...

引用

3rd International Conference on Emerging Smart Technologies and Applications, eSmarTA 2023

作者： Abokadr, Somiya Azman, Azreen Hamdan, Hazlina Amelina, Nurul University Putra Malaysia Faculty of Computer Science & Information Technology Department of Intelligent Systems Seri Kembangan43400 Malaysia Al Zintan University Faculty of Science Libya University Putra Malaysia Faculty of Computer Science & Information Technology Seri Kembangan43400 Malaysia University Putra Malaysia Faculty of Computer Science and Information Technology Department of Computer Science Malaysia University Putra Malaysia Faculty of Computer Science and Information Technology Department of Multimedia Selangor Darul Ehsan Serdang Malaysia

ISBN: (纸本)9798350305333

Imbalanced data significantly impacts the efficacy of machine learning models. In cases where one class greatly outweighs the other in terms of sample count, models might develop a bias towards the majority class, thereby undermining the performance of the minority class. Imbalanced data act to increase the risk of overfitting, as the model may memorize the majority of class samples instead of learning underlying patterns. This paper addresses these challenges in the classification field by exploring various solutions, including under-sampling, oversampling, SMOTE, cost-sensitive learning, and ensemble deep learning methods. The evaluate the performance of these methods on different datasets and provide insights into their strengths and limitations. The paper presents a taxonomy of strategies for imbalanced binary and multi-class classification problems, including resampling, algorithmic, and hybrid methods. Ultimately, the paper furnishes guidelines to facilitate the selection of the most pertinent method for mitigating imbalanced data challenges within a specific classification context. © 2023 IEEE.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Physical Layer Security in AmBC-NOMA Networks with Random Eavesdroppers

引用

IEEE Internet of Things Journal 2025年第12期12卷 18628-18642页

作者： Pei, Xinyue Wang, Xingwei Huang, Min Chen, Yingyang Li, Xiaofan Tsiftsis, Theodoros A. Northeastern University School of Computer Science and Engineering Shenyang110819 China Northeastern University College of Information Science and Engineering Shenyang110819 China Jinan University College of Information Science and Technology Guangzhou510632 China Jinan University School of Intelligent Systems Science and Engineering Zhuhai519070 China University of Thessaly Department of Informatics Telecommunications Lamia35100 Greece University of Nottingham Ningbo China Department of Electrical and Electronic Engineering Ningbo315100 China

In this work, we investigate the physical layer security (PLS) of ambient backscatter communication non-orthogonal multiple access (AmBC-NOMA) networks where non-colluding eavesdroppers (Eves) are randomly distributed. In the proposed system, a base station (BS) transmits a superimposed signal to a typical NOMA user pair, while a backscatter device (BD) simultaneously transmits its unique signal by reflecting and modulating the BS’s signal. Meanwhile, Eves passively attempt to wiretap the ongoing transmissions. Notably, the number and locations of Eves are unknown, posing a substantial security threat to the system. To address this challenge, the BS injects artificial noise (AN) to mislead the Eves, and a protected zone is employed to create an Eve-exclusion area around the BS. Theoretical expressions for outage probability (OP) and intercept probability (IP) are provided to evaluate the system’s reliability-security trade-off. Asymptotic behavior at high signal-to-noise ratio (SNR) is further explored, including the derivation of diversity orders for the OP. Numerical results validate the analytical findings through extensive simulations, demonstrating that both the AN injection and protected zone can effectively enhance PLS. Furthermore, analysis and insights of different key parameters, including transmit SNR, reflection efficiency at the BD, power allocation coefficient, power fraction allocated to desired signal, Eve-exclusion area radius, Eve distribution density, and backscattered AN cancellation efficiency, on OP and IP are also provided. © 2014 IEEE.

关键词： Signal to noise ratio

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：