[1] |
Ouyang Dantong, Gao Han, Xu Yini, Zhang Liming.
Minimal Conflict Set Solving Method Combined with Fault Logic Relationship
[J]. Journal of Computer Research and Development, 2020, 57(7): 1472-1480.
|
[2] |
Miao Xiaoxiao, Xu Ji, Wang Jian.
Denoising Autoencoder-Based Language Feature Compensation
[J]. Journal of Computer Research and Development, 2019, 56(5): 1082-1091.
|
[3] |
Ouyang Dantong, Gao Han, Tian Naiyu, Liu Meng, Zhang Liming.
MUS Enumeration Based on Double-Model
[J]. Journal of Computer Research and Development, 2019, 56(12): 2623-2631.
|
[4] |
Wang Bo, Liu Jinglei.
An Algorithm for Computing Core of Boolean Game
[J]. Journal of Computer Research and Development, 2018, 55(8): 1735-1750.
|
[5] |
Fan Lingyan, Zhou Meng, Luo Jianjun, Liu Hailuan.
IC Design with Multiple Engines Running CBC Mode SM4 Algorithm
[J]. Journal of Computer Research and Development, 2018, 55(6): 1247-1253.
|
[6] |
Wang Rongquan,Ouyang Dantong,Wang Yiyuan,Liu Siguang, Zhang Liming.
Solving Minimal Hitting Sets Method with SAT Based on DOEC Minimization
[J]. Journal of Computer Research and Development, 2018, 55(6): 1273-1281.
|
[7] |
Ouyang Dantong, Zhi Huayun, Liu Bowen, Zhang Liming, Zhang Yonggang.
A Method of Computing Minimal Diagnoses Based on Pseudo-Failure-Degree to Create New Enumeration Tree
[J]. Journal of Computer Research and Development, 2018, 55(4): 782-790.
|
[8] |
Deng Zhaoyong, Ouyang Dantong, Geng Xuena, Liu Jie.
Computing the Minimal Hitting Sets with Dynamic Maximum Element Coverage Value
[J]. Journal of Computer Research and Development, 2018, 55(4): 791-801.
|
[9] |
Zou Shichen, Wang Huiqiang, Lü Hongwu, Feng Guangsheng, Lin Junyu.
Service Substitution Method in Distributed Virtualized Environment Based on Transaction
[J]. Journal of Computer Research and Development, 2018, 55(2): 377-390.
|
[10] |
Xu Yini, Ouyang Dantong, Liu Meng, Zhang Liming, Zhang Yonggang.
Algorithm of Computing Minimal Conflict Sets Based on the Structural Feature of Fault Output
[J]. Journal of Computer Research and Development, 2018, 55(11): 2386-2394.
|
[11] |
Wei Songjie, Li Shuai, Mo Bing, Wang Jiahe.
Regional Cooperative Authentication Protocol for LEO Satellite Networks Based on Consensus Mechanism
[J]. Journal of Computer Research and Development, 2018, 55(10): 2244-2255.
|
[12] |
Wang Chong, Lü Yinrun, Chen Li, Wang Xiuli, Wang Yongji.
Survey on Development of Solving Methods and State-of-the-Art Applications of Satisfiability Modulo Theories
[J]. Journal of Computer Research and Development, 2017, 54(7): 1405-1425.
|
[13] |
Liu Yiqun.
Satisfaction Prediction of Web Search Users
[J]. Journal of Computer Research and Development, 2017, 54(6): 1133-1143.
|
[14] |
Ouyang Dantong, Zhou Jianhua, Liu Bowen, Zhang Liming.
A New Algorithm Combining with the Characteristic of the Problem for Model-Based Diagnosis
[J]. Journal of Computer Research and Development, 2017, 54(3): 502-513.
|
[15] |
Li Zhe, Li Zhanshan,Li Ying.
A Constraint Network Model and Parallel Arc Consistency Algorithms Based on GPU
[J]. Journal of Computer Research and Development, 2017, 54(3): 514-528.
|