![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
591 Result(s)
-
Chapter and Conference Paper
Correction to: A Survey of Control Flow Graph Recovery for Binary Code
-
Chapter and Conference Paper
Slack Pack: Fabrication System for the Dual Robotic Winding of Spatial Fiber Structures
Advancements in technology are ushering in an era in architecture in which new design methods and tools are being developed that necessitate entirely new means of fabrication, and, inversely, novel innovations...
-
Chapter and Conference Paper
Biomimetic Form-Finding Study of Bone Needle Microstructure Based on Sponge Regeneration Behavior
The concept of “nature-algorithm-structure” refers to a digital design method in architecture that draws inspiration from nature, extracting its mathematical and physical conceptual models to construct structu...
-
Chapter and Conference Paper
Intelligent Construction Machinery SLAM with Stereo Vision and Inertia Fusion
Positioning technology is the foundation of intelligent construction machinery, the current mainstream positioning solution is simultaneous localization and map** (SLAM) technology, which is mainly divided i...
-
Chapter and Conference Paper
Dynamic Synovial Control Method of Four-Cable-Driven Parallel Robot Based on Interference Observer
Aiming at the problem of high-precision trajectory tracking of four-cable-driven parallel robot, a dynamic non-singular fast terminal sliding mode surface based on the estimation output of interference observe...
-
Chapter and Conference Paper
Research on Architecture of Intelligent Simulation System for Automatic Quay Crane Training Based on Embedded Digital Twin Technology
The training of automated container gantry crane drivers faces with challenges, such as high safety risks, difficult training, and high learning cost. Therefore, we have designed an intelligent simulation syst...
-
Chapter and Conference Paper
Design Method of the Hydrogen Liquefaction Process with Catalyst-Filled Heat Exchanger Model
Hydrogen liquefaction is a crucial process in the liquid hydrogen industry, and the use of liquid hydrogen is becoming increasingly important for storing and transporting hydrogen over long distances. Hydrogen...
-
Chapter and Conference Paper
Design of 10 L/s Liquid Hydrogen Pump with Integrated Inducer and Centrifugal Impeller
With the global focus on energy and environmental issues, hydrogen energy development has become more and more important. The liquid hydrogen pump is an important equipment for hydrogen transportation, whose p...
-
Chapter and Conference Paper
Multi-mode Sliding Mode Control of Four-Cable Parallel Robot Based on Wind Disturbance Observation
Aiming at the problem of accurate trajectory tracking of four-cable parallel robot under wind disturbance in the process of material handling in buildings, a multi-mode sliding mode control (MSMC) method based...
-
Chapter and Conference Paper
Research on TBM Disc Cutter Wear Prediction Based on CSM Model
The wear of disc cutters significantly impacts the efficiency and cost of TBM operations. In this study, we established a calculation model for radial wear based on the CSM formula and abrasive wear mechanisms...
-
Chapter and Conference Paper
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
Learning-enabled autonomous systems (LEAS) use machine learning (ML) components for essential functions of autonomous operation, such as perception and control. LEAS are often safety-critical. The development ...
-
Chapter and Conference Paper
Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems
The correct operation of safety-critical cyber-physical systems is crucial. However, such systems often feature a large variability of start configurations, an intractably large state space, a high degree of u...
-
Chapter and Conference Paper
SootUp: A Redesign of the Soot Static Analysis Framework
Since its inception two decades ago, Soot has become one of the most widely used open-source static analysis frameworks. Over time it has been extended with the contributions of countless researchers. Yet, at the...
-
Chapter and Conference Paper
Correction to: Research on Interactive Interface Design of Vehicle Warning Information Based on Context Awareness
-
Chapter and Conference Paper
The Forward Simulation on Geometric Characteristics of Adverse Buried Bodies Using Ground Penetrating Radar
Adverse buried bodies near to ground surface would damage the buildings, and the detailed geometric characteristics of adverse buried bodies is essential for reducing damage and potential risk. To achieve this...
-
Chapter and Conference Paper
Hazard Identification on the Process of High-Level Liquid Waste Concentration and Denitration in Spent Fuel Reprocessing by HAZOP
To develop China’s spent nuclear fuel reprocessing, safety analysis of reprocessing facility is of great importance and high priority. Any methodology of safety analysis, no matter whether it is in a kind of d...
-
Chapter and Conference Paper
Multi-Physics Coupling Model for Thermal Hydraulics and Solute Transport in CRUD Deposits
The porous Chalk River Unidentified Deposit (CRUD) depositions on the fuel cladding have a great impact on the heat transfer and power distribution of the reactor, resulting in a decrease in reactor safety and...
-
Chapter and Conference Paper
Application of Surface-Modified Nanosilica for Performance Enhancement of Asphalt Pavement
The fatigue performance of asphalt binder can be significantly increased by incorporating nanosilica, but due to the poor dispersion of nanosilica in asphalt, high mechanical energy is required to achieve good...
-
Chapter and Conference Paper
Study on Resuspension Models Based on Force Balance
During the severe accident of the nuclear power plant, the resuspension of the aerosol particles deposited in the containment would occur, due to some disturbance, resulting in the increase of radioactive aero...
-
Chapter and Conference Paper
Group Constants Generation Based on NECP-MCX Monte Carlo Code
The reliability of few-group constants generated by lattice physics calculation is significant for the accuracy of the conventional two-step method in neutronics calculation. The deterministic method is prefer...