中文版 | English

在结果中检索

CASIA OpenIR

浏览/检索结果: 共3条，第1-3条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
Multi-AUV Inspection for Process Monitoring of Underwater Oil Transportation 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 3, 页码: 828-830
作者:  Jingyi He;  Jiabao Wen;  Shuai Xiao;  Jiachen Yang
Adobe PDF(4206Kb)  |  收藏  |  浏览/下载：162/57  |  提交时间：2023/03/02
Ensuring the Correctness of Regular Expressions: A Review 期刊论文
International Journal of Automation and Computing, 2021, 卷号: 18, 期号: 4, 页码: 521-535
作者:  Li-Xiao Zheng;  Shuai Ma;  Zu-Xi Chen;  Xiang-Yu Luo
Adobe PDF(1076Kb)  |  收藏  |  浏览/下载：111/30  |  提交时间：2021/07/20
Regular expressions  correctness  string generation  learning  static checking  verification  visualization, repairing  
面向比特币的区块链扩容:关键技术,制约因素与衍生问题 期刊论文
自动化学报, 2019, 卷号: 45, 期号: 6, 页码: 1015-1030
作者:  曾帅;  袁勇;  倪晓春;  王飞跃
收藏  |  浏览/下载：245/0  |  提交时间：2019/10/11
区块链  比特币  扩容