[1] |
夏锐, 钱振江, 刘苇. 一种基于Isabelle/HOL的安全通信协议验证方法[J]. 计算机工程, 2021, 47(1): 146-153. |
[2] |
何向栋, 孙靖国, 陈长胜, 王建宇, 贾世伟. SAE AS6802协议研究及模块化仿真平台设计[J]. 计算机工程, 2021, 47(1): 203-209. |
[3] |
赵丹枫, 刘新阳, 戴舒原, 黄冬梅, 梅海彬. 海洋计算模型协同一体化流程管理系统研究[J]. 计算机工程, 2020, 46(6): 230-240. |
[4] |
张墨华, 彭建华. 面向图像先验建模的可扩展高斯混合模型[J]. 计算机工程, 2020, 46(4): 220-227. |
[5] |
宋贺, 王晓锋. 基于轻量级虚拟化的LDDoS仿真方法[J]. 计算机工程, 2020, 46(3): 105-113. |
[6] |
胡栋梁, 秦晓军, 王晓锋. 基于消息中间件的分布式网络扫描[J]. 计算机工程, 2020, 46(12): 163-170. |
[7] |
韩婷婷, 刘强, 孙延涛, 郭首江. 战术通信网中EIGRP路由协议的应用研究[J]. 计算机工程, 2020, 46(11): 214-222,230. |
[8] |
欧阳恒一, 熊焰, 黄文超. 一种代币智能合约的形式化建模与验证方法[J]. 计算机工程, 2020, 46(10): 41-45,51. |
[9] |
周炜翔, 张雯, 杨博, 柳毅, 张琳, 张仰森. 面向微博用户的个性化推荐算法研究[J]. 计算机工程, 2020, 46(10): 60-66,73. |
[10] |
苏昊翔, 董正宏, 杨帆, 刘立昊. 基于Cesium的卫星载荷可视化仿真分析平台[J]. 计算机工程, 2020, 46(10): 193-200. |
[11] |
李康, 张鲁飞, 张新伟, 郁龚健, 刘家航, 吴东, 柴志雷. 基于FPGA集群的脉冲神经网络仿真器设计[J]. 计算机工程, 2020, 46(10): 201-209. |
[12] |
顾洁, 朱宗卫, 徐友庆, 周世斌, 李奥, 张国鹏. NS-3仿真环境中IEEE802.11服务区分机制的研究[J]. 计算机工程, 2019, 45(8): 135-140. |
[13] |
张光杰, 叶海洋, 王晓锋. 基于多尺度虚拟化的卫星终端用户行为仿真[J]. 计算机工程, 2019, 45(8): 165-172,189. |
[14] |
王海起, 费涛, 彭佳琦, 李谊让, 龚蔚青. 数字油田地上下三维集成建模系统研究[J]. 计算机工程, 2019, 45(8): 300-308. |
[15] |
段建民, 马学峥, 柳新. 基于MFAPC的无人驾驶汽车路径跟踪方法[J]. 计算机工程, 2019, 45(6): 6-11. |