王克敏
近期热点
资料介绍
个人简历
主持完成多项学校工科规划项目,参与完成多项国家级项目,累计发表SCI、EI检索论文十多篇。研究领域
基于模型检测手段的系统形式化验证、程序安全性自动分析理论与技术;多媒体智能信息处理技术"相关技术研发:负责在研校级工科规划项目“PH分布与新闻热点事件的相关性研究”;负责完成“水平式双机立体拍摄云台关键技术研究”(中国传媒大学工科规划项目)、“面向M/G/1类型过程的模型检验问题研究及工具实现”(中国传媒大学工科规划项目)、“模型检查理论与应用研究”(中国传媒大学工科规划项目)参与完成“舞美模型及知识库研究”(国家科技支撑计划项目)、“分布式宽带业务协同制作的开发――分布式集群渲染子系统”(863重大专项合作项目)、“基于进程代数的移动计算协议工程”(广电总局高校项目)"标签: 中国传媒大学 计算机与网络空间安全学院
相关热点
最新收录
- 武藤彩香(武藤あやか Ay 06-20
- 袁嘉敏 06-20
- 黄子佼 06-19
- 黄子佼 06-19
- 唐家三少 06-19
- 广末凉子 06-19
- 広末凉子(广末凉子 , Ryo 06-19
- 简恺乐(蝴蝶姐姐) 06-19
- 周扬青 06-19
- 东条夏( 東條なつ Tojo Na 06-17