Liming Zhang

According to our database, Liming Zhang authored at least 31 papers between 2011 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Enhancing model-based diagnosis with multiple pseudo-normal observations by Key nodes and IterativeDFS.

Ran Tai, Dantong Ouyang, Ximing Li, Huisi Zhou, Liming Zhang

Frontiers Comput. Sci., August, 2026

A novel efficient model for testing diagnosability of discrete event systems under sensor attacks.

Qifei Li, Dantong Ouyang, Xiangfu Zhao, Luyu Jiang, Ran Tai, Liming Zhang

Frontiers Comput. Sci., June, 2026

Effective Fault Identification Approach for Model-Based Diagnosis.

Jihong Ouyang, Sen Huang, Jinjin Chi, Liming Zhang, Xiangfu Zhao

IEEE Trans. Syst. Man Cybern. Syst., April, 2026

2025

DVRE: dominator-based variables reduction of encoding for model-based diagnosis.

Jihong Ouyang, Sen Huang, Jinjin Chi, Liming Zhang

Frontiers Comput. Sci., July, 2025

Model-based diagnosis with low-cost fault identification.

Jihong Ouyang, Sen Huang, Liming Zhang, Xiangfu Zhao

Frontiers Comput. Sci., May, 2025

Two algorithms for improving model-based diagnosis using multiple observations and deep learning.

Ran Tai, Dantong Ouyang, Liming Zhang

Neural Networks, 2025

A novel approach to model-based diagnosis with multiple observations.

Ran Tai, Dantong Ouyang, Weiting Liu, Luyu Jiang, Liming Zhang

Eng. Appl. Artif. Intell., 2025

2024

DSLS: a simple and efficient local search algorithm for the maximum bisection problem.

Xinliang Tian, Dantong Ouyang, Huisi Zhou, Rui Sun, Liming Zhang

J. Heuristics, April, 2024

DeciLS-PBO: an effective local search method for pseudo-Boolean optimization.

Luyu Jiang, Dantong Ouyang, Qi Zhang, Liming Zhang

Frontiers Comput. Sci., April, 2024

2023

DiagDO: an efficient model based diagnosis approach with multiple observations.

Huisi Zhou, Dantong Ouyang, Xinliang Tian, Liming Zhang

Frontiers Comput. Sci., December, 2023

ILSGVCP: An improved local search algorithm for generalized vertex cover problem.

Ran Tai, Dantong Ouyang, Ruizhi Li, Liming Zhang

J. Oper. Res. Soc., November, 2023

DPAHMA: a novel dual-population adaptive hybrid memetic algorithm for non-slicing VLSI floorplans.

Luyu Jiang, Dantong Ouyang, Huisi Zhou, Naiyu Tian, Liming Zhang

J. Supercomput., September, 2023

Combinatorial optimization and local search: A case study of the discount knapsack problem.

Xinliang Tian, Dantong Ouyang, Yiyuan Wang, Huisi Zhou, Luyu Jiang, Liming Zhang

Comput. Electr. Eng., January, 2023

An efficient power set mapping space blocking algorithm for sensor selection in uncertain systems with quantified diagnosability requirements.

Rui Sun, Dantong Ouyang, Xinliang Tian, Liming Zhang

Appl. Intell., 2023

2022

Two efficient local search algorithms for the vertex bisection minimization problem.

Xinliang Tian, Dantong Ouyang, Rui Sun, Huisi Zhou, Liming Zhang

Inf. Sci., 2022

Model-based diagnosis with improved implicit hitting set dualization.

Huisi Zhou, Dantong Ouyang, Liming Zhang, Naiyu Tian

Appl. Intell., 2022

Evolutionary many-objective satisfiability solver for configuring software product lines.

Yimou Hou, Dantong Ouyang, Xinliang Tian, Liming Zhang

Appl. Intell., 2022

Two Compacted Models for Efficient Model-Based Diagnosis.

Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis.

Xiangfu Zhao, Xiangrong Tong, Dantong Ouyang, Liming Zhang, Yanzhi Hou

IEEE Trans. Reliab., 2021

Core-guided method for constraint-based multi-objective combinatorial optimization.

Naiyu Tian, Dantong Ouyang, Yiyuan Wang, Yimou Hou, Liming Zhang

Appl. Intell., 2021

2018

A restart local search algorithm for solving maximum set k-covering problem.

Yiyuan Wang, Dantong Ouyang, Minghao Yin, Liming Zhang, Yonggang Zhang

Neural Comput. Appl., 2018

Efficient zonal diagnosis with maximum satisfiability.

Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang

Sci. China Inf. Sci., 2018

Computing all minimal hitting sets by subset recombination.

Xiangfu Zhao, Dantong Ouyang, Liming Zhang

Appl. Intell., 2018

A novel approach for improving quality of health state with difference degree in circuit diagnosis.

Meng Liu, Dantong Ouyang, Liming Zhang

Appl. Intell., 2018

A Parallel Extension Rule-Based Algorithm for #SAT Problem Using Model-Counting Tree.

Naiyu Tian, Dantong Ouyang, Fengyu Jia, Meng Liu, Liming Zhang

IEEE Access, 2018

An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT.

Ya Tao, Dantong Ouyang, Meng Liu, Liming Zhang

Proceedings of the Knowledge Science, Engineering and Management, 2018

2017

A novel local search algorithm with configuration checking and scoring mechanism for the set <i>k</i>-covering problem.

Yiyuan Wang, Minghao Yin, Dantong Ouyang, Liming Zhang

Int. Trans. Oper. Res., 2017

A novel local search for unicost set covering problem using hyperedge configuration checking and weight diversity.

Yiyuan Wang, Dantong Ouyang, Liming Zhang, Minghao Yin

Sci. China Inf. Sci., 2017

2015

Improved Algorithm of Unsatisfiability-based Maximum Satisfiability.

Yiyuan Wang, Dantong Ouyang, Liming Zhang

Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

2012

Reasoning on partially-ordered observations in online diagnosis of DESs.

Xiangfu Zhao, Dantong Ouyang, Liming Zhang, Xiaoyu Wang, Yuchang Mo

AI Commun., 2012

2011

Dynamic theorem proving algorithm for consistency-based diagnosis.

Liming Zhang, Hai-Lin Zeng, Fang Yang, Dantong Ouyang

Expert Syst. Appl., 2011