过刊目录
2023年, 第2卷, 第1期

综述与述评

芯片设计形式验证

詹博华, 吴志林

2023 Vol. 2(1): 23-32.

doi: 10.3981/j.issn.2097-0781.2023.01.002

浏览量 ( 1194 ) PDF ( 1173 )

综述与述评

形式化方法与系统软件:实践与发展建议

丁浩然, 王肇国, 付明, 陈海波

2023 Vol. 2(1): 33-45.

doi: 10.3981/j.issn.2097-0781.2023.01.003

浏览量 ( 1436 ) PDF ( 1079 )

综述与述评

领域特定语言开发现状与展望

曹奕远, 关智超, 肖宇朔, 赵海燕, 胡振江

2023 Vol. 2(1): 46-61.

doi: 10.3981/j.issn.2097-0781.2023.01.004

浏览量 ( 1208 ) PDF ( 990 )

综述与述评

鲁棒神经网络的训练方法研究进展与前景

梁震, 刘万伟, 吴陶然, 任德金, 薛白

2023 Vol. 2(1): 78-89.

doi: 10.3981/j.issn.2097-0781.2023.01.006

浏览量 ( 1217 ) PDF ( 1062 )

综述与述评

列车运行控制系统的形式化研究进展与趋势

吕继东, 卢万里, 唐涛, 罗正伟

2023 Vol. 2(1): 106-117.

doi: 10.3981/j.issn.2097-0781.2023.01.008

浏览量 ( 1711 ) PDF ( 934 )

综述与述评

人为中心感知计算研究进展及展望

於志文, 李青洋, 王倩茹, 郭斌

2023 Vol. 2(1): 118-131.

doi: 10.3981/j.issn.2097-0781.2023.01.009

浏览量 ( 878 ) PDF ( 887 )

综述与述评

NSFC形式化方法领域基金项目申请资助情况分析

陈厅, 吴国政, 刘哲, 蒲戈光, 赵瑞珍, 刘克

2023 Vol. 2(1): 132-140.

doi: 10.3981/j.issn.2097-0781.2023.01.010

浏览量 ( 1296 ) PDF ( 1037 )