热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
王克敏
2023-05-16 10:30
  • 王克敏
  • 王克敏 - -中国传媒大学-计算机与网络空间安全学院-个人资料

近期热点

资料介绍

个人简历


主持完成多项学校工科规划项目,参与完成多项国家级项目,累计发表SCI、EI检索论文十多篇。

研究领域


基于模型检测手段的系统形式化验证、程序安全性自动分析理论与技术;多媒体智能信息处理技术"相关技术研发:
负责在研校级工科规划项目“PH分布与新闻热点事件的相关性研究”;
负责完成“水平式双机立体拍摄云台关键技术研究”(中国传媒大学工科规划项目)、“面向M/G/1类型过程的模型检验问题研究及工具实现”(中国传媒大学工科规划项目)、“模型检查理论与应用研究”(中国传媒大学工科规划项目)
参与完成“舞美模型及知识库研究”(国家科技支撑计划项目)、“分布式宽带业务协同制作的开发――分布式集群渲染子系统”(863重大专项合作项目)、“基于进程代数的移动计算协议工程”(广电总局高校项目)"

相关热点

扫码添加好友