276 Result(s)
-
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 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 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 and Conference Paper
Integration of an IoT Communication Infrastructure in Distributed Production Systems in Industry 4.0
The term Internet of Things (IoT) denotes a communication network, where various Things are interconnected using novel scenario-specific Internet technologies and predefined customizable semantics. Industry 4....
-
Chapter and Conference Paper
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification)
We present a theory of Cartesian arrays, which are multi-dimensional arrays with support for the projection of arrays to sub-arrays, as well as for updating sub-arrays. The resulting logic is an extension of C...
-
Chapter and Conference Paper
AutoQ: An Automata-Based Quantum Circuit Verifier
We present a specification language and a fully automated tool named AutoQ for verifying quantum circuits symbolically. The tool implements the automata-based algorithm from [14] and extends it with the capabilit...
-
Chapter and Conference Paper
New Principle of Fault Data Synchronization for Intelligent Protection Based on Wavelet Analysis
In order to eliminate the influence of the delay error of the sampled value in the data link on the longitudinal differential protection device, this paper proposes a protection data self-healing synchronizati...
-
Chapter and Conference Paper
Research on the Influence of Electromagnetic Interference Test Signal on Networked Vehicle Detection Equipment
The rapid development of intelligent and networked automobiles has driven the electronic, intelligent, and integrated industries of automobiles, but at the same time, it has also brought more complex electroma...
-
Chapter and Conference Paper
A Novel Type-Sensitive PageRank Algorithm for Importance Ranking of Heterogeneous Network Nodes
Systems in the real world are mostly made up of different types of interacting entities. It is of great value to identify the key nodes in a system, which can better grasp the key factors of the system. Howeve...
-
Chapter and Conference Paper
Correction to: Crossed-Time Delay Neural Network for Speaker Recognition
The book was inadvertently published with a typo in the third author’s name “**aoshu Shi”, i.e., an extra “s” was added whereas it should have read “**aohu Shi”. This has been now corrected with the erratum.
-
Chapter and Conference Paper
Low-Speed Aerodynamic Analysis Using Four Different Turbulent Models of Solver of a Wind Turbine Shroud
This study presents the effect of four different turbulent models of solver on the aerodynamic analysis of a shroud at wind speed below 6 m/s. The converting shroud uses a combination of a cylindrical case and...
-
Chapter and Conference Paper
Damage Characterisation in Composite Laminates Using Vibro-Acoustic Technique
The need to characterise in-service damage in composite structures is increasingly becoming important as composites find higher utilisation in wind turbines, aerospace, automotive, marine, among others. This p...
-
Chapter and Conference Paper
Visual Compiler: Towards Translating Digital UI Design Draft to Front-End Code Automatically
One assignment of a front-end engineer is to transform the User Interface (UI) design drafts to arrangements with program compatibilities. To furnish the customer requirement, engineers usually need to consid...
-
Chapter and Conference Paper
Construction of Airlines Safety Subculture Based on Human Factor Analysis
Airlines safety culture is composed of many elements, which can be called subculture or branch of safety culture. The human factors that lead to unsafe incidents in airlines were analyzed, mainly including vio...
-
Chapter and Conference Paper
Off-Policy Recommendation System Without Exploration
Recommendation System (RS) can be treated as an intelligent agent which aims to generate policy maximizing customers’ long term satisfaction. Off-policy reinforcement learning methods based on Q-learning and a...