报告题目【IntroductiontotheshrinkinggradientRiccisolitons】时间：2019年7月24日(星期三)下午16:35地点：旗山校区理工北楼601报告厅主讲：北京航空航天大学博士，张世金主办：数学与信息学院,福建省分析数学及应用重点实验室,数学研究中心参加对象：相关专业老师及学生报告摘要：Inthistalk,firstImainlyintroducesomeimportantresultsoftheshrinkinggradientRiccisolitons.Secondly,IwillintroducesomeresultsoftheshrinkinggradientRiccisolitons:(1)Volumegrowth;(2)ClassificationofKahlercasefornonnegativeholomorphicbisectional(ororthogonalbisectional)curvature.Thebisectionalcurvaturepartof(3)isajointworkwithGuoqiangWu.报告人

报告题目【Non-existenceofS^6typeofcomplexthreefoldinG2】时间：2019年7月24日(星期三)下午15:00地点：旗山校区理工北楼601报告厅主讲：美国加州大学Riverside教授，关庄丹主办：数学与信息学院,福建省分析数学及应用重点实验室,数学研究中心参加对象：相关专业老师及学生报告摘要：InthistalkIwilladdresssomeproblemsanddevelopmentswithcomplexhomogeneousspaces.Inparticular,weshalltoucharecentproblemofexistingofsphereofsixdimensiontypecomplexsubmanifoldsinthe14dimensionalcompactLiegroupG2.Theexistenceornon-existenceofacomplexstructureonS6hasauniquehistory.ThereareattemptsfromsomefamousfiguresastheProfessorC.C.H

报告题目【应用于捕食者模型的团体Q学习】时间：2019年7月22日(星期一)上午11:10地点：旗山校区数信大楼507学术报告厅主讲：北京大学信息科学技术学院博士，张明悦主办：数学与信息学院，数字福建环境监测物联网实验室参加对象：感兴趣的老师、研究生、部分本科生报告摘要：在许多单智能体决策任务上，强化学习达到甚至超过了人类水平，而在多智能体领域遇到了许多困难与挑战。提出了一种多智能体学习算法，基于随机博弈的框架，用Q学习进行状态-动作价值估计，根据价值函数进行简化后的均衡计算，以保证学习算法可以逼近马尔可夫完美均衡（MPE）。将该算法应用于捕食者模型（predator-preymodel），并进行实证研究，观察在学习算法下，捕食者、被捕食者群体的行为模式，并对其种群数量的动态变化进行统计。最后，探讨总结相关的多智能体强化学习算法。报告人简介：张明悦，高可信软件技术教育部重点实验室和北京大学信息科学技术学院博士，目前的主要研究方向为多智能体系统及相关算法与技术，重点关注多智能体强化学习算法（MARL），对自适应系统，强化学习，博弈论感兴趣。

报告摘要：ContemporarysoftwaresystemsareincreasinglydevelopedandoperatedaccordingtoaDevOpsstyle,whichsupportsacontinuous,iterativeviewofdevelopmentandoperation,combiningflexibilitywithadequatelevelsofmanagementandcontrol.Inaddition,thesoftwareitselfisdesignedinawaythatitcanpartlyself-manageitsevolution.Thishighlydynamicsettingseemstoprecludetheuseofformalmethods.Theagilemovementhastraditionallybeenhostiletoformalmethods,andtheformalmethodsworldhasntdonemuchtoembraceagility.Likewise,formalmethodsandru

报告题目【“软件定义”时代的软件工程】时间：2019年7月22日(星期一)下午15:30地点：旗山校区数信大楼507学术报告厅主讲：北京大学教授，金芝主办：数学与信息学院，数字福建环境监测物联网实验室参加对象：感兴趣的老师、研究生、部分本科生报告摘要：软件定义概念的兴起源于“软件定义网络”，后来延伸到存储、计算、数据中心、环境。本质上，“软件定义”的基本理念就是基础资源虚拟化和资源管控能力的可编程。“软件定义”的理念为我们带来了人-机-物互联互通有机融合的可能性，但也为软件技术带来前所未有的挑战，需要建立面向全栈资源的系统构建/重构的方法学，建立支持全过程可演化软件体系结构、运维机制以及内生安全性保障机制，实现对从面向单一预设的应用服务到普适场景化的个性化服务的支撑。本报告将从软件工程的视角出发分析“软件定义”带来的挑战。报告人简介：金芝，北京大学教授，973项目首席科学家。任北京大学高可信软件技术教育部重点实验室常务副主任，国务院学位委员会学科评议组成员（软件工程），中国计算机学会会士与常务理事，中国计算机学会软件工程专业委员会主任，任IEEETSEAssociateEditor，《

报告题目【面向人脸识别的数字图像取证技术研究进展】时间：2019年7月14日(星期日)上午09:00地点：数信大楼507学术报告厅主讲：湖南大学信息科学与工程学院教授，彭飞主办：数学与信息学院,数字福建大数据安全技术研究所,福建省公共服务大数据挖掘与应用工程技术研究中心参加对象：工程中心，研究所教师和研究生，感兴趣的师生报告摘要：随着人脸识别技术的发展与应用，人脸欺骗攻击对当前基于人脸识别的身份认证构成了严重的威胁。本报告介绍当前人脸识别系统主要面临的人脸欺骗攻击类型与特点，以及面向人脸识别的数字图像取证技术的发展现状。在此基础上介绍了我们在人脸伪造欺骗攻击检测、人脸融合攻击检测与合谋者复原、计算机生成人脸与真实人脸反取证等方面的研究工作，并对面向人脸识别的数字图像取证技术的发展进行了展望。报告人简介：彭飞，男，1977年生，湖南大学信息科学与工程学院教授、博士生导师，首届国家保密教育优秀教师。目前担任湖南大学信息科学与工程学院院长助理、全国信息隐藏暨多媒体安全专家委员会委员、中国图像图形学会数字媒体取证与安全委员会委员、中国保密协会教育分会常务理事、全国网络空间安全协会单位代表、湖南

报告题目【对象级图像/视频篡改的被动取证技术】时间：2019年7月14日(星期日)上午10:40地点：旗山校区数信大楼507学术报告厅主讲：湖南大学信息科学与工程学院教授，杨高波主办：数学与信息学院,数字福建大数据安全技术研究所,福建省公共服务大数据挖掘与应用工程技术研究中心参加对象：工程中心，研究所教师和研究生，感兴趣的师生报告摘要：基于语义对象的图像/视频操作是图像/视频处理应用的特色与目标，既可以提高视觉质量，也可以提供更好的交互性能。然而，语义对象级的操作也经常被用于改变图像/视频的语义，以达到恶意篡改的目的。本讲座以两种常见的对象移除方法Seamcarving和imageinpainting为例，阐述语义对象级图像/视频篡改的被动取证技术。报告人简介：杨高波，湖南大学信息科学与工程学院教授、博士生导师。2004年毕业于上海大学，获通信与信息系统专业的工学博士学位。同期,进入湖南大学工作。2005年晋升为副教授,2008年破格晋升为教授,并被评为湖南大学2007-2008年度优秀教师,入选湖南省青年骨干教师培养对象。2010年入选湖南省新世纪121人才工程。2010年8月至20

报告题目【TheGeometryofSphericallySymmetricFinslerManifolds】时间：2019年7月2日(星期二)下午15:00地点：旗山校区理工北楼601报告厅主讲：北京大学数学科学学院教授，莫小欢主办：数学与信息学院,福建省分析数学及应用重点实验室,数学研究中心参加对象：相关专业老师及学生报告摘要：InthislecturewediscussgeometryofsphericallysymmetricFinslermanifolds.Wedescribenon-trivialexamplesofsphericallysymmetricFinslermetricssatisfyingdifferentcurvatureconditions.WereviewrecentresultsindifferentialgeometrywithsphericallysymmetricFinslermetrics.Inparticular,wefindasufficientandnecessaryconditionforasphericallysymmetricFin

报告题目【Theentry-exitfunctionandrelaxationoscillationsinslow-fastsystems】时间：2019年7月1日(星期一)上午09:00地点：旗山校区理工北楼601报告厅主讲：阿拉巴马汉茨维尔大学教授，艾尚兵主办：数学与信息学院,福建省分析数学及应用重点实验室,数学研究中心参加对象：数学系部分老师和研究生报告摘要：Theentry-exitfunctionforthephenomenonofdelayofstabilityloss(Pontryagindelay)arisinginsomeslow-fastplanarsystemsplaysakeyroleinestablishingtheexistenceoflimitcyclesthatexhibitrelaxationoscillations.Inthistalk,wediscussanelementaryapproachtostudytheentry-exitfunctionanditsapplicationstoabroadclassofpredator-preymodel

报告题目【水下传感器网络中基于信任机制的安全定位方法研究】时间：2019年6月28日(星期五)上午10:00地点：仓山校区成功楼603报告厅主讲：河海大学教授，韩光洁主办：数学与信息学院，福建省网络安全与密码技术重点实验室参加对象：计算机教师及相关研究生报告摘要：在深入介绍UWSNs定位算法基础知识和基本理论，全面回顾算法研究现状的基础上，提出了新的安全定位方法，该方法的研究主要包括三个方面：安全攻击特性分类研究，入侵节点检测和恶意攻击容忍，以此保证节点的定位精度和定位安全性，具体总结如下：首先，提出了一种基于节点行为特征的攻击模型分类研究方法。其次，提出了一种基于能耗预测的入侵检测算法。再次，提出了一种基于模糊理论的多维度信任计算算法。最后，针对非邻居节点之间，或者没有信息交互的邻居节点之间“不确定”性信任关系的建立问题，提出了一种基于云理论的信任评估算法，该算法首先通过云理论建立云信任模型，然后进一步研究信任推荐、信任传递，以及信任更新问题。仿真结果表明，该算法可以有效降低定位误差累积、提高节点定位的精度和定位安全性。报告人简介：韩光洁，男，1972年08月生，教授，博导，日本大阪