Data integrity is crucial for ensuring data correctness and quality and is maintained through integrity constraints that must be continuously checked, especially in data-intensive systems like OLTP. While DBMSs handle very simple cases of constraints...
The unibody lab-on-a-chip (ULOC) concept entails a fast and affordable micro-prototyping system built around a single monolithic 3D printed element (unibody). A consumer-grade stereo lithography (SL) 3D printer can configure ULOCs with different for...
Due to the growing complexity of mechanical, electrical, and plumbing (MEP) designs and the rules that govern them, performing rule checks manually has become expensive. However, MEP-based rule checking has not received adequate attention compared to...
Nowadays, the secure program execution of embedded processor has attracted considerable research attention, since more and more code tampering attacks and transient faults are seriously affecting the security of embedded processors. The program monit...
The adoption of building information modelling (BIM) enables data-driven decision-making for many participants in the construction process. Building authorities are stakeholders that have not yet benefited from data integration using BIM. In many cas...
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...
Companies need to develop more sustainable management models to support a strategy focused on the environment and society, preventing the sole ambition to maximize economic profits. Several specific tools and frameworks have been developed for the im...
The information obtained from external sources within the cloud and the resulting computations are not always reliable. This is attributed to the absence of tangible regulations and information management on the part of the information owners. Althou...
As China’s urban–rural integration progresses, the connections between urban and rural areas continue to strengthen, making the spatial matching between transportation infrastructure and tourism resources increasingly crucial for coordina...
The architecture of Integrated Modular Avionics (IMA) provides airborne software with a robust temporal partitioning mechanism, which achieves the reliable fault containment between avionics applications. However, the partition scheduling of an IMA s...
As the digitalization of construction standards accelerates, the integration of structural analysis results into Building Information Modeling (BIM) environments has become a critical prerequisite for effective BIM-based Automated Code Checking (ACC)...
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...
Eectromechanical systems built by Simulink or Ptolemy have been widely used in industry fields, such as autonomous systems and robotics. It is an urgent need to ensure the safety and security of those systems. Test case generation technologies are wi...
Controlling root movement is one of the greatest challenges in orthodontic treatment with aligners, like Invisalign® aligners. Cone Beam Computed Tomography (CBCT) integration into ClinCheck®, enabling bone and root visualisation, allows a mo...
Integrated circuits are the core building components of virtually all communication systems. Wireless communication systems are becoming increasingly common. They require specialized transmission components to reduce electromagnetic interference. Thi...
A passive microvalve has appealing advantages in cost-effective and miniaturized microfluidic applications. In this work, we present a passive flow regulatory device for enhanced flow control in a microfluidic environment. The device was integrated w...
Electronic Health Records (EHRs: digital compilations of patient health status and diagnosis) are typically shared, analyzed, and stored on cloud servers. One operational challenge is to guarantee the accurate storage of EHRs, for instance, by utiliz...
Because of the ubiquity of Internet of Things (IoT) devices, the power consumption and security of IoT systems have become very important issues. Advanced Encryption Standard (AES) is a block cipher algorithm is commonly used in IoT devices. In this...
Dynamic risk analysis (DRA) is a novel industrial approach that aims to capture changes in operational conditions over time and quantify their effect on risk. This aspect may be advantageous for providing insight into the causal factors that have sub...
With the advances in technology and the automation of drilling platforms, the Anti-Collision System (ACS) has appeared as an affordable technology, which is intended to keep equipment on the drilling floor working harmoniously and to prevent the pote...
This paper presents safety-related modifications to the improved high-voltage unity-gain buffer and their impact on the operation quality of this circuit. The analyzed buffer architecture combines the virtues of source and gate followers. It provides...
Marine scientific observation missions operate over disrupted, high-loss links and must keep heterogeneous sensor, image, and log data confidential and verifiable under fragmented, out-of-order delivery. This paper proposes an end-to-end encryption&n...
With the advancement of information technology construction, the integration of radar and communication represents a crucial technological evolution. Driven by the research boom of integrated sensing and communications (ISACs), some scholars have pro...
Scholars seek to recycle wasted energy to produce electricity by integrating thermoelectric generators (TEGs) with internal combustion engines (ICE), which rely on the electrical conductivity, β, of the thermal conductor strips. The TEG legs are...
In the construction industry, the professional evaluation of construction schemes represents a crucial link in ensuring the safety, quality and economic efficiency of the construction process. However, due to the large number and diversity of constru...
The construction process plays a key role in sustainable development of the environment. With the concept of sustainable construction being put forward in the world, some countries released green construction standards to strengthen the requirements...
Fault injection technologies can be utilized to steal secret information inside integrated circuits (ICs), and thus cause serious information security threats. Parity check has been adopted as an efficient method against fault injection attacks. Howe...
Model checking of building information models is gaining interest for academic and industrial fields. However, several limitations can be identified in the practical application of model checking processes. One of the main limitations is the unavaila...
With Taiwan’s steep terrain and fracture geology, natural disasters are likely to occur after heavy rainfall. To reduce the effects of upstream sediment on human surroundings, check dams are an essential transverse structure for streams in watersheds...
Radio checks serve as the foundation for ground-to-air communication. To integrate machine learning for automated and reliable radio checks, this study introduces an Auto Radio Check network (ARCnet), a novel algorithm for non-intrusive speech qualit...
Background/Objectives: People with a severe mental illness die much earlier than the rest of the population from a preventable physical illness. Annual health checks are a way of assessing the person to then offer the appropriate interventions. Integ...
Check-in records are usually available in social services, which offer us the opportunity to capture and analyze users’ spatial and temporal behaviors. Mining such behavior features is essential to social analysis and business intelligence. However,...
Microfluidics is facing critical challenges in the quest of miniaturizing, integrating, and automating in vitro diagnostics, including the increasing complexity of assays, the gap between the macroscale world and the microscale devices, and the diver...
As one of the most widespread engineering structures for conserving water and soil, check dams have significantly modified the local landform and hydrologic responses. However, the influences of sedimentary lands caused by filled up check dams on the...
6 March 2023
Identifying and extracting check dams is of great significance for soil and water conservation, agricultural management, and ecological assessment. In the Yellow River Basin, the check dam, as a system, generally comprises dam locations and dam-contr...
Check dams are among of the most widespread and effective engineering structures for conserving water and soil in the Loess Plateau since the 1950s, and have significantly modified the local hydrologic responses and landforms. A representative small...
A flapping wing micro air vehicle (FWMAV) demands high lift and thrust generation for a desired payload. In view of this, the present work focuses on a novel way of enhancing the lift characteristics through integrating check-valves in the flapping w...
Model checking is an efficient formal verification technique that has been applied to a wide spectrum of applications in software engineering. Popular model checking algorithms include Bounded Model Checking (BMC) and Incremental Construction of Indu...
8 March 2019
It is of great significance to understand the dynamics and risk level of pedestrians at the multi-exit inspection points, since they are the bottlenecks of pedestrian flow leaving public places, such as subway and railway stations. Microscopic simula...
Background: Oral health misinformation has increasingly proliferated across social media platforms in China, prompting rising concerns about the accuracy of health-related content. Fact-checking intent has been identified as a key strategy for mitiga...
For design for safety (DFS), automated compliance checking methods have received extensive attention. Although many research efforts have indicated the potential of BIM and ontology for automated compliance checking, an efficient methodology is still...
In multitasking systems, concurrent execution leads to an exponential growth of the state space, posing significant challenges for formal verification. This complexity is further exacerbated in hybrid systems that integrate discrete and continuous dy...
The building permission process is to a large extent an analogue process where much information is handled in paper format or as pdf files. With the ongoing digitalisation in society, there is a potential to automate this process by integrating Build...
Under the trend of carbon neutrality, the adoption of electric mineral transportation equipment is steadily increasing. Accurate monitoring of the operational status of electric check valves in diaphragm pumps is crucial for ensuring transportation s...
Fire safety regulations impose very strict requirements on building design, especially for buildings built with combustible materials. It is believed that it is possible to improve the management of these regulations with a better integration of fire...
Deteriorating check dams pose significant threats to human safety and property, while impeding eco-environmental restoration in soil–water conservation systems in vulnerable watersheds like the Jiuyuangou Basin on China’s Loess Plateau. T...
Multiple wire twisted steel strands are commonly used to hoist elevators, concrete structures, etc. Due to frequent and long-time usage, the steel strands are subjected to corrosion, overloads, and aging, making strands may fail unexpectedly. Hence,...
This paper presents a new latency reduction method for successive-cancellation (SC) decoding of polar codes that performs a frozen-bit checking on the rate-other (R-other) nodes of the Fast Simplified SC (Fast-SSC) pruning tree. The proposed method i...
We have developed a quantum message authentication protocol that provides authentication and integrity of an original message using single qubit unitary operations. Our protocol mainly consists of two parts: quantum encryption and a correspondence ch...
This study presents SpineCheck, a fully integrated deep-learning-based clinical decision support platform for automatic vertebra segmentation and Cobb angle (CA) measurement from scoliosis X-ray images. The system unifies end-to-end preprocessing, U-...
of 28