Haifeng He

ORCID: 0000-0002-4382-2253
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Geotechnical Engineering and Underground Structures
  • Seismic Performance and Analysis
  • Concrete Corrosion and Durability
  • Structural Behavior of Reinforced Concrete
  • Advanced Measurement and Detection Methods
  • Parallel Computing and Optimization Techniques
  • Infrastructure Maintenance and Monitoring
  • Advanced Sensor and Control Systems
  • Advanced Data Storage Technologies
  • Software Testing and Debugging Techniques
  • Hydraulic Fracturing and Reservoir Analysis
  • Dam Engineering and Safety
  • Ship Hydrodynamics and Maneuverability
  • Sports Dynamics and Biomechanics
  • Distributed and Parallel Computing Systems
  • Advanced Vision and Imaging
  • Software Reliability and Analysis Research
  • Software Engineering Research
  • Robotics and Sensor-Based Localization
  • Embedded Systems Design Techniques
  • Geotechnical Engineering and Soil Stabilization
  • Advanced Malware Detection Techniques
  • Optical Systems and Laser Technology
  • Maritime Navigation and Safety
  • Winter Sports Injuries and Performance

Central South University
2025

Hunan Cancer Hospital
2025

McMaster University
2022-2025

Guizhou Normal University
2023-2024

Sinopec (China)
2019-2024

Southwest Jiaotong University
2018-2021

China Automotive Engineering Research Institute
2020

State Key Laboratory of Vehicle NVH and Safety Technology
2020

Shaanxi Provincial Hospital of Traditional Chinese Medicine
2019

Ministry of Public Security of the People's Republic of China
2018

Software debugging is the process of locating and correcting faulty code. Prior techniques to locate code either use program analysis such as backward dynamic slicing or exclusively delta analyze state changes during execution. In this paper, we present a new approach that integrates potential algorithm with benefit forward narrow down search for Our identify minimal failure-inducing input, input compute slice then intersect statements in erroneous output chop. We implemented our technique...

10.1145/1101908.1101948 article EN 2005-11-07

Dynamic slicing algorithms have been considered to aid in debugging for many years. However, as far we know, no detailed studies on evaluating the benefits of using dynamic detecting faulty statements programs carried out. We developed a framework that uses instrumentation efficiently collect slices and reduced ordered Binary Decision Diagrams (roBDDs) compactly store them. used above implement three variants including: data slicing, full relevant algorithms. out experiments evaluate these...

10.1145/1085130.1085135 article EN 2005-09-19

Summary Myxococcus xanthus kills susceptible bacteria using myxovirescin A (TA) during predation. However, whether prey cells in nature can escape M. by developing resistance to TA is unknown. We observed that many field‐isolated Bacillus licheniformis strains could survive encounters with , which was correlated their resistance. glycoside identified the broth of predation‐resistant B. J32 co‐cultured and a glycosyltransferase gene ( yjiC ) up‐regulated after addition TA. Hetero‐expressed...

10.1111/1462-2920.14817 article EN Environmental Microbiology 2019-10-10

General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources usually limited, and processors often have a limited amount of memory. This makes code size especially important. paper describes techniques for automatically reducing the memory footprint general-purpose systems on platforms. The problem is complicated by fact that kernel tends to be quite different from ordinary application code, including presence significant...

10.1109/cgo.2007.3 article EN 2007-03-01

An intelligent testing and assessment system of power ability was developed applied. It could measure the displacement weight in phase training velocity, force be calculated. This simple easy to use, not only intelligently monitor training, but also assess athletes' load intensity training.

10.1109/ipc.2007.16 article EN 2007-10-01

Low-cost modified rubber powder DBR elastic particles with good temperature and salt resistance were selected to investigate the plugging–matching relationship between formation pore throats. The deformation coefficient of was measured using a custom-built uniaxial compression experimental device. Based on ideal model arrangement spherical particles, calculation method for throat size determined according statistical results measurements in simulated formations (sand packs). injection...

10.1080/01932691.2019.1667819 article EN Journal of Dispersion Science and Technology 2019-09-23

Traditional content distributions such as Web cache and distribution networks need to reconfigure the or purchase additional servers support these services. While P2P do not change underlying infrastructure. We propose build multi-P2P based on current unstructured structured networks. And contents are distributed between explore stochastic fluid analytical models for purpose of performance. we get results relation probability number networks, nodes, users' request rate, expiration rate...

10.1109/isads.2005.1452174 article EN 2005-07-27

There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It especially important systems to use memory efficiently because processors often have limited physical memory. This paper describes an automatic technique for reducing the footprint of platforms by keeping infrequently executed code secondary storage and loading only if it needed at run time. Our based old idea - overlays does not require hardware or system support virtual A...

10.1145/1289927.1289944 article EN 2007-01-01

China’s Guizhou is a typical karst landscape province with high production of chili pepper, but it mostly planted in mountainous areas, while manual harvesting pepper has the deficiencies labor intensity, low efficiency, and cost; addition, there no machinery applicable to dense planting pattern areas China. The fully hydraulic mountain track-based self-propelled harvester 4JZ-1.0A designed solve above problems. spiral comb picking head an important part whole machine design, design system...

10.3390/app131810008 article EN cc-by Applied Sciences 2023-09-05

The rowing is one of the important events in Olympic Games. In order to study hydrodynamic performance rowing, we finished linetype mapping and calculated parameters double model. Based on resistance data at different states, obtained rule speeds. indicated that enhancement physical force athletes seemed be proportion weight results based research shallow affected optimized design.

10.1109/ipc.2007.15 article EN 2007-10-01

Abstract The coastal or sea‐crossing bridges located in seismic regions are experiencing long‐term chloride‐induced corrosion their life cycles and have a high risk of suffering from strong earthquakes. Thus, the fragilities these must be properly evaluated under multiple hazards earthquake. Conventional fragility assessment requires expensive computational efforts despite extensive applications previous research. To this end, paper proposes life‐cycle analysis framework based on endurance...

10.1002/eer2.7 article EN Earthquake Engineering and Resilience 2022-03-01

ORB (Oriented FAST and Rotated Brief) features are the most commonly used in visual SLAM odometry that have high computational speed, rotation scale invariance. However, due to homogenization of features, corner properties specific poor some artificial environments, it can lead matching performance when environmental texture is not rich. The underlying reason pixel grayscale changes less-richly textured regions on image obvious, leading a certain degree mis-matching process. At same time,...

10.20944/preprints202307.1477.v1 preprint EN 2023-07-21
Coming Soon ...