搜索结果: 151-165 共查到“知识库 计算机科学技术”相关记录204条 . 查询时间(1.642 秒)
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第二十一期）。
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第二十期）。
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第十九期）。
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第十七期）。
isQ量子程序设计与验证平台
isQ 量子程序设计 验证平台
2021/8/10
isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第十六期）。
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第十四期）。
浙江大学机器人研究院段桂芳团队
浙江大学机器人研究院 段桂芳团队 机器视觉 复杂装备数字化设计与制造 数字样机与虚拟现实
2021/7/20
段桂芳，博士，副教授，2009年9月毕业于立命馆大学获工学博士学位，2009年10月-2012年3月同大学综合理工学研究机构博士后， 2012年5月起在浙江大学机械工程学院工作，主要研究领域为机器视觉、复杂装备数字化设计与制造、数字样机与虚拟现实等。作为负责人，先后主持973计划子课题、863计划子课题、国家自然科学基金和浙江省公益基金等项目，发表SCI/EI论文40余篇，在中国、日本、韩国、美国...
浙江大学机器人研究院吴春明团队
浙江大学机器人研究院 吴春明团队 人工智能 新型网络体系结构
2021/7/20
吴春明，男，籍贯浙江萧山，于1989年及1992年分别获得浙江大学计算机科学与技术学士与硕士学位，1995年获得浙江大学计算机应用专业工学博士学位后留校任教，2005年晋升为教授、博士生导师，现任浙江大学系统结构与网络安全研究所副所长。承担多门本科生与研究生的通识、专业课程的讲授；长期从事人工智能、新型网络体系结构、可重构网络与虚拟化、软件定义网络与安全、动态网络主动防御等领域的科学研究工作，主持...
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第十三期）。
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第十二期）。
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第十一期）。
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第十期）。
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第九期）。
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第八期）。