Liming Zhang

32 papers A* 1Journal 29Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
A novel efficient model for testing diagnosability of discrete event systems under sensor attacks.
Frontiers Comput. Sci.
Qifei Li, Dantong Ouyang, Xiangfu Zhao, Luyu Jiang, Ran Tai, Liming Zhang
2026 J jnl
Effective Fault Identification Approach for Model-Based Diagnosis.
IEEE Trans. Syst. Man Cybern. Syst.
Jihong Ouyang, Sen Huang, Jinjin Chi, Liming Zhang, Xiangfu Zhao
2026 J jnl
Enhancing model-based diagnosis with multiple pseudo-normal observations by Key nodes and IterativeDFS.
Frontiers Comput. Sci.
Ran Tai, Dantong Ouyang, Ximing Li, Huisi Zhou, Liming Zhang
2025 J jnl
A novel approach to model-based diagnosis with multiple observations.
Eng. Appl. Artif. Intell.
Ran Tai, Dantong Ouyang, Weiting Liu, Luyu Jiang, Liming Zhang
2025 J jnl
DVRE: dominator-based variables reduction of encoding for model-based diagnosis.
Frontiers Comput. Sci.
Jihong Ouyang, Sen Huang, Jinjin Chi, Liming Zhang
2025 J jnl
Model-based diagnosis with low-cost fault identification.
Frontiers Comput. Sci.
Jihong Ouyang, Sen Huang, Liming Zhang, Xiangfu Zhao
2025 J jnl
Two algorithms for improving model-based diagnosis using multiple observations and deep learning.
Neural Networks
Ran Tai, Dantong Ouyang, Liming Zhang
2024 J jnl
DSLS: a simple and efficient local search algorithm for the maximum bisection problem.
J. Heuristics
Xinliang Tian, Dantong Ouyang, Huisi Zhou, Rui Sun, Liming Zhang
2024 J jnl
DeciLS-PBO: an effective local search method for pseudo-Boolean optimization.
Frontiers Comput. Sci.
Luyu Jiang, Dantong Ouyang, Qi Zhang, Liming Zhang
2023 J jnl
An efficient power set mapping space blocking algorithm for sensor selection in uncertain systems with quantified diagnosability requirements.
Appl. Intell.
Rui Sun, Dantong Ouyang, Xinliang Tian, Liming Zhang
2023 J jnl
Combinatorial optimization and local search: A case study of the discount knapsack problem.
Comput. Electr. Eng.
Xinliang Tian, Dantong Ouyang, Yiyuan Wang, Huisi Zhou, Luyu Jiang, Liming Zhang
2023 J jnl
DPAHMA: a novel dual-population adaptive hybrid memetic algorithm for non-slicing VLSI floorplans.
J. Supercomput.
Luyu Jiang, Dantong Ouyang, Huisi Zhou, Naiyu Tian, Liming Zhang
2023 J jnl
DeciLS-PBO: an Effective Local Search Method for Pseudo-Boolean Optimization.
CoRR
Luyu Jiang, Dantong Ouyang, Qi Zhang, Liming Zhang
2023 J jnl
DiagDO: an efficient model based diagnosis approach with multiple observations.
Frontiers Comput. Sci.
Huisi Zhou, Dantong Ouyang, Xinliang Tian, Liming Zhang
2023 J jnl
ILSGVCP: An improved local search algorithm for generalized vertex cover problem.
J. Oper. Res. Soc.
Ran Tai, Dantong Ouyang, Ruizhi Li, Liming Zhang
2022 J jnl
Evolutionary many-objective satisfiability solver for configuring software product lines.
Appl. Intell.
Yimou Hou, Dantong Ouyang, Xinliang Tian, Liming Zhang
2022 J jnl
Model-based diagnosis with improved implicit hitting set dualization.
Appl. Intell.
Huisi Zhou, Dantong Ouyang, Liming Zhang, Naiyu Tian
2022 A* conf
Two Compacted Models for Efficient Model-Based Diagnosis.
AAAI
Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang
2022 J jnl
Two efficient local search algorithms for the vertex bisection minimization problem.
Inf. Sci.
Xinliang Tian, Dantong Ouyang, Rui Sun, Huisi Zhou, Liming Zhang
2021 J jnl
Core-guided method for constraint-based multi-objective combinatorial optimization.
Appl. Intell.
Naiyu Tian, Dantong Ouyang, Yiyuan Wang, Yimou Hou, Liming Zhang
2021 J jnl
TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis.
IEEE Trans. Reliab.
Xiangfu Zhao, Xiangrong Tong, Dantong Ouyang, Liming Zhang, Yanzhi Hou
2018 J jnl
A Parallel Extension Rule-Based Algorithm for #SAT Problem Using Model-Counting Tree.
IEEE Access
Naiyu Tian, Dantong Ouyang, Fengyu Jia, Meng Liu, Liming Zhang
2018 J jnl
A novel approach for improving quality of health state with difference degree in circuit diagnosis.
Appl. Intell.
Meng Liu, Dantong Ouyang, Liming Zhang
2018 J jnl
A restart local search algorithm for solving maximum set k-covering problem.
Neural Comput. Appl.
Yiyuan Wang, Dantong Ouyang, Minghao Yin, Liming Zhang, Yonggang Zhang
2018 — conf
An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT.
KSEM (2)
Ya Tao, Dantong Ouyang, Meng Liu, Liming Zhang
2018 J jnl
Computing all minimal hitting sets by subset recombination.
Appl. Intell.
Xiangfu Zhao, Dantong Ouyang, Liming Zhang
2018 J jnl
Efficient zonal diagnosis with maximum satisfiability.
Sci. China Inf. Sci.
Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang
2017 J jnl
A novel local search algorithm with configuration checking and scoring mechanism for the set
Int. Trans. Oper. Res.
Yiyuan Wang, Minghao Yin, Dantong Ouyang, Liming Zhang
2017 J jnl
A novel local search for unicost set covering problem using hyperedge configuration checking and weight diversity.
Sci. China Inf. Sci.
Yiyuan Wang, Dantong Ouyang, Liming Zhang, Minghao Yin
2015 — conf
Improved Algorithm of Unsatisfiability-based Maximum Satisfiability.
IWOST-1
Yiyuan Wang, Dantong Ouyang, Liming Zhang
2012 J jnl
Reasoning on partially-ordered observations in online diagnosis of DESs.
AI Commun.
Xiangfu Zhao, Dantong Ouyang, Liming Zhang, Xiaoyu Wang, Yuchang Mo
2011 J jnl
Dynamic theorem proving algorithm for consistency-based diagnosis.
Expert Syst. Appl.
Liming Zhang, Hai-Lin Zeng, Fang Yang, Dantong Ouyang