第(2/3)页

    也不是所有的事情都是顺利的，超导理论的研究就好像钻进了一个死胡同。王一男和李文静提出了一种新的晶格模型，能够很好的模拟氧化物在低温区的很多行为，但是对于三种以上的化合物，这个理论就无能为力了。

    “一旦把化合物的数量提升到三种，我们的晶格模型在很多点就会出现无穷大”，虽然平时就没给王一男好脸色，但是在工作的时候，李文静还是一板一眼的。

    “使用量子力学中的重整化技术呢？”，王一男说，

    “不行啊，按下葫芦起了瓢，经常是修正了一个无穷大，又会出现新的无穷大“

    ”难道是我们的晶格模型有问题吗“，李文静有点怀疑。

    ”不会，从各方面的表现来看，这个模型应该非常接近那个隐藏在背后的真正模型了“，王一男说，

    ”我有预感，只要解决了这个无穷大的问题，我们一定可以取得突破性的进展“。

    ”问题是一点头绪都没有啊“

    王一男也犯了愁，目前的晶格模型形式化工作也已经完成，他和李文静也尝试使用哥德尔系统进行分析，但是每次分析进行到一定程度的时候就会陷入死循环，有一次还导致哥德尔系统逻辑紊乱，要不是及时切断了电源，还不知道会发生什么事情呢。

    看来要想突破，还是要把重点放在哥德尔系统上啊，王一男召集孙伟，赵天成和李飞开了一个讨论会，李文静和张琪也参加了讨论。

    “我记得上次我们曾经开会讨论过哥德尔系统的性能提升方案，我们还是按照上次的顺序，文静，你先说一下理论上有没有什么新的进展”，王一男做了简单的开场白。

    “按照上次会议的思路，理论组最近的工作主要集中在将现实系统映射到理论空间的形式化理论中，这方面我们取得了巨大的进展”，李文静说，

    “这在116所以及哥大夫和最新的晶格模型中得到了体现，我们现在将现实系统形式化到哥德尔的神经网络的时间大大缩短，真实性也大大提升了。”

    “但是在性能方面，我们能做的事情不多”，

    王一男对此早有预料，“嗯，形式化理论做到现在已经很出乎我的预料了”。

    “我来说说软件部分的工作吧，目前主要的瓶颈还是在于多维空间的搜索和匹配，我们在恢复哥德尔系统的时候，也对之前的整体架构进行了一些优化，现在对异构系统的支持能力大大加强了，我们也把绝大多数常规的工作放到CPU或者GPU上，尽可能降低FPGA的压力”。

    “但是要想提升性能，还得着落在孙伟你们这里，孙伟你来说说把“，王一男对孙伟说。

    “我们已经利用哥德尔系统对FPGA电路进行了多次迭代，当迭代之后有足够的性能提升之后，我们都会灰度替换一部分FPGA芯片，事实上，目前哥德尔系统的FPGA芯片，一部分已经是第五代了”。

    “但是最近的迭代已经很难获得性能提升了，而且增加FPGA芯片带来的性能提升已经极度微小”，

    “事实上，已经微小到不值得这么干”。

    “也就是说，通过硬件提升哥德尔系统性能的路，差不多走到了尽头。”

    孙伟的这番话让会议室陷入了长久的寂静。作为资深的硬件专家，他的判断是具有相当可信度的，也就是说，除非能找到新的方案，否则，就算王一男他们投入再多的资金，都没办法提升哥德尔系统的性能了。

    “有没有办法提高冷却系统的冷却效率，然后超频使用？”，李飞是个资深的DIY玩家，他家的电脑都是超频的，自然就想到超频这一招了。
    第(2/3)页