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

47th International Symposium on Mathematical Foundations of computer Science, MFCS 2022

作者： Klobas, Nina Mertzios, George B. Molter, Hendrik Spirakis, Paul G. Department of Computer Science Durham University United Kingdom Department of Industrial Engineering and Management Ben-Gurion University of the Negev Israel Department of Computer Science University of Liverpool United Kingdom Computer Engineering & Informatics Department University of Patras Greece

ISBN: (纸本)9783959772563

A graph is temporally connected if there exists a strict temporal path, i.e., a path whose edges have strictly increasing labels, from every vertex u to every other vertex v. In this paper we study temporal design problems for undirected temporally connected graphs. The basic setting of these optimization problems is as follows: given a connected undirected graph G, what is the smallest number |λ| of time-labels that we need to add to the edges of G such that the resulting temporal graph (G, λ) is temporally connected? As it turns out, this basic problem, called Minimum Labeling (ML), can be optimally solved in polynomial time. However, exploiting the temporal dimension, the problem becomes more interesting and meaningful in its following variations, which we investigate in this paper. First we consider the problem Min. Aged Labeling (MAL) of temporally connecting the graph when we are given an upper-bound on the allowed age (i.e., maximum label) of the obtained temporal graph (G, λ). Second we consider the problem Min. Steiner Labeling (MSL), where the aim is now to have a temporal path between any pair of "important" vertices which lie in a subset R ⊆ V , which we call the terminals. This relaxed problem resembles the problem Steiner Tree in static (i.e., non-temporal) graphs. However, due to the requirement of strictly increasing labels in a temporal path, Steiner Tree is not a special case of MSL. Finally we consider the age-restricted version of MSL, namely Min. Aged Steiner Labeling (MASL). Our main results are threefold: we prove that (i) MAL becomes NP-complete on undirected graphs, while (ii) MASL becomes W[1]-hard with respect to the number |R| of terminals. On the other hand we prove that (iii) although the age-unrestricted problem MSL remains NP-hard, it is in FPT with respect to the number |R| of terminals. That is, adding the age restriction, makes the above problems strictly harder (unless P=NP or W[1]=FPT). © 2022 Schloss Dagstuhl- Leibniz-Zentrum fu

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Unified Power Flow Controller: Operation, Modelling and Applications 17

Unified Power Flow Controller: Operation, Modelling and Appl...

引用

17th IEEE International Symposium on Applied Computational Intelligence and informatics, SACI 2023

作者： Dehghani, Majid Yousefi, Mohammad Reza Mosavi, Amir Fathollahi, Arman Islamic Azad University Najafabad Branch Department of Electrical Engineering Najafabad Iran Obuda University John von Neumann Faculty of Informatics Budapest Hungary Aarhus University Department of Electrical and Computer Engineering Aarhus Denmark

ISBN: (纸本)9798350321104

This paper focuses on implementing the unified power flow controller (UPFC) in the optimal power flow approach, a critical aspect of power and control system operations. Optimal power flow minimizes operating costs and maintains safety margins for control variables, making it an indispensable tool for energy management. The flexible AC transmission system (FACTS) is a fundamental component of this approach, with the UPFC playing a crucial role. This versatile device provides various types of energy system compensation, enabling the independent control of reactive and active electrical power in transmission lines and bus voltages simultaneously. Previous studies have explored a wide range of engineering applications for UPFC using diverse techniques. This paper reviews these applications, specifically examining how UPFC can increase power system flexibility and controllability. Additionally, this paper explores utilizing artificial intelligence (AI) in the placement of UPFC in power systems. By incorporating AI techniques such as machine learning and optimization algorithms, power system operators can optimize the placement of UPFC to achieve optimal energy management. This approach enhances the efficiency and reliability of energy systems, resulting in significant cost savings and improved power system performance. © 2023 IEEE.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

Priority Based Cyber Incident Handling: Work in Progress 11

Priority Based Cyber Incident Handling: Work in Progress

引用

11th International Conference on Electrical engineering, computer Science and informatics, EECSI 2024

作者： Mulyati Stiawan, Deris Widhiarso, Wijang Budiarto, Rahmat Multi Data Palembang University & Faculty of Engineering Universitas Sriwijaya Department of Information System Palembang Indonesia Sriwijaya University Faculty of Computer Science Palembang Indonesia Multi Data Palembang University Department of Informatics Palembang Indonesia College of Computer Science & IT Albaha University Saudi Arabia

ISBN: (纸本)9798350355314

Effective and efficient cyber incident handling is crucial for maintaining the security of information systems and organizational data. This research aims to develop a priority-based cyber incident handling method by adopting the NIST 2.0 framework and utilizing machine learning classification algorithms. This method enables organizations to quickly and accurately identify and respond to incidents based on threat levels and impact, focusing resources on the most critical incidents. The research employs the Support Vector Machine (SVM) classification algorithm to determine incident priorities. The study is still developing for handling cyber incidents, followed by testing and evaluating the system prototype within organizations. Initial results indicate that the priority-based approach using the SVM classification algorithm achieves a True Positive (TP) Rate of 0.999 and a False Positive (FP) Rate of 0.008, with a correlation of 98.88%, resulting in excellent performance in identifying positive cases and a low error rate. © 2024 IEEE.

关键词： Cyber attacks

来源：评论

学校读者我要写书评

暂无评论

Provably Secure Efficient Key-Exchange Protocol for Intelligent Supply Line Surveillance in Smart Grids

引用

IEEE Internet of Things Journal 2025年第12期12卷 21784-21792页

作者： Ayub, Muhammad Faizan Li, Xiong Mahmood, Khalid Alenazi, Mohammed J.F. Das, Ashok Kumar Wang, Guijuan University of Electronic Science and Technology of China School of Computer Science and Engineering Sichuan Chengdu12599 China National Yunlin University of Science and Technology Graduate School of Intelligent Data Science Yunlin Douliu64002 Taiwan Department of Computer Engineering Riyadh11451 Saudi Arabia International Institute of Information Technology Center for Security Theory and Algorithmic Research Hyderabad500 032 India Korea University College of Informatics Department of Computer Science and Engineering Anam-ro Seoul145 Korea Republic of Ministry of Education Shandong Computer Science Center Qilu University of Technology Shandong Academy of Sciences Key Laboratory of Computing Power Network and Information Security Jinan250353 China Shandong Provincial Key Laboratory of Industrial Network and Information System Security China Shandong Fundamental Research Center for Computer Science Jinan 250353 China

Intelligent supply line surveillance is critical for modern smart grids. Smart sensors and gateway nodes are strategically deployed along supply lines to achieve intelligent surveillance. They collect data continuously and transmit it to the control centre in real-time. It enables real-time monitoring, fault detection, and efficient energy management across distribution networks. This advanced surveillance system ensures continuous monitoring of supply lines, detecting anomalies, and optimizing operations to maintain the stability and reliability of the smart grid. However, the reliance of all participating nodes on public communication channels to transmit supply line surveillance data exposes these systems to critical cyber attacks. These cyber attacks include impersonation, physical tampering, ephemeral secret leakage, and desynchronization attacks. To address these issues, existing key-exchange protocols often fail to ensure robust security while imposing high computation and communication overheads, limiting their practicality for resource-constrained environments. Therefore, we propose a secure and efficient key exchange and tamper-resistant authentication protocol using Elliptic Curve Cryptography (ECC) and Physical Unclonable Functions (PUFs). The PUF mechanism provides robust resistance against physical tampering and cloning attacks, ensuring enhanced physical security for supply line devices. We validate the security robustness of the devised protocol using the Random or Real (ROR) model. Furthermore, informal security analysis demonstrates the protocol's robustness in rigorously resisting various attacks, including physical tampering, impersonation, ephemeral secret leakage and desynchronization. Moreover, we determine the performance evaluation that reveals the protocol's superior efficiency compared to competing protocols, achieving significant reductions of 28.64% in computation overhead and 9.96% in communication overhead. © 2014 IEEE.

关键词： Authentication Protocol

来源：评论

学校读者我要写书评

暂无评论

A Prediction Approach for the Functional Effects of Non-Coding Gene Variants 23

A Prediction Approach for the Functional Effects of Non-Codi...

引用

23rd International Arab Conference on Information Technology, ACIT 2022

作者： Yurtdas, Gozde Aslan, Kagan Ozyer, Sibel Tariyan Ozyer, Tansel Kaya, Mehmet Alhajj, Reda Istanbul Medipol University Department of Computer Engineering Istanbul Turkey Ankara Medipol University Department of Computer Engineering Ankara Turkey Firat University Department of Computer Engineering Elazig Turkey University of Calgary Department of Computer Science Alberta Canada University of Southern Denmark Department of Health Informatics Odense Denmark

ISBN: (纸本)9798350320244

The aim of this study is to develop an approach for predicting the functional effects of variants of non-coding genes which have great importance in human genetics. Non-coding genes have formed a very vital field of study since they have a high effect on diseases. However, little is known about non-coding genes compared to coding genes, and they are found in the body almost 9 times more than coding genes. This is a critical issue, and i t is very important to predict the effects of these genes, which are so abundant in the body and difficult to understand. This exhibits the motivation of the study described in the paper. For this purpose, an extensive literature review was first conducted, and possible datasets that could be used were examined. Then, using Python programming language, we developed a prediction model with high accuracy. After investigating how important non-coding gene variants are, and in what areas they can be used, we decided to use a functional interaction network from the deep learning models as the most suitable method. We used STRING (Search Tool for the Retrieval of Interacting Genes/Proteins) which is a biological database and web resource of known and predicted protein-protein interactions. As a second step, we generated feature vectors. After checking the overlap of non-coding genes, we extracted three types of feature vectors. Identifying protein interaction network in Python, the outcome describes the interplay between the biomolecules encoded by genes. It allows to understand the complexities of cellular functions, and even predict potential therapeutics. As a last step, we implemented a deep learning model which included three fully connected (FC) layers, also known as dense layers, with dimensions 40, 10, and 2, respectively. Experimental results demonstrate that the proposed method captured high accuracy values. © 2022 IEEE.

关键词： Genes

来源：评论

学校读者我要写书评

暂无评论

Comparison of Q&A Classification Using BiLSTM Based on Closed Domain Knowledge

Comparison of Q&A Classification Using BiLSTM Based on Close...

引用

Electrical Power, Electronics, Communications, Controls and informatics Seminar (EECCIS)

作者： Alifi Lazuardi Gunawan Fitra Abdurrachman Bachtiar Budi Darma Setiawan Informatics Engineering Department Faculty of Computer Science Brawijaya University Malang Indonesia

ISBN: (数字)9798350379914

ISBN: (纸本)9798350379921

The Faculty of computer Science, Universitas Brawijaya (Filkom UB) is committed to providing quality services for the users especially internal and external stakeholders, one of which is through the HaloFilkom service. HaloFilkom services have limitations in terms of time. HaloFilkom services are not available 24 hours due to limited working hours. Questions asked by users are not answered directly. This weakness in the HaloFilkom system can be overcome by using a chatbot system. Chatbot is an interactive system that works with natural human language and can work 24 hours. Thus, the current study explores the basic chatbot model by classifying the Q&A in the closed domain knowledge. The dataset in this research is in the form of pairs of questions and answers regarding various topics at the Filkom UB. The knowledge is preprocessed using text preprocessing which includes case folding, tokenization, padding, and tensorization. One of the chatbot models is a generative model. Creating a generative chatbot model can be done using the Seq2Seq model mechanism which consists of an encoder and decoder. The model created consists of four different architectures, namely a model with an LSTM encoder without attention and with attention and a BiLSTM model encoder without attention and with attention. Hyperparameter tuning was conducted to obtain the best hyperparameter combination. The experiment results show the best hyperparameter combination obtained is hidden size 448, drop out rate 0.5, learning rate 0.001, batch size 64, and teacher force 0. The model with the best loss is obtained with a BiLSTM encoder architecture without an attention mechanism with a train loss of 0.120. The model with the highest BLEU Score was obtained by a model with a BiLSTM encoder architecture without an attention mechanism with a BLEU Score of 0.8587 on the training data. Testing using prompt testing obtained an average BLEU Score of 0.3745 on the BiLSTM encoder without an attention mechanism mo

关键词： Attention mechanisms Force Bidirectional long short term memory Training data computer architecture Chatbots Data models Space exploration Tuning Testing

来源：评论

学校读者我要写书评

暂无评论

Recurrent Optical Spectrum Slicing Receiver for Power Fading Mitigation in Highly Dispersive Links using Programmable Photonics

Recurrent Optical Spectrum Slicing Receiver for Power Fading...

引用

2024 IEEE Photonics Conference, IPC 2024

作者： Sozos, K. Da Ros, F. Yankov, Metodi Deligiannidis, Stavros Sarantoglou, G. Mesaritakis, C. Bogris, A. University of West Attica Department of Informatics and Computer Engineering Aghiou Spiridonos Egaleo Athens12243 Greece Technical University of Denmark Department of Electrical and Photonics Engineering Ørsteds Plads Kgs. LyngbyDK-2800 Denmark University of the Aegean Department of Information and Communication Systems Engineering Palama 2 Karlovassi83200 Greece

We experimentally validate our works in recurrent optical spectrum slicers for dispersion compensation in IM/DD links, exploiting programmable photonics. We equalize 50 km of 64 Gb/s PAM-4 transmission in C-band, with... 详细信息

ISBN: (纸本)9798350361957

关键词： Optical links

来源：评论

学校读者我要写书评

暂无评论

Numerical P Systems: Variants and Applications 24

Numerical P Systems: Variants and Applications

引用

24th Conference Information Technologies - Applications and Theory, ITAT 2024

作者： Bobe, Radu Traian Gheorghe, Marian Ipate, Florentin Niculescu, Ionuţ Mihai Department of Computer Science Faculty of Mathematics and Computer Science University of Bucharest Str Academiei 14 Bucharest010014 Romania Faculty of Engineering and Informatics University of Bradford Bradford West YorkshireBD7 1DP United Kingdom

Numerical P systems are compuational models which are inspired by cellular processes and use numerical values inside the membrane structure. In this paper we will present the variants of numerical P systems that have been proposed in the literature. In particular, we will discuss the advantages introduced by these extensions in terms of Turing completeness and potential applications. Moreover, using a reference example, we will experiment a mapping between some important numerical P systems variants. © 2024 CEUR-WS. All rights reserved.

关键词： Membrane structures

来源：评论

学校读者我要写书评

暂无评论

Mobile Vision Transformer for Surface Defect Classification from A Tiny Dataset 14

Mobile Vision Transformer for Surface Defect Classification ...

引用

14th International Conference on Information and Communication Technology and System, ICTS 2023

作者： Permatasari, Ghaluh Indah Pao, Hsing-Kuo Pribadi, Rudy Cahyadi Hario Iqbal, Mohammad National Taiwan University of Science and Technology Department of Computer Science and Information Engineering Taipei106 Taiwan University of Bhayangkara Department of Informatics Engineering Surabaya Indonesia Institut Teknologi Sepuluh Nopember Department of Mathematics Surabaya60111 Indonesia

ISBN: (纸本)9798350312164

Surface defect classification is one pivotal step during the last product inspection before selling it to the market. Indeed, we want to serve our product to the customer in good condition. Speaking of smart manufacturing, existing studies on hot-rolled steel strip surface defect classification used deep learning models, which are very costly in terms of hardware, parameters, and dataset size. In this work, we propose a finetuned lightweight model from the Mobile Vision Transformer (MobileViT) to efficiently classify the surface defect of hot-rolled steel strips from a tiny data set. In this study, we experimented on a public benchmark dataset for surface defects of hot-rolled steel strip classification. The results showed that the proposed model can predict the defect accurately with fewer parameters and a smaller dataset than the SOTA ones. © 2023 IEEE.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Test-Driven Simulation of Robots Controlled by Enzymatic Numerical P Systems Models 15th

Test-Driven Simulation of Robots Controlled by Enzymatic N...

引用

15th EAI International Conference on Simulation Tools and Techniques, SIMUTools 2023

ISBN: (纸本)9783031575228

The simulation of robots behavior and the use of robust models are very important for building controllers. Testing is an important aspect in this process. In this paper, a test-driven approach for designing robot controllers based on enzymatic numerical P systems models is introduced. Four such models are defined and tested using three distinct scenarios. The paper reveals an effective way of using modelling, simulation and testing in a coherent way. © ICST Institute for computer Sciences, Social informatics and Telecommunications engineering 2024.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：