[1] |
夏锐, 钱振江, 刘苇. 一种基于Isabelle/HOL的安全通信协议验证方法[J]. 计算机工程, 2021, 47(1): 146-153. |
[2] |
赵丹枫, 刘新阳, 戴舒原, 黄冬梅, 梅海彬. 海洋计算模型协同一体化流程管理系统研究[J]. 计算机工程, 2020, 46(6): 230-240. |
[3] |
张墨华, 彭建华. 面向图像先验建模的可扩展高斯混合模型[J]. 计算机工程, 2020, 46(4): 220-227. |
[4] |
欧阳恒一, 熊焰, 黄文超. 一种代币智能合约的形式化建模与验证方法[J]. 计算机工程, 2020, 46(10): 41-45,51. |
[5] |
周炜翔, 张雯, 杨博, 柳毅, 张琳, 张仰森. 面向微博用户的个性化推荐算法研究[J]. 计算机工程, 2020, 46(10): 60-66,73. |
[6] |
王海起, 费涛, 彭佳琦, 李谊让, 龚蔚青. 数字油田地上下三维集成建模系统研究[J]. 计算机工程, 2019, 45(8): 300-308. |
[7] |
陈金鑫,苏雯. 基于Event-B的自动化模块组合方法研究[J]. 计算机工程, 2019, 45(5): 298-307,314. |
[8] |
柳长源,曹园园,罗一鸣. 基于视频图像的车辆实时检测系统[J]. 计算机工程, 2019, 45(2): 265-269,277. |
[9] |
王琳, 赵俊莉, 段福庆, 周明全. 颅面复原方法综述[J]. 计算机工程, 2019, 45(12): 8-18. |
[10] |
仵林博,陈小红,彭艳红,聂长海. 基于SysML的嵌入式软件系统建模与验证方法研究[J]. 计算机工程, 2019, 45(1): 1-8. |
[11] |
邢玉莹,夏鸿斌,王涵. 缺失数据建模的改进型ALS在线推荐算法[J]. 计算机工程, 2018, 44(8): 212-217,223. |
[12] |
崔红军,封亮,王勇. 基于影响因素与灰聚类的软件可靠性评价方法[J]. 计算机工程, 2018, 44(7): 47-53. |
[13] |
朱晓妤,严云洋,刘以安,高尚兵. 基于深度森林模型的火焰检测[J]. 计算机工程, 2018, 44(7): 264-270. |
[14] |
宣晓,余勤. 加权截断p范数在运动目标检测中的应用[J]. 计算机工程, 2018, 44(6): 233-238,248. |
[15] |
崔红军,黄美锋,吴振宇. 基于OCL约束建模的嵌入式软件安全性分析[J]. 计算机工程, 2018, 44(6): 270-278. |