[1] |
姚袭欣, 章博, 陈香兰, 乔磊, 李曦. 一种基于Event-B语言的时间触发系统建模方法[J]. 计算机工程与科学, 2023, 45(04): 613-621. |
[2] |
贺水喻, 魏悦川, 潘峰, 畅利鹏. 对认证加密算法Pyjamask的伪造攻击[J]. 计算机工程与科学, 2022, 44(12): 2140-2145. |
[3] |
孙智超, 张策, 江文倩, 刘凯卫, 范苗苗, 李文毓, 温雅菲. 故障检测率对软件可靠性影响实证分析[J]. 计算机工程与科学, 2022, 44(12): 2162-2173. |
[4] |
刘雨青, 向军, 曹守启. 基于改进蚁群算法的水下自主航行机器人路径规划[J]. 计算机工程与科学, 2022, 44(03): 536-544. |
[5] |
张志远, 陈海进. 基于动态矩阵的未知环境地图构建与路径规划[J]. 计算机工程与科学, 2022, 44(03): 563-570. |
[6] |
王梅, 李东旭, 陈琳琳, 范思萌, 许传海, 杨二龙. 基于AT-NMS的Mask RCNN改进算法[J]. 计算机工程与科学, 2021, 43(10): 1803-1809. |
[7] |
赵应丁, 岳星宇, 杨文姬, 张吉昊, 杨红云, . 基于多特征融合卷积神经网络的显著性检测[J]. 计算机工程与科学, 2021, 43(04): 729-737. |
[8] |
薛骁勇, 孙猛. Mediator的概率扩展[J]. 计算机工程与科学, 2020, 42(08): 1367-1373. |
[9] |
王思齐, 胡婧韬, 余广, 祝恩, 蔡志平. 智能视频异常事件检测方法综述[J]. 计算机工程与科学, 2020, 42(08): 1393-1405. |
[10] |
熊炜1,2,王传胜1,李利荣1,刘敏1,曾春艳1. 结合光流法和卡尔曼滤波的视频稳像算法[J]. 计算机工程与科学, 2020, 42(03): 493-499. |
[11] |
刘艳萍1,崔彤1,周长兵2,李小翠2,刘甜1. 基于改进混合高斯模型和图形句柄的异常车辆检测[J]. 计算机工程与科学, 2020, 42(02): 266-272. |
[12] |
史文杰,詹雨奇,李奎. 一种面向多平台航电资源建模及其调度算法[J]. 计算机工程与科学, 2019, 41(11): 1976-1984. |
[13] |
黄怿豪,冯劲草,郑寒月,缪炜恺,蒲戈光. 航空机载嵌入式控制软件需求建模的形式化工程方法[J]. 计算机工程与科学, 2019, 41(06): 1016-1025. |
[14] |
张琦1,2,李屹1,孙猛1. Mediator模型的SystemC代码自动生成[J]. 计算机工程与科学, 2019, 41(05): 835-842. |
[15] |
崔浩然,李涵,冯煜晶,吴萌,王超,陶冠良,张志敏. 面向深度学习的SoC架构设计与仿真[J]. 计算机工程与科学, 2019, 41(01): 14-23. |