![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
314 Result(s)
-
Chapter
Model Analysis
We employ the ThermoRichardsMechanics (TRM) process, Wang et al. (2010) implemented in OpenGeoSys (OGS), Bilke et al. (2019). The process captures a non-isothermal porous medium with a solid phase, a liquid ph...
-
Chapter and Conference Paper
Dynamical Simulation Analysis of Faulty Gearbox in Quay Crane Under Dynamic Load
Dynamics simulations with faults can elucidate fault vibration characteristics, yet the vibrational properties of the quay crane lifting gearboxes under dynamic load excitation remain unclear. Based on multi-b...
-
Chapter and Conference Paper
Study on Kinetic Energy Conversion of Perforating Shaped Charge Jet in Perforating Completion
The energy of a perforating shaped charge is the cause of transient pressure fluctuations in a wellbore. Based on the law of energy conservation, the energy can be divided into the kinetic energy of a jet, the...
-
Chapter and Conference Paper
AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution)
AISE is a static verifier that can verify the safety properties of C programs. The core of AISE is a program verification framework that synergizes abstract interpretation and symbolic execution in a novel manner...
-
Chapter and Conference Paper
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution)
FDSE serves as an automatic test generation tool designed for C programs based on symbolic execution. FDSE employs fuzzing-based pre-analysis and combines static symbolic execution and dynamic symbolic execution ...
-
Chapter
Introduction
This chapter provides basic information on climate and water in the region, and introduces the framing, scope, process, and structure of the assessment.
-
Chapter and Conference Paper
Modeling and Simulation of PEMFC Supply System with Oxygen and Air Mixing
With the growing energy crisis and environmental problems in recent years, the green energy technology represented by fuel cell technology has been develo** rapidly. Since air contains a large amount of nitr...
-
Chapter and Conference Paper
Z3-Noodler: An Automata-based String Solver
Z3-Noodler is a fork of Z3 that replaces its string theory solver with a custom solver implementing the recently introduced stabilization-based algorithm for solving word equations with regular constraints. An ex...
-
Chapter
Dryland Social-Ecological Systems in Africa
In Africa, dryland ecosystem is the largest biome complex, covering 60% of the continent and home to ~525 million people. Coupled with adverse climatic conditions and anthropogenic pressures make dryland highl...
-
Chapter and Conference Paper
Correction to: Research on Conversational Interaction Design Strategy of Shop** APP Based on Context Awareness
-
Chapter and Conference Paper
Correction to: Research on Interactive Interface Design of Vehicle Warning Information Based on Context Awareness
-
Chapter
Laparoscopic Hartmann’s Procedure
Hartmann’s procedure, Hartmann’s resection, or Hartmann’s operation is the surgical resection consisting of sigmoidectomy without intestinal restoration. It contains an end-colostomy and closure of a rectal st...
-
Chapter
Introduction
Mining engineering plays a significant role in the current society. It provides the energy resources including coal and hard rocks to guarantee the normal operation of the society. Therefore, not only develope...
-
Chapter
Laparoscopic Left Hemicolectomy
What is the clear definition of left colectomy? Unfortunately, the answer is not as clear as it is with a right colectomy. The resection can involve resection of the colonic segment anywhere between the left t...
-
Chapter
Laparoscopic Parastomal Hernia Repair
Parastomal hernia is an incisional hernia resulting from an abdominal wall stoma creation [1]. The published incidence of parastomal hernia varies widely, with 2–28% and 4–48% affecting end ileostomies and end...
-
Chapter
Analytical Studying the Confining Medium Diameter Impact on Load-Carrying Capacity of Rock Bolts
Rock bolts are tendons or cables that are commonly used in mining engineering and civil engineering to reinforce excavated rock masses or soils.
-
Chapter
Analytical Modelling Rock Bolts with a Closed Nonlinear Model
Rock bolts have been used in the mining industry for a long time. They are used as the reinforcement tendons to keep the stability of openings in underground mining and the slope in open-pit mining.
-
Chapter
Laparoscopic Ventral Mesh Rectopexy
Rectal prolapse (RP) is a disabling condition and can range from internal rectal prolapse (IRP) or rectal intussusception to full-thickness external rectal prolapse (ERP). RP occurs in 0.5% of the general popu...
-
Chapter
Analysis on the Shear Stress Propagation Mechanism in the Rock Reinforcement System
In rock mechanics, failure of rock masses is commonly encountered.
-
Chapter
Laparoscopic Anterior Resection
The first radical rectal surgery was first performed by Sir William Ernest Miles with a permanent stoma in 1907 while restorative rectal resection was introduced in 1948 by Claude F Dixon. The evolution of usi...