7基于因素分解的隐性政策血缘挖掘方法研究.doc

投送学科 一级学科： 控制科学与工程 二级学科： 模式识别与智能系统 如是学科交叉研究，所涉及的 一级学科： 计算机科学与技术 二级学科： 计算机软件与理论 是否涉密： 是 否 √ 中 国 博 士 后 科 学 基 金 面 上 资 助 申 请 书 （第 52 批） 申 请 者： ---- 博士后全国统一编号： ---- 申报单位： ---- 项目名称： 基于因素分解的隐性政策血缘挖掘方法研究 研究方向： 形式化验证、政策血缘、审计语言 通讯地址： ---- 邮政编码： ---- E－mail： ---- 固定电话： ---- 移动电话： ---- 申请日期： 2012年08月31日一、个 人 信 息 姓 名 ---- 性 别 男 出 生 日 期 1976-09-28 身份证号国 籍 中国 民 族 汉族 进站时间 2011年08月29日 2013年08月29日 流动站 √ 0 ---- ---- 工作站 0 ---- ---- 学 位 情 况 学位 授予年月 授予单位 一级学科 导师 学士 1999年07月 计算机科学与技术 张国印 硕士 2004年04月 计算机科学与技术 刘群 博士 2008年11月 计算机科学与技术 黄少滨 主 要研究工作经历 起止年月 单 位 研究内容 项目分工 2009-09至今2004-09至2009-09 1999-07至2004-09 曾 获 得 的 研 究 成 果 获得科研奖励或基金资助情况（可加项） 获得时间 项目名称 奖励或资助名称 等级 排名 2011-11-01 社会保险（基本养老保险基金）联网审计系统综合优化升级 科技进步奖 黑龙江省科技进步二等奖 3 2011-11-01 社会保险(基本养老保险基金)联网审计系统综合优化升级3 2008-07-01 社会保障（基本养老保险）联网审计项目 科技进步奖 黑龙江省科技进步三等奖 7 2008-07-01 社会保障（基本养老保险）联网审计项目 科技进步奖 黑龙江省国防科技工业科技进步二等奖 7 参加或主持的科研项目（可加项） 批准时间 项目名称 下达部门 项目性质 项目经费 项目进展 承担责任 2012-07-01 审计行业信息智能处理分析与预警系统及其应用 中华人民共和国科技部 国家科技支撑计划项目 343 项目启动阶段 主研 2010-01-01 分布式与高可信计算若干理论问题的研究与应用 中华人民共和国教育部 中央高校基本科研业务费专项资金 10 主要内容已经完成 项目负责人 2010-01-01 政府预算执行动态审计监测关键技术研究与示范 中华人民共和国科技部 国家科技支撑计划重点项目 298 主要内容已经完成 第四参与者 2009-01-01 复杂信息系统模型及并发运行检验理论及应用研究 国家自然科学基金委员会 国家自然科学基金 30 结题验收 第二参与者 2008-01-01 社会保险计算机审计方法体系研究 中华人民共和国审计署 金审一期重点项目 6 结题验收 第四参与者 发表的有代表性论文（包括已被录用、待发表的论文，可加项） 发表时间 论文题目 学术刊物 或会议名称 学术刊物 或会议类型 收录情况 排名 2012-01-01 Research on Rule-Based Reasoning Methods Oriented on Information Resource Ontology Foundations of Intelligent Systems 国际刊物 EI 1 2012-01-01 A K-Means Optimization Algorithm Based on Relative Core Cluster Future Communication, Computing, Control and Management 国际刊物 EI 1 2011-08-01 一种UML状态图模型检测方法 国内核心期刊 EI 1 2011-03-14 A comprehensive online unconstrained Chinese handwriting database and benchmark evaluation International Journal on Document Analysis and Recognition 国际刊物 SCI 3 2011-01-01 一种基于自适应最近邻的聚类融合方法 计算机工程与应用 国内核心期刊 其他 1 2011-01-01 一种基于场景的并发系统需求验证方法 哈尔滨工程大学学报 国内核心期刊 EI 1 2010-12-25 Short