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

IEEE International Conference on Industrial Informatics (INDIN)

作者： Xiaoyu Hu Yonghui Liang Shibo Zhu Hui Li Shanying Zhu Department of Automation Shanghai Jiao Tong University Shanghai China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China Shanghai Engineering Research Center of Intelligent Control and Management Shanghai China

ISBN: (数字)9798331527471

ISBN: (纸本)9798331527488

As very important controllers in automated facto-ries, the correctness and safety of Programmable Logic controller (PLC) and their programs determine the stability of the production process. Structured Text (ST) is one of the most widely used PLC programming languages. However, there are not enough formal semantics and different venders may have their own implementations. In this work, a visual executable semantic model ST-Petri for ST has been proposed. The model uses Petri nets to formally represent ST semantics while using graphs to visualise program control flow. To validate the correctness of the semantic model, we use programs from Github and mutations of existing source programs as a test set to execute and compare the results with the open source OpenPLC platform. Experimental results show that ST-Petri has significant advantages in terms of compilation pass rate and error indication as a semantic model and a ST program compiler.

关键词： Visualization Program processors Semantics Programmable logic devices Petri nets Process control Production Stability analysis Safety Software development management

来源：评论

学校读者我要写书评

暂无评论

Research on Crop Disease and Pest Surveillance based on Big Data and image processing Technologies

Research on Crop Disease and Pest Surveillance based on Big ...

引用

Information Technology, Communication Ecosystem and Management (ITCEM), International Conference on

作者： Yimei Yang Yujun Yang Huixia Shu Changhua Zhao Shaowei Deng College of Computer and Artificial Intelligence(Software College) Huaihua University Huaihua China Hunan Provincial Key Laboratory of Ecological Agriculture Intelligent Control Technology Huaihua China Key Laboratory of Wuling-Mountain Health Big Data Intelligent Processing and Application in Hunan Province Universities Huaihua Hunan China

ISBN: (数字)9798331542696

ISBN: (纸本)9798331542702

Recently, with the increasing complexity of agricultural systems and climate change, agricultural pest and disease surveillance and early detection have become critical tasks for guaranteeing food stability and promoting sustainable farming growth. Agricultural pest and disease surveillance is a key component of agricultural production, directly affecting crop yield and quality. As big data advances and image processing technologies rapidly, their application in crop pest and disease surveillance has become increasingly widespread. By integrating multi-source data, such as remote sensing data, meteorological data, ecological data, and pest and disease survey data, researchers can build more accurate and efficient pest and disease surveillance models. This paper reviews the research progress of big data and image processing technologies in crop pest and disease surveillance, analyzes the advantages and challenges of current technologies, and proposes future research directions to enhance the automation and intelligence of systems. Additionally, it discusses the integration of deep learning and other techniques to achieve efficient information mining and accurate retrieval of disaster-related data, aiming to provide scientific guidance and technical support for agricultural production.

关键词： Crops Plant diseases Climate change Pest control Agriculture Big Data Surveillance image processing

来源：评论

学校读者我要写书评

暂无评论

Fully Distributed Consensus of Multi-Agent Systems with Improved Minimum Inter-Event Times

Fully Distributed Consensus of Multi-Agent Systems with Impr...

引用

American control Conference (ACC)

作者： Ruchao Su Xianwei Li Shaoyuan Li Department of Automation Shanghai Jiao Tong University Shanghai China The Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China The Shanghai Engineering Research Center of Intelligent Control and Management Shanghai China

ISBN: (数字)9798350382655

ISBN: (纸本)9798350382662

We investigate the consensus problem of multi-agent systems with linear dynamics via a fully distributed event-triggered approach. To solve this problem, we present a fully distributed control strategy with an innovative event-triggered mechanism, where a clock variable is introduced to guarantee the existence of strictly positive minimum inter-event times (MIETs). Compared with existing results, the proposed event-triggered mechanism provides more flexibility for the clock variable, improving inter-event times. A positive lower bound of MIETs is derived, and is shown to be larger than those in previous works. The main results are illustrated with a numerical example.

关键词： Decentralized control Directed graphs Clocks Multi-agent systems

来源：评论

学校读者我要写书评

暂无评论

Tracing Intricate Cues in Dialogue: Joint Graph Structure and Sentiment Dynamics for Multimodal Emotion Recognition

arXiv

引用

arXiv 2024年

作者： Li, Jiang Wang, Xiaoping Zeng, Zhigang The School of Artificial Intelligence and Automation Huazhong University of Science and Technology Wuhan430074 China The Institute of Artificial Intelligence Huazhong University of Science and Technology Wuhan430074 China The Hubei Key Laboratory of Brain-Inspired Intelligent Systems Huazhong University of Science and Technology Wuhan430074 China The Key Laboratory of Image Processing and Intelligent Control Huazhong University of Science and Technology Ministry of Education Wuhan430074 China

Multimodal emotion recognition in conversation (MERC) has garnered substantial research attention recently. Existing MERC methods face several challenges: (1) they fail to fully harness direct inter-modal cues, possibly leading to less-than-thorough cross-modal modeling;(2) they concurrently extract information from the same and different modalities at each network layer, potentially triggering conflicts from the fusion of multi-source data;(3) they lack the agility required to detect dynamic sentimental changes, perhaps resulting in inaccurate classification of utterances with abrupt sentiment shifts. To address these issues, a novel approach named GraphSmile is proposed for tracking intricate emotional cues in multimodal dialogues. GraphSmile comprises two key components, i.e., GSF and SDP modules. GSF ingeniously leverages graph structures to alternately assimilate inter-modal and intra-modal emotional dependencies layer by layer, adequately capturing cross-modal cues while effectively circumventing fusion conflicts. SDP is an auxiliary task to explicitly delineate the sentiment dynamics between utterances, promoting the model’s ability to distinguish sentimental discrepancies. Furthermore, GraphSmile is effortlessly applied to multimodal sentiment analysis in conversation (MSAC), forging a unified multimodal affective model capable of executing MERC and MSAC tasks. Empirical results on multiple benchmarks demonstrate that GraphSmile can handle complex emotional and sentimental patterns, significantly outperforming baseline models. Copyright © 2024, The Authors. All rights reserved.

关键词： Emotion Recognition

来源：评论

学校读者我要写书评

暂无评论

Personalized Learning Path Recommendation Driven by Multi-Modal Knowledge Graphs and Large Models Collaboration

Personalized Learning Path Recommendation Driven by Multi-Mo...

引用

Information Technology, Communication Ecosystem and Management (ITCEM), International Conference on

作者： Changhua Zhao Yimei Yang Yujun Yang Bo Tang Chunqiao Mi College of Computer and Artificial Intelligence(Software College) Huaihua University Huaihua China Hunan Provincial Key Laboratory of Ecological Agriculture Intelligent Control Technology Huaihua China Key Laboratory of Wuling-Mountain Health Big Data Intelligent Processing and Application in Hunan Province Universities Huaihua Hunan China

ISBN: (数字)9798331542696

ISBN: (纸本)9798331542702

This study examines ways to create personalized learning pathways that are influenced by large collaborative models and multi-modal knowledge graphs. By integrating multi-modal data to construct a comprehensive knowledge network, this study utilizes the generative and comprehension capabilities of large models to achieve personalized customization of learning resources. The focus of the research is on accurately depicting learner characteristics through multi-modal profiling techniques, ensuring the transparency and credibility of the content generated by large models. The personalized learning route suggestion model proposed in this paper includes two parts: recommendations for learning paths within courses and recommendations for learning paths within learning tasks, aiming to enhance learning efficiency and outcomes through the collaborative effects of multi-modal knowledge graphs and large models. Experimental results indicate that the learning path recommendation model driven by multi-modal knowledge graphs and large collaborative models performs excellently in improving learning outcomes and recommendation performance.

关键词： Knowledge engineering Analytical models Accuracy Biological system modeling Education Ecosystems Collaboration Knowledge graphs Data models Information technology

来源：评论

学校读者我要写书评

暂无评论

GLAND SEGMENTATION VIA DUAL ENCODERS AND BOUNDARY-ENHANCED ATTENTION

arXiv

引用

arXiv 2024年

作者： Wang, Huadeng Yu, Jiejiang Li, Bingbing Pan, Xipeng Liu, Zhenbing Lan, Rushi Luo, Xiaonan Guangxi Key Laboratory of Image and Graphic Intelligent Processing Guilin China School of Computer Science and Information Security Guilin University of Electronic Technology Guilin China Department of Pathology Ganzhou Municipal Hospital Ganzhou China

Accurate and automated gland segmentation on pathological images can assist pathologists in diagnosing the malignancy of colorectal adenocarcinoma. However, due to various gland shapes, severe deformation of malignant glands, and overlapping adhesions between glands. Gland segmentation has always been very challenging. To address these problems, we propose a DEA model. This model consists of two branches: the backbone encoding and decoding network and the local semantic extraction network. The backbone encoding and decoding network extracts advanced Semantic features, uses the proposed feature decoder to restore feature space information, and then enhances the boundary features of the gland through boundary enhancement attention. The local semantic extraction network uses the pre-trained DeepLabv3+ as a Local semantic-guided encoder to realize the extraction of edge features. Experimental results on two public datasets, GlaS and CRAG, confirm that the performance of our method is better than other gland segmentation methods. Copyright © 2024, The Authors. All rights reserved.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

Energy-Efficient Safety-Aware Scheduling of Real-Time control Systems with Burst Tasks

Energy-Efficient Safety-Aware Scheduling of Real-Time Contro...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： Ting Cheng Yonghui Liang Qimin Xu Shanying Zhu Department of Automation Shanghai Jiao Tong University Shanghai China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China Shanghai Engineering Research Center of Intelligent Control and Management Shanghai China

ISBN: (数字)9798331527471

ISBN: (纸本)9798331527488

In industrial sites, multiple real-time control systems often share computing resources. However, burst computing tasks may lead to the random dropping of control computing subtasks, resulting in control failures and potential hazards. To address this issue, we propose an energy-efficient safety-aware task scheduling scheme based on mixed-integer programming. When burst computing tasks are triggered, this scheduling scheme adaptively releases resources from low-criticality control computing sub tasks and adjusts the processor speed based on the dynamic voltage and frequency scaling technology (DVFS), ensuring the timely completion of burst computing tasks and keeping the control system state deviation within a safe threshold. To achieve the scheduling scheme, we propose an efficient algorithm called EESASA. Simulation results show that EESASA can minimize the overall cost of control and processor energy while ensuring the safety of the control system and the timely completion of burst computing tasks.

关键词： Time-frequency analysis Job shop scheduling Costs Processor scheduling Process control control systems Dynamic scheduling Real-time systems Energy efficiency Voltage control

来源：评论

学校读者我要写书评

暂无评论

Double-Swarm Improved Moth-Flame Optimization Algorithm with Golden Sine for Global Optimization

Double-Swarm Improved Moth-Flame Optimization Algorithm with...

引用

Chinese control Conference (CCC)

作者： Xiaodong Zhao Zhuang Ma Zhiqiang Hu School of Mathematics and Statistics Taishan University Taian China Key Laboratory of Intelligent Data Processing and Control of Hebei Province Tangshan University Tangshan China

Moth-flame optimization algorithm (MFO) is a swarm intelligent optimization algorithm, which is proposed by simulating the night navigation mechanism of moths. MFO is widely used in various fields since it has a simple structure and easy implementation. However, in the process of MFO search, the population diversity will deteriorate, and premature convergence will occur. To solve the above problems, a double-swarm improved moth-flame optimization algorithm with golden sine operator(DIMFO) is proposed in this paper. The population is grouped by chaos mechanism, and the information exchange between sub-swarms is improved by dynamic recombination. The spiral search and golden sine search are used for the two moth populations respectively, and the Gaussian mutation is utilized to generate flames, which improves the population diversity. In addition, compared with other improved MFO algorithm and advanced optimization algorithms in the classical test set, the results show that DIMFO has advantages in convergence accuracy and speed in most test problems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

H∞ Consensus control for High-Order Fully Actuated Multi-Agent Systems with External Disturbances

H∞ Consensus Control for High-Order Fully Actuated Multi-Ag...

引用

Fully Actuated System Theory and Applications (CFASTA), Conference on

作者： Qing-Hao Zhang Jun-Guo Lu Department of Automation Shanghai Jiao Tong University Shanghai China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China Shanghai Engineering Research Center of Intelligent Control and Management Shanghai China

ISBN: (数字)9798350373691

ISBN: (纸本)9798350373707

This paper investigates the problems of H ∞ consensus control for high-order fully actuated multi-agent systems (HOFAMASs) with external disturbances. By utilizing the characteristics of high-order fully actuated systems (HOFASs), the distributed control protocols are designed, eliminating all nonlinear characteristics of open loop systems while establishing new closed-loop dynamic characteristics. Then, the H ∞ consensus problems of HOFAMASs are addressed. The corresponding parameters to be designed in the distributed control protocols are given by using linear matrix inequalities (LMIs). A novel multi-spacecraft attitude model is proposed based on HOFASs. An illustrative example of the multi-spacecraft attitude model is given, in order to demonstrate the effectiveness and application of the results proposed in this paper.

关键词： Sufficient conditions Protocols Attitude control Open loop systems Consensus control Numerical models Linear matrix inequalities

来源：评论

学校读者我要写书评

暂无评论

Autonomous Path Planning via Sand Cat Swarm Optimization With Multi-Strategy Mechanism for Unmanned Aerial Vehicles in Dynamic Environment

引用

IEEE Internet of Things Journal 2025年

作者： Deng, Wu Feng, Jiayi Zhao, Huimin Civil Aviation University of China College of Electronic Information and Automation Tianjin300300 China Civil Aviation University of China Tianjin Key Lab Intelligent Signal and Image Processing Tianjin300300 China State Key Laboratory of Rail Transit Vehicle System of Southwest Jiaotong University Chengdu610031 China

Unmanned Aerial Vehicles (UAVs) face critical challenges in path planning in dynamic environment. Sand Cat Swarm Optimization (SCSO) algorithm has demonstrated promise in addressing complex optimization challenges. However, SCSO is limited by slow convergence, susceptibility to local optima, and insufficient adaptability. To overcome these shortcomings, an enhanced SCSO with the spiral search, Livy flight, tent chaotic mapping, and adaptive sparrow alert mechanism, namely TSLS-SCSO is developed to propose an autonomous path planning method for UAVs in dynamic environment. In TSLS-SCSO, a new population initialization strategy with tent chaotic mapping is designed to achieve a large dynamic range and coverage capability. Then a new spiral search strategy is designed to broaden the search range in the search phase. And a new Livy flight strategy is employed to enrich the diversity of population in the attacking prey phase. A new sparrow alert mechanism with integrating the sand cat group with the sparrow alert is designed to obtain faster convergence speed and accuracy. The experiment results on CEC 2017 and CEC 2022 show that the TSLS-SCSO obtains higher accuracy and more stable solutions and exhibits better competitiveness. Furthermore, the proposed UAV path planning method successfully found effective paths with an obstacle avoidance effectiveness of 95.5%. The obtained results validate the effectiveness and competitiveness of TSLS-SCSO in UAV path planning in the dynamic environment. © 2014 IEEE.

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：