This paper focuses on the challenges of modeling and verifying symmetric distributed algorithms with point-to-point and bidirectional communications using the SPIN model checker. In this paper, we first state the prob...
详细信息
For the hardware and software partitioning problem of single processor embedded systems, a weighted directed acyclic graph is usually used for modeling, and it is reduced to solve the 0/1 knapsack problem with multipl...
详细信息
ISBN:
(纸本)9798400708305
For the hardware and software partitioning problem of single processor embedded systems, a weighted directed acyclic graph is usually used for modeling, and it is reduced to solve the 0/1 knapsack problem with multiple constraints. However, traditional particle swarm optimization algorithms cannot solve the 0/1 knapsack problem. Therefore, this article introduces the ideas of crossover and mutation in genetic algorithms into particle swarm optimization algorithms, and proposes a genetic particle swarm optimization (GPSO) algorithm for solving discrete combinatorial optimization problems. The two-point crossover operator and non-uniform mutation operator are used to redefine the particle position and velocity update method. The experimental results show that the algorithm proposed in the article can effectively solve software and hardware partitioning problems and has good global search ability, its optimization ability and execution time are superior to genetic algorithms and simulated annealing algorithms.
With the continuous development of digital image processing algorithms, its application scenarios have been integrated from the simple research of a single image and a single algorithm to a multi-algorithm fusion anal...
详细信息
The dynamics of a thin elastic 3-dimensional toroidal shell are considered. The motion of such a toroidal shell is considered in polar coordinates under certain assumptions. Understanding the behavior of these shells ...
详细信息
Complex networks, characterised by intricate structures arising from the relationships and interactions among their constituent elements, play a pivotal role in various domains such as social networks, biological syst...
详细信息
Compared to traditional civil engineering approaches, artificial intelligence (AI) applied to data-centric systems has shown extraordinary predictive ca-pabilities. As a result, Artificial Intelligence (AI) is frequen...
详细信息
In the rapidly changing landscape of urbanization, this study delves into traffic congestion management within smart cities. Leveraging a diverse dataset from Kaggle, which includes details such as timestamps, weather...
详细信息
The proceedings contain 46 papers. The special focus in this conference is on Russian Automation. The topics include: Using the Long Functional Series in Technical systems and Increasing Their Efficiency Due to Recurr...
ISBN:
(纸本)9783031511264
The proceedings contain 46 papers. The special focus in this conference is on Russian Automation. The topics include: Using the Long Functional Series in Technical systems and Increasing Their Efficiency Due to Recurrent Formulae;models of the Early Stage in Digital Design;features of the Decomposition of Nonlinear Processes and systems Within the Framework of the System Approach;nonlinear Control of Thermoelectric Peltier Moduls for Climate Management systems in Agro-Industrial Complex;method of Formation of an Artificial Multiphase Field of a Specified Structure During Phase-Metric Technological Control;modeling of Spectral Characteristics of the Links of Phase Distortions Autocompensator of Direct Digital Synthesizers;method for Taking into Account measurement Errors When Sorting Elements into Selective Groups;deformable Linear Objects modeling and Manipulation: An Energy-Based Approach;combining Disparate Units of a Quasi-Intelligent Decoder;search for Structurally Similar Projects of Software systems;The Concept of a Software Module for Automating the Route Design of Mechanical Processing Machine Parts for Use as Part of a Machine-Building CAD System;PID Based Path Follower for the MiddleAUV on the Test Polygon;a Robust Control Algorithm for the Hybrid Power Filter Operating Under Real Grid Conditions;Using PM4Py for Process Mining in an Educational Organization;management of Student Physical Training for Professional Activity as Part of Engineering Education in Digital Era;Approach to Developing Custom Screens for Monitoring the Status of CNC Machines Using Web Components;development of a Decision Support System for Helpdesk-Service Based on the Processor for Natural Language Text Classification.
The paper presents the samples of application of the developed comprehensive system that allows to check the fit of selected elements of clothing. This process is carried out with the help of the mechatronic model of ...
详细信息
ISBN:
(纸本)9783031634437;9783031634444
The paper presents the samples of application of the developed comprehensive system that allows to check the fit of selected elements of clothing. This process is carried out with the help of the mechatronic model of a mannequin under development and a vision system that enables scanning of the human body. This system is designed to collect data in the form of basic human dimensions and provide data in order to properly set the dummy modules, so that it is possible to assess the fit of a selected item of clothing.
Attitude estimation using an inertial measurement unit is a critical challenge in aerospace, robotics control, unmanned systems, and related fields, with its precision directly impacting the performance and safety of ...
详细信息
暂无评论