Aiming at the disrupted flight recovery problem, this paper established a mixed-integer programming model based on the resource assignment model to minimize the recovery cost. To deal with the large-scale examples, the Logic-Based Benders decompositi...
As the electrification reform accelerates in ports worldwide, the application of electric tugboats is becoming more widely applied, posing a challenge in the balance between working arrangement and energy replenishment, especially when the shore ener...
As a powerful technique to merge complementary information of original images, infrared (IR) and visible image fusion approaches are widely used in surveillance, target detecting, tracking, and biological recognition, etc. In this paper, an efficient...
The optimization of distillation processes is particularly challenging due to the presence of nonlinear equations and integer variables, resulting in complex mixed-integer nonlinear programming (MINLP) problems. This work introduces an enhanced optim...
The review is devoted to methods of structural decomposition that are used for optimizing characteristics of circuits of finite state machines (FSMs). These methods are connected with the increasing the number of logic levels in resulting FSM circuit...
Network security is a crucial challenge facing Internet-of-Things (IoT) systems worldwide, which leads to serious safety alarms and great economic loss. This paper studies the problem of malicious interdicting network exploitation of IoT systems that...
In computer numeric controller (CNC) milling machining, air-cutting, where the tool moves without engaging the material, will reduce the machining efficiency. This study proposes a novel methodology to detect and minimize non-productive (air-cutting)...
In the computation systems that are frequently utilized in Digital Signal Processing (DSP)- and Fast Fourier transform (FFT)-based applications, binary multipliers play a crucial role. Multipliers are one of the basic arithmetic components used, and...
Ultra-wide-band (UWB) radar technology is a contactless signal detection technology. The UWB technology can be used for the clinical medical monitoring of the human heartbeat and respiration. In this paper, a novel algorithm is proposed to estimate h...
As there are more and more available Web services with the same or similar functionalities but different Quality of Service (QoS), the challenge of QoS-aware service composition is to efficiently select appropriate component services to achieve maxim...
Transformers are vital and indispensable elements in electrical systems, and therefore, their correct operation is fundamental; despite being robust electrical machines, they are susceptible to present different types of faults during their service l...
The rapid growth of e-commerce has intensified the need for efficient last-mile delivery, making unmanned aerial vehicles (UAVs) a promising solution. However, despite their potential, practical deployment remains limited by how to effectively plan d...
To further enhance economic efficiency and optimize energy conservation and emission reduction performance, an optimized energy management strategy (EMS) tailored for the hybrid power system of rubber-tyred gantry cranes is proposed. Wavelet packet d...
The present research addresses the single transportation robot used to alleviate problems of robotic cell scheduling of the machines. For the purpose of minimizing the make-span, a model of mixed-integer linear programming (MILP) has been suggested....
Real-time systems are widely used in industry, including technological process control systems, industrial automation systems, SCADA systems, testing, and measuring equipment, and robotics. The efficiency of executing an intelligent robot’s mis...
In recent years, the Markov Logic Network (MLN) has emerged as a powerful tool for knowledge-based inference due to its ability to combine first-order logic inference and probabilistic reasoning. Unfortunately, current MLN solutions cannot efficientl...
The paper proposes a method for improving the accuracy of early detection of cyber attacks with a small impact, in which the mathematical expectation is a fraction of the total, and the pulse repetition period is quite long. Early detection of attack...
A novel design technique of a Petri net-based concurrent control system is proposed in this paper. The idea is oriented on the effective implementation of the system within the FPGA device. In order to reduce the resources of the targeted device, the...
The main purpose of the paper is to present technology mapping of FSM (finite state machine) oriented to LUT (look-up table)-based FPGA (field-programmable gate array). The combinational part of an automaton, which consists of a transition block and...
A method for synthesizing quantum gates is presented based on interpolation methods applied to operators in Hilbert space. Starting from the diagonal forms of specific generating seed operators with non-degenerate eigenvalue spectrum one obtains for...
Category theory allows one to treat logic and set theory as internal to certain categories. What is internal to SET is 2-valued logic with classical Zermelo–Fraenkel set theory, while for general toposes it is typically intuitionistic logic and...
The article presents a synthesis strategy focused on low power implementations of combinatorial circuits in an array-type FPGA structure. Logic functions are described by means of BDD. A new form of the SWitch activity BDD diagram (SWBDD) is proposed...
Background: The slot planning problem is a container allocation problem within a certain location on a vessel. It is considered a sub-problem of a successful decomposition approach for the container vessel stowage planning problem. This decision has...
This paper proposes a robust fault detection and analysis model for 126 MVA synchronous generators connected to 16 kV and 230 kV transmission lines, developed in MATLAB Simulink R2025a. The model simulates various fault scenarios, including short-cir...
Background: Health disparities research increasingly relies on complex survey data to understand survival differences between population subgroups. While Peters–Belson decomposition provides a principled framework for distinguishing disparities...
One of the tasks of data science is the decomposition of large matrices in order to understand their structures. A special case of this is when we decompose relations, i.e., logical matrices. In this paper, we present a method based on the similarity...
The deployment of large language models (LLMs) in academic paper evaluation is increasingly widespread, yet their trustworthiness remains debated; to expose fundamental flaws often masked under conventional testing, this study employed extreme-scenar...
This paper investigates a fault-tolerant control problem for the dynamic positioning of unmanned marine vehicles based on a Takagi–Sugeno (T-S) fuzzy model using an integral sliding mode scheme. First, the T-S fuzzy model of an unmanned marine...
Very often, digital systems include sequential blocks which can be represented using a model of Mealy finite state machine (FSM). It is very important to improve such FSM characteristics as the number of used logic elements, operating frequency and p...
Multi-satellite collaborative computing has achieved task decomposition and collaborative execution through inter-satellite links (ISLs), which has significantly improved the efficiency of task execution and system responsiveness. However, existing m...
In novel collaborative systems, cooperative entities collaborate services to achieve local and global objectives. With the growing pervasiveness of cyber-physical systems, however, such collaboration is hampered by differences in the operations of th...
Aiming at the dynamic characteristics and stability of smart distribution network stations under the combined effect of the uncertainty of new energy output and the control logic of power electronics, an adaptive dimensionally increasing linear dynam...
Unlike traditional fault detection methods, quality-oriented fault detection further classifies the types of faults into quality-related and non-quality-related faults. Therefore, quality-oriented fault detection has attracted significant attention i...
In this paper, a fault location method based on divide-and-conquer (DAC) is proposed to solve the inadequacy problem that arises when using the traditional fault section location method based on the optimization model of logic operation. The problem...
This study establishes a combination method-based prediction model for the CSI 300 stock index price embedded with options market information. Firstly, utilizing options and spot market information, a BP neural network is employed to predict the CSI...
To address the critical challenge of high energy consumption in single-source electric vehicles, this study proposes a hybrid energy storage system (HESS)-integrated energy management strategy (EMS). Firstly, the car-following and HESS models are con...
Traditional centralized modeling and fault detection methods for large-scale industrial processes have limitations, including a significant computational load and reduced performance. To address these issues, this paper proposes a distributed dynamic...
The presented paper introduces a novel path planning algorithm designed for generating low-cost trajectories that fulfill mission requirements expressed in Linear Temporal Logic (LTL). The proposed algorithm is particularly effective in environments...
Contemporary digital systems include many varying sequential blocks. In the article, we discuss a case when Mealy finite state machines (FSMs) describe the behavior of sequential blocks. In many cases, the performance is the most important characteri...
A method is proposed that is focused on reducing the chip area occupied by logic elements creating the circuit of Mealy finite state machines (FSMs). The proposed method is aimed at FSM circuits implemented with internal resources of field-programmab...
This paper proposes a grating Moiré fringe signal compensation method based on Variational Mode Decomposition (VMD) to address signal errors in grating encoders. VMD decomposes Moiré fringe signals into multiple amplitude-modulated and...
A novel approach to constructing an algorithm for computing discrete logarithms, which holds significant interest for advancing cryptographic methods and the applied use of multivalued logic, is proposed. The method is based on the algebraic delta fu...
This paper studies the role of resource orchestration in promoting business model innovation in servitization transformation enterprises to achieve sustainable development. Taking Sany Heavy Industry as the research focus, a three-level evaluation in...
In the present paper, we develop a theory of thinking based on an attempt to formalize the construction of mental representations as described in psychoanalytic theory. In previous work, we described Freud’s and Matte Blanco’s structural...
The main purpose of the method proposed in this article is to reduce the number of look-up-table (LUT) elements in logic circuits of sequential devices. The devices are represented by models of Mealy finite state machines (FSMs). Thesee are so-called...
A method is proposed targeting implementation of FPGA-based Mealy finite state machines. The main goal of the method is a reduction for the number of look-up table (LUT) elements and their levels in FSM logic circuits. To do it, it is necessary to el...
Error coefficients are ubiquitous in systems. In particular, errors in reasoning verification must be considered regarding safety-critical systems. We present a reasoning method that can be applied to systems described by the polynomial error asserti...
Space-filling curves (SFCs) represent an efficient and straightforward method for sparse-space indexing to transform an n-dimensional space into a one-dimensional representation. This is often applied for multidimensional point indexing which brings...
Thorough analysis of regional carbon emissions is essential, given their substantial contribution to overall carbon emissions, as it underpins the formulation of targeted low-carbon development strategies. This study investigates whether Hubei Provin...
Stereo matching is an open problem in Computer Vision, for which local features are extracted to identify corresponding points in pairs of images. The results are heavily dependent on the initial steps. We apply image decomposition in multiresolution...
of 2