生物数学专家王治安教授访问西电开展学术交流

讲述“食饵趋向机制对捕食-食饵模型的影响”

西电新闻网讯（通讯员 李善兵）6月10日，应数学与统计学院李善兵老师邀请，香港理工大学(The Hong Kong Polytechnic University)王治安教授访问西电，并于10：00在信远楼II-206为来自数统院的广大师生做了一场题为《Global stability of predator-prey systems with prey-taxis》的学术报告。此次学术报告由李善兵老师主持，数统院院长刘三阳教授及部分教师和研究生参加了此次学术报告会。

报告会之前，刘三阳教授向王治安教授详细介绍了学院的发展规划和特色专业，同时王治安教授也介绍了香港理工大学应用数学系的相关情况，并希望加强两校数学专业的学术交流，王治安教授也表示欢迎西电学子到香港理工大学应用数学系继续深造。

上午十时，报告会正式开始，李善兵老师首先为大家简单介绍了王治安教授。接着王治安教授主要通过概述、主要工作及创新点、应用和有待研究的问题四个方面为大家介绍了他的报告内容。在概述中，王教授介绍了食饵趋向性的生物含义、捕食-食饵系统中捕食者与被捕食者之间典型的相互作用关系以及带有食饵趋向性捕食-食饵系统的研究进展。接着介绍了他们的最新研究成果，针对一般的捕食-食饵的模型，通过熵能量估计，建立了模型古典解不依赖于时间变量的全局有界性，进一步，通过构造Lyapunov函数证明了半平凡解和正常数稳态解的全局稳定性。然后，王教授通过两个具体的模型，为大家展示了这些结果的应用。最后，针对目前尚未解决的问题，王教授进行了分析与总结，并鼓励有兴趣的老师和同学参与到这方面的研究。

在最后的提问互动环节，王治安教授与在场的师生积极互动，耐心细致的讲解提出的问题，认真亲切地为大家一一解答。王教授的报告结合实际、深入浅出、发人深省，使与会的师生受益匪浅。

此次报告会不仅让我们了解到生物数学方面的相关学术知识，同时也拓宽了大家的视野，了解到国际中的一些新型研究和近期发展，让大家切实感受到数学对实际生活的重要意义，大大激发了大家的科研兴趣。

人物简介：

王治安教授1998年毕业于华中师范大学；2001年在华中师范大学获得硕士学位；2007年在加拿大Alberta大学获得博士学位。2007-2009年在美国Minnesota大学数学与应用数学研究所做博士后；2009-2010年在美国Vanderbilt大学任助理教授；2010年至今在香港理工大学任教授。王治安教授主要研究领域包括趋化模型及生物数学模型的理论分析和数值模拟，已在包括SIAM J. Applied Mathematics、SIAM J. Mathematical Analysis、J. Differential Equations、J. Mathematical Biology、Nonlinearity等国际知名数学杂志发表学术论文40多篇，得到了同行专家的大量引用和良好评价。

加拿大卡尔加里大学王欣教授访问西电开展学术交流

西电新闻网讯（通讯员 祁建军）应西安电子科技大学计算机学院祁建军副教授邀请，加拿大卡尔加里大学王欣教授于2017年6月12日来校讲学。

6月12日下午，在北校区计算机学院一楼会议室，王欣教授作了题为“Personalized Travel RouteRecommendation Using Collaborative Filtering Based on GPS Trajectories”的学术讲座，报告会由计算机学院祁建军副教授主持。

报告首先介绍了目前个性化出行路径推荐问题的研究现状，然后基于个人GPS轨迹的历史数据，给出了两种个性化出行路径推荐方法——CTRR和CTRR+。并以微软亚洲研究院提供的北京出行数据进行模拟，其实验效果好于最短路径方法所获取的路径推荐。报告最后，王欣教授介绍了该研究领域未来的研究热点和发展趋势。王欣教授的报告内容既具有理论上的创新性，又紧贴实际应用，引起了在座师生的共鸣。

在提问互动环节中，在场师生与王欣教授积极互动，请教与报告内容相关的研究思路与方法等细节问题，王欣教授给予了耐心细致地解答，并提出了很多宝贵的建议。王欣教授精彩的报告赢得了师生们的热烈掌声。

人物简介：

王欣教授，加拿大卡尔加里大学终身教授、博士生导师，GIS学科带头人，加拿大人工智能委员会执行委员，ACM委员会委员，全球CPGIS委员会委员。

王教授长期从事人工智能、数据挖掘等方面的科学研究与教学工作，发表学术论文80余篇，获得加拿大国家科学研究奖励1项，加拿大阿尔伯特省科研奖励1项，主持加拿大自然科学与工程技术等研究项目25项，参与中国国家自然科学基金2项和陕西省国际科技合作与交流计划项目共4项。

王教授曾担任第1届（香港），第2届（韩国斧山）空间信息管理与数据挖掘国际合作工作组主席，第12届国际Web及无线GIS国际会议主席，第17届澳大利亚知识发现与数据挖掘亚太国际会议副主席，第3届和第4届IEEE数据科学和分析国际会议组织委员会委员。并多次在各种国际会议上做主题报告。

王教授先后与复旦大学、武汉大学、武汉理工大学、西安交通大学、天津大学、华东理工大学、陕西师范大学等进行科学研究与教学合作，并做学术报告。

意大利萨勒诺大学Francesco Basile教授来校交流

西电新闻网讯（通讯员 何舟）应机电工程学院系统控制与自动化课题组的邀请，Francesco Basile教授于6月9日上午10:00在北校区主楼Ⅲ区-143北（第三会议室）为硕士、博士研究生以及部分教师做了题为“New results on Model Repair of Discrete Event Systems”的精彩报告，并与师生进行了热烈的互动交流。

 

离散事件系统（DES）的识别问题对应于部分未知系统的逆向工程、故障诊断或系统验证问题。Petri网或有限状态自动机作为有力的数学建模工具，可以通过可观事件序列来描述系统的行为。我们观察到的离散事件系统事件序列分为固定不变和随着系统的运行而增加两种情况。如果系统包含异常情况，系统的正常模型可能会显示与这些附加观察结果不一致。Basile教授在报告中提出将系统修复的方法扩展到时间离散系统中，从而得到一个修复的模型，这个模型可以产生系统可观的错误行为。修复的模型可以用来进行故障诊断。

在这次报告中，Basile教授假设正常的模型是已知的，而且给出了一系列可观的时间序列，基于时间Petri网和混合整数线性规划问题的构想，介绍了可能发生异常情况的时间Petri网修复的新方法，提出了可以通过添加错误变迁和延长变迁发生的时间间隔来得到修复的模型。

演讲结束后的问答环节，

‍‍‍‍Basile教授与在场师生开展了热烈的互动交流，回答师生的提问。报告取得了良好的效果，受到与会师生的好评。

报告人简介：

Francesco Basile教授，生于1971年，于1999年获得意大利那不勒斯大学获电子和计算机工程专业的博士学位，1999年在西班牙萨拉戈萨大学Departamento de Ingenieria Informatica y Systems做了为期六个月的访问学者，自1999年起在意大利萨勒诺大学Dipartimento di Ingegneria Elettronica ed Ingegneria Informatica (D.I.E.M)任教，并担任自动控制系副教授。他目前的研究兴趣包括：离散事件系统的监督控制理论，Petri网理论，自动化制造系统的建模与仿真和机器人，并在国际期刊和会议上公开发表了100多篇论文。他是国际期刊《机器人和自动化》的编辑委员会成员，以及IEEE Transactions on Control Systems Technology，IEEE Transactions on Automation Science and Engineering和IEEE Control System Society Conference编辑委员会的副编辑，同时他自2011年11月起为IEEE高级会员。

加拿大卡尔顿大学Sayed Amirhossein Banihashemi教授来校开展学术交流

西电新闻网讯（通讯员 慕建君）6月2日下午16:00和6月3日上午10:00，应计算机学院慕建君教授的邀请，加拿大卡尔顿大学系统与计算机工程系Sayed AmirhosseinBanihashemi教授在北校区图书馆一层A-108会议室做了题为“DPL Characterization and Efficient Exhaustive Search Algorithm for Trapping Sets in LDPC Codes”、“Enumeration of Cycles and Trapping Sets in LDPC Codes”和“Asymptotic Average Number of Different Categories of Trapping Sets, Absorbing Sets and Stopping Sets in Random Regular and Irregular LDPC Code Ensembles”的两场报告（三个主题）由计算机学院慕建君教授主持。

 

Banihashemi教授作“DPL Characterization and Efficient Exhaustive Search Algorithm for Trapping Sets in LDPC Codes”的报告

Banihashemi教授作“Asymptotic Average Number of Different Categories of Trapping Sets, Absorbing Sets and Stopping Sets in Random Regular and Irregular LDPC Code Ensembles”的报告

慕建君教授学术团队与Banihashemi教授关于LDPC码线性规划译码算法以及计算机系统容错编码理论与技术等方面的讨论

基于图模型的低密度校验码(Low-Density Parity-Check codes, LDPC码)由于其有效的迭代译码算法和逼近Shannon信道容量限的良好特性而成为一种非常有效的编码技术，已经在移动通信和卫星通信系统中得到了广泛的应用。对于中等长度(10²_~10³)的码，许多LDPC码呈现出错误平层(error floor)现象。然而，对于数据存储系统等要求极低的误码率(要求在10^-12_~10^-15以下)的应用系统而言，采用迭代译码算法时LDPC码在高信噪比平层区域的性能仍然存在错误平层这一缺点，而“陷阱集(trapping set)”和“停止集(stopping set)”及其二部图中环分布是导致LDPC码错误平层现象的主要因素。

在第一个主题的报告中，Banihashemi教授深入浅出地介绍了寻找非正则LDPC码和正则LDPC码Tanner图中“基本陷阱集”的有效搜索方法，第二个主题的报告提出了随机LDPC码和随机准循环LDPC码Tanner图环分布结构，而第三个主题的报告分析了随机非正则LDPC码和正则LDPC码Tanner图中不同类型“陷阱集”和“停止集”的渐进平均个数，这些研究成果对于降低LDPC码的错误平层有着非常重要的意义，有助于数据存储系统等应用系统中LDPC码的工程应用。

密切结合包括三个主题的以上两场报告，于2017年6月4日上午，慕建君教授学术团队与Banihashemi教授在北校区主楼IV区304办公室就LDPC码Tanner图中“陷阱集”与“停止集”的理论分布和有效搜索方法、LDPC码线性规划译码算法等以及计算机系统容错编码理论与技术等方面的研究领域进行了深入的讨论和研究，这些差错控制编码理论与技术等方面的讨论对于计算机学院和慕建君团队计算机系统容错编码理论与技术等方面的科学研究工作有较强的促进作用，双方可以取长补短，相互补充。

同时，2017年6月4日下午，慕建君、焦晓鹏与Banihashemi教授在北校区主楼IV区304办公室讨论了论文撰写、项目申请方面等方面的科学研究工作。

人物简介：

Banihashemi教授于1997年在加拿大滑铁卢大学学习并获得电子和计算机工程专业博士学位。1998-2009年任加拿大卡尔顿大学系统与计算机工程系助理教授与副教授，2009至今是加拿大卡尔顿大学系统与计算机工程系全职教授。Banihashemi教授是IEEE高级成员，2003年至2009年担任IEEE Transactions on Communications期刊的编辑，多次担任Globecom、ISIT、ITW等著名国际会议的主席、技术程序委员会委员和组委会委员。他长期从事信息论、差错控制编码及无线通信等研究领域的研究工作，先后在相关领域的多个期刊(IEEE Trans. Information Theory、IEEE Trans. Comm.、IEEE Trans. Magnetics、IEEE Comm. Lett等)及国际著名学术会议(Globecom、ISIT、ITW、ICC等)上发表论文180余篇，论文他引次数超过2800次，在信息论与差错控制编码等领域的研究处于国际领先水平。