——数据库与人工智能实验室

Ecology

实验室简介

西南大学数据库与智能检索实验室是由余建桥教授于2006年创建，也是西南大学计算机信息与科学学院最早一批成立的实验室。从成立至今已走过十多年的历程，主要从事数据挖掘与模式识别、大数据分析及存储，元胞自动机理论及其应用、Web智能信息与WebGIS系统等方面的研究。实验室目前与中科院，国防科技大学，法国国立电信学院、日本理化学研究所计算科学研究中心、美国西北大学、美国亚利桑那州立大学等众多国内外高校和研究所建立了良好的学术交流合作关系。实验室坚持以人为本的原则，通过激励机制建设、人文精神建设和团队精神建设，创造了一个有利于产生新思想、激发创新活力的良好人才培养环境。实验室非常期待与相关领域的学者建立广泛的学术交流、全面的技术合作。同时也欢迎立志科学研究的同学加入本实验室。

Learn more

国家自然科学基金NSFC-RS（中英）合作交流项目

发布时间:2019-07-22 19:13:45

国家自然科学基金NSFC-RS（中英）合作交流项目“演化信息物理系统的建模、验证与精化”于2018年10月19日举行2018年度学术研讨会。本次研讨会邀请到了英国约克大学、中科院软件所和国防科技大学等单位的老师做学术报告，详情如下。本次研讨会不收取注册费，食宿自理，欢迎各位同仁参加！时       间：2018年10月19日8:30-18:00
地       点：西南大学桂园宾馆丹桂楼四楼会议室
联系人：赵恒军，18302301799报告一：混成计算的UTP理论
报告人：Simon Foster博士, 英国约克大学
摘       要：        本报告将描述混成关系的UTP理论。混成关系是对关系演算的扩展，增加了连续变量和微分方程。混成关系的UTP理论利用Isabelle/UTP提供的机制支持对混成系统的建模和验证。此外，本报告还将介绍我们给出的Modelica语言的指称语义。
报告人简介：        Simon Foster博士是英国约克大学计算机科学系博士后研究员，欧盟Horizon 2020项目INTO-CPS的研究人员。于2005年获得英国谢菲尔德大学计算机科学硕士学位，2009年获得英国谢菲尔德大学计算机科学博士学位。Simon Foster博士的研究兴趣包括定理证明、形式语义、信息物理系统、混成系统、进程代数、指称语义、代数方法、函数式编程。Simon Foster博士是定理证明器Isabelle/HOL的专家，曾将Tony Hoare和何积丰院士的程序统一理论（Unifying Theories of Programming－UTP）实现为Isabelle/UTP。至今已参与多个欧盟研究项目，在知名期刊和会议发表近30篇论文。

Enterprise Java Beans（EJB）是一个创建高度可扩展性和强大企业级应用程序的开发架构，部署在兼容应用程序服务器（比如 JBOSS、Web Logic 等）的 J2EE 上。

照片墙

1011实验室的业余生活