12月15日下午,由中国计算机学会青年计算机科技论坛济南学术委员会和中创软件共同主办的“中创软件基金获奖者学术报告会”在中创软件开发楼五楼交流大厅举行。本次YOCSEF活动的执行主席为中创软件副总经理、YOCSEF济南副主席刘民,YOCSEF济南的学术委员和中创部分研发人员参加了报告会。本届基金人才奖获得者、清华大学计算机系教授、高性能计算技术研究所所长杨广文博士,中国科学院数学与系统科学研究所研究员、系统所所长高小山博士与公司的研发人员就网格技术、几何自动推理等计算机软件前沿课题进行了交流。
杨广文博士报告的题目是《网格技术的应用现状与趋势》。网格计算是信息科学的主要发展方向之一,是继Internet之后的又一次重大技术进步,是多学科交叉的前沿和热点,是我国科技中长期发展规划重点支持的关键技术领域。杨广文博士在该领域进行了大量的理论研究和项目实践,并取得了世界领先的科研成就。在此次报告中杨博士深入浅出的向大家介绍了网格计算及网格系统的应用和发展趋势,让大家对网格计算有了深刻的理解。
高小山博士报告的题目是《几何自动推理的方法、软件与应用》。几何是一门体现智慧的科学,几何推理是人类智慧的体现。林肯等很多伟人都通过几何推理来提高智慧。几何自动推理的实践是人工智能的一种尝试。高小山博士从事自动推理、符号计算研究与智能软件开发多年,在数学机械化领域做出了系统、创新性工作,在智能软件开发方面取得突出贡献,得到国际同行的高度评价与广泛引用。在此次报告会上,高小山博士现场演示了利用软件系统进行几何推理的过程,并对其中涉及的一些算法进行了讲解。高博士的报告向我们展示了代表国际先进水平的智能软件算法理论,开阔了大家的眼界。
报告结束后,参会人员就如何将网格技术、算法理论应用到实践当中去,深入落实国家提出的“企业是创新的主体”的指导精神等相关问题进行了深入、热烈的探讨和交流。
赛英供稿
所有评论仅代表网友意见