中科院院士陆汝钤作客南财论坛阐述编导计算
5月19日下午,应信息工程学院邀请,中国科学院数学与系统科学研究院院士陆汝钤做客南财论坛,在仙林校区工科楼2楼会议室作了题为“基于知识的编导计算:走向海量并行和海量编程”的学术报告。讲座由信息工程学院院长曹杰教授主持。
报告会上,陆汝钤院士围绕“编导计算”主题,首先从Orchestration指对计算机系统自动组织协调管理的编程语言开始介绍,对其概念、发展趋势、设计思路以及设计要点等作了详细的讲解,进而指出其存在的优缺点,并针对现有的不足引入了基于知识的编导进程代数Knorchestration,提出其引进逻辑程序的新成分以及引进逻辑程序功能的优势。最后,陆汝钤院士对编导计算的研究作了总结,提出了对于Knorc的保守扩充——基于逻辑的海量编导进程代数Gorc,并对其服务方向的转变作了深入浅出的分析。
陆汝钤院士细致讲述了Gorc编程的一个具体实践Mapreduce,并从海量并行和海量编程两个方面作了相应的学术指导。
报告会上,陆汝钤院士的精彩讲解赢得热烈的掌声。报告会进一步开阔了师生们的学术视野,对今后的学术研究有很大的启迪。