的具体需求,认为在现有条件下,使用FPGA实现多维空间的搜索和匹配专用电路,是最佳的解决方案”。
“目前国际上的相关研究,主要是水木大学的彭博士,以及Standfrd的 Tyler教授处于领先地位,Tyler教授是我的导师。但是他们的研究目前还只涉及到三维空间,更高维度的空间,目前还没有成熟的解决方案,难度也相当大。”
“不过”,孙伟话锋一转,“即使是不成熟的解决方案,也比目前采用GPU的方案提升效率五倍以上。
“当然,别忘了我们还有哥德尔系统本身这个大杀器,根据之前在H25算法上的表现,我预计通过哥德尔系统对FPGA的设计方案进行持续改进之后,总体效率能提升二十倍。”
“二十倍啊”,王一男的眼睛都发亮了。
根据他和李文静对李诗尧手稿的研究结果,目前哥德尔系统的运算能力再提升两个数量级,就能将电子层面的晶格模型形式化,从而可以准确预测新的超导材料可能存在的区间。这样不但能够避开程潜的专利壁垒,还能从理论上,彻底解释液氮温区这一类超导体的行为。
“那还等什么,我们开始干吧,孙伟,我也干过一段时间FPGA,你们人手不足,直接把我当牲口使唤吧”
“老板,我们要等钱,FPGA可是相当烧钱的”
“买买买,咱们是有钱人,需要什么就买!”
随后的几个月,软妹币在王一男要哭出来的眼神中,义无反顾的随风而去。
一台台设备被安装到实验室中。孙伟和冯祥,当然还有王一男首先根据 Tyler 教授发表在IEEE上的一篇文章为基础,李文静他们改进了一点Tyler的算法之后,设计出了第一代FPGA专用算法电路。
利用他们购置的昂贵设备,烧制出芯片之后,在地下室新弄了一个专用的机柜,用来测试新的FPGA芯片。
说先将新的FPGA芯片接入现有哥德尔系统,再利用哥德尔系统自身的分析和诊断能力,发现这些FPGA电路的缺陷并且进行改进。
改进完了之后,重新烧制FPGA芯片,然后替换掉上一代的FPGA芯片,重新接入哥德尔系统中。
王一男把这种迭代,形象的比喻为,“一个抓住自己头发,把自己一点点提高的巨人”
“嗯,我们从理论上证明了,抓住头发把自己提起来,是可能做到的”
随着哥德尔系统计算能力的提升,寻找缺陷进行改进的时间也在慢慢缩短。
每轮迭代所需要的时间,也从最早的一周,降低到最后的三个小时。
终于,在三个多月艰苦的冲刺之后,哥德尔系统已经很难找到最终版本FPGA电路的缺陷了。
这天下午,整个团队的人聚集在一楼工位上,王一男将当初关于孙伟那篇H25的论文所做的形式化备份,输入哥德尔系统。进化后的哥德尔系统到底有多大的提升,运行数据将说明一切。当时上一代的哥德尔系统寻找那篇文章的缺陷,从晚上八点一直运行到凌晨四点,也就是花了8个小时。
从终端上启动分析指令后,现场静的一点声音都没有。
一分钟,两分钟,
五分钟,十分钟过去了,房间里只有嗡嗡的电流声。
二十分钟过去了,
二十五分钟刚过,“哔哔哔哔”的蜂鸣声响了起来。
“耶!”
“我们成功了!”..
李文静一把抱住了王一男,“我们成功了,”孙伟看了看周围一水的大男人