计算机学院学术论坛报告

 

Academic Forum on Computer Science and Technology

 

第 54  期

 

 

 

主题报告：Topic1.时间自动机及其在形式验证中的应用

        Topic2. 语音情感识别的关键技术研究        

报 告 人： Topic1.许庆国博士；Topic2.尤鸣宇博士

报告时间：   9 月 19 日（周五）15:00～16:30

报告地点：   上海大学延长校区行健楼707室

报告简介：

[Topic1]实时系统的形式验证因时间域的引入而使研究工作更具挑战性，时间自动机是对实时系统进行形式建模与验证的有效工具。本报告在简介时间自动机的基本概念的基础上，通过几个简单的例子，对使用时间自动机建模和验证实时系统的理论、技术和方法进行简要介绍。

[Topic2]语音情感识别是人工智能领域的一个新兴分支，在自然人机交互、多媒体分段与检索、安全系统自动监管等方面有着广泛的应用前景。语音情感识别过程包括语音信号预处理、声学特征提取、特征向量降维处理和基于统计模型的情感识别。本次报告将围绕情感语料库可视化方法、半监督机制的语音情感识别、非线性特征降维算法以及基于对话关联矩阵的情感识别技术等方面内容展开介绍和讨论。

 

---

报告人：许庆国博士，毕业于上海大学计算机学院，主要研究方向为软件工程与形式方法，参与国家自然科学基金项目、国家973项目、国家863项目等多个项目。发表论文10余篇，曾获山东省科技进步奖、青岛市科技进步一等奖等多个奖项。

 

尤鸣宇博士，毕业于浙江大学计算机学院，主要研究方向为特征选择、数据挖掘和情感识别。参加过国家973、国家863及国家自然基金等多个项目的研究。至今已在国内外若干知名期刊和会议上发表十余篇论文，其中作为第一作者被SCI收录三篇，EI收录五篇。

 

---