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

2023 International Conference on Automation in Manufacturing, Transportation and Logistics, iCaMaL 2023

作者： Su, Yue Qi, Liang Zhou, MengChu Wiśniewski, Remigiusz Faculty of Innovation Engineering Macau University of Science and Technology China College of Computer Science and Engineering Shandong University of Science and Technology Qingdao China Electrical and Computer Engineering New Jersey Institute of Technology Newark United States Institute of Control and Computation Engineering University of Zielona GÓra Poland

ISBN: (纸本)9781839539954

Petri nets (PNs) are graphical and mathematical tools used to model various discrete event systems and analyze their properties. Reachability is their fundamental property. When we use a state equation to determine a state's (marking's) reachability, the existence of legal firing sequences (LFSs) corresponding to nonnegative integer solutions (NISs) of the state equation needs to be determined. Our previous work has proposed an algorithm to determine the LFSs' existence in polynomial time. However, when a state equation has an infinite number of NISs, we cannot check all NISs to determine a marking's reachability. Hence, this work studies the relationship between the structure of an ordinary PN and the number of NISs of its state equation. Then, a method is proposed to modify the structure of the PN such that the state equation has no more than one NIS. The modified PN is used as the final model of the system, which maintains the functions of its modeled system. Its reachability can be determined in polynomial time. This work shows the application of the proposed method to a flexible manufacturing system's modeling and analysis. © The Institution of Engineering & Technology 2023.

关键词： Polynomial approximation

来源：评论

学校读者我要写书评

暂无评论

Bayesian hypergame approach to equilibrium stability and robustness in moving target defense 63

Bayesian hypergame approach to equilibrium stability and rob...

引用

63rd IEEE Conference on Decision and control, CDC 2024

作者： Zhang, Hanzheng Cheng, Zhaoyang Chen, Guanpu Johansson, Karl Henrik Shanghai Research Institute for Autonomous Intelligent Systems Tongji University Shanghai China University of Chinese Academy of Science Academy of Mathematics and System Science Chinese Academy of Science Beijing China Kth Royal Institute of Technology and the Digital Futures Division of Decision and Control Systems School of Electrical Engineering and Computer Science Stockholm Sweden

ISBN: (纸本)9798350316339

We investigate the equilibrium stability and robustness in a class of moving target defense problems, in which players have both incomplete information and asymmetric cognition. We first establish a Bayesian Stackelberg game model for incomplete information and then employ a hypergame reformulation to address asymmetric cognition. With the core concept of the hyper Bayesian Nash equilibrium (HBNE), a condition for achieving both the strategic and cognitive stability in equilibria can be realized by solving linear equations. Moreover, to deal with players' underlying perturbed knowledge, we study the equilibrium robustness by presenting a condition of robust HBNE under the given configuration. Experiments evaluate our theoretical results. © 2024 IEEE.

关键词： Hierarchical systems

来源：评论

学校读者我要写书评

暂无评论

Quality-Relevant Modeling and Monitoring of Industrial Cyber-Physical Systems: The Semi-Supervised Dynamic Latent Variable Models

IEEE Transactions on Industrial Cyber-Physical Systems

引用

IEEE Transactions on Industrial Cyber-Physical Systems 2025年 3卷 39-47页

作者： Zhou, Le Wang, Yaoxin Wu, Yuanqing He, Shenghuang Song, Zhihuan Zhejiang University of Science and Technology Department of Automation and Electrical Engineering Hangzhou310023 China Guangdong University of Technology Department of Automation Guangzhou510006 China Dongguan University of Technology Department of Computer Science and Technology Dongguan523808 China Ningbo Industrial Internet Institute Ningbo315012 China Zhejiang University Department of Control Science and Engineering Hangzhou310027 China

In modern industrial cyber-physical systems, a mass of process variables has been obtained by the high-sampling online sensors. Meanwhile, the key quality indexes are usually obtained infrequently from the laboratory. Hence, these quality variables are with low sampling rate. To avail of the complete process and quality variables with various sampling rates in the dynamic processes, a set of semi-supervised dynamic latent variable models are proposed for dynamic modeling and quality-relevant monitoring. The proposed models have built a unified structure to consider both the auto-correlations and cross-correlations between the process and quality variables with unbalanced sampling sizes. Hence, the feature extraction of the time series data is dynamically adjusted under the guidance of the quality variables. Then, the quality-relevant monitoring schemes are proposed, which is validated by a numerical case and an actual wastewater treatment process. © 2024 IEEE. All rights reserved.

关键词： Indexes Probabilistic logic Kalman filters Noise Cyber-physical systems Analytical models Parameter estimation Time series analysis Process monitoring Numerical models

来源：评论

学校读者我要写书评

暂无评论

Optimizing Polynomial-Time Solutions to a Network Weighted Vertex Cover Game

引用

IEEE/CAA Journal of Automatica Sinica 2023年第2期10卷 512-523页

作者： Jie Chen Kaiyi Luo Changbing Tang Zhao Zhang Xiang Li the Adaptive Networks and Control Laboratory Department of Electronic EngineeringFudan UniversityShanghai 200433China the College of Mathematics and Computer Science Zhejiang Normal UniversityJinhua 321004 Yuxi Middle School Taizhou 317399China IEEE the College of Physics and Electronics Information Engineering Zhejiang Normal UniversityJinhua 321004China the College of Mathematics and Computer Science Zhejiang Normal UniversityJinhua 321004China the Adaptive Networks and Control Laboratory Department of Electronic EngineeringFudan UniversityShanghai 200433 the Institute of Complex Networks and Intelligent Systems Shanghai Research Institute for Intelligent Autonomous SystemsTongji UniversityShanghai 201210China

Weighted vertex cover(WVC)is one of the most important combinatorial optimization *** this paper,we provide a new game optimization to achieve efficiency and time of solutions for the WVC problem of weighted *** first model the WVC problem as a general game on weighted *** the framework of a game,we newly define several cover states to describe the WVC ***,we reveal the relationship among these cover states of the weighted network and the strict Nash equilibriums(SNEs)of the ***,we propose a game-based asynchronous algorithm(GAA),which can theoretically guarantee that all cover states of vertices converging in an SNE with polynomial ***,we improve the GAA by adding 2-hop and 3-hop adjustment mechanisms,termed the improved game-based asynchronous algorithm(IGAA),in which we prove that it can obtain a better solution to the WVC problem than using a the ***,numerical simulations demonstrate that the proposed IGAA can obtain a better approximate solution in promising computation time compared with the existing representative algorithms.

关键词： Game-based asynchronous algorithm(GAA) game optimization polynomial time strict Nash equilibrium(SNE) weighted vertex cover(WVC)

来源：评论

学校读者我要写书评

暂无评论

An improved longitude correction algorithm for fisheye image edge distortion 3

An improved longitude correction algorithm for fisheye image...

引用

3rd International Conference on Artificial Intelligence and computer Engineering, ICAICE 2022

作者： Ji, Xiu Yang, Huamin Han, Cheng Wang, Hexin Lang, Chaoyue School of Computer Science and Technology Changchun University of Science and Technology Jilin Changchun130022 China School of Information and Control Engineering Jilin Institute of Chemical Technology Jilin132022 China

ISBN: (纸本)9781510663473

The fisheye camera is widely used in computer vision because of its large field of view. However, in optical theory, the large field of view is at the cost of distortion. It is impossible to obtain effective information directly from the fisheye image, so the original image needs to be distorted first to become a linear image without distortion. Aiming at the existence of traditional longitude correction in the image center, edge correction effect is different and edge distortion, introducing the repositioning center algorithm and stretch factor. Firstly, the effective area of fisheye image is obtained by row-by-row column scanning method. And then uses the repositioning center algorithm to obtain the new center and radius, according to the distortion principle to calculate the distortion principle. The mapping relationship between the target image and the original image is obtained, and finally modified by the bilinear interpolation method. Compared with the traditional longitude correction, the proposed algorithm can correct the fisheye image accurately and effectively, and improve the quality of correction. © 2023 SPIE.

关键词： Image enhancement

来源：评论

学校读者我要写书评

暂无评论

Invariance of Gaussian RKHSs Under Koopman Operators of Stochastic Differential Equations With Constant Matrix Coefficients

Invariance of Gaussian RKHSs Under Koopman Operators of Stoc...

引用

94th Annual Meeting of the International Association of Applied Mathematics and Mechanics, GAMM 2024

作者： Philipp, Friedrich M. Schaller, Manuel Worthmann, Karl Peitz, Sebastian Nüske, Feliks Optimization-Based Control Group Institute of Mathematics Technische Universität Ilmenau Ilmenau Germany Department of Computer Science Paderborn University Paderborn Germany Max Planck Institute for Dynamics of Complex Technical Systems Magdeburg Germany Department of Mathematics and Computer Science Freie Universität Berlin Berlin Germany

We consider the Koopman operator semigroup (Kt)t≥0 associated with stochastic differential equations of the form dKt = AKt dt + B dWt with constant matrices A and B and Brownian motion Wt . We prove that the reproducing kernel Hilbert space ℍc generated by a Gaussian kernel with a positive definite covariance matrix C is invariant under each Koopman operator Kt if the matrices A, B, and C satisfy the following Lyapunov-like matrix inequality: AC2 + C2 A ≤ 2BB. In this course, we prove a characterization concerning the inclusion ℍc1 ⊂ ℍc2 of Gaussian RKHSs for two positive definite matrices C1 and C2 . The question of whether the sufficient Lyapunov-condition is also necessary is left as an open problem. © 2024 The Author(s). Proceedings in Applied Mathematics & Mechanics published by Wiley-VCH GmbH.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Heuristic Algorithm for Solving Travelling Salesman Problem: Adding the Endpoints of the Longest Edges 5

Heuristic Algorithm for Solving Travelling Salesman Problem:...

引用

5th International Conference on Problems of Cybernetics and Informatics, PCI 2023

作者： Nuriyeva, Fidan Dokuz Eylul University Department of Computer Science Izmir Turkey Institute of Control Systems Laboratory of Recognition Identification and Methods of Optimal Solutions Baku Azerbaijan

ISBN: (纸本)9798350319064

This study proposes, a new heuristic algorithm based on insertion heuristic to solve the symmetric Travelling Salesman Problem. In the proposed algorithm, firstly the two longest edges are selected and the starting tour passing through their endpoints is constructed, then the endpoints of the next longest edges are added to this tour and the solution passing through all the vertices is found. This problem is known to be NP-Hard. The proposed method was successfully tested on different-sized problems. The experimental results show that the proposed algorithm outperforms many existing methods. © 2023 IEEE.

关键词： Traveling salesman problem

来源：评论

学校读者我要写书评

暂无评论

Improved Dingo Optimization Algorithm for Human-robot Collaborative U-shaped Disassembly Line Balancing Problem

Improved Dingo Optimization Algorithm for Human-robot Collab...

引用

2024 International Conference on Cyber-Physical Social Intelligence, ICCSI 2024

作者： Li, Jialong Guo, XiWang Wang, Jiacun Qin, ShuJin Qi, Liang Kang, Qi Liaoning Petrochemical University Information and Control Engineering Fushun China Monmouth University Wes Long Branch Computer Science and Software Eng. NJ United States Shangqiu Normal University Economics and Management Shangqiu China Shandong University of Science and Technology Computer Science and Technology Qingdao China New Jersey Institute of Technology Electrical and Computer Engineering Newark United States

ISBN: (纸本)9798350376739

There is increasing attention on remanufacturing, with the primary focus in the industry on recovering reusable products to generate profit. In the process of optimizing remanufacturing, addressing the balance issue in the operation of the disassembly line is crucial. Therefore, this study proposes the use of an improved Dingo Optimization Algorithm (IDOA) and designs a mathematical model for human-robot collaboration to explore how to achieve higher profits under these conditions. Finally, the improved IDOA is experimentally compared with the commercial optimization solver CPLEX and another intelligent optimization method - the Battle Royale Optimization (BRO). The results demonstrate that this method offers high quality and efficiency. © 2024 IEEE.

关键词： Microrobots

来源：评论

学校读者我要写书评

暂无评论

Accuracy of Determining Damage from Atmosphere Pollution by Industry Under Various Combinations of Events 17

Accuracy of Determining Damage from Atmosphere Pollution by ...

引用

17th International Conference on Management of Large-Scale System Development, MLSD 2024

作者： Fursov, Sergey Kushnikova, Elena Kushikov, Oleg Shnaider, Ilia V.A. Trapeznikov Institute of Control Sciences of Ras Laboratory #33 Moscow Russia Institute for Problems of Precision Mechanics and Control A Separate Structural Unit of the Federal Research Center Ssc Ras Saratov Russia Saratov State University Department of Mathematical Cybernetics and Computer Science Saratov Russia

ISBN: (纸本)9798350375718

The article develops a mathematical model that allows us to consider the influence of critical combinations of events solving the problem of minimizing damage from the impact of air pollutants on the population, agriculture and the environment. The results obtained can be used to improve environmental monitoring systems. © 2024 IEEE.

关键词： Environmental monitoring

来源：评论

学校读者我要写书评

暂无评论

Optimization of Electrocardiogram Classification Using Dipper Throated Algorithm and Differential Evolution

引用

computers, Materials & Continua 2023年第2期74卷 2379-2395页

作者： Doaa Sami Khafaga El-Sayed M.El-kenawy Faten Khalid Karim Sameer Alshetewi Abdelhameed Ibrahim Abdelaziz A.Abdelhamid D.L.Elsheweikh Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah Bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Faculty of Artificial Intelligence Delta University for Science and TechnologyMansoura35712Egypt General Information Technology Department Ministry of DefenseThe Executive AffairsExcellence Services DirectorateRiyadh11564Saudi Arabia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Department of Computer Science Faculty of Specific EducationMansoura UniversityEgypt

Electrocardiogram(ECG)signal is a measure of the heart’s electrical ***,ECG detection and classification have benefited from the use of computer-aided systems by *** goal of this paper is to improve the accuracy of ECG classification by combining the Dipper Throated Optimization(DTO)and Differential Evolution Algorithm(DEA)into a unified algorithm to optimize the hyperparameters of neural network(NN)for boosting the ECG classification *** addition,we proposed a new feature selection method for selecting the significant feature that can improve the overall *** prove the superiority of the proposed approach,several experimentswere conducted to compare the results achieved by the proposed approach and other competing ***,statistical analysis is performed to study the significance and stability of the proposed approach using Wilcoxon and ANOVA *** results confirmed the superiority and effectiveness of the proposed *** classification accuracy achieved by the proposed approach is(99.98%).

关键词： Electrocardiogram differential evolution algorithm dipper throated optimization neural networks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：