学院概况
 学院简介 
 学院领导 
 组织机构 
 师资队伍 
 学术指导委员会 
 学位指导委员会 
 教学指导委员会 
相关链接
学校福运彩票平台
教务系统
在线办公
图书资源
学生事务服务中心
后台管理
当前位置: 网站福运彩票平台>>学术科研>>正文
2017年新兴系统软件基础和方法研讨会在我校举行
2017-08-21     (点击: )

 

 

2017年新兴系统软件基础和方法学术研讨会FMSES 20172017731日至819日在我校信息工程学院召开。本次会议由贵州工程应用技术学院及西南大学软件研究与创新中心Centre for Research and Innovation on Software Engineering, RISE共同主办。来自西南大学、国防科技大学、同济大学、解放军理工大学、英国伦敦大学、卢森堡大学等多所国内外知名高校软件工程、人工智能的十余名专家作了汇报演讲。

在近二十天的会议期间,与会的知名学者先后围绕软件理论和方法的主题分别作了十余场学术交流讲座,近五十名到会的教授、博士和硕士相互进行了交流发言。

说明: C:\Users\lenovo\Desktop\mmexport1502594833217.jpg

刘志明教授致开幕词

 

说明: D:\贵州工程应用技术学院资料\刘志明教授\mmexport1502284337869.jpg

西南大学在我院挂职副院长陈善雄博士致开幕词

 

伦敦大学陈韬略博士讲授《模型检测》。首先通过示例回顾了形式化方法领域的背景历史,接着重点探讨了模型检测技术的定义、分类及方法,引入并探讨transition system的定义及示例。并在此基础上重点阐述了非确定性的四个主要应用场景,即对于并发、竞争条件、模型实现自由度以及外部环境的描述。然后通过一个简单的时序电路硬件模型完整地展示了迁移系统建模的基本方法和步骤。最后借助操作系统进程管理中的临界区问题对迁移系统模型的时序性质进行了简要介绍,展现了模型检测的实际应用。

说明: D:\贵州工程应用技术学院资料\刘志明教授\mmexport1502258415632.jpg

陈韬略教授

 

同济大学张苗苗教授讲授《实时系统》。首先用三个实例(钟表、计数器、门禁密码)介绍有限自动机模型以及如何应用有限自动机对实际系统进行建模;然后通过电梯系统建模问题、进程临界区互斥问题使学员对有限自动机加深认识,并引入时序性质验证问题;最后在有限自动机的基础上引入时间的概念,从而建立时间自动计模型,并重点阐述了时间自动机的非确定性语义。

 

说明: C:\Users\lenovo\Desktop\mmexport1502594945154.jpg

张苗苗教授

 

卢森堡大学庞军教授做两场学术报告。第一场报告的题目为《地理位置社交属性的量化》。这项研究工作旨在探究某个地理位置是否适合开展社交活动,这一性质被称为地理位置的社交属性location sociality。第二场报告的题目为《基于位置服务的隐私保护》。本研究旨在提升现有基于位置服务location-based services,LBS的安全性。

说明: D:\贵州工程应用技术学院资料\刘志明教授\2086283284.jpg

庞军教授

 

西南大学刘志明教授讲授《软件工程形式化方法》。介绍了软件工程形式化方法的基本概念、发展背景和历史、作用和范围。分析了程序正确性和终止性分析的基本方法,以及程序的形式语义等等。

说明: D:\贵州工程应用技术学院资料\刘志明教授\mmexport1502258340944.jpg

刘志明教授

 

陆军工程大学陈卫卫教授讲授《分布式存储系统与云存储服务》,介绍了大数据、云计算和物联网的基本概念、发展背景和历程、对社会生活的影响、关键技术、面临的挑战以及相互关系。

说明: C:\Users\lenovo\Desktop\陈卫卫教授.jpg

陈卫卫教授

 

陆军工程大学网络技术重点实验室付印金博士做题为《大数据重复删除技术研究》的报告。首先介绍了云计算与大数据的发展现状和大数据存储面临的挑战,并对各种数据缩减技术进行了对比。然后介绍数据压缩的基本原理和经典的数据压缩编码算法,最后简要介绍分布式重复删除技术,包括分布重删路由技术、可靠重删存储技术和重删存储安全策略等。

说明: C:\Users\lenovo\Desktop\付金印.jpg

付印金博士

 

说明: D:\贵州工程应用技术学院资料\刘志明教授\合照.jpg

参加研讨会部分专家合影

 

 

 

 

                                     (供稿:陈善雄)

 

上一条:我院参加2017年贵州省计算机学会年会
下一条:重庆大学何中市教授受邀到我院讲学
上海11选5APP 悠洋棋牌下载 上海11选5走势图 上海11选5分布走势图 上海11选5走势图 上海11选5 悠洋棋牌 上海11选5分布走势图 上海11选5走势图 上海11选5APP