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

Neuro-Symbolic software engineering (NSE), IEEE/ACM International Workshop on

作者： Steffen Herbold Christoph Knieke Andreas Rausch Christian Schindler Faculty of Computer Science and Mathematics Universität Passau Passau Germany Institute for Software and Systems Engineering Technische Universität Clausthal Germany

ISBN: (数字)9798331514600

ISBN: (纸本)9798331514617

Formal analysis to ensure adherence of software to defined architectural constraints is not yet broadly used within software development, due to the effort involved in defining formal architecture models. Within this paper, we outline neural architecture inference to solve the problem of having a formal architecture definition for subsequent symbolic reasoning over these architectures, enabling neurosymbolic architectural reasoning. We discuss how this approach works in general and outline a research agenda based on six general research question that need to be addressed, to achieve this vision.

关键词： Codes software architecture Large language models Conferences Neural networks computer architecture Cognition software Distance measurement software development management

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Leveraging Predictive Maintenance for Photovoltaic systems 9th

Leveraging Predictive Maintenance for Photovoltaic Systems

引用

9th International Conference on Smart City Applications, SCA 2024

作者： Ledmaoui, Younes Raif, Mourad El Aroussi, Mohamed Saadane, Rachid Jakimi, Abdeslam Chehri, Abdellah Laboratory Engineering System Hassania School of Public Works Casablanca Morocco Software Engineering and Information Systems Engineering Team FST of Errachidia Moulay Ismail University Meknes Morocco Department of Mathematics and Computer Science Royal Military College of Canada KingstonONK7K 7B4 Canada

ISBN: (纸本)9783031886522

This paper introduces a novel edge device architecture designed to optimize solar energy management systems. It integrates cutting-edge functionalities such as generation prediction, maintenance alerts, and anomaly detection into a unified framework. Through the utilization of edge computing, the system enables real-time analysis and decision-making at the network’s edge. Leveraging machine learning algorithms and predictive models, these edge devices provide highly accurate energy generation forecasts, facilitating efficient energy utilization and strategic planning. Additionally, the architecture incorporates anomaly detection techniques to proactively identify deviations from normal operation, minimizing downtime and enabling timely maintenance interventions. The seamless integration of these features within the edge devices significantly enhances the overall efficiency, reliability, and performance of energy monitoring systems. By adopting this advanced edge device architecture, energy stakeholders can reap benefits such as improved energy management, reduced operational costs, and enhanced system reliability. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Battery management systems

来源：评论

学校读者我要写书评

暂无评论

Prediction of Solar Energy Production Using Low-Cost Data Logger and ANN Algorithm 9th

Prediction of Solar Energy Production Using Low-Cost Data L...

引用

9th International Conference on Smart City Applications, SCA 2024

作者： Raif, Mourad Ledmaoui, Younes El Aroussi, Mohamed Saadane, Rachid Jakimi, Abdeslam Chehri, Abdellah Laboratory Engineering System Hassania School of Public Works Casablanca Casablanca Morocco Software Engineering and Information Systems Engineering Team FST of Errachidia Moulay Ismail University Meknes Morocco Department of Mathematics and Computer Science Royal Military College of Canada KingstonONK7K 7B4 Canada

ISBN: (纸本)9783031886522

This article introduces a novel method for predicting solar energy production using an affordable data logger and the Artificial Neural Network (ANN) algorithm. The main goal of this research is to create a precise predictive model for solar energy output, addressing the critical need for accurate forecasting in the renewable energy industry. The study capitalizes on the accessibility and cost-efficiency of a low-cost data logger to collect detailed environmental and solar irradiance data. The ANN algorithm is utilized to analyze the collected dataset, providing a robust and effective approach for forecasting solar energy production. Extensive experiments demonstrate that the developed model achieves an impressive R2 score of 0.95, indicating a high degree of accuracy and reliability in predicting solar energy output. This significant R2 score highlights the proposed methodology’s effectiveness, demonstrating its potential for practical applications in solar energy planning and management. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： data logger Machine learning Photovoltaic prediction Renewable energy

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Efficient Privacy-Preserving ML for IoT: Cluster-Based Split Federated Learning Scheme for Non-IID Data 7

Efficient Privacy-Preserving ML for IoT: Cluster-Based Split...

引用

7th Cyber Security in Networking Conference, CSNet 2023

作者： Arafeh, Mohamad Wazzeh, Mohamad Ould-Slimane, Hakima Talhi, Chamseddine Mourad, Azzam Otrok, Hadi Department of Software and It Engineering Montreal Canada Department of Mathematics and Computer Science Canada New York University Division of Science Abu Dhabi United Arab Emirates Cyber Security Systems and Applied Ai Research Center Lebanese American University Department of Csm Beirut Lebanon Khalifa University Department of Eecs Abu Dhabi United Arab Emirates

ISBN: (纸本)9798350342871

This paper proposes a scheme addressing the challenges of integrating privacy-preserving distributed machine learning in the Internet of Things (IoT) context while improving the efficiency of the learning process and accelerating the convergence of the model. Specifically, it addresses the presence of non-independent and identically distributed (Non-IID) data and device heterogeneity, which occurs during parallel training and are common characteristics of IoT environments. In this context, SplitFed is a privacy-preserving technique that combines Federated Learning (FL) and Split Learning (SL) to enable fast and privacy-preserving model training on IoT devices. Through parallelism, FL allows fast and parallel model training. Furthermore, SL enables weak devices to train models through model splitting. However, SplitFed suffers from the increasing convergence time due to the FL parallelism introducing Non-IID and stragglers issues. In this paper, we aim to address the aforementioned problems by proposing a clustering parallelization scheme. As such, similar clients are combined based on their weight divergence and considered a single FL unit addressing the Non-IID problem. Moreover, to improve time efficiency and overcome the stragglers' presence, we offer a second clustering stage that separates clients by efficiency and uses FedAsync for model aggregation. © 2023 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Application of Data science and Machine Learning in the Prediction of College Dropout: A Data-Driven Predictive Approach

Application of Data Science and Machine Learning in the Pred...

引用

International Conference on software Process Improvement (CIMPS)

作者： Axel Frederick Félix Jiménez Vania Stephany Sanchéz Lee Isaul Ibarra Belmonte Ezra Federico Parra González Engineering in Computer Systems National Polytechnic Institute Zacatecas México Software Engineer Center for Research in Mathematics Zacatecas México Computer Science Department Center for Research in Mathematics Zacatecas México

ISBN: (数字)9798350358568

ISBN: (纸本)9798350358575

This paper presents a study on the prediction of student graduation or failure using two predictive models: K-Nearest Neighbors (KNN) and a forward sequential Artificial Neural Network (ANN). The models, built with a well-chosen set of independent variables, were assessed using metrics like precision and accuracy. The results obtained revealed that both the KNN model and the sequential forward ANN model achieved high efficiency in predicting student graduation or failure, achieving accuracies of 0.9133% (K=3) and 0.9312% (after 50 epochs), respectively. Providing a valuable tool to identify early on students at risk of not graduating and to take preventive measures to improve their academic performance. Comparisons with related research showed consistent outcomes, underscoring the credibility and importance of the employed predictive models.

关键词： Measurement Artificial neural networks Machine learning Predictive models Data science software

来源：评论

学校读者我要写书评

暂无评论

Model-based Generation of Attack-Fault Trees

arXiv

引用

arXiv 2023年

作者： Groner, Raffaela Witte, Thomas Raschke, Alexander Hirn, Sophie Pekaric, Irdin Frick, Markus Tichy, Matthias Felderer, Michael Institute of Software Engineering and Programming Languages Ulm University Germany Department of Computer Science University of Innsbruck Austria Department of Information Systems and Computer Science University of Liechtenstein Liechtenstein Germany Department of Mathematics and Computer Science University of Cologne Germany

Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and Attack Trees and can be used to model and model-check a holistic view on both safety and security. Manually creating a complete AFT for the whole system is, however, a daunting task. It needs to span multiple abstraction layers, e.g., abstract application architecture and data flow as well as system and library dependencies that are affected by various vulnerabilities. We present an AFT generation tool-chain that facilitates this task using partial Fault and Attack Trees that are either manually created or mined from vulnerability databases. We semi-automatically create two system models that provide the necessary information to automatically combine these partial Fault and Attack Trees into complete AFTs using graph transformation rules. © 2023, CC BY-NC-ND.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

SSVEPPoolformer: An Improved Poolformer Model With the Adaptive Denoising Algorithm for SSVEP-EEG Signal Classification

引用

IEEE Transactions on Consumer Electronics 2025年

作者： Li, Chunquan Liao, Zhiyuan Cheng, Yuxin Wang, Zitao Wu, Junyun Liu, Ruijun Liu, Peter X. Nanchang University School of Information Engineering Nanchang330031 China Nanchang University School of Mathematics and Computer Science Nanchang330031 China Beihang University School of Software Beijing100191 China Carleton University School of Department of Systems and Computer Engineering OttawaK1S 5B6 Canada

Most EEG classification algorithms based on steady-state visual evoked potentials (SSVEP-EEG) require filtering for denoising. However, manually set thresholds may inadvertently remove useful information, leading to a loss of significant signal features. Additionally, most deep learning-based SSVEP-EEG classification models have limited global feature extraction capabilities, and the self-attention mechanism in Transformers increases computational costs. To address these challenges, this paper proposes a novel SSVEP-EEG classification algorithm, SSVEPPoolformer. SSVEPPoolformer integrates an adaptive denoising algorithm with an improved Poolformer algorithm, enhancing both denoising performance and classification accuracy. The adaptive denoising algorithm dynamically adjusts the threshold using a compensation and adaptive adjustment mechanism, effectively filtering noise while retaining critical signal features. The improved Poolformer algorithm replaces the self-attention mechanism with an average pooling operation, reducing computational costs while maintaining performance. It also uses adaptive average pooling to integrate cross-channel feature information and extract global fine-grained features, improving global feature extraction. The SSVEPPoolformer model's efficacy was validated on two public datasets. Experimental results demonstrate that compared with other state-of-the-art methods, SSVEPPoolformer has higher classification accuracy and Information Transfer Rate (ITR) in both intra-class and inter-class recognition scenarios, and has lower computational cost. © 1975-2011 IEEE.

关键词： Electroencephalography

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：