The ERTMS/ETCS is the newest automatic train protection system. This is a system that supports the driver in driving the train. It is currently being implemented throughout the European Union. This system’s latest specifications also provide ad...
Relay-based traffic control systems are still used in railway control systems. Their correctness is most often verified by manual analysis, which does not guarantee correctness in all conditions. Passenger safety, control reliability, and failure-fre...
The paper presents the existing verification methods for control algorithms in power electronics systems, including the application of model checking techniques. In the industry, the most frequently used verification methods are simulations and exper...
Model checking is a formal automatic verification technology for complex concurrent systems. It is used widely in the verification and analysis of computer software and hardware systems, communication protocols, security protocols, etc. The generaliz...
This paper seeks to use artificial intelligence blockchain algorithms to ensure safe verification of medical institution PHR data and accurate verification of medical data as existing vulnerabilities. Artificial intelligence has recently spread and h...
A common problem in the development of Internet-of-Things (IoT) and cyber–physical system (CPS) applications is the complexity of these domains, due to their hybrid and distributed nature at multiple layers (hardware, network, communication, fr...
Handwritten signatures are widely used for identity authorization. However, verifying handwritten signatures is cumbersome in practice due to the dependency on extra drawing tools such as a digitizer, and because the false acceptance of a forged sign...
The paper presents a concept and an implementation of a hardware-in-the-loop (HIL) energy storage test bench. This system permits to simulate energy management strategies or battery models in real time in combination with a real energy storage system...
Besides presenting a volumetric verification technique that allows characterization of the different geometric errors of a machine tool (MT) depending on its kinematic chain and geometry through a kinematic model, this paper investigates the influenc...
This article discusses the software tool (Simscape—Multibody program of MATLAB) primarily intended for dynamic and kinematic processes with practical applications in static calculations. Currently, there are few published scientific works utili...
An efficient and reliable spacecraft payload thermal management method is one of the key problems to build China Space Station (CSS). Aiming at the outstanding characteristics and difficulties of the payloads rack in the experimental lab module of CS...
The evolution of deep learning has promoted the performance of finger vein verification systems, but also brings some new issues to be resolved, including high computational burden, massive training sample demand, as well as the adaptability and gene...
This paper systematically analyzes security vulnerabilities that may occur during the OpenCV library and IP camera linkage process for the YOLO v10-based IP camera image processing system used in the disaster safety management field. Recently, the us...
Biochar, produced through the pyrolysis of biomass and green waste, offers significant potential as a soil amendment to enhance soil health and sustainability in agriculture. However, the current Measurement, Reporting, and Verification (MRV) systems...
Opacity, an important property of the information flow in discrete-event systems (DESs), characterizes whether the secret information in a system is ambiguous to a passive observer (called an intruder). Observation models play a critical role in the...
Blockchain provides the opportunity for organizations to execute trustable collaborations through smart contract automations. However, linkability problems exist in blockchain-based collaboration platforms due to privacy leakages, which, when exploit...
Reaction Systems (RSs) are a computational framework inspired by biochemical mechanisms. An RS defines a finite set of reactions over a finite set of entities (molecules, proteins, etc). Starting from an initial set of entities (the initial state), a...
Currently, the media industry is in the rapid development stage of media integration, which has brought about great changes in content production mode, presentation form, communication mechanism, operation and maintenance management, etc. At the same...
Automatic Dependent Surveillance–Broadcast (ADS-B) is the direction of airspace surveillance development. Research analyzing the benefits of Traffic Collision Avoidance System (TCAS) and ADS-B data fusion is almost absent. The paper proposes an ADS-B...
The ultra-high-frequency (UHF) detection method is highly accurate and has a fault localization function. At present, most gas-insulated switchgear (GIS) installations are equipped with online UHF monitoring devices to detect partial discharges. In o...
A class of complex systems can be structurally decomposed into several typical multi-state weighted k/n systems. In view of this, this paper proposes a reliability model to evaluate the reliability of such systems. The system reliability evaluation p...
Poor-quality facial images pose challenges in biometric authentication, especially in passport photo acquisition and recognition. This study proposes a novel and open-source solution to address these issues by introducing a real-time facial image qua...
In heating, ventilation, and air conditioning (HVAC) systems, chiller power model prediction is crucial for control and improving energy efficiency. However, in practical engineering scenarios, the chilled water supply temperature, chilled water flow...
Aiming to address the disadvantages of the low automation degree of the traditional steel measuring tape verification device, as well as the high labor intensity of metrologists, high time costs, and low measurement accuracy, this paper develops a ne...
A small-scale grid-connected PV system that is easy to install and is inexpensive as a remote monitoring system may cause economic losses if its failure is not found and it is left unattended for a long time. Thus, in this study, we developed a low-c...
In order to meet the needs of dynamic continuous monitoring of soil-plant-atmosphere continuum (SPAC), a new soil, plant, atmosphere analysis system has been established based on an intelligent weighing system (IWS). Four types of irrigation treatmen...
An effective autonomous underwater vehicle (AUV) simulation system can greatly improve development efficiency and reduce the cost and risk of actual equipment operation. In this paper, a comprehensive simulation system is developed using Mission Orie...
Valuation of single-family detached houses is necessary when determining the amounts of some taxes. The current systems of the Czech Republic are outdated in this respect, and they are based on procedures used in the 1980s. The values found do not co...
Fatigue, a hot scientific research topic for centuries, can trigger sudden failure of critical structures such as aircraft and railway systems, resulting in enormous casualties as well as economic losses. The fatigue life of certain structures is int...
Many cloud services are relying on distributed key-value stores such as ZooKeeper, Cassandra, HBase, etc. However, distributed key-value stores are notoriously difficult to design and implement without any mistakes. Because data consistency is the co...
This article deals with the design and testing of mobile robots equipped with drive systems based on omnidirectional tracks. These are new mobile systems that combine the advantages of a typical track drive with the advantages of systems equipped wit...
In this paper we propose a robust lane detection and tracking method by combining particle filters with the particle swarm optimization method. This method mainly uses the particle filters to detect and track the local optimum of the lane model in th...
The study applies Kansei engineering in analyzing the color and texture of leather footwear, utilizing neural network verification to mirror consumers’ visual and tactile imageries onto varieties of leather. This aids in the development of an a...
THe energy-efficient operation of microgrids—a localized grouping of consuming loads (domestic appliances, EVs, etc.) with distributed energy sources such as solar photovoltaic panels—suggests the deployment of Energy Management Systems (...
In a single-phase grid-tied inverter, the direct current (DC) offset error included in the measured grid side phase current has various causes, such as a non-ideal current sensor, unbalanced power supply of an operational amplifier, and nonlinear fea...
Personalized quality of service (QoS) prediction plays an important role in helping users build high-quality service-oriented systems. To obtain accurate prediction results, many approaches have been investigated in recent years. However, these appro...
This pilot study focuses on the design, implementation, optimization and verification of a novel solution of smart measuring of water consumption and crisis detection leading to a smart water management platform. The system implemented consists of a...
This paper presents an analysis of innovations in the biometrics market, which have started to play a very important role in personal identification and identification systems. The aim of the study was to analyze current customs and opinions regardin...
The paper presents an original methodology for the implementation of the Logarithmic Number System (LNS) arithmetic, which uses Reduced Instruction Set Computing (RISC). The core of the proposed method is a newly developed algorithm for conversion be...
Accurate sound visualization of noise sources is required for optimal noise control. Typically, noise measurement systems require microphones, an analog-digital converter, cables, a data acquisition system, etc., which may not be affordable for poten...
Miniature fuses as an anti-damage subsystem perform the important function of protecting electronic devices and systems against permanent damage that may result in electric shocks, fire risks, etc. Their role becomes particularly important when they...
To support the advanced controller design and verification of the Aeropropulsion System Test Facility (ASTF), it is necessary to establish a mathematical model of ASTF with high precision and replace the current lumped parameter model. Therefore, a q...
Corner accuracy occurring in wire electrical discharge machining (WEDM) is influenced by machining parameters such as wire vibration, wire lag, and excessive discharge, etc. This study proposed an optimization method which can improve the corner accu...
Today, digitalization decisively penetrates all the sides of the modern society. One of the key enablers to maintain this process secure is authentication. It covers many different areas of a hyper-connected world, including online payments, communic...
The rapid development of machine vision has prompted the continuous emergence of new detection systems and algorithms in surface defect detection. However, most of the existing methods establish their systems with few comparisons and verifications, a...
A novel aerodynamic lens-based inlet system was developed for a wide particle size range, and it could extend the size range of transmitted particulate matter (PM) to 50 nm–10 μm. The lens system adopted a seven-stage aerodynamic focusing or...
A Geo-Stationary GNSS-based Bistatic Forward-Looking Synthetic Aperture Radar (GeoSta-GNSS-BFLSAR) system is a particular kind of passive bistatic SAR system. In this system, a geo-stationary GNSS is used as the transmitter, while the receiver is dep...
Feature-based approaches have been profusely used in the last decades to incorporate domain-specific knowledge in the design and development of technical systems that, according to the new Concurrent Engineering approaches, involves not only the defi...
Industry 4.0 represents a new paradigm which creates new requirements in the area of manufacturing and manufacturing metrology such as to reduce the cost of product, flexibility, mass customization, quality of product, high level of digitalization, o...
The “dual carbon” strategy has drawn attention to distributed PV systems for their flexibility and variability, but the rising need for direct-current (DC) loads on the load side has created additional difficulties for microgrid system up...
of 3