Zhiqiang Ren

Research on speed regulation system of water turbine generator unit based on PID neural network

Yue Yu, Ping Yu, Zhiqiang Ren, 2020 .

A Multifunctional System Based on Robot Surfacing by Using Off-Line Programming

Jian Liu, Chao Li, Sheng Zhu, 2010, 2010 International Conference on Intelligent Computation Technology and Automation.

Geometric optimization of a 10-cell modular planar solid oxide fuel cell stack manifold

Zhiqiang Ren, Wuxi Bi, Daifen Chen, 2013 .

Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus pdf

Hongwei Xi, Zhiqiang Ren, Hanwen Wu, 2016, ArXiv.

A Programmer-Centric Approach to Program Verification in ATS pdf

Hongwei Xi, Zhiqiang Ren, 2012, ArXiv.

Combining type-checking with model-checking for system verification

Hongwei Xi, Zhiqiang Ren, 2016, 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).

Study on Rail Profile Optimization Based on the Nonlinear Relationship between Profile and Wear Rate

Long Chen, Zhiqiang Ren, Jian-xi Wang, 2017 .

Intelligent Gearbox Diagnosis Methods Based on SVM, Wavelet Lifting and RBR

Huaqing Wang, Peng Chen, Lixin Gao, 2010, Sensors.