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

29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024

作者： Guarino, Paolo Nevi, Filippo Pra, Paolo Dai Quaglia, Davide Villa, Tiziano University of Verona Department of Engineering for Innovation Medicine Italy Pure Power Control™S.r.l. Italy University of Verona Department of Computer Science Italy

ISBN: (纸本)9798350361230

Mechanisms for detecting communication errors are crucial in industrial networks where reliability is a primary requirement. Even if the Cyclic Redundancy Check (CRC) polynomial generator is given for each transmission protocol, an application designer could choose a specific protocol according to its robustness, or additional error detection mechanisms can be freely added at the application level (e.g., nested CRC). Therefore, a methodology is desired to evaluate the residual error probability of a given protocol, i.e., considering its packet structure and error detection mechanism. Symbolic approaches proposed in the literature are not scalable for usual packet sizes. Monte Carlo simulation can be a valid alternative to inject errors and see what happens. However, the brute force generation of error patterns takes too much simulation time if the channel error probability is very low, as in realistic scenarios. This paper presents a Monte Carlo approach enriched with Importance Sampling, implemented in a tool11https://***/guarinopaolo/residual-error-probability-simulator. The framework takes the packet structure and the error detection mechanism as input, thus being independent of them. Experimental results validate the approach with respect to state-of-the-art approaches and show its effectiveness in exploring protocol alternatives. © 2024 IEEE.

关键词： Internet protocols

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Set-Membership Filtering for Discrete-Time Nonlinear Systems

引用

IEEE/CAA Journal of Automatica Sinica 2022年第6期9卷 1026-1036页

作者： Jingyang Mao Xiangyu Meng Derui Ding Department of Control Science and Engineering University of Shanghai for Science and TechnologyShanghai 200093China Division of Electrical and Computer Engineering Louisiana State UniversityBaton RougeLA70803 USA IEEE School of Science Computing and Engineering TechnologiesSwinburne University of TechnologyMelbourneVIC 3122Australia

In this article,the problem of state estimation is addressed for discrete-time nonlinear systems subject to additive unknown-but-bounded noises by using fuzzy set-membership ***,an improved T-S fuzzy model is introduced to achieve highly accurate approximation via an affine model under each fuzzy ***,compared to traditional prediction-based ones,two types of fuzzy set-membership filters are proposed to effectively improve filtering performance,where the structure of both filters consists of two parts:prediction and *** the locally Lipschitz continuous condition of membership functions,unknown membership values in the estimation error system can be treated as multiplicative noises with respect to the estimation ***-time recursive algorithms are given to find the minimal ellipsoid containing the true ***,the proposed optimization approaches are validated via numerical simulations of a one-dimensional and a three-dimensional discrete-time nonlinear systems.

关键词： Affine model membership functions set-membership filtering stability Takagi-Sugeno fuzzy modeling

来源：评论

学校读者我要写书评

暂无评论

AI-Driven Innovations in Healthcare: Bridging Imaging and Genomics for Advanced Disease Insights

AI-Driven Innovations in Healthcare: Bridging Imaging and Ge...

引用

2024 Ital-IA Intelligenza Artificiale - Thematic Workshops, Ital-IA 2024

作者： Adornetto, Carlo Bruno, Pierangela Calimeri, Francesco De Rose, Edoardo Greco, Gianluigi Quarta, Alessandro Department of Mathematics and Computer Science University of Calabria Via Pietro Bucci Rende Italy Department of Computer Control and Management Engineering "Antonio Ruberti" Sapienza University of Rome Via Ariosto 25 Rome Italy

The application of Artificial Intelligence (AI) techniques for analyzing medical images and omics data is revolutionizing the healthcare industry by offering profound insights into various diseases. Achieving precise diagnoses and formulating effective treatment plans, however, demands intricate and multimodal analysis of complex, sensitive, and diverse medical datasets. Recent advancements in Machine Learning and Deep Learning have proven to be formidable in identifying and classifying specific diseases. This paper outlines the current projects undertaken by our research group in this innovative domain. © 2024 Copyright for this paper by its authors.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Automatic Smart Contract Generation Through LLMs: When The Stochastic Parrot Fails 6

Automatic Smart Contract Generation Through LLMs: When The S...

引用

6th Distributed Ledger Technology Workshop, DLT 2024

作者： Barbàra, Fadi Napoli, Emanuele A. Gatteschi, Valentina Schifanella, Claudio Department of Computer Science University of Turin Via Pessinetto 12 Turin10149 Italy Department of Computer and Control Engineering Politecnico di Torino Corso Duca degli Abruzzi 24 Turin10129 Italy

Blockchain and Artificial Intelligence (AI) have revolutionized the technology landscape, evolving predominantly along parallel trajectories. This research investigates the feasibility of integrating these two domains, specifically examining the potential of the latest advancements in Large Language Models (LLMs) to assist non-experts in the development of production-ready Solidity smart contracts. Utilizing a lease agreement as a case study, we employ GPT-4 to translate the document into smart contract code. To ensure consistency, we design several distinct prompts with analogous objectives, each employed multiple times. Our evaluation methodology encompasses both automated analysis and expert manual review. The findings indicate a clear limitation: the current iteration of GPT-4 is incapable of generating production-ready smart contracts, primarily due to undetected coding flaws and discrepancies between the prompts and the generated code. This study underscores the challenges and limitations inherent in leveraging LLMs for the autonomous generation of complex, real-world applicable smart contracts. © 2024 Copyright for this paper by its authors.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

An Ensemble of UNet Frameworks for Lung Nodule Segmentation

An Ensemble of UNet Frameworks for Lung Nodule Segmentatio...

引用

International Conference on Actual Problems of Applied Mathematics and computer Systems, APAMCS 2022

作者： Gautam, Nandita Basu, Abhishek Kaplun, Dmitry Sarkar, Ram Department of Computer Science and Engineering Jadavpur University Kolkata India Department of Computer Science and Engineering National Institute of Technology Durgapur Durgapur India Department of Automation and Control Processes Saint Petersburg Electrotechnical University "LETI" Saint Petersburg Russia

ISBN: (纸本)9783031341267

One of the most common types of cancer in the world is lung cancer, which is a cause of increasing mortality. It is most often discovered in the middle and later stages as it does not have obvious symptoms due to which its treatment is often missed. Studies show that most lung cancers are in the form of lung nodules, which can be categorized as benign or malignant. Thus, accurate early identification of malignant lung nodules that might later become cancerous is essential for the prevention of lung cancer. Computed Tomography (CT) images can be useful for identifying and segmenting these nodules. In this paper, we propose an ensemble model, called BUS-UNet++, to segment lung nodules using CT images. We use a combination of the ConvLSTM up-sampling architecture from BUS-UNet and skip connections in aggregation blocks from the UNet++ model to build the BUS-UNet++ ensemble. The dataset for this study is collected from the Lung Image Database Consortium Image Database Resource Initiative (LIDC-IDRI), where we have selected the modality of these images as CT images. These are further preprocessed to obtain nodule masks and nodule images, which constitute the Region of Interest (RoI). The accuracy achieved with the Adam Optimizer is 0.9731, the Intersection over Union (IoU) of about 0.8439, and the dice score coefficient (DSC) of about 0.958 are obtained by the proposed system. This ensemble model outperforms several state-of-the-art models used for the same purpose. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Cloud-edge-based We-Market:Autonomous Bidding and Peer-to-peer Energy Sharing Among Prosumers

引用

Journal of Modern Power Systems and Clean Energy 2023年第4期11卷 1282-1293页

作者： Fangyuan Si Yinghua Han Qinqin Xu Jinkuan Wang Qiang Zhao College of Information Science and Engineering Northeastern UniversityShenyangChinaand F.Si is also with the State Key Laboratory of Power System and Generation EquipmentDepartment of Electrical EngineeringTsinghua UniversityBeijingChina School of Computer and Communication Engineering Northeastern University at QinhuangdaoQinhuangdaoChina School of Control Engineering Northeastern University at QinhuangdaoQinhuangdaoChina

With the extensive penetration of distributed renewable energy and self-interested prosumers,the emerging power market tends to enable user autonomy by bottom-up control and distributed *** paper is devoted to solving the specific problems of distributed energy management and autonomous bidding and peer-to-peer(P2P)energy sharing among prosumers.A novel cloud-edge-based We-Market is presented,where the prosumers,as edge nodes with independent control,balance the electricity cost and thermal comfort by formulating a dynamic household energy management system(HEMS).Meanwhile,the autonomous bidding is initiated by prosumers via the modified Stone-Geary utility *** the cloud center,a distributed convergence bidding(CB)algorithm based on consistency criterion is developed,which promotes faster and fairer bidding through the interactive iteration with the edge ***,the proposed scheme is built on top of the commercial cloud platform with sufficiently secure and scalable computing *** results show the effectiveness and practicability of the proposed We-Market,which achieves 15%cost reduction with shorter running *** analysis indicates better scalability,which is more suitable for largerscale We-Market implementation.

关键词： We-Market bidding energy sharing prosumer peer-to-peer cloud-edge

来源：评论

学校读者我要写书评

暂无评论

Editorial: The Second International Workshop on Artificial Intelligence Systems in Education - AIxEDU 2

Editorial: The Second International Workshop on Artificial I...

引用

2nd International Workshop on Artificial INtelligent Systems in Education, AIxEDU 2024

作者： Casalino, Gabriella Limongelli, Carla Schicchi, Daniele Taibi, Davide Temperini, Marco Department of Computer Science University of Bari Aldo Moro Bari Italy Department of Civil Computer Science and Aeronautical Technologies Engineering Roma Tre University Rome Italy Institute for Educational Technology Italian National Research Council CNR-ITD Palermo Italy Department of Computer Control and Management Engineering Sapienza University of Rome Rome Italy

The Second International Workshop on Artificial Intelligence Systems in Education (AIxEDU) marks its 2024 edition in conjunction with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA), held from 25-28 November 2024 in Bolzano, Italy. This workshop brings together Artificial Intelligence and Education experts to explore the latest innovations and best practices in applying AI to educational contexts. Participants discuss recent trends, research initiatives, and emerging developments in AI technologies that aim to enhance teaching methodologies, support personalized learning, and address pressing educational challenges. The workshop emphasizes a multidisciplinary approach to understanding how AI systems can promote inclusion, improve learning outcomes, and empower educators while addressing ethical considerations and ensuring equitable access to education aligned with global sustainable development goals. © 2024 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Receding-Horizon control of Constrained Switched Systems with Neural Networks as Parametric Function Approximators

引用

SN computer science 2023年第1期4卷 62页

作者： Markolf, Lukas Stursberg, Olaf Control and System Theory Department of Electrical Engineering and Computer Science University of Kassel Wilhelmshöher Allee 71-73 Kassel 34121 Germany

This work studies receding-horizon control of discrete-time switched linear systems subject to polytopic constraints for the continuous states and inputs. The objective is to approximate the optimal receding-horizon control strategy for cases in which the online computation is intractable due to the necessity of solving mixed-integer quadratic programs in each discrete time instant. The proposed approach builds upon an approximated optimal finite-horizon control law in closed-loop form with guaranteed constraint satisfaction. The paper derives the properties of recursive feasibility and asymptotic stability for the proposed approach. A numerical example is provided for illustration and evaluation of the approach. © 2022, The Author(s).

关键词： Model approximation Neural networks Online control Optimization Reinforcement learning Stability

来源：评论

学校读者我要写书评

暂无评论

Pervasive Indoor User Identification Leveraging Mobile Single Station Localization

引用

IEEE Internet of Things Journal 2025年第11期12卷 15224-15237页

作者： Nie, Wendi Liu, Zexing Wang, Xiaoyang Duan, Yaoxin Lam, Kam-Yiu Liu, Kai Ng, Joseph K. Y. Xue, Chun Jason Gui, Guan Ministry of Education Key Laboratory of Industrial Internet of Things and Networked Control China Chongqing University of Posts and Telecommunications School of Automation/School of Industrial Internet Chongqing40065 China Institute of Industrial Internet Chongqing401120 China City University of Hong Kong Computer Science Department Hong Kong Chongqing University College of Computer Science Chongqing400030 China Hong Kong Baptist University Computer Science Department Hong Kong Mohamed Bin Zayed University of Artificial Intelligence Department of Computer Science Abu Dhabi United Arab Emirates Nanjing University of Posts and Telecommunications College of Telecommunications and Information Engineering Nanjing210003 China

The utilization of Wi-Fi-based technology for pervasive indoor user identification has gained prominence due to its cost-effective nature and compatibility with user devices. Previous works proposed capturing the media access control (MAC) address emitted from a user's device and using Information Elements (IE)-based MAC de-randomization methods to mitigate the impairment caused by random MAC. However, IE types of different Wi-Fi devices are not consistently differentiated, leading to identification errors in IE-based methods. Additionally, typical Wi-Fi fingerprinting approaches require densely pre-deployed Wi-Fi stations, contradicting the principle of pervasive localization. To address these challenges, we propose the mobile single station-based user identification (***) technique, which leverages Wi-Fi mobile single stations for pervasive indoor user identification. *** includes mobile single station localization (MSL) and MAC de-randomization based on users' spatio-temporal location and IE information (***). MSL can be implemented on a standard mobile Wi-Fi station without extensive pre-deployment. *** performs MAC de-randomization using the LIC algorithm to identify users with random MAC addresses. Experimental results demonstrate that *** outperforms previous IE-based user identification methods and multi-station localization techniques. MSL achieves a localization error of 1.15 meters which is better than multi-station with 12 APs of 1.40 meters. *** demonstrates an identification accuracy of 95.24% which is better than AIMAC of 85.48%. © 2014 IEEE.

关键词： Medium access control

来源：评论

学校读者我要写书评

暂无评论

On tuning of ADRC with competing design indices:a quantitative study

引用

control Theory and Technology 2023年第1期21卷 16-33页

作者： Yutao Zhao Yi Huang Zhiqiang Gao Key Laboratory of Systems and Control Academy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190China School of Mathematical Sciences University of Chinese Academy of SciencesBeijing 100049China Department of Electrical Engineering and Computer Science Center for Advanced Control TechnologiesCleveland State UniversityClevelandOH 44115USA

controller optimization has mostly been done by minimizing a certain single cost *** practice,however,engineers must contend with multiple and conflicting considerations,denoted as design indices(DIs)in this *** to account for such complexity and nuances is detrimental to the applications of any advanced control *** paper addresses this challenge heads on,in the context of active disturbance rejection controller(ADRC)and with four competing DIs:stability margins,tracking,disturbance rejection,and noise *** this end,the lower bound for the bandwidth of the extended state observer is first established for guaranteed closed-loop ***,one by one,the mathematical formula is meticulously derived,connecting each DI to the set of controller *** our best knowledge,this has not been done in the context of *** formulas allow engineers to see quantitatively how the change of each tuning parameter would impact all of the DIs,thus making the guesswork *** example is given to show how such analytical methods can help engineers quickly determine controller parameters in a practical scenario.

关键词： Uncertain systems Active disturbance rejection control(ADRC) Design indices(DIs) Extended state observer(ESO)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：