Mechatronic systems are a class of cyber-physical systems, whose increasing complexity makes their validation and verification more and more difficult, while their requirements become more challenging. This paper introduces a development method based...
The design of Hybrid-Electric Regional (HER) aircraft represents a great challenge due to the systems’ complexity and their level of integration and results in a great expense of resources. To overcome these issues, the Open Digital Environment...
Background: Large Language Models (LLMs) are emerging as promising tools in hardware design and verification, with recent advancements suggesting they could fundamentally reshape conventional practices. Objective: This study examines the significance...
CubeSats are increasingly adopted for space missions due to their low cost and short development cycles. However, their attitude determination and control systems (ADCS) often suffer from limited verification environments and constrained hardware con...
The enforcement of the GDPR in May 2018 has led to a paradigm shift in data protection. Organizations face significant challenges, such as demonstrating compliance (or auditability) and automated compliance verification due to the complex and dynamic...
By changing the aerodynamic shape of the trailing edge of its wing, an aircraft can achieve lift and drag reduction during takeoff and landing and continuously achieve better aerodynamic efficiency while cruising, which plays an important role in the...
The paper proposes a novel design technique of cyber-physical systems (CPSs). The system is specified by a Petri net, and further modelled in a hardware description language (HDL) towards final implementation in a programmable device. Contrary to the...
As automotive software continues to grow in scale and timing sensitivity, hardware-independent verification in the early design phase has become increasingly important—especially for safety-critical, body-domain controllers. This study proposes...
The conversion of aging residential buildings into public rental housing is considered a potential future application scenario. In response to the challenges of adapting the layouts of public rental housing to contemporary lifestyles, an integrated r...
Background: Prefilled syringes (PFSs) are increasingly used for self- and assisted administration of high-value parenterals, yet design verification (DV) planning remains challenging due to overlapping drug, device, and combination product expectatio...
Widespread access to low-cost, high computing power allows for increased computerization of everyday life. However, high-performance computers alone cannot meet the demands of systems such as the Internet of Things or multi-agent robotic systems. For...
Recently, electric vertical take-off and landing (eVTOL) aircraft have become a top priority for urban air transportation due to their ability to overcome urban ground traffic congestion. In this research, a new type of scaled lift–cruise &lsqu...
Tree-climbing robots are primarily utilized for pruning and harvesting in tall trees; however, limited structural degrees of freedom (DoFs) reduce their flexibility in complex environments. To improve the flexibility and environmental adaptability of...
Ensuring functional correctness in digital circuitry is arguably the most labor-intensive stage of hardware creation, routinely accounting for upwards of 70% of a project’s total resource allocation. While traditional coverage-driven verificati...
Multi-rope elevators are widely used in modern buildings. However, problems such as vibration, noise, uneven wear of key components and shortened life caused by the uneven distribution of rope tensions are still unsolved in the elevator industry. In...
As the focus on higher education in China gradually shifts from rapid development to an emphasis on quality, the need for campus environments to become facilitators of education has gained increasing attention. The accelerated development of informat...
A battery management system (BMS) design, based on linear optocouplers for Lithium-ion battery cells for automotive and stationary applications is proposed. The critical parts of a BMS are the input voltages and currents measurement circuits. In this...
In contemporary space missions, spacecraft design, verification and validation, and operations can no longer be regarded as separate phases addressed in isolation [...]
Presently, E-commerce has developed rapidly as a result of many services and applications integrating e-commerce technologies offered online. Buyers can buy goods online and sellers can then deliver the goods to them. Logistics therefore plays an imp...
The verification of a space launcher at the design level is a complex issue because of (i) the lack of a detailed modeling capability of the acoustic pressure produced by the rocket; and (ii) the difficulties in applying deterministic methods to the...
Developing star trackers quickly is non-trivial. Achieving reproducible results and comparing different algorithms are also open problems. In this sense, this work proposes the use of synthetic star images (a simulated sky), allied with the standardi...
Motorised arm supports for individuals with severe arm muscle weakness require precise compensation for arm weight and elevated passive joint impedance (e.g., joint stiffness as a result of muscle atrophy and fibrosis). Estimating these parameters in...
Advances in electric flight technologies have enabled distributed electric propulsion, opening a large design space for electric vertical take-off and landing (eVTOL) aircraft with diverse configurations and mission profiles. To support rapid explora...
For potatoes, a crop with a specific plant spacing and a large row spacing, continuous spray has problems including low spraying accuracy and washability. In order to improve the utilisation of this crop, this manuscript designed a targeted and varia...
Geospatial Information Verification Mid-End Platform for Natural Resource Administration is designed in response to issues such as repeated development, low scalability, and inconsistent verification rules in existing approval and supervision applica...
A power factor corrector (PFC) is a device whose job is to improve the power factor of a device. Several connections of semiconductor converters are used for this purpose; one of them is the bridgeless totem-pole power factor correction converter (BL...
This paper presents a new innovative approach for designing and manufacturing a fixture for locating and clamping porous blocks of biocompatible material, which is required for their machining on CNC machines. Manufacturing porous blocks for their ap...
DC electrical distribution systems offer many potential advantages over their AC counterparts. They can facilitate easier integration with distributed energy resources, improve system energy efficiency by eliminating AC/DC converters at end-use devic...
As small satellites are becoming more widespread for new businesses and applications, the development time, failure rate and cost of the spacecraft must be reduced. One of the systems with the highest cost and the most frequent failure in the satelli...
The prosthetic feet that are most often prescribed to individuals with K3/K4 levels of ambulation are the ESR feet. ESR stands for energy-storing and -releasing. The elastic energy is stored by the elastic elements in composite materials (carbon fibe...
Waterway and canal systems are particularly cost effective in the transport of bulk and containerized goods to support global trade. Yet, despite these benefits, they are among the most under-appreciated forms of transportation engineering systems. L...
The safe transport of cylindrical loads such as metal, paper, or polymer rollers requires specialized securing structures that address the complex dynamic forces encountered during rail movement. This paper presents a structured methodology for the d...
This paper proposes a test scenario design method that reflects the longitudinal characteristics of reality for effective verification of advanced driver assistance systems (ADAS) and autonomous driving systems (ADS). Since the target systems interac...
Electric tractors (ETs) have attached significant attention in recent years due to the increasingly stringent exhaust emission policies all over the world. However, testing and evaluating all possible architectures and component sizes for ETs would b...
In the field of electronic communication warfare, accurately predicting the range and intensity of shortwave interference signals presents a significant challenge due to the complex interplay between the ionospheric parameters and the electromagnetic...
The bionic flapping-wing aircraft has the advantages of high flexibility and strong concealment; however, in the existing flapping-wing aircraft, the platform performance is influenced by the payload capacity, endurance, and durability; additionally,...
The integration of open-source hardware and visual programming technologies provides an effective approach for developing contextualized STEM activities in higher education. This study presents the design, implementation, and functional verification...
A frequent change in the manufacturing program caused by a change in customer requirements requires a logistics system in the company that can respond flexibly to these changes. In order for business logistics to respond flexibly and optimally to the...
A radar guidance system is a core component of a radar-guided air-to-air missile, and its tracking accuracy of airborne targets determines the operational effectiveness of said missile. To verify the tracking accuracy of the radar guidance system aga...
Wheel braking devices is some of the most widely used landing deceleration devices in modern aircraft. Jet pipe pressure servo valves are widely used in large aircraft wheel brake control systems because of their high anti-pollution ability, high sen...
MnZn ferrites for power electronics require a well-controlled sintering window to balance high initial permeability (µi) with low power loss (Pcv). Here, an L9 (33) orthogonal design was employed to quantify the main effects of sintering temper...
Unmanned Surface Vehicle (USV) is a novel multifunctional platform for ocean observation, and its heading and velocity control are essential and important for autonomous operation. A coupled heading and velocity controller is designed using backstepp...
Assistive bathing for the elderly and disabled presents significant challenges regarding caregiver workload and safety. This paper presents the design and verification of a multi-module integrated intelligent bathing assistance system. The system aut...
In order to obtain scaffold that can meet the therapeutic effect, researchers have carried out research on irregular porous structures. However, there are deficiencies in the design method of accurately controlling the apparent elastic modulus of the...
Exoskeletons designed to assist patients with activities of daily living are becoming increasingly popular, but still are subject to research. In order to gather requirements for the design of such systems, long-term gait observation of the patients...
During the last years, the use of Portable Coordinate Measuring Machines (PCMMs) in industry has increased considerably, mostly due to their flexibility for accomplishing in-line measuring tasks as well as their reduced costs and operational advantag...
The digital integrated circuit (IC) design industry is continuously evolving. However, the rapid advancements in technology are accompanied by major reliability concerns. Conventional clock-based synchronous designs become exceedingly susceptible to...
Spiking Neural Networks (SNNs) offer a promising path toward ultra-low-power artificial intelligence inference by emulating the event-driven computation of biological neurons. However, two challenges limit their practical deployment. First, fixed-par...
Smart contracts constitute the foundation for blockchain distributed applications. These constructs enable transactions in trustless environments using consensus algorithms and software-controlled verification rules. In the current state of the art,...
The main purpose of the study was to propose a modification of Larrard’s formula for both the design and compressive-strength evaluation of ultra-high-performance concrete. The proposed modification consisted of the introduction of new paramete...
of 95