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

arXiv 2024年

作者： Trufas, Dafina LOS Faculty of Mathematics and Computer Science University of Bucharest Institute for Logic and Data Science Bucharest Romania

In this paper we present a formalization of Intuitionistic Propositional Logic in the Lean proof assistant. Our approach focuses on verifying two completeness proofs for the studied logical system, as well as exploring the relation between the two analyzed semantical paradigms - Kripke and algebraic. In addition, we prove a large number of theorems and derived deduction rules. © 2024, CC BY.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

Q-Rung Orthopair Fuzzy Sets-Enhanced FMEA for COVID-19 Risk Assessment

Informatica (Slovenia)

引用

Informatica (Slovenia) 2025年第1期49卷 81-92页

作者： Abdullah, Lazim Awang, Noor Azzah Qiyas, Muhammad Special Interest Group of Modelling and Data Analytics Faculty of Computer Science and Mathematics Universiti Malaysia Terengganu Kuala Nerus21030 Malaysia College of Computing Informatics and Mathematics Universiti Teknologi MARA Selangor Shah Alam40450 Malaysia Department of Mathematics Riphah International University Failsabad Campus Pakistan

Failure Modes and Effects Analysis (FMEA) is a widely used tool for risk analysis, primarily to identify risk factors affecting system quality. Due to the limitations of the traditional FMEA model, several recent models incorporating advanced fuzzy set extensions have been developed to enhance the reliability of risk assessment outcomes. However, most of these models limit expert flexibility in expressing preferences and often overlook the impact of unequal expert weights and the stability of risk ranking results. This study introduces a new FMEA model based on Q-Rung Orthopair Fuzzy Sets (Q-ROFSs), termed Q-ROFSs-FMEA. Q-ROFSs, an extension of intuitionistic fuzzy sets, introduce a new linguistic term. The Q-ROFSs-FMEA model considers the unequal weights of experts, enabling a dynamic representation of expert preferences. These weights and the linguistic evaluation of risk factors are integrated through an aggregation operator, facilitating consensus among experts. The model is applied to a case study on COVID-19 risk factors, revealing that ‘older age’ (risk priority number 0.000012) is the highest risk factor, while ‘gender’ (risk priority number -0.0037) is the lowest. It is found that the ranking of risk factors determined by the Q-ROFSs-FMEA model is obtained as FM1 FM3 FM6 FM4 FM5 FM7 FM8 FM2 . Furthermore, a comparative analysis indicates consistent ranking results across different models, demonstrating the reliability of the proposed model. The case study and comparative analysis validate the effectiveness and applicability of the Q-ROFSsbased risk assessment model. © 2025 Slovene Society Informatika. All rights reserved.

关键词： Failure modes

来源：评论

学校读者我要写书评

暂无评论

Defense Against Graph Injection Attack in Graph Neural Networks

Defense Against Graph Injection Attack in Graph Neural Netwo...

引用

IEEE International Conference on data science in Cyberspace (DSC)

作者： Hanjin Tong Tianqing Zhu Faqian Guan Wanlei Zhou School of Computer Science China University of Geosciences China Faculty of Data Science City University of Macau

ISBN: (数字)9798350391367

ISBN: (纸本)9798350391374

Graph neural networks (GNNs) have shown outstanding performance in graph node classification. However, as a deep learning model, GNNs can be influence by adversarial attacks, such as graph injection attacks or graph modification attacks, which modify edges or node features on the original graph. This paper focus on Graph Injection Attacks (GIA), which adds a small number of nodes and edges to the original graph to change the prediction results. GIA has stronger attack potential and it can cause more damage to the homogeneity of graphs. To tackle this problem, this paper proposes a novel defense strategy. We observe that real graphs are normally sparse, so that a link prediction model may be adopted to tell reliable edges from adversarial edges. By increasing the interaction information of edges, and reducing the sensitivity of vulnerable nodes to adversarial edges, the proposed method can increase the prediction acccuracy. Meanwhile, we designe a homogeneous filtering to help to identify adversarial edges, reducing the interference of the adversarial to the model. Experiments show our method has better defense performance than other baseline defense methods.

关键词： Deep learning Sensitivity Filtering Cyberspace Closed box Interference Predictive models data science Graph neural networks Reliability

来源：评论

学校读者我要写书评

暂无评论

Privacy-Preserving Access Control Model for E-Medical Systems 2

Privacy-Preserving Access Control Model for E-Medical System...

引用

2nd International Conference on Big data and Privacy Computing, BDPC 2024

作者： Cai, Rongsheng Chen, Lanxiang Zhu, Yizhao City University of Macau Faculty of Data Science 999078 China College of Computer and Cyber Security Fujian Normal University Fujian Provincial Key Laboratory of Network Security and Cryptology Fuzhou China

ISBN: (纸本)9798350307597

With the high speed development of information technology, the healthcare system increasingly relies on cloud servers for data storage and complex computation, patient data privacy issues stem from healthcare systems' vulnerability to breaches, despite data encryption emphasis, insufficient focus on preventing unauthorized access risks compromises patient information confidentiality. Consequently, the need to protect privacy within the healthcare system has gained significant attentions. However, existing research primarily concentrates on data encryption processes, but there is comparatively less attention given to addressing potential privacy leaks concerning data visitors. In this paper, we propose a privacy-preserving access control model for healthcare cloud data visitors. Our model combines the RBAC (Role-Based Access Control) model with the PSI (Private Set Intersection) technique to ensure the privacy and security of data visitors. The performance analysis of our proposed solution demonstrates its relative efficiency and practicality when applied to E-medical systems. © 2024 IEEE.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

A Secured and Optimized Broadcast Authentication Scheme for the Internet of Medical Things 4

A Secured and Optimized Broadcast Authentication Scheme for ...

引用

4th IEEE International Conference on Electrical, computer, and Energy Technologies, ICECET 2024

作者： Riaz, Syed Waleed Khan, Fazlullah Ullah, Insaf Alshawi, Bandar Alturki, Ryan Wedyan, Mohammad Abdul Wali Khan University Mardan Computer Science Department KPK Pakistan School of Computer Science University of Nottingham Ningbo China Faculty of Science and Engineering Zhejiang Ningbo315104 China Institute for Analytics and Data Science University of Essex ColchesterCO4 3SQ United Kingdom College of Computing Umm Al-Qura University Department of Computer and Network Engineering Makkah Saudi Arabia College of Computing Umm Al-Qura University Department of Software Engineering Makkah Saudi Arabia Faculty of Information Technology and Computer Sciences Department of Computer Sciences Irbid21163 Jordan

ISBN: (纸本)9798350395914

This Internet of Medical Things (IoMT), facilitates the medical stop regarding real-time monitoring of patients, medical emergency management, remote surgery, patient information management, medical equipment, drug monitoring, etc. However, IoMT devices communicate with each other in an open environment that makes them vulnerable to a wide range of malicious threats from malicious entities. To protect the devices and their associated data, we designed a broadcast authentication scheme for IoMT devices using identity-based public key cryptography that exploits the lightweight features of the Hyper-Elliptic Curve (HEC). We then performed the security analysis based on the Random Oracle Model (ROM), in which we have proved that the proposed scheme is unforgeable under the hardiness of the hyperelliptic curve discrete logarithm problem. The proposed scheme is analyzed in terms of computational and communication overhead and the experimental results justify the superiority of the proposed work in comparison to the existing schemes. © 2024 IEEE.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

EQCNN: Enhanced Remote Sensing Imagery Classification with Circuit-Based Error-Corrected Quantum Convolutional Neural Networks 25

EQCNN: Enhanced Remote Sensing Imagery Classification with C...

引用

25th International Conference on Digital Image Computing: Techniques and Applications, DICTA 2024

作者： Zaman, Muhammad Kehkashan, Tanzila Akhunzada, Adnan Alaidaros, Hashem Uddin, Mueen Azeem, Muhammad University of Lahore Faculty of Computer Science Punjab Sargodha40100 Pakistan Universiti Teknologi Malaysia Faculty of Computing Johor Bahru Malaysia College of Computing & It University of Doha for Science & Technology Department of Data and Cybersecurity Doha Qatar Dar Al-Hekma University Department of Cybersecurity Jeddah Saudi Arabia

ISBN: (纸本)9798350379037

Quantum information processing is more complex than classical counterpart because of the No-Cloning theorem, decoherence, and issues detecting quantum states. Building a quantum computer without error detection and correction module is challenging. To overcome this challenge, qubit error correction codes are implemented. Inadequate error detection and correction codes have been the downfall of earlier attempts to encode quantum information, leading to disrupted qubit transmission. Qubit information is decohered by circuit noise. Unfortunately, the principal qubit error, phase flip error is not corrected by existing qubit error correction methods. In this study, we proposed Quantum Error Detection and Correction scheme (QEDC) to keep qubit in a coherent state. Used S gates, unitary gates, 10 CNOT gates, and Hadamard gates spanning on 4 physical and 1 logical qubits over the IBM Quantum Experience Machine. We found that the error probability is reduced to 7.91% owing to the efficiency of the quantum information encoding and phase flip control. Furthermore, we proposed Error Corrected Quantum Convolution Neural Network (EQCNN) for Image Classification. EQCNN combat and correct qubit errors that occur during the image processing. EQCNN outperformed over Earth Observatory (EO) dataset, EuroSAT and achieved an impressive results of 99.3% accuracy, 98.9% F1-score, 96.73% precision, and 98.4% recall. © 2024 IEEE.

关键词： Qubits

来源：评论

学校读者我要写书评

暂无评论

Customer Segmentation Using Clustering Analysis

Customer Segmentation Using Clustering Analysis

引用

2024 IEEE International Conference on Information Technology, Electronics and Intelligent Communication Systems, ICITEICS 2024

作者： Jiet, Moses Makuei Kamble, Aahash Puri, Chetan Yesankar, Prajyot Verma, Prateek Rewatkar, Rajendra Faculty of Engineering and Technology Department of Computer Science & Design Maharashtra Wardha442001 India Faculty of Engineering and Technology Department of Artificial Intelligence & Data Science Maharashtra Wardha442001 India Faculty of Engineering and Technology Department of Artificial Intelligence & Machine Learning Maharashtra Wardha442001 India Faculty of Engineering and Technology Department of Biomedical Engineering Maharashtra Wardha442001 India

ISBN: (纸本)9798350382693

This research focuses on the crucial role of the clustering technique in data mining, specifically in market forecasting and planning. The study presents a comprehensive report on utilizing the k-means clustering technique and data visualization tools to develop a real- time system for a supermarket, predicting sales across various annual cycles. An open-source dataset of a mall with n = 200 customers divided into k = 3 groups, demonstrated high accuracy in predicting day-to-day sales statistics when compared with actual results. The research highlights the effectiveness of the clustering technique in real-time sales prediction for supermarkets. © 2024 IEEE.

关键词： Sales

来源：评论

学校读者我要写书评

暂无评论

Clarifying the Concept of Enterprise Architecture & System of Systems: A Systematic Literature Review 7

Clarifying the Concept of Enterprise Architecture & System o...

引用

7th International Conference on Sustainable Information Engineering and Technology, SIET 2022

作者： Diana, Lupna Kurniawan, Tri Astoto Priharsari, Diah Prabowo, Wahyu Setyo Brawijaya University Faculty of Computer Science Indonesia National Research and Innovation Agency Center for Data and Information

ISBN: (纸本)9781450397117

Enterprise-level system development requires a grand design to effectively achieve the system development objectives, which may involve more than one application. Currently, two approaches are available for creating such a grand design, i.e. Enterprise Architecture (EA) and System of Systems (SoS). In practice, EA plays a significant role in such development. However, it is not easy to choose correctly between the two because comparative studies do not yet exist in the literature, which, in turn, confuses. Thus, this research aims to develop a comparative study between EA and SoS using the Systematic Literature Review (SLR) approach. This study used four major digital libraries, i.e. Cambridge, Emerald Publishing, IEEE Xplore, and science Direct, resulting in 48 primary studies published in the last decade. The comparison relied on three main criteria, *** definition, the characteristics, and the framework. As a result, we have successfully clarified that EA and SoS have specific purposes. Finally, the result may become one of the knowledge resources for academia, researchers, and practitioners to adopt in creating a system development grand design at the enterprise level. © 2022 ACM.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

Multimodal Deep Representation Learning for Quantum Cross-Platform Verification

引用

Physical Review Letters 2024年第13期133卷 130601页

作者： Yang Qian Yuxuan Du Zhenliang He Min-Hsiu Hsieh Dacheng Tao School of Computer Science Faculty of Engineering College of Computing and Data Science JD Explore Academy Beijing 101111 China *** Beijing 101111 China Taipei 114699 Taiwan

Cross-platform verification, a critical undertaking in the realm of early-stage quantum computing, endeavors to characterize the similarity of two imperfect quantum devices executing identical algorithms, utilizing minimal measurements. While the random measurement approach has been instrumental in this context, the quasiexponential computational demand with increasing qubit count hurdles its feasibility in large-qubit scenarios. To bridge this knowledge gap, here we introduce an innovative multimodal learning approach, recognizing that the formalism of data in this task embodies two distinct modalities: measurement outcomes and classical description of compiled circuits on explored quantum devices, both containing unique information about the quantum devices. Building upon this insight, we devise a multimodal neural network to independently extract knowledge from these modalities, followed by a fusion operation to create a comprehensive data representation. The learned representation can effectively characterize the similarity between the explored quantum devices when executing new quantum algorithms not present in the training data. We evaluate our proposal on platforms featuring diverse noise models, encompassing system sizes up to 50 qubits. The achieved results demonstrate an improvement of 3 orders of magnitude in prediction accuracy compared to the random measurements and offer compelling evidence of the complementary roles played by each modality in cross-platform verification. These findings pave the way for harnessing the power of multimodal learning to overcome challenges in wider quantum system learning tasks.

关键词： Artificial neural networks Deep learning Quantum benchmarking Quantum computation

来源：评论

学校读者我要写书评

暂无评论

Privacy-Preserving Responsible Gaming Systems 2

Privacy-Preserving Responsible Gaming Systems

引用

2nd International Conference on Big data and Privacy Computing, BDPC 2024

作者： Zhu, Yizhao Chen, Lanxiang City University of Macau Faculty of Data Science 999078 China College of Computer and Cyber Security Fujian Normal University Fujian Provincial Key Laboratory of Network Security and Cryptology Fuzhou China

ISBN: (纸本)9798350307597

Responsible gaming aims at maintaining the integrity and sustainability of the gaming industry. However, The exchange of sensitive data, such as player and gaming related information, among different parties raises significant privacy concerns, and safeguarding privacy becomes a top priority consideration throughout the design and implementation of responsible gaming systems. In this paper, we introduce an innovative scheme that utilizes Oblivious Transfer (OT) and Private Set Intersection (PSI) protocols to address privacy concerns of responsible gaming systems. Our scheme proposes a system model that addresses privacy concerns related to player global limits and banned player list query and response, without requiring infrastructure changes, unlike blockchain-based solutions;Our proposed scheme not only addresses privacy concerns between the query user and the centralized database server but also mitigates privacy concerns between the query user and certificate authority (CA) by incorporating blind RSA signature scheme;Our proposed scheme achieves linear complexity in computation and communication, while remaining resilient against malicious adversaries under the random oracle model. © 2024 IEEE.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：