个人简历

蔡铭，浙江大学计算机科学与技术学院副教授，博士生导师，1996年、1999年、2002年在浙江大学获应用电子技术专业学士学位、计算机应用专业硕士学位、计算机应用专业博士学位，2011年入选浙江省151人才工程第三层次培养人员，获得2013年度浙江大学信息学部青年教师二等奖。
作为主要骨干获得2005年度中国电子学会电子信息科学技术三等奖、2009年度浙江省科学技术进步三等奖、2009年度杭州市科技进步二等奖。获得2009年度华为奖教金，2005年度、2010年度浙江大学优秀班主任，2019年度浙江大学优秀研究生德育导师。
从事物联网、移动应用软件、嵌入式基础软件、自然语言处理等研发工作，承担国家科技重大专项（核高基）、国家高技术研究发展计划（863计划）、国家自然科学基金等10余项纵向课题，出版学术专著2部，发表SCI/EI索引论文40余篇，参与制定中国智能交通领域国家标准1项（GB/T 29746-2013）。担任《数字逻辑设计》、《嵌入式系统》、《智能终端软件开发技术》课程主讲教师，以第一完成人获2012年度浙江大学校级教学成果二等奖，获得2019年度浙江大学优质教学二等奖。
教学与课程
1、数字逻辑设计
2、汇编与接口
3、嵌入式系统
4、智能终端软件开发技术
工作研究项目
群智制造环境下语义驱动的物联制造服务情境感知与协作优化技术研究（国家自然科学基金）
面向大规模协作的制造资源服务语义接入与实时交互研究（国家自然科学基金）
面向网络化制造的资源智能发现技术研究（浙江省自然科学基金）
纺织面料设计ASP平台开发与应用（863/CIMS子课题项目）
杭州建设工程电子交易平台建设规划（杭州市建设工程交易中心）
基于三维CAD的集成化CAPP系统的关键技术研究及支持网络化制造的CAPP组件开发（863/CIMS子课题项目）
面向区域协同商务应用平台、区域门户及网上科技服务中心（863/CIMS子课题项目）
研究与成果
发明专利：一种DSP和FPGA紧耦合架构的协同验证方法
发明专利：一种基于对比测试自动生成差异测试报告的方法
发明专利：一种多DSP并行系统的跟踪和回放方法
发明专利：一种构件化硬件实时操作系统的实现方法
发明专利：一种FPGA布局布线后仿真中异常信号溯源方法
发明专利：一种基于知识库的FPGA故障自动诊断方法
发明专利：一种基于代码自动生成的指令集模拟方法
发明专利：一种指令集模拟器译码模块代码的压缩方法
发明专利：一种指令集模拟器译码模块代码的压缩方法
发明专利：一种指令集模拟器指令函数自动生成优化方法

研究领域

物联网；嵌入式系统；移动应用；软件测试""

近期论文

Feiyang Ren, Liangming Feng, Ding Xiao, Ming Cai, Sheng Cheng. DNet: a lightweight and efficient model for aspect based sentiment analysis. Expert Systems With Applications, 151(8), 2020.
Shaocong Mo, Ming Cai, Lanfen Lin, Ruofeng Tong, Qingqing Chen, Fang Wang, Hongjie Hu, Yutaro Iwamoto, Xian-Hua Han and Yen-Wei Chen. Multimodal Priors Guided Segmentation of Liver Lesions in MRI Using Mutual Information Based Graph Co-Attention Networks. MICCAI 2020: 429-438.
K. Ning, M. Cai, D. Xie and F. Wu, An Attentive Sequence to Sequence Translator for Localizing Video Clips by Natural Language. IEEE Transactions on Multimedia, 22(9), 2434-2443, 2020. (CCF A)
Ding Xiao, Qianyu Wang, Ming Cai, Zhaohui Zhu and Weiming Zhao. A3ID: An Automatic and Interpretable Implicit Interference Detection Method for Smart Home via Knowledge Graph. IEEE Internet of Things Journal, 7(3), 2197-2211, 2020.
Ming Cai, Qian Zhou, Fan Ye and Yuanyuan Yang, A Comparative Study of Software Programming Platforms for the Internet of Things, book chapter in Big Data-Enabled Internet of Things, IET 2019 (ISBN:978-1-78561-636-5, 111-136)
肖丁，王乾宇，蔡铭，李秀，智能家居场景联动中基于知识图谱的隐式冲突检测方法研究，计算机学报，42(6): 1190-1204, 2019.
Zhirong Xu, Ming Cai, Xiaoyan Li, Tianlei Hu and Qianshu Song, Edge-Aided Reliable Data Transmission for Heterogeneous Edge-IoT Sensor Networks. Sensors, 19(9), 2019.
Zhang, W. Y., Zhang, S., Cai, M. and Wu, J., An agent-based peer-to-peer architecture for semantic discovery of manufacturing services across virtual enterprises. Enterprise Information Systems, 9 (3): 233-256, 2015.
Zhou, Z.M., Cai, M., An efficient and flexible modelling approach for multi-DSP system，Computer Modelling and New Technologies,2014
Zhang, W. Y., Zhang, S., Qi, F. and Cai, M., A self-organized P2P approach to manufacturing service discovery for cross-enterprise collaboration. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 44 (3): 263-276, 2014.
Zhou, Z.M., Cai, M., A Workload Model Based Approach to Evaluate the Robustness of Real-time Operating System, IEEE International Conference on Embedded and Ubiquitous Computing,2013.
Zhang, W. Y., Yin, J. W., Cai, M., Wu, J. and Lin, L. F., Exploring Semantic Web technologies for manufacturing Deep Web service management. IEEE Industrial Electronics Magazine, 6 (2): 38-51, 2012.
Zhang, W. Y., Zhang, S., Cai, M. and Liu, Y. N., A reputation-based peer-to-peer architecture for semantic service discovery in distributed manufacturing environments. Concurrent Engineering: Research and Applications, 20 (3): 236-252, 2012.
Zhou, Z.M., Cai, M., An Approach to Evaluate the Robustness of Real Time Operating System, 2nd International Conference on Computer Science and Network Technology (ICCSNT), 2012.
Cai, M., Zhang, W. Y. and Zhang, K., ManuHub: a Semantic Web system for ontology-based service management in distributed manufacturing environments. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 41 (3): 574-582, 2011.
Zhang, W. Y., Zhang, S., Cai, M. and Huang, J. X., A new manufacturing resource allocation method for supply chain optimization using extended genetic algorithm. International Journal of Advanced Manufacturing Technology, 53 (12): 1247-1260, 2011.
Lin, L. F., Zhang, W. Y., Lou, Y. C., Chu, C. Y. and Cai, M., Developing manufacturing ontologies for knowledge reuse in distributed manufacturing environment. International Journal of Production Research, 49 (2): 343-359, 2011.
Cai, M., Zhang, W. Y., Chen, G., Zhang, K. and Li, S. T., SWMRD: A Semantic Web-based manufacturing resource discovery System for cross-enterprise collaboration. International Journal of Production Research, 48 (12): 3445-3460, 2010.
Yin, J. W., Zhang, W. Y. and Cai, M., Weaving an agent-based Semantic Grid for distributed collaborative manufacturing. International Journal of Production Research, 48 (7): 2109-2126, 2010.
Zhang, W. Y., Cai, M., Qiu, J. and Yin, J. W., Managing distributed manufacturing knowledge through multi-perspective modeling for Semantic Web applications. International Journal of Production Research, 47 (23): 6525-6542, 2009.