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

Fractional discrete neural networks with variable order: solvability, finite time stability and synchronization

The European Physical Journal Special Topics 2024年 1-14页

作者： Hioual, Amel Alomari, Saleh Al-Tarawneh, Hassan Ouannas, Adel Grassi, Giuseppe Laboratory of Dynamical Systems and Control University of Oum El-Bouaghi Oum El Bouaghi Algeria Faculty of Science and Information Technology Software Engineering Jadara University Irbid Jordan Department of Data Sciences and Artificial Intelligence Al-Ahliyya Amman University Amman Jordan Department of Mathematics and Computer Science University of Oum EL-Bouaghi Oum El Bouaghi Algeria Dipartimento Ingegneria Innovazione Universita del Salento Lecce Italy

Research in the field of dynamic behaviors in neural networks with variable-order differences is currently a thriving area, marked by various significant discoveries. However, when it comes to discrete-time neural networks featuring fractional variable-order nonlocal and nonsingular kernels, there has been limited exploration. This paper stands as one of the initial contributions to this subject, focusing primarily on the topics of stability and synchronization in finite-time within discrete neural networks. The research employs the nabla ABC variable-order difference operator, with a primary approach involving the investigation of a novel Gronwall inequality using the Atangana-Baleanu difference variable-order sum operator. This analysis leads to the development of a uniqueness theorem and a criterion for the stability in finite-time of variable-order discrete neural networks. Furthermore, the requirements stemming from this type of stability and the novel Gronwall inequality serve as the foundation for establishing the conditions necessary for achieving finite-time synchronization in these networks, employing a specific control using state feedback method. Finally, the study utilizes numerical solutions to validate the obtained results.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Model of Data Collection Control in the Internet of Things on the Basis of Social Network Technologies 13

Model of Data Collection Control in the Internet of Things o...

引用

13th Multiconference on Control Problems, MCCP 2020

作者： Zhukova, N.A. Thaw, A.M. Evnevich, E.L. St. Petersburg Research Center of the Russian Academy of Sciences 14-th Linia VI No. 39 St. Petersburg199178 Russia Faculty of Software Engineering and Computer Systems Itmo University Kronverkskiy prospekt 49 St. Petersburg197101 Russia

The paper deals with the issues of data collection in the dynamic Internet of Things network. An approach proposed is based on the models and methods of social networks analysis along with clustering methods commonly used in this case. The developed hybrid model tracks contacts between nodes of the network thus creating "social relationships"for each node and estimates the number and the frequency of "social contacts"characterizing the degree of "friendships". After fixing the contacts between nodes the model takes into consideration only the nodes connected by "friendship"relation. Data collection based on "social structure"provides higher security level and shows the enhancement as regards energy saving and delays of data transfer. © Published under licence by IOP Publishing Ltd.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Agro-field Boundary Detection using Mask R-CNN from Satellite and Aerial Images

Agro-field Boundary Detection using Mask R-CNN from Satellit...

引用

2021 International Conference on Information Science and Communications Technologies, ICISCT 2021

作者： Kuchkorov, Temurbek Ochilov, Temur Gaybulloev, Elyor Sobitova, Nazokat Ruzibaev, Ortik Tashkent University of Information Technologies Nmaed after Muhammad Al-Khwarizmi Department of Computer Systems Tashkent Uzbekistan National University of Uzbekistan Named after Mirzo Ulugbek Uzbek-Israel Joint Faculty Tashkent Uzbekistan Tashkent University of Information Technologies Nmaed after Muhammad Al-Khwarizmi Faculty of Software Engineering Tashkent Uzbekistan

ISBN: (纸本)9781665432580

Agriculture is important to the food security and economic growth of most countries in the world, especially in developing countries. Accurate information on field boundaries has considerable importance in precision agriculture and greatly assists land administration systems. This paper proposes a deep learning-based approach, for detecting and boundary segmentation of agricultural fields based on the state-of-the-art instance segmentation approach, Mask Region Convolutional Neural Network (Mask R-CNN). This model can accurately detect each agricultural field in the satellite and aerial image. The experimental results indicate that our automated approach can detect agricultural fields more accurately. © 2021 IEEE.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Design and demonstration of an operating system for executing applications on quantum network nodes

arXiv

引用

arXiv 2024年

作者： Donne, Carlo Delle Iuliano, Mariagrazia van der Vecht, Bart Ferreira, Guilherme M. Jirovská, Hana van der Steenhoven, Thom J.W. Dahlberg, Axel Skrzypczyk, Matt Fioretto, Dario Teller, Markus Filippov, Pavel Montblanch, Alejandro R.-P. Fischer, Julius van Ommen, H. Benjamin Demetriou, Nicolas Leichtle, Dominik Music, Luka Ollivier, Harold te Raa, Ingmar Kozlowski, Wojciech Taminiau, Tim H. Pawelczak, Przemyslaw Northup, Tracy E. Hanson, Ronald Wehner, Stephanie QuTech Kavli Institute of Nanoscience Delft University of Technology Delft2628 CJ Netherlands Quantum Computer Science Department of Software Technology Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology Delft2628 XE Netherlands Embedded Systems Department of Software Technology Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology Delft2628 XE Netherlands Institut für Experimentalphysik Universität Innsbruck Technikerstraße 25 Innsbruck6020 Austria QAT DIENS Ecole Normale Supérieure PSL University CNRS INRIA. 45 rue d’Ulm Paris75005 France LIP6 CNRS Sorbonne Université 4 Place Jussieu Paris75005 France

The goal of future quantum networks is to enable new internet applications that are impossible to achieve using solely classical communication[1, 2, 3]. Up to now, demonstrations of quantum network applications[4, 5, 6] and functionalities[7, 8, 9, 10, 11, 12] on quantum processors have been performed in ad-hoc software that was specific to the experimental setup, programmed to perform one single task (the application experiment) directly into low-level control devices using expertise in experimental physics. Here, we report on the design and implementation of the first architecture capable of executing quantum network applications on quantum processors in platform-independent high-level software. We demonstrate the architecture’s capability to execute applications in high-level software, by implementing it as a quantum network operating system – QNodeOS – and executing test programs including a delegated computation from a client to a server[13] on two quantum network nodes based on nitrogen-vacancy (NV) centers in diamond[14, 15]. We show how our architecture allows us to maximize the use of quantum network hardware, by multitasking different applications on a quantum network for the first time. Our architecture can be used to execute programs on any quantum processor platform corresponding to our system model, which we illustrate by demonstrating an additional driver for QNodeOS for a trapped-ion quantum network node based on a single 40Ca+atom[16]. Our architecture lays the groundwork for computer science research in the domain of quantum network programming, and paves the way for the development of software that can bring quantum network technology to society. Copyright © 2024, The Authors. All rights reserved.

关键词： Trapped ions

来源：评论

学校读者我要写书评

暂无评论

Prototype, Method, and Experiment for Evaluating Usability of Smart Home User Interfaces

SSRN

引用

SSRN 2024年

作者： Faizrakhmanov, Renat Bahrami, Mohammad Reza Platunov, Alexey Cyberphysical Systems Laboratory Innopolis University 1 Universitetskaya Str. Innopolis420500 Russia Research Center for Artificial Intelligence 1 Universitetskaya Str. Innopolis420500 Russia Samarkand International University of Technology 270 Spitamen Ave. Samarkand140100 Uzbekistan Faculty of Software Engineering and Computer Systems ITMO University Kronverksky Pr. 49 bldg. A St. Petersburg197101 Russia

Despite the widespread adoption of smart devices and home automation systems, users still face usability challenges. Additionally, evaluating the usability of smart home systems is not straightforward. Our paper focuses on building a Smart Home Prototype, selecting, and evaluating software User Interfaces (UI). We have chosen the smart home heating system as the basis, but the principles are applicable to other applications. To discuss smart home UIs, it is necessary to understand the components, implementation scenarios, configuration, and operation of smart home systems. Therefore, we devote considerable attention to these topics in the paper. Our smart home system utilizes a Raspberry Pi computer, temperature sensors, servo drives, an Android-based smartphone, and other necessary hardware. We installed and configured open-source software and third-party services on the experimental setup. We provided a brief description of each selected software. We used the Home Assistant operating system, its mobile application, voice assistant Alice, and Telegram chatbot. In our study, we described a methodology for evaluating user interfaces in smart homes and conducted an experiment to assess their usability. The experiment results indicated which interface was more user-friendly and identified the drawbacks of each. In conclusion, we discuss UI features that can improve usability and available options for building a smart home based on capabilities. © 2024, The Authors. All rights reserved.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

TEVA: Training-Efficient and Verifiable Aggregation for Federated Learning for Consumer Electronics in Industry 5.0

引用

IEEE Transactions on Consumer Electronics 2024年

作者： Xia, Yuanjun Liu, Yining Chen, Jingxue Liang, Yangfan Khan, Fazlullah Alturki, Ryan Wang, Xiaopei Guilin University of Electronic Technology Guangxi Key Laboratory of Trusted Software School of Computer and Information Security Guilin541004 China Wenzhou University of Technology School of Data Science and Artificial Intelligence Wenzhou325027 China University of Technology School of Mathematical and Physical Sciences SydneyNSW2007 Australia Jiaxing University Provincial Key Laboratory of Multimodal Perceiving and Intelligent Systems The Key Laboratory of Medical Electronics and Digital Health of Zhejiang Province The Engineering Research Center of Intelligent Human Health Situation Awareness of Zhejiang Province Jiaxing314001 China University of Nottingham Ningbo China School of Computer Science Faculty of Science and Engineering Zhejiang Ningbo315104 China Umm AI-Qura University Makkah Department of Software Engineering College of Computing Saudi Arabia Riverside Department of Computer Science and Engineering University of California CA92521 United States

Federated learning (FL) has been widely used for privacy-preserving model updates in Industry 5.0, facilitated by 6G networks. Despite FL's privacy-preserving advantages, it remains vulnerable to attacks where adversaries can infer private data from local models or manipulate the central server (CS) to deliver falsified global models. Current privacy-preserving approaches, primarily based on the FedAvg algorithm, fail to optimize training efficiency for non-independent and identically distributed (non-IID) data. This article proposes training-efficient and verifiable aggregation (TEVA) for FL to resolve these issues. This scheme combines threshold Paillier homomorphic encryption (TPHE), verifiable aggregation, and an optimized double momentum update mechanism (OdMum). TEVA not only leverages TPHE to protect the privacy of local models but also ensures the integrity of the global model through a verifiable aggregation mechanism. Additionally, TEVA integrates the OdMum algorithm to effectively address the challenges posed by non-IID data, promoting rapid model convergence and significantly enhancing overall training efficiency. Security analysis indicates that TEVA meets the requirements for privacy protection. Extensive experimental results demonstrate that TEVA can accelerate model convergence while incurring lower computational and communication overheads. © 1975-2011 IEEE.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

software Architecture for Quantum Computing systems - Asystematic Review

SSRN

引用

SSRN 2022年

作者： Khan, Arif Ali Ahmad, Aakash Waseem, Muhammad Liang, Peng Fahmideh, Mahdi Mikkonen, Tommi Abrahamsson, Pekka M3S Unit Empirical Software Engineering in Software Systems and Services University of Oulu Finland College of Computer Science and Engineering University of Ha'il Saudi Arabia School of Computer Science Wuhan University Wuhan China School of Business University of Southern Queensland QLD Australia Faculty of Information Technology University of Jyväskylä JyvaskylaFI-40014 Finland

Quantum computing systems rely on the principles of quantum mechanics to perform a multitude of computationally challenging tasks more efficiently than their classical counterparts. The architecture of software-intensive systems can empower architects who can leverage architecture-centric processes, practices, description languages, etc., to model, develop, and evolve quantum computing software (quantum software for short) at higher abstraction levels. We conducted a systematic literature review (SLR) to investigate (i) architectural process, (ii) modeling notations, (iii) architecture design patterns, (iv) tool support, and (iv) challenging factors for quantum software architecture. Results of the SLR indicate that quantum software represents a new genre of software-intensive systems;however, existing processes and notations can be tailored to derive the architecting activities and develop modeling languages for quantum software. Quantum bits (Qubits) mapped to Quantum gates (Qugates) can be represented as architectural components and connectors that implement quantum software. Tool-chains can incorporate reusable knowledge and human roles (e.g., quantum domain engineers, quantum code developers) to automate and customize the architectural process. Results of this SLR can facilitate researchers and practitioners to develop new hypotheses to be tested, derive reference architectures, and leverage architecture-centric principles and practices to engineer emerging and next generations of quantum software. © 2022, The Authors. All rights reserved.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

Reinforcement-Learning Based Method for Accelerating Functional Coverage Closure of Traffic Light Controller Dynamic Digital Design

Reinforcement-Learning Based Method for Accelerating Functio...

引用

International Conference on computer Theory and Applications (ICCTA)

作者： Youstina M. Halim Khaled A. Ismail Mohamed A. Abd El Ghany Sameh A. Ibrahim Youssef M. Halim Mixel Egypt. Electronics and Communications Engineering Dept. Faculty of Engineering Ain Shams University Cairo Egypt GSI Helmholtz Center for Heavy-Ion Research GmbH (GSI) Germany Electronics Department German University in Cairo Egypt. Integrated Electronic Systems Lab TU Darmstadt Germany Electronics and Communications Engineering Department Faculty of Engineering Ain Shams University Cairo Egypt Computer Engineering and Software Systems Dept. Faculty of Engineering Ain Shams University Cairo Egypt

Functional verification of digital designs is an increasingly complex and time-consuming endeavor. One of the major challenges in functional verification is achieving functional coverage closure in a timely manner. Verification experts have moved from using directed stimulus, towards constrained random stimulus and finally, towards using machine learning to direct stimulus. In this work, reinforcement learning (RL) was used, incorporating three different kinds of RL agents to direct stimulus generation for a traffic light controller system. Two of the agents are based on Q-learning (DQN and SARSA), and one is based on Monte-Carlo method (CEM). The maximum reduction in simulation time needed to achieve a targeted percent of coverage was 97%. The average reduction of simulation time across all testcases and agents used was 70%. The solution is highly reusable, the architecture was integrated with different agents and testcases.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A graph-based methodology for tracking covid-19 in time series datasets 2

A graph-based methodology for tracking covid-19 in time seri...

引用

2nd IEEE International Conference on Electronics, Control, Optimization and computer Science, ICECOCS 2020

作者： El Mouden, Zakariyaa Ait Jakimi, Abdeslam Taj, Rachida Moulay Hajar, Moha Moulay Ismail University Software Engineering Information Systems Engineering Faculty of Sciences and Techniques Errachidia Meknes Morocco Moulay Ismail University Operational Research Computer Science Faculty of Sciences and Techniques Errachidia Meknes Morocco

ISBN: (纸本)9781728169217

Since its first appearance in December 2019, Covid-19 has become a wide field of scientific research. Starting from biology to bioinformatic solutions, Artificial Intelligence has contributed in turn as a powerful tool for tracking and predicting the outbreak of Covid-19 using different types of datasets. Chest X-ray images are widely used in computer vision applications and Time series datasets are used for predicting the spread of the novel coronavirus. Graph analytics is a recent field of study that links the mathematical definition and operations of a graph to its application in computer science as a complex data structure, this combination has played a critical role in making graph-based applications present in different fields. One of the most powerful graph analytics is community detection which is an intelligent and unsupervised grouping of a set of graph structured data using the similarity between them. The aim of this work is to highlight the importance of graph-based algorithms in tracking Covid-19 using time series datasets, our work will also focus on Spectral Clustering (SC) as a community detection approach to extract clusters from the input datasets. Further applications are needed in order to validate the proposed theoretical approach. © 2020 IEEE.

关键词： Time series

来源：评论

学校读者我要写书评

暂无评论

Emergency Vehicle Navigation in Connected Autonomous systems Using Enhanced Traffic Management System

引用

IEEE Internet of Things Journal 2025年

作者： Raja, Gunasekaran Anbalagan, Sudha Gurumoorthy, Sugeerthi Jegathesan, Darshini Girivel, Niveditha Subramanian Sundaram, Varsha Mani Shanmuga Khowaja, Sunder Ali Dev, Kapal Anna University NGNLab Department of Computer Technology MIT Campus Chennai600044 India Vellore Institute of Technology Chennai Centre for Smart Grid Technologies School of Computer Science and Engineering Chennai600127 India Citicorp Services Private Ltd Software Development Chennai600113 India Dublin City University School of Computing Faculty of Engineering and Computing Glasnevin Campus DublinD09 V209 Ireland Munster Technological University Department of Computer Science Bishopstown CorkT12 P928 Ireland University of Johannesburg Department of Institute of Intelligent Systems Johannesburg2006 South Africa Chitkara University Institute of Engineering and Technology Centre for Research Impact Outcome Chitkara University Punjab Rajpura140401 India

Autonomous Vehicle (AV) usage has become predominant in the rapidly evolving landscape of urban transportation. Integrating AVs and non-AVs in the existing traffic infrastructure has significantly increased the complexity of traffic patterns. This research work primes the enhanced Traffic Management System (e-TMS), a solution implemented to expedite Emergency Vehicle (EV) travel in the context of Connected AVs (CAVs) and ensured secured communication employing Public Key Infrastructure (PKI) among the Internet of Vehicles (IoV) framework. When an EV is detected, the IoV system verifies the EV's signal using PKI, ensuring its authenticity and integrity by encrypting the communication between the EV and Road Side Units (RSUs). Further, the e-TMS activates the platooning process where CAVs in the EV's lane shift to the adjacent lanes and dynamically form platoons to create a dedicated lane for the EV. To further optimize the platooning process, an Adaptive Smart Leader Selection (ASLS) algorithm is employed to select a leader vehicle spontaneously among the AVs based on the proximity to the EV, communication reliability, and lane position. Radio Detection and Ranging devices aid this platooning process by providing distance and target velocity, which are needed to maintain the required distance between the AVs and ensure safe platoon formation. The e-TMS enhances EV response times and overall traffic flow efficiency and resulted in 27.8% increase in mean speed compared to the traditional methods. © 2014 IEEE.

关键词： Emergency vehicles

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：