[1] |
YAO Xi-xin, ZHANG Bo, CHEN Xiang-lan, QIAO Lei, LI Xi.
A time-triggered system modeling method based on Event-B
[J]. Computer Engineering & Science, 2023, 45(04): 613-621.
|
[2] |
SUN Zhi-chao, ZHANG Ce, JIANG Wen-qian, LIU Kai-wei, FAN Miao-miao, LI Wen-yu, WEN Ya-fei.
Empirical analysis of the impact of failure detection rate on software reliability
[J]. Computer Engineering & Science, 2022, 44(12): 2162-2173.
|
[3] |
ZHANG Zhi-yuan, CHEN Hai-jin.
Unknown environment map construction and path planning based on dynamic matrix
[J]. Computer Engineering & Science, 2022, 44(03): 563-570.
|
[4] |
ZHAO Ying-ding, YUE Xing-yu, YANG Wen-ji, ZHANG Ji-hao, YANG Hong-yun, .
Saliency detection based on multi-feature fusion convolutional neural network
[J]. Computer Engineering & Science, 2021, 43(04): 729-737.
|
[5] |
XUE Xiao-yong, SUN Meng.
Probabilistic extension of Mediator
[J]. Computer Engineering & Science, 2020, 42(08): 1367-1373.
|
[6] |
WANG Si-qi, HU Jing-tao, YU Guang, ZHU En, CAI Zhi-ping.
A survey of video abnormal event detection
[J]. Computer Engineering & Science, 2020, 42(08): 1393-1405.
|
[7] |
LIU Yan-ping1,CUI Tong1,ZHOU Zhang-bing2,LI Xiao-cui2,LIU Tian1.
Abnormal vehicle detection based on improved
mixed Gaussian model and graphic handle
[J]. Computer Engineering & Science, 2020, 42(02): 266-272.
|
[8] |
SHI Wen-jie,ZHANG Yu-qi,LI Kui.
A modeling and scheduling algorithm
for multi-platform avionic resources
[J]. Computer Engineering & Science, 2019, 41(11): 1976-1984.
|
[9] |
HUANG Yihao,FENG Jincao,ZHENG Hanyue,MIAO Weikai,PU Geguang.
A formal engineering method for requirement
modeling of airborne embedded control software
[J]. Computer Engineering & Science, 2019, 41(06): 1016-1025.
|
[10] |
ZHANG Qi1,2,LI Yi1,SUN Meng1.
Automatic generation of SystemC code from Mediator
[J]. Computer Engineering & Science, 2019, 41(05): 835-842.
|
[11] |
CUI Haoran,LI Han,FENG Yujing,WU Meng,WANG Chao,TAO Guanliang,ZHANG Zhimin.
Design and simulation of a deep learning SoC architecture
[J]. Computer Engineering & Science, 2019, 41(01): 14-23.
|
[12] |
DUAN Yucong1,SHAO Lixu1,CAO Buqing2,SUN Xiaobing3,QI Lianyong4.
An investment defined transaction processing optimization
approach with collaborative storage and computation adaptation
[J]. Computer Engineering & Science, 2018, 40(08): 1383-1389.
|
[13] |
NAN Jingchang,HU Tingting,SHENG Shuangshuang,GAO Mingming.
Bayesian regularization neural network inverse
modeling for Doherty power amplifier
[J]. Computer Engineering & Science, 2018, 40(08): 1496-1502.
|
[14] |
NAN Jingchang,LU Yanan,GAO Mingming.
An improved hybrid algorithm for
optimizing RBF neural network filter modeling
[J]. Computer Engineering & Science, 2018, 40(07): 1329-1336.
|
[15] |
XU Wen-hua,ZHANG Yu-ping.
A fault tree auto-modeling method based on
avionics system architecture model
#br#
[J]. Computer Engineering & Science, 2017, 39(12): 2269-2277.
|