报 告 人：沈云付 博士[8188cc威尼斯盘算机工程与科学学院]
报告时间：2015年 1 月 16 日（周五）10:00
报告所在：校本部东区盘算机大楼402室
报告简介：
与电子盘算机一样，，，，容错和纠错盘算是三值光学盘算机长时间正常事情的包管。。。2008年团队就最先在这个方面的探讨，，，，在数据包管方面深入研究了三值海明码，，，，建设了对三值数据举行“检二纠一”的理论和手艺，，，，三值博格码检错手艺；；；在硬件故障感知和自动修复方面建设了数据位检测手艺和坏位替换手艺，，，，系统能够实时自动发明爆发硬件故障的数据位，，，，并自动启动检测系统，，，，用预留的冗余位替换故障位，，，，当预留位使用完后，，，，会镌汰系统的数据总位数，，，，以较低的性能来换取更长的系统整体寿命延恒久。。。
本次演讲将先容三值海明码检错和纠错理论和焦点手艺、博格码检错手艺，，，，并先容数据位监测手艺和坏位替换手艺，，，，使听众对三值光学盘算机的可靠性研究有起源相识，，，，为容错领域的研究者关注三值光学盘算机提供思绪。。。
报告人简介：
沈云付，，，，8188cc威尼斯盘算机工程与科学，，，，副教授，，，，博士，，，，硕士生导师。。。在北京师范大学数学系获得硕士和博士学位，，，，偏向数理逻辑与模子论。。。研究领域涉及模子论与形式化要领、模子检测与验证、盘算重大性、三值光学盘算机可靠性。。。1998年应美国加州伯克利数学研究所的约请，，，，加入春季国际性模子论学术钻研会。。。研究领域涉及模子论与形式化要领、模子检测与验证、盘算重大性、三值光学盘算机可靠性等。。。揭晓论文论文40多篇，，，，许多事情在科学转达、中国科学、数学学报、盘算机学报及Arch. Math Logic等海内外高级别刊物上揭晓。。。自2007年加入三值光学盘算机团队，，，，现在主要从事三值光学盘算机可靠性方面的研究，，，，一些事情已被电子学报、盘算机学报、Optical Engineering等刊物揭晓。。。
