蔡铭,男,博士,浙江大学计算机套用专业博士学位毕业,浙江大学计算机科学与技术学院人工智慧研究所副教授。
基本介绍
- 中文名:蔡铭
- 毕业院校:浙江大学
- 学位/学历:博士
- 专业方向:物联网、嵌入式系统、移动套用、软体测试
人物经历
1996年、1999年、2002年在浙江大学获套用电子技术专业学士学位、计算机套用专业硕士学位、计算机套用专业博士学位。
2002年毕业留校工作,2004年晋升副教授。作为主要骨干获得2005年度中国电子学会电子信息科学技术三等奖、2009年度浙江省科学技术进步三等奖、2009年度杭州市科技进步二等奖。获得2009年度华为奖教金,2005年度、2010年度浙江大学优秀班主任。
研究方向
近年来,主要围绕嵌入式作业系统、网路化製造、ASP套用模式、语义网、CAPP等方向进行研究。
研究与成果
蔡铭.一种DSP和FPGA紧耦合架构的协同验证方法.发明专利,.2015:1/2
蔡铭.一种基于对比测试自动生成差异测试报告的方法.发明专利,.2016:1/2
蔡铭.一种多DSP并行系统的跟蹤和回放方法.发明专利,.2016:2/2
蔡铭.一种构件化硬体实时作业系统的实现方法.发明专利,.2016:1/2
蔡铭.一种FPGA布局布线后仿真中异常信号溯源方法.发明专利,.2016:2/2
蔡铭.一种基于知识库的FPGA故障自动诊断方法.发明专利,.2016:1/2
发表论文
- 肖丁,王乾宇,蔡铭,李秀,智慧型家居场景联动中基于知识图谱的隐式冲突检测方法研究,计算机学报,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.