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

35th GI-Workshop on Foundations of Database systems, GvDB 2024

作者： Zamankhani, Saba TU Ilmenau Department of Computer Science and Automation Databases and Information Systems Group Germany

Many physical systems in the real world exhibit complex behavior, making it difficult to identify their dynamics. To overcome this problem, prototypes are created to provide a better insight into the behavior of such systems. However, building these prototypes using traditional methods is often slow due to the computational intensity required to accurately capture the detailed complexities within these systems and the large parameter space that needs to be explored. Data-driven approaches, such as machine learning and deep learning frameworks, have the potential to significantly speed up this process by generalizing the model. In this study, we explore the use of such an approach to understand the complex and non-linear behavior of dynamical systems, using resistive random access memory (ReRAM) devices as a case study. It is important to emphasize that modeling ReRAM is only one specific example in our wider investigation, which aims to design predictive models for a range of non-linear dynamical systems. Our work attempts to overcome the limitations of traditional research and development by using neural networks to reproduce the complex behavior of ReRAM cells accurately. We introduce a hybrid dual-input neural network architecture (HDiNN), equipped with a custom loss function, to capture both spatial and temporal patterns, improving the predictability of cell behavior under different conditions. This involves integrating important factors such as material properties, device geometry, and electrical interactions into our model to explain the complexities of ReRAM technology. However, our ambitions extend far beyond ReRAM to develop methods to help create innovative, durable solutions in various fields. This study highlights the impact of predictive modeling in advancing materials science and demonstrates the transformative potential of neural networks in improving the design and optimization of future technologies. © 2024 Copyright for this paper by its authors.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

DCFNet:Discriminant Correlation Filters Network for Visual Tracking

引用

Journal of computer Science & Technology 2024年第3期39卷 691-714页

作者：胡卫明王强高晋李兵 Stephen Maybank State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of AutomationChinese Academy of Sciences Beijing 100190China Department of Computer Science and Information Systems Birkbeck CollegeLondon WC1E 7HXU.K.

CNN(convolutional neural network)based real time trackers usually do not carry out online network update in order to maintain rapid tracking *** inevitably influences the adaptability to changes in object *** filter based trackers can update the model parameters online in real *** this paper,we present an end-to-end lightweight network architecture,namely Discriminant Correlation Filter Network(DCFNet).A differentiable DCF(discriminant correlation filter)layer is incorporated into a Siamese network architecture in order to learn the convolutional features and the correlation filter *** correlation filter can be efficiently updated *** previous work,we introduced a joint scale-position space to the DCFNet,forming a scale DCFNet which carries out the predictions of object scale and position *** combine the scale DCFNet with the convolutional-deconvolutional network,learning both the high-level embedding space representations and the low-level fine-grained representations for *** adaptability of the fine-grained correlation analysis and the generalization capability of the semantic embedding are complementary for visual *** back-propagation is derived in the Fourier frequency domain throughout the entire work,preserving the efficiency of the *** evaluations on the OTB(Object Tracking Benchmark)and VOT(Visual Object Tracking Challenge)datasets demonstrate that the proposed trackers have fast speeds,while maintaining tracking accuracy.

关键词： correlation filter convolutional neural network(CNN) visual tracking

来源：评论

学校读者我要写书评

暂无评论

Data-driven output regulation control for constrained linear systems

引用

Science China(information Sciences) 2025年第3期68卷 338-353页

作者： Chaoyu XIA Yi DONG Chaoli WANG Shengyuan XU Shanghai Research Institute for Intelligent Autonomous Systems Tongji University College of Electronic and Information Engineering Shanghai Research Institute for Intelligent Autonomous SystemsTongji University Department of Control Science and Engineering School of Optical-Electrical and Computer EngineeringUniversity of Shanghai for Science and Technology Department of Automation Nanjing University of Science and Technology

This study introduces a data-driven approach for state and output feedback control addressing the constrained output regulation problem in unknown linear discrete-time systems. Our method ensures effective tracking performance while satisfying the state and input constraints, even when system matrices are not available. We first establish a sufficient condition necessary for the existence of a solution pair to the regulator equation and propose a data-based approach to obtain the feedforward and feedback control gains for state feedback control using linear programming. Furthermore, we design a refined Luenberger observer to accurately estimate the system state, while keeping the estimation error within a predefined set. By combining output regulation theory, we develop an output feedback control strategy. The stability of the closed-loop system is rigorously proved to be asymptotically stable by further leveraging the concept of λ-contractive sets.

关键词： output regulation constrained system data-driven.

来源：评论

学校读者我要写书评

暂无评论

Towards NLP-driven Online-classification of Industrial Alarm Messages 50

Towards NLP-driven Online-classification of Industrial Alarm...

引用

50th Annual Conference of the IEEE Industrial Electronics Society, IECON 2024

作者： Shatewakasi, Yeersen Vogel-Heuser, Birgit Wilch, Jan Hankemeier, Victoria Höfgen, Josua Technical University of Munich Institute of Automation and Information Systems Garching Germany University of Münster Computer Science Department Autonomous Intelligent Systems Group Münster Germany

ISBN: (纸本)9781665464543

Industrial alarm systems facilitate the reliable and effective management of industrial process operations. However, the manufacturer’s fear of missing a critical fault or lacking process understanding may lead to the implementation of alarm systems that overburden operators by an enormous amount of alarms. Inadequate alarm settings and maintenance, coupled with a high volume of disturbance alarms, necessitate operators making crucial decisions within a limited time. Thus, an alarm management strategy that accurately anticipates the types of incoming alarms is needed, especially in brownfield systems where it is infeasible to simplify the underlying alarming functions. This alleviates the need for human interpretation of alarms upon arrival, allowing operators to address anomalous behaviors early. This study proposes an alarm classification approach, based on active learning, latent dirichlet allocation (LDA) topic modeling and transformer-based deep learning. It focuses on addressing these challenges through a systematic natural language processing (NLP) approach to classify and map fault messages. To demonstrate the validity of this approach, real-world alarm data from an industrial hybrid non-woven manufacturing process is used. © 2024 IEEE.

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

Modeling and Measurement of 3D Solenoid Inductor Based on Through-Silicon Vias

引用

Chinese Journal of Electronics 2023年第2期32卷 365-374页

作者： YIN Xiangkun WANG Fengjuan ZHU Zhangming Vasilis F.Pavlidis LIU Xiaoxian LU Qijun LIU Yang YANG Yintang Shaanxi Key Lab.of Integrated Circuits and Systems School of Microelectronics Xidian University School of Automation and Information Engineering Xi'an University of Technique Department of Computer Science University of Manchester

Through-silicon via(TSV) provides vertical interconnectivity among the stacked dies in three-dimensional integrated circuits(3D ICs) and is a promising option to minimize 3D solenoid inductors for on-chip radio-frequency applications. In this paper, a rigorous analytical inductance model of 3D solenoid inductor is proposed based on the concept of loop and partial inductance. And a series of 3D samples are fabricated on 12-in high-resistivity silicon wafer using low-cost standard CMOS-compatible process. The results of the proposed model match very well with those obtained by simulation and measurement. With this model, the inductance can be estimated accurately and efficiently over a wide range of inductor windings, TSV height, space, and pitch.

关键词： Semiconductor device modeling Inductance Analytical models Solid modeling Three-dimensional displays Integrated circuit modeling Inductors

来源：评论

学校读者我要写书评

暂无评论

Automating CPPSs Analyses with SysML v2 and Lingua Franca in the Context of Industry 4.0 50

Automating CPPSs Analyses with SysML v2 and Lingua Franca in...

引用

50th Annual Conference of the IEEE Industrial Electronics Society, IECON 2024

作者： Gaiardelli, Sebastiano Wilch, Jan Fummi, Franco Vogel-Heuser, Birgit Industrial Computer Engineering Laboratory Department of Engineering for Innovation Medicine University of Verona Italy Institute of Automation and Information Systems Technical University of Munich Germany

ISBN: (纸本)9781665464543

The design of manufacturing systems requires exploring diverse component configurations for one that best satisfies the requirements of the target system. At the same time, manufacturing systems evolve continuously, increasing their complexity and that of the production line in which they are installed. Model-based System Engineering (MBSE) methodologies and modeling languages like System Modeling Language (SysML) are used to assist system engineers during the entire design process. Yet, MBSE methodologies mainly rely on manually composed models for requirements verification, incurring enormous cost and effort especially in larger, more complex systems. This paper proposes a methodology exploiting the knowledge enclosed in a SysML model to automate the execution of a set of analyses defined over the represented manufacturing system. The proposed approach relies on Lingua Franca (LF) to simulate the specified analysis and analyze the results. Moreover, the methodology supports chains of analyses to represent dependent requirements and tradeoffs imposed upon a manufacturing system. The proposed methodology has been evaluated on a manufacturing system demonstrator. Results show the proposed methodology’s applicability and scalability on diverse configurations of the manufacturing system. © 2024 IEEE.

关键词： Smart manufacturing

来源：评论

学校读者我要写书评

暂无评论

Methods of Reducing the Energy Consumption of Digital-Analog Converters and Increasing Their Metrological Reliability 17

Methods of Reducing the Energy Consumption of Digital-Analog...

引用

17th IEEE International Conference on Advanced Trends in Radioelectronics, Telecommunications and computer Engineering, TCSET 2024

作者： Zastavnyy, Oleg Kochan, Orest Bykovyy, Pavlo Sachenko, Anatoliy Kochan, Roman Kochan, Volodymyr West Ukrainian National University Department of Specialized Computer Systems Termopil Ukraine Lviv Polytechnic National University Department of Information and Measurement Technologies Automation and Metrology Lviv Ukraine West Ukrainian National University Department of Information Computer Systems and Control Termopil Ukraine Research Institute for Intelligent Computer Systems West Ukrainian National University Termopil Ukraine Kazimierz Pulaski University of Radom Department of Teleinformatics Radom Poland Lviv Polytechnic National University Department of Specialized Computer Systems Lviv Ukraine

ISBN: (纸本)9798331520564

This work analyzes the possibility of reducing the energy consumption of digital-to-analog converters by minimizing the energy consumption of the elements that ensure their operation. Due to the fact that such decisions can lead to an increase in the temperature and time drift of the output voltage of the digital-to-analog converter, a method of its in-situ calibration during operation is proposed. The method also allows carrying out calibration of high-speed analog-digital converters. © 2024 IEEE.

关键词： Voltage-source converters

来源：评论

学校读者我要写书评

暂无评论

Scheduling Bi-Objective Lot-Streaming Hybrid Flow Shops with Consistent Sublots via an Enhanced Artificial Bee Colony Algorithm

引用

Complex System Modeling and Simulation 2025年第1期5卷 46-67页

作者： Benxue Lu Kaizhou Gao Peiyong Duan Adam Slowik School of Computer Science Liaocheng UniversityLiaocheng 252000China Macao Institute of Systems Engineering Macao University of Science and TechnologyMacao 999078China School of Information and Automation Engineering Qilu University of TechnologyJinan 250353China Department of Electronics and Computer Science Koszalin University of TechnologyKoszalin 75-453Poland

This work addresses bi-objective hybrid flow shop scheduling problems considering consistent sublots(Bi-HFSP_CS).The objectives are to minimize the makespan and total energy ***,the Bi-HFSP_CS is formalized,followed by the establishment of a mathematical ***,enhanced version of the artificial bee colony(ABC)algorithms is proposed for tackling the Bi-HFSP_***,fourteen local search operators are employed to search for better *** different Q-learning tactics are developed to embed into the ABC algorithm to guide the selection of operators throughout the iteration ***,the proposed tactics are assessed for their efficacy through a comparison of the ABC algorithm,its three variants,and three effective algorithms in resolving 95 instances of 35 different *** experimental results and analysis showcase that the enhanced ABC algorithm combined with Q-learning(QABC1)demonstrates as the top performer for solving concerned *** study introduces a novel approach to solve the Bi-HFSP_CS and illustrates its efficacy and superior competitive strength,offering beneficial perspectives for exploration and research in relevant domains.

关键词： hybrid flow shop scheduling Q-learning lot streaming local search

来源：评论

学校读者我要写书评

暂无评论

On Approximate Opacity of Stochastic Control systems

引用

IEEE Transactions on Automatic Control 2024年第6期70卷 3846-3861页

作者： Liu, Siyuan Yin, Xiang Dimarogonas, Dimos V. Zamani, Majid Kth Royal Institute of Technology Division of Decision and Control Systems Stockholm Sweden Shanghai Jiao Tong University and Key Lab of System Control & Information Processing Ministry of Education Department of Automation Shanghai China University of Colorado Boulder Computer Science Department CO80309 United States Ludwig Maximilian University of Munich Computer Science Department Germany

This paper investigates an important class of information-flow security property called opacity for stochastic control systems. Opacity captures whether a system's secret behavior (a subset of the system's behavior that is considered to be critical) can be kept from outside observers. Existing works on opacity for control systems only provide a binary characterization of the system's security level by determining whether the system is opaque or not. In this work, we introduce a quantifiable measure of opacity that considers the likelihood of satisfying opacity for stochastic control systems modeled as general Markov decision processes (gMDPs). We also propose verification methods tailored to the new notions of opacity for finite gMDPs by using value iteration techniques. Then, a new notion called approximate opacity-preserving stochastic simulation relation is proposed, which captures the distance between two systems' behaviors in terms of preserving opacity. Based on this new system relation, we show that one can verify opacity for stochastic control systems using their abstractions (modeled as finite gMDPs). We also discuss how to construct such abstractions for a class of gMDPs under certain stability conditions. © 1963-2012 IEEE.

关键词： Stochastic control systems

来源：评论

学校读者我要写书评

暂无评论

Smart Manufacturing Integration of Heterogeneous information systems via OPC UA. A Case Study

Smart Manufacturing Integration of Heterogeneous Information...

引用

2024 International Conference Automatics and Informatics, ICAI 2024

作者： Vasilev, Plamen Boneva, Ani Ivanova, Veronika Tsvetanov, Tsetso University of Chemical Technology and Metallurgy Department of Industrial Automation Sofia Bulgaria Institute of Information and Communication Technologies Bulgarian Academy of Sciences Department of Communication and Computer Systems Sofia Bulgaria Institute of Robotics Bulgaria Academy of Sciences Department of Robotized and Mechatronics Intelligent Systems Sofia Bulgaria

ISBN: (纸本)9798350353907

Modern automation, digitalization, virtualization, and intelligent production impose new criteria and approaches to process management. The operation and performance of any system and device depend on how it is managed. The article describes Smart Manufacturing Integration of Heterogeneous information systems via OPC UA. The main goal is the development of heterogeneous information systems with real applications, with which reliable and up-to-date information can be exchanged between systems of different hierarchical levels. The goal was achieved with the following steps i) building the research infrastructure ii) analyzing the information compatibility and challenges in integrating systems from different hierarchical levels, and iii) implementing the integration by means of the OPC-UA standard communication protocol. The setup has been tested under laboratory conditions. The obtained results are shown. © 2024 IEEE.

关键词： Smart manufacturing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：