报 告 人：沈云付 博士[上海大学计算机工程与科学学院]
报告时间：2015年 1 月 16 日（周五）10:00
报告地点：校本部东区计算机大楼402室
报告简介：
与电子计算机一样，容错和纠错计算是三值光学计算机长时间正常工作的保障。2008年团队就开始在这个方面的探究，在数据保障方面深入研究了三值海明码，建立了对三值数据进行"检二纠一"的理论和技术，三值博格码检错技术；在硬件故障感知和自动修复方面建立了数据位检测技术和坏位替换技术，系统能够及时自动发现发生硬件故障的数据位，并自动启动检测系统，用预留的冗余位替换故障位，当预留位使用完后，会减少系统的数据总位数，以较低的性能来换取更长的系统整体寿命延长期。
本次演讲将介绍三值海明码检错和纠错理论和核心技术、博格码检错技术，并介绍数据位监测技术和坏位替换技术，使听众对三值光学计算机的可靠性研究有初步了解，为容错领域的研究者关注三值光学计算机提供思路。
报告人简介：
沈云付，上海大学计算机工程与科学，副教授，博士，硕士生导师。在北京师范大学数学系获得硕士和博士学位，方向数理逻辑与模型论。研究领域涉及模型论与形式化方法、模型检测与验证、计算复杂性、三值光学计算机可靠性。1998年应美国加州伯克利数学研究所的邀请，参加春季国际性模型论学术研讨会。研究领域涉及模型论与形式化方法、模型检测与验证、计算复杂性、三值光学计算机可靠性等。发表论文论文40多篇，许多工作在科学通报、中国科学、数学学报、计算机学报及Arch. Math Logic等国内外高级别刊物上发表。自2007年加入三值光学计算机团队，目前主要从事三值光学计算机可靠性方面的研究，一些工作已被电子学报、计算机学报、Optical Engineering等刊物发表。