学术活动
接待关注金狮贵宾会！
接待关注金狮贵宾会！
【讲座问题】自动化和智能信息清静工程
【讲座时间】2018年4月23日（星期一）14:30-16:00
【讲座所在】北京校部主楼E座1009
【主 讲 人】程京德
【主讲人简介】
程京德，日本埼玉大学研究生院盘算机科学教授。在1999年加入埼玉大学之前，他曾是中国清华大学研究员（1982-1989），日本九州大学的研究助理（1989-1991），副教授（1991-1996），教授（1996-1999）。他于1982年获得中国清华大学盘算机科学学士学位，1986年和1989年划分获得日本九州大学盘算机科学工程硕士学位和工程博士学位。他现在的研究规模包括相关和放大推理，相关逻辑及其应用，自动定剃头现，科学发明的认知编程范式，基于知识的系统的自主演化，预期推理反应系统，长期盘算和信息清静工程情形。他是ACM的高级成员，也是IEEE-CS，IEEE-SMC，IEEE和IPSJ的成员。
【内容简介】
确保信息/软件系统清静的最基础的难点在于袭击者（攻击者）是活跃的人，他们可以日复一日地获得知识和手艺，然后始终使用最新的手艺一直地举行攻击，最薄弱的环节在于链接目的信息/软件系统。因此，为了确保信息/软件系统的整体清静性，需要信息/软件系统的设计职员，开发职员，操作职员和维护职员提供一直的手艺支持来�；は低趁馐芄セ髡叩墓セ�。可是，古板的软件工程情形关于设计，开发，操作和维护具有高度清静性要求的信息/软件系统来说是不敷的，也不敷有用。本次演讲先容了我们提出的信息清静工程情形的看法，展示了我们对建设和使用信息清静工程情形的基本思量，并枚举了信息清静工程情形应提供的种种设施和效劳。作为一个真正的案例研究，我将谈论ISEE，这是一个我们正在开发的信息清静工程情形，它基于ISO / IEC清静标准，集成了种种工具并提供周全的工具来支持设计，开发，操作和清静维护信息/软件系统的设施一连而一致，并指导和资助所有用户凭证ISO / IEC清静标准按期执行其使命。 ISEE是天下上第一个信息清静工程情形。此次演讲还展示了一些关于自动化和智能信息清静工程的研究问题和生长问题。