计算机学院开展“知识处理与可信软件”系列研讨会
作者：zjq118
发布日期：2009-09-25
浏览次数：
5月23日下午2点，在南校区信息楼三楼会议室，开展了一场关于“知识处理与可信软件”的研讨会。此次研讨会由知识处理与网络化制造湖南省普通高校重点实验室，计算机科学与工程学院主办。学院刘建勋副院长主持了此次研讨会。
此次研讨会上，针对教授做的四个报告，展开了热烈的讨论。报告一，由北京航空航天大学计算机学院李舟军教授进行“协议与软件安全漏洞的分析和验证”。他介绍了安全协议的背景与意义、安全协议的类型、性质，剖析了某些安全协议失败的原因，并提出了安全协议的精确建模与高效验证方法；报告二由美国Georgia大学计算机系助理教授刘天明讲述“关于老年痴呆症的科学知识”,他说明可利用计算机技术完成预测，结合脑科学及以往的经验，治疗老年痴呆症，建立知识模块，也可运用到其他领域中；报告三由中南大学王国军教授阐述自己在“可信网络计算环境中的信任模型及信任传递机制的研究”，对时间相关的信任模型，小世界网络的形成等研究成果进行了展示；报告四由澳大利亚Swinbarne科技大学助理教授陈金俊博士讲述了科学工作与其他工作的不同，及工作中的自动化等内容。
报告后，教授、老师们对报告内容进行了热烈的讨论，现场气氛高涨。经过了四个小时的讨论，此次研讨会圆满结束。
最新阅读
-
2025-06-10
湘江高端学术论坛：自主知识体系与中国经济学研究
-
2025-05-30
湘江高端学术论坛：地球空间信息科学与技术视角下的太空资源探测与开发——太空采矿的现状...
-
2025-05-26
湘江高端学术论坛：结构振动控制、安全监测与多灾害智慧防灾
-
2025-05-22
湘江高端：机器人应用冲击、职业可迁移技能和职业-技能合意性
-
2025-05-22
湘江高端：劳动要素成本上涨与企业退出——基于服务业价格传递异质性的视角
-
2025-05-15
教育学院“明湖教育论坛”（第129讲）
-
2025-05-14
挪威科技大学邓立元教授应邀来校讲学
-
2025-05-09
湘江高端学术论坛 ：数学与人工智能
