随着人工智能技术的发展,人机物互联正加速向人机物智联阶段发展,然而由于人工智能在安全可信方面的局限性,给人机物融合系统(HCPS)的安全可信保障带来极大挑战。人机物融合系统是一种集成人类社会、信息空间和物理世界的软件密集型系统。人工智能技术的快速发展正使得系统从人机无互联向人机物智联阶段跨越式发展。然而,随之而来的风险也不可避免的产生,AI算法和系统自身存在安全隐患,极大限制了人工智能技术在对安全要求极高的人机物系统中的应用,因此,确保系统中的人工智能技术安全可信是突破人工智能技术在人机物融合系统中应用的必要条件,也是推动系统实现大规模智能互联与协作的重要前提。
为此,《计算机研究与发展》计划于2026年出版“高可信人机物融合智能系统”专题。本专题将面向人机物融合系统的安全可信问题,聚焦系统的安全可信理论、技术与方法和案例分析,具体内容包括神经网络模型的形式化验证、智能控制系统建模与验证、大语言模型的安全可信保障技术、神经网络模型的攻击与防御方法等内容,涵盖方法论研究、核心关键技术、实证研究、综述等多个角度成果。欢迎相关领域的专家学者和科研人员踊跃投稿。现将专题论文征集的有关事项通知如下。
一、征文范围(包括但不限于)
专题针对系统的安全可信理论、技术与方法和案例分析,具体内容包括神经网络模型的形式化验证、智能控制系统建模与验证、大语言模型的安全可信保障技术、神经网络模型的攻击与防御方法等内容,涵盖方法论研究、关键技术、实证研究、综述等多个角度。征文领域包括但不限于以下主题:
1. 智能决策模型的形式化验证
2. 人机物融合系统智能模块建模与验证
3. 神经网络可解释性与公平性
4. 多智能体系统建模与验证
5. 大语言模型的安全可信方法研究
6. 人机物系统的可信智能研究
7. 人机物融合智能系统的需求工程
8. 人机物融合智能系统的架构设计
9. 模型驱动的人机物融合智能系统开发
10. 人机物融合智能系统的应用案例与实证研究
二、征文要求
1.论文应属于作者的科研成果,数据真实可靠,具有重要的学术价值或推广应用价值,未在国内外公开发行的刊物或会议上发表,不存在一稿多投问题。作者在投稿时,需向编辑部提交投稿声明。2.稿件格式参照《计算机研究与发展》近期发表论文,https://crad.ict.ac.cn/ziliaoxiazai提供了论文模版,可下载。
3. 本专题投稿论文经过两轮投稿和评审、一次口头报告和质询。
(1)第一阶段:投稿使用ChinaSoft 2025会议系统(https://easychair.org/my/conference?conf=chinasoft2025),请确认选择“S05高可信人机物融合智能系统专刊”Track,由会议通知评审结果。所有通过第一轮评审的稿件,进入第二阶段。
(2)第二阶段:通过第一阶段稿件的作者,将在ChinaSoft 2025会议进行口头报告,参加责任编辑的现场问答环节。责任编辑根据评审结果、稿件修改情况及会议质询结果给出稿件反馈建议。
(3)第三阶段:通过第二阶段的修改稿,提交至《计算机研究与发展》的“高可信人机物融合智能系统专题”,由期刊组织审稿,审稿意见由期刊通知。此阶段论文通过期刊网站https://crad.ict.ac.cn投稿,投稿时需提供作者的联系方式,并在作者留言中注明“高可信人机物融合2026专题”(否则按自由稿处理)。
三、重要日期
1.第一阶段:ChinaSoft 2025会议评审
论文截稿日期:2025年9月18日
论文审稿结果通知日期:2025年10月29日
2.第二阶段:ChinaSoft 2025会议报告
ChinaSoft 2025报告日期:2025年11月15-17日
3.第三阶段:《计算机研究与发展》评审
论文(修改稿)截稿日期:2026年12月1日
终审结果通知日期:2026年1月30日
出版时间:2026年
四、特邀编委
董震 副研究员 复旦大学
zhendong@fudan.edu.cn
杜德慧 教授 华东师范大学
dhdu@sei.ecnu.edu.cn
张民 教授 华东师范大学
zhangmin@sei.ecnu.edu.cn
岳涛 教授 北京航空航天大学
yuetao@buaa.edu.cn
梁鹏 教授 武汉大学
liangp@whu.edu.cn
五、联系方式
编辑部:crad@ict.ac.cn 010-62620696, 010-62600350
通信地址:北京2704信箱《计算机研究与发展》编辑部 邮编100190
内容来源:公众号——计算机研究与发展