详情

王克敏


发布时间:2016-12-19 16:17:18


个人简介

王克敏,男,籍贯河北,副教授。2002年河北工业大学计算机系本科毕业;2005年中国传媒大学(原北京广播学院)信号与信息处理专业硕士毕业;2014年1月中国传媒大学通信与信息系统专业博士毕业。2005年7月至今在中国传媒大学任教,先后任助教、讲师、副教授。曾外派南广学院,兼任计算机学院办公室主任,国家公派丹麦技术大学访问学者,挂职北京市平谷区委宣传部副部长。现任计算机科学系副教授,党支部书记。中国计算机学会会员。


教学活动

本科生课程:《计算机组成》《逻辑与计算机设计基础》

研究生课程:《系统形式化建模与仿真》《面向对象程序设计与实践》


研究方向

基于模型检测手段的系统形式化验证、程序安全性自动分析理论与技术

多媒体智能信息处理技术


科研项目

“舞美模型及知识库研究”(国家科技支撑计划项目)

“水平式双机立体拍摄云台关键技术研究”(中国传媒大学工科规划项目)

“面向M/G/1类型过程的模型检验问题研究及工具实现”(中国传媒大学工科规划项目)

“模型检查理论与应用研究”(中国传媒大学工科规划项目)

“分布式宽带业务协同制作的开发――分布式集群渲染子系统”(863重大专项合作项目)、“基于进程代数的移动计算协议工程”(广电总局高校项目)


科研成果


近期代表性论文

[1].Kemin Wang, Yongbin Wang, Zhengtao Jiang, and Wenlong Fu, “A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains,” Mathematical Problems in Engineering, vol. 2014, Article ID 764819, 6 pages, 2014. doi:10.1155/2014/764819 (SCI检索)

[2].Kemin Wang, Zhengtao Jiang, Yongbin Wang, Youshan Yang and Wei Jiang, 2012. Towards the Availability of the Distributed Cluster Rendering System: Automatic Modeling and Verification. Research Journal of Applied Sciences, Engineering and Technology, 4(21): 4453-4457. (EI检索)

[3].王克敏,王永滨,一种对于分布式渲染集群系统可用性分析的概率模型检查方法,中国传媒大学学报(自然科学版),第18卷第3期,2011年。

[4].Kemin Wang, Yongbin Wang, Shizheng Zhou, Xiaohong Wang. Formal Analysis and Verification of a Multimedia Messaging Service Protocol, In Proceedings of the Fourth International Joint Conference on Computational Sciences and Optimization (CSO 2011), P812-815, Yunnan, China. (DOI:10.1109/CSO.2011.138) (EI)

[5].Kemin Wang and Yongbin Wang. A Stochastic Model Checking Method for the usability of Clusters about Distributed Rendering System, 2011 International Conference on Electronic & Mechanical Engineering and Information Technology (EMEIT 2011).(EI)