简介:介绍了时序逻辑单元和组合逻辑单元发生单粒子效应的机理,以反熔丝型FPGA芯片ActelA54SX32A为实验对象,设计了3种典型的链电路系统。在中国原子能科学院HI-13串列静电加速器上采用Br离子对电路进行辐照实验,在频率为20MHz的条件下,3个链电路的翻转截面分别约为3.268×10-3cm2,7.449×10-4cm2和3.988×10-4cm2。实验结果验证了在0.22μm工艺条件下,时序逻辑单元比组合逻辑单元更加敏感,并且在包含两者的电路中,组合逻辑单元会屏蔽部分单粒子效应。最后,针对电路中不同逻辑单元,给出了两种加固方法。
简介:2013年7月27—28日,“蒯因、逻辑和哲学”国际研讨会在北京大学人文新苑举行。在一次国际性的哲学调查中,蒯因(W.V.Quine,1908--2000)位居过去200年间最重要哲学家的第五位。来自美国、加拿大、日本、中国台湾、中国香港和中国大陆的40余名中外学者,从不同的视角和不同侧面对蒯因哲学做了深入的探讨和交流,涉及蒯因的认识论、形而上学、语言哲学、逻辑学和逻辑哲学、数学哲学、心灵哲学等方面的议题,也涉及了如何利用分析哲学资源去改善和促进中国哲学研究的问题。会议工作语言为英语,所有报告和讨论用英语进行,未设翻译。