热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
汤淼
2023-05-06 13:13
  • 汤淼
  • 汤淼 - 副教授-长春工业大学-计算机科学与工程学院-个人资料

近期热点

资料介绍

个人简历


学习与工作经历
1997.9-2001.7吉林工学院计算机科学与技术专业,本科生,获工学学士学位
2004.9-2006.9天津大学计算机应用技术专业,研究生,获工学硕士学位
2001.7-至今长春工业大学教师
2016.9被评为副教授

研究领域


软件工程基础理论与方法
研究内容:在严格的数学基础(逻辑、代数、自动机、图论)之上研究软件开发各环节的基础理论和方法,克服自然语言、图表等非形式化方法描述体系结构存在的不足,提供一个用于严格分析的精确模型,减少软件设计的错误,开发出高可靠度系统。
建立运用形式化方法描述的体系结构模型(形式化规约);运用模型检测或证明器对形式化模型进行精确分析(形式化验证);软件工程中的形式化方法;基于形式化方法的软件需求建模;现代逻辑与形式化方法。"科研项目
车辆运动的海量轨迹数据的相似度的研究,吉教科合字201599号,2015.7--2018.7,3万元,4/5
专利及软件著作权
师生互动教学系统国家版权局10819732015.10第一
基于安卓师生互动平台国家版权局10810472015.10第一
多媒体教学管理系统国家版权局008295312015.10第一
学校信息管理系统国家版权局008291062015.10第一
模拟考试教学系统国家版权局008288042015.10第一
远程在线教学平台国家版权局008288982015.10第一
基于安卓学生课后学习系统国家版权局00827440第一
教学电子白板系统国家版权局008274522015.10第一
多媒体交换管理教学系统国家版权局09973912015.6第一
10、教师资源数据审批管理系统国家版权局09973932015.6第一"

近期论文


专著
1汤淼徐中宇计算机网络数据库的安全管理技术吉林出版集团2018.10
2徐中宇汤淼医学影像图像处理技术研究吉林出版集团2018.10
论文
1、汤淼LicensePlateRecognitionAlgorithmBasedonFractalDimension
ComputerScienceApplicationsandEducation2014-12-01
卷号:4,页码12-16(EI期刊)
2、汤淼DynamicvirtualSwitchProtocolusingopenflow13thACISInternationalConference2012-08-01(EI会议)
3、汤淼软件工程专业“项目驱动”实验教学模式研究实验技术与管理2012-04-01(北大核心)

相关热点

扫码添加好友