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

2025 International conference on Control, Automation, and Instrumentation, IC2AI 2025

作者： Fayad, Luay Nasr, Marcel Breiche, Zayan Boudargham, Nadine Hamad, Mustapha Kassem, Abdallah Notre Dame University -Louaize Dept. of Electrical and Computer & Communications Engineering Shouf Lebanon Notre Dame University -Louaize Zouk Dept. of Electrical and Computer & Communications Engineering Mosbeh Lebanon

ISBN: (纸本)9798331529604

This paper presents the development of an automated solar panel cleaning robot aimed at addressing the inefficiencies and practical challenges associated with manual cleaning in large-scale solar energy systems. The robot integrates a lightweight aluminum bridge with wheeled legs that traverse parallel rails mounted on the panels. It features a centrally mounted four-wheel car chassis, a microfiber wiper on an aluminum rod, and a water-spraying nozzle. The system is powered by lithium batteries and managed by an Arduino Mega, interfacing with various sensors and a Bluetooth module for communication with a mobile application. The software supports user control for initiating cleaning cycles, monitoring the robot's status and water levels, and receiving alerts for low water or emergencies. The operational process involves spraying water, moving forward while wiping, automatically stopping water flow upon reaching panel limits, and returning to the parking position, with autonomous obstruction handling. Extensive testing confirms that the robot meets all requirements, providing a reliable and efficient solution for maintaining solar panel performance. © 2025 IEEE.

关键词： Aluminum bridges

来源：评论

学校读者我要写书评

暂无评论

Preface to the special issue on engineering of computer-based systems

引用

International Journal on software Tools for Technology Transfer 2025年 1-3页

作者： Kofroň, Jan Margaria, Tiziana Seceleanu, Cristina Charles University Prague Czech Republic University of Limerick and LERO Limerick Ireland Mälardalen University Västerås Sweden

This special issue contains nine extended and rigorously peer-reviewed papers selected from those originally presented at ECBS 2023, the 8th International conference on engineering of computer-Based systems, held at Mälardalen University, Sweden, October 16-18, 2023, under the theme “engineering for Responsible AI”. The included papers represent innovative contributions addressing critical aspects of responsible artificial intelligence and integrated engineering practices. These contributions span from formal verification and security analyses of IoT protocols and federated learning frameworks to machine learning-based simulations and predictions in hardware and software systems. The selection also includes work on automata learning techniques for protocol compliance, continuous integration approaches for neural network-based autonomous systems, assertion usage in software testing, language-driven engineering for code generation, and the integration of IoT backends in digital twin infrastructures. Together, these papers showcase recent advances, offering valuable insights into the rigorous integration of modern technologies within complex, computer-based systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics 25

D-VSync: Decoupled Rendering and Displaying for Smartphone G...

引用

30th ACM International conference on Architectural Support for Programming Languages and Operating systems, ASPLOS 2025

作者： Wu, Yuanpei Du, Dong Xu, Chao Xia, Yubin Fu, Ming Zang, Binyu Chen, Haibo Ipads Shanghai Jiao Tong University Engineering Research Center for Domain-specific Operating Systems Ministry of Education Shanghai China Fields Lab Huawei Central Software Institute Shanghai China Fields Lab Huawei Central Software Institute Hangzhou China Ipads Shanghai Jiao Tong University Engineering Research Center for Domain-specific Operating Systems Ministry of Education Key Laboratory of System Software Chinese Academy of Science Shanghai China

ISBN: (纸本)9798400706981

Rendering service, which typically orchestrates screen display and UI through Vertical Synchronization (VSync), is an indispensable system service for user experiences of smartphone OSes (e.g., Android, OpenHarmony, and iOS). The recent trend of large high-frame-rate screens, stunning visual effects, and physics-based animations has placed unprecedented pressure on the VSync-based rendering architecture, leading to higher frame drops and longer rendering latency. This paper proposes Decoupled Vertical Synchronization (D-VSync), which decouples execution and displaying in the rendering service. D-VSync allows frames to be rendered a number of VSync periods before being physically displayed on the screen. The key insight behind D-VSync to resolve the limitation of VSync is that, the decoupling enables sporadic long frames to utilize the computational power saved by common short frames, therefore providing a larger time window to tolerate workload fluctuations. Evaluation results of 75 common OS use cases and apps on OpenHarmony (Mate 40 Pro, Mate 60 Pro), 25 popular apps on Android (Google Pixel 5), and simulations of 15 mobile games show that compared to VSync, D-VSync on average reduces frame drops by 72.7%, user-perceptible stutters by 72.3%, and rendering latency by 31.1%, with only 0.13%-0.37% more power consumption. D-VSync has been integrated into HarmonyOS NEXT. © 2025 ACM.

关键词： Rendering (computer graphics)

来源：评论

学校读者我要写书评

暂无评论

Research on the Collaborative Mechanism of P4Runtime and SAI in White Box Switches Based on the SONiC System 5

Research on the Collaborative Mechanism of P4Runtime and SAI...

引用

5th IEEE International conference on Power, Electronics and computer Applications, ICPECA 2025

作者： Pan, Zhuyu Wang, Hongchao Yan, Chen Zhang, Zishi School of Electronic and Information Engineering Beijing Jiaotong University Beijing China

ISBN: (纸本)9798331533694

With the advancement of software-Defined Networking (SDN) technology, network programmability and flexibility have been significantly enhanced. However, effectively integrating traditional network systems with emerging programmable platforms remains a critical research challenge. This paper proposes a fusion architecture based on the P4Runtime protocol to achieve deep integration of SONiC white box switches and the P4 platform. By introducing SDN programmability, we design and implement a hybrid model that enables traditional network architectures to achieve advanced functionalities with the assistance of external SDN controllers. This paper provides a detailed discussion of the architecture design and implementation process, including P4 code development, compilation, target configuration file generation, and interaction mechanisms between the control plane and the data plane. Furthermore, we validate the applicability and performance of the architecture in various scenarios, offering robust support for future research and applications in programmable networks. © 2025 IEEE.

关键词： Internet protocols

来源：评论

学校读者我要写书评

暂无评论

Knowledge Graph of Unmanned Aerial Vehicle Reconnaissance Research 24

Knowledge Graph of Unmanned Aerial Vehicle Reconnaissance Re...

引用

3rd International conference on Signal Processing, computer Networks and Communications, SPCNC 2024

作者： Zhang, Xiaodong Qin, Xi Cai, Juesong University of Information Engineering Henan Zhengzhou China

ISBN: (纸本)9798400710834

The role of unmanned aerial vehicles (UAVs) in modern warfare is becoming increasingly significant, with the potential to disrupt the rules of warfare and change the form of conflict. This has garnered high attention from major military nations around the world. UAV reconnaissance is one of the key research directions within UAV studies. This paper employs quantitative and visual methods to analyze the current state and developmental trends within the field of UAV reconnaissance. By utilizing the visualization software CiteSpace and extracting relevant literature from the Web of Science Core Collection database, this study leverages bibliometric analysis and scientific mapping techniques to explore domestic and international attention, research dynamics, development contexts, research hotspots, and trends in this field. The findings reveal that Collaborative Combat, Mission Planning, Cooperative Reconnaissance, Task Analysis, Remote Sensing, and Deep Reinforcement Learning are research hotspots in this domain. Moreover, the integration of UAVs with emerging technologies such as artificial intelligence is anticipated to become a potential research trend in the future, enhancing the operational effectiveness and autonomy of UAV systems. © 2024 Copyright held by the owner/author(s).

关键词： Knowledge graph

来源：评论

学校读者我要写书评

暂无评论

Resource and Performance Improvements of Optimized Convolutional Neural Networks for FPGA Implementations of Automatic Modulation Recognition 59

Resource and Performance Improvements of Optimized Convoluti...

引用

59th Annual conference on Information Sciences and systems, CISS 2025

作者： Rothe, Joshua A Shajaiah, Haya Johns Hopkins University Whiting School of Engineering BaltimoreMD United States

ISBN: (纸本)9798331513269

Automatic Modulation Recognition (AMR), commonly found in software defined radios, relies on speed and accuracy to effectively interpret the modulation type of incoming signals. Convolutional Neural Networks (CNNs) are growing in popularity over traditional algorithms due to their excellent performance with classification-type problems - but these are typically resource intensive, and Radio Frequency (RF) receivers are typically part of a larger system that can benefit from less resources being tied to this classification task. Field Programmable Gate Array (FPGA) implementations provide better performance than CPU and GPU implementations in most cases, and the added benefit of these functions being off the processor allows the entire system to perform better. Since resource utilization is such a critical component of effective CNN implementation, and it is often inversely tied to performance, the effectiveness of various hardware optimization techniques as well as their effects on performance should be considered by the designer. This work evaluates the tradeoffs of various model optimizations and how they affect both implementation and performance, synthesizing the models using Xilinx's quantization-aware FINN library. In this work, a methodology is presented for the generation of I and Q signals for CNN model training and evaluation, and the performance and hardware utilization benchmarks are evaluated to determine both design considerations and effective approaches for optimizing these models for real-world implementation. © 2025 IEEE.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Matched Filter Based 3-Dimensional Near-Field Compensation for Coherent Sensing with Radars

Matched Filter Based 3-Dimensional Near-Field Compensation f...

引用

2025 International conference on Electronics, Information, and Communication, ICEIC 2025

作者： Cho, Wanjei Park, Jeong-Hoon Ham, Doyoung Kim, Seong-Cheol Seoul National University Department of Electrical and Computer Engineering Seoul Korea Republic of

ISBN: (纸本)9798331510756

This paper proposes a matched filter-based method to compensate for the near-field effects that occur in radar systems when using multiple separate receiving antenna arrays in a coherent manner, caused by the bigger effective antenna aperture due to the increased physical dimensions of the whole radar system. The simulation results show that the proposed method successfully combines the radar from 3 different receiving antenna arrays and triples the peak power compared to a single receiving antenna array. © 2025 IEEE.

关键词： Matched filters

来源：评论

学校读者我要写书评

暂无评论

Artificial Intelligence Techniques for the Ransomware Detection: Current Methods and Challenges 1

Artificial Intelligence Techniques for the Ransomware Detect...

引用

1st International conference on AIML-Applications for engineering and Technology, ICAET 2025

作者： Rakibe, Priya Jawale, Madhuri Computer Engineering Research Centre Sanjivani College of Engineering Kopargaon Savitribai Phule Pune University Pune India Sanjivani College of Engineering Kopargaon Savitribai Phule Pune University Dept. of Information Technology Pune India

ISBN: (纸本)9798350355611

Recently, Artificial Intelligence (AI) Techniques have received significant interest across the different fields for data analysis and decision-making. Ransomware detection using AI has been a challenging research problem for the last decade in hybrid communication systems like blockchainintegrated Internet of Things (IoT) architectures. Ransomware is a form of malicious software that restricts access to a victim's resources by altering system login credentials or encrypting digital data. Consequently, typical approaches used to identify other types of threats are inadequate for recognizing ransomware. Different AI techniques recently have been used for the detection of such threats, but an appropriate level of accuracy and minimum false rate with automation are vital challenges. This study presents a systematic review of the current methods for ransomware detection using different AI techniques. The ransomware detection methods under categories such as rule-based, machine learning-based, and deep learning-based are reviewed in this study. The comparative analysis of these methods is provided quantitatively and qualitatively. As per the recent progress in the domain of ransomware detection, the current research problems are identified and discussed as the outcome of the study. The roadmap for future work is described as the research gap analysis output. © 2025 IEEE.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Generation of Human-Cyber-Physical Controller Based on Formal Synthesis 2nd

Generation of Human-Cyber-Physical Controller Based on For...

引用

2nd International conference on the Frontiers of Robotics and software engineering, FRSE 2024

作者： Zhang, Yong Yang, Dong Dong, Yanqi Liu, Sirui Dong, Wei College of Computer National University of Defense Technology Changsha China

ISBN: (纸本)9789819631605

In response to the varied application scenarios of Human-Cyber-Physical systems (HCPS) and the dynamic roles humans play, we have introduced three specialized controller frameworks: H-CP, C-HP, and HP-CP. We designed and implemented these controllers using a formal synthesis methodology, ensuring a rigorous approach to system design. By incorporating Linear Temporal Logic (LTL) into our formal synthesis process, we have enhanced the safety and efficiency of the system. To validate our methodology, we conducted three experiments. The results of these experiments demonstrate the effectiveness of our controllers in a range of HCPS applications. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

MDE in the Era of Generative AI 17th

MDE in the Era of Generative AI

引用

17th International conference on Verification and Evaluation of computer and Communication systems, VECoS 2024

作者： Alaoui Mdaghri, Ahmed Ouederni, Meriem Chaari, Lotfi University of Nantes Nantes France Toulouse INP University of Toulouse IRIT Toulouse France

ISBN: (纸本)9783031853555

Domain-Specific Languages (DSLs) play a vital role in software development, enabling the concise expression of domain-specific concepts and requirements. In this study, we propose a novel approach leveraging Large Language Models (LLMs) to assist the DSLs modelling starting from natural language description. Our solution is a proof of concept where Model Driven engineering (MDE) is revisited taking advantage from the power of generative AI. Starting from human friendly description and domain modelling language document type, LLM-based system extracts relevant domain knowledge and builds the corresponding DSL model. Such a model is then validated through an iterative process. We applied our proposal to several case studies from different application domains including software engineering, healthcare, and finance. Furthermore, we consider a wide range of existing LLMs usually adapted for code generation. We also study the effectiveness of our solution through multi-criteria experimental evaluation. Lastly, the results demonstrate the feasibility and efficiency of our LLM driven MDE for DSL development, and then advancing domain-specific modelling practices. By doing so, we would enable the developer to save time and effort for further tasks such as functional properties’ verification. A demo as well as a web application for our developed solution are available online via the following link https://***/demo-ecore-gen/. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：