作者简介

陈仪香

华东师范大学软件工程学院教授、博士生导师。从事人工智能可信性基础与工程研究，建立了具有时空一致性的智能系统规范语言STeC及其混成时钟逻辑系统，设计了智能系统的软硬件优化设计技术方法，构建了基于多维属性的软件可信度量评估方法和增强规范，为我国在该领域处于国际先进水平做出了开拓性贡献。承担973物联网项目、863可信计算研究项目、国家基金委以及国防基础重点研究基础项目10余项。荣获教育部自然科学奖一等奖、北京市科技进步奖一等奖、中国计算机学会科技进步奖二等奖。出版国家自然科学基金研究成果专著《形式语义学的稳定论域理论》（科学出版社，2003）和国家科学技术出版基金研究成果专著《软件可信性度量评估与增强规范》（科学出版社，2019）。荣获江苏省普通高校首届青年优秀骨干教师称号（1992）、上海市曙光学者称号（1999）。现任中国系统工程学会模糊系统与模糊数学专委会副主任委员、上海浦东物联网协会副会长，曾担任中国计算机学会嵌入式系统专委会副主任委员、上海师范大学科技处处长、华东师范大学软件工程学院副院长、软硬件协同设计技术与应用教育部工程研究中心主任。

陈彦辉

西安电子科技大学通信工程学院教授、电子信息与通信工程学科专业国家级实验教学示范中心主任、中国计算机学会嵌入式专委会委员。主持和参加了国家863重大项目、自然科学基金、教育部重大项目、军事预研、科技部重大专项等科研项目和陕西省教学改革项目。荣获陕西省科技一等奖1项、陕西省高校科技一等奖1项和二等奖1项、国家教学成果奖二等奖1项、陕西省教学成果奖特等奖1项和二等奖1项。编著出版了三部教材：《数字逻辑电路基础》《微处理器系统原理与应用设计》《物联网通信技术》。