![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Research on Drilling Data Exchanging Technology Based on Landmark EDM
As know Landmark Software Suite is widely used in engineering of oil industry. So, learning and using of its data is necessary for our researching. Engineer's Data Model (EDM) as its solution for data manage...
-
Chapter and Conference Paper
Solid-Liquid Equilibria of Ternary Systems UO2(NO3)2 + HNO3 + H2O and UF4 + HF + H2O at 298 K
UO2(NO3)2 and UF4 are significant intermediates that connect different chemical unit operations (such as dissolution, evaporation, concentration, extraction and etc.) in uranium chemical industry. Commonly, there...
-
Chapter and Conference Paper
An RNN-Based Framework for the MILP Problem in Robustness Verification of Neural Networks
Robustness verification of ‘s is becoming increasingly crucial for their potential use in many safety-critical applications. Essentially, the problem of robustness verification can be encoded as a typical Mixe...
-
Chapter and Conference Paper
Development and Application of Full Vector Geosteering Comprehensive Analysis Software-OneSteer
Horizontal well technology is a favorable means for the efficient development of “deep, low permeability, offshore, unconventional” and other complex reservoirs, and its key is to improve the drilling rate of ...
-
Chapter and Conference Paper
Effect of Gas Reservoir Pressure Depletion on Capillary Pressure
Capillary pressure is the key factor affecting gas and water distribution and relative permeability in gas reservoir. The capillary pressure varies with the decrease of gas reservoir pressure. However, there a...
-
Chapter and Conference Paper
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation
In this paper, we propose a safe reinforcement learning approach to synthesize deep neural network (DNN) controllers for nonlinear systems subject to safety constraints. The proposed approach employs an iterat...
-
Chapter and Conference Paper
Generating Adversarial Texts for Recurrent Neural Networks
Adversarial examples have received increasing attention recently due to their significant values in evaluating and improving the robustness of deep neural networks. Existing adversarial attack algorithms have ...
-
Chapter and Conference Paper
A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation
Barrier certificates generation is widely used in verifying safety properties of hybrid systems because of the relatively low computational complexity it costs. Under sum of squares (SOS) relaxation, the probl...
-
Chapter and Conference Paper
WiCLR: A Sign Language Recognition System Framework Based on Wireless Sensing
The non-intrusion and device-free sign language recognition (SLR) is of great significance to improve the quality of life, broaden living space and enhance social service for the deaf and mute. In this paper, ...
-
Chapter and Conference Paper
Study on Income Distribution Mechanism of Renewable Energy Power Supply Chain
This article will be forced to use the Internet policy as an external variable to affect the return of the supply chain, and to analyze the extent of the control.In the case of the mandatory Internet policy, t...
-
Chapter and Conference Paper
An Early Warning System of Unstable Slopes by Multi-point MEMS Tilting Sensors and Water Contents
A low-cost and simple method of monitoring rainfall-induced landslides is proposed that compared to a traditional instrumentation of inclinometers and extensometer, with t...
-
Chapter and Conference Paper
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems
This paper presents a linear programming (LP) relaxation based approach for generating polynomial barrier certificates for safety verification of semi-algebraic hybrid systems. The key idea is to introduce an ...
-
Chapter and Conference Paper
Case Histories of Slope Failure and Landslide Disaster Prevention by Using a Low Cost Tilt Sensor Monitoring System
Monitoring and early warning is one of the most effective methods toward reduction of accident induced by landslide and slope failure during rainfall. The traditional methods such as extensometers and borehole...
-
Chapter and Conference Paper
Single Image Dehazing Based on Visual-Physical Model
In this paper, we propose a novel model, combining the physical model and the visual model (visual-physical model), to describe the formation of a haze image. We describe the physical process of degraded image...
-
Chapter and Conference Paper
The Similarity Between the Derivative of LEMP and Its Approximate Result for Oblique Channel in Near Area
In order to protect sensitive electronic components and electrical equipment against the influence of lightning electromagnetic pulse (LEMP) field in near area, it is necessary to determine the waveform of the...
-
Chapter and Conference Paper
Histological Observation of Vitreous Cryopreservation of Tissue Engineered Tendon Implanted in Rats
The purpose of this paper is to investigate the effects of the vitreous cryopreservation of tissue engineered tendon implanted in vivo on repairing the tendon defects of the rats. Sixty-four adult SD rats were...
-
Chapter and Conference Paper
The Application of GIS in the Construction of Hainan International Island
Hainan International Island strategy is a good opportunity for the development of regional economy and tourism in Hainan, Hainan province has already framed the planning outline, which will be carried out soon...
-
Chapter and Conference Paper
Distribution of Transferrin (Tf), Red Cell Acid Phosphatase (EAP), Esterase D (EsD) and Group Specific Component (Gc) Phenotypes in China
Population data on electrophoretic genetic markers are necessary for a statistical evaluation of forensic evidence. Since the heterozygosity of Tf, EAP, EsD and Gc polymorphism in population is high, they are ...