哥德尔系统提示您：看后求收藏（推文君tuiwenjun.com），接着再看更方便。
回到帝都，王一男的实验室。
李文静的表姐，叫做章子枫的，之前一直在飓风公司做，从前台做到hr经理，再做到行政主管，听说表妹出来创业，非把飓风的工作辞了，说那边干的不开心，以后就跟表妹你混了。
孙伟也把本来准备跟他一起去魔都的ic设计高手，冯祥给忽悠了过来。
容与科技总算是初具规模了，让我们盘点一下容与科技的各路大神吧。
ceo王一男，年轻的天才科学家，精通凝聚态物理和软件设计。
cto李文静，天才数学家。
cfo张琪，中年投资大叔，赌性十足又独具慧眼。
理论部由李文静负责，手下是来自科学院计算所的赵克勤。
软件部由王一男亲自负责，手下是李飞和赵天成。
硬件部由孙伟负责，手下目前就一个冯祥。
行政部和hr还有前台，由李文静的表姐章子枫负责。
这就是容与科技最早的9名员工。
王一男主持召开了容与科技第一次技术研讨会，针对目前阶段公司的核心任务，提升哥德尔系统的计算能力，开始了热烈的讨论。
李文静首先提出了理论部的方案，这个方案涉及到哥德尔定理的某种变形，如果能在数学上突破某些理论限制的话，可以降低计算力的要求。
“大概能降低多少”，王一男问。
“保守估计20%吧”李文静回答。
“那最乐观的估计呢”
“应该能到50%”
“那这个方向放弃吧，性价比太低，花那么大力量研究理论，最多，也就等价于提升一倍的计算能力。”王一男否决了李文静提出的改进方向。
“理论组近期的工作任务，应该还是进一步完善现实系统形式化的理论工具，只有这样，才能更快的将现实系统映射到虚拟空间中，更快的提升哥德尔系统解决现实问题的能力”
王一男说。
“嗯，这是一个非常好的思路，之前我们花了三天时间来形式化孙伟的论文，这方面如果能有突破的话，三个小时就可以搞定了”，李文静同意王一男的说法。
“我来介绍一下软件部的方案”，王一男说。
“经过我和李飞，赵天成的讨论，也运用哥德尔系统对自身的运行环节进行了分析。我们发现目前在哥德尔系统运行过程中，主要的瓶颈还是在多维空间的搜索和匹配，这方面占了整个系统运行时间的90%以上，甚至对于一些复杂的系统，所占运行时间达到了惊人的99%。”
“针对这种情况，我们对多维空间的搜索和匹配进行了仔细的分析，理论上，这是一个np完全问题，也就是很可能在多项式时间无法解决的问题，这种问题特别适用于大规模并行处理，传统的cpu体系，在这上面的效率是很差的。”
“事实上，我们目前的哥德尔系统已经是第二代了，第一代主要运算是通过cpu进行的，效率很差，我们做过一次升级，使用gpu也就是显卡作为主要的计算单元，第二代系统比第一代系统计算能力提升了数十倍。”
“但是要想进一步提升，gpu的并行单元，还是太少”
“而且哥德尔系统有些特有的，复杂的算法，即使使用gpu来计算，也还是非常低效”，王一男说。
“所以，我们把希望寄托在fpga，也就是专用的逻辑电路上，这方面的方案，孙伟来介绍吧“
孙伟走到白板前，拿过水笔。
“我们组根据理论组提出的理论，以及软件组提出的具体需求，认为在现有条件下，使用fpga实现多维空间的搜索和匹配专用电路，是最佳的解决方案”。
“目前国际上的相关研究，主要是水木大学的彭博士，以及standford的tyler教授处于领先地位，tyler教授是我的导师。但是他们的研究目前还只涉及到三维空间，更高维度的空间，目前还没有成熟的解决方案，难度也相当大。”
“不过”，孙伟话锋一转，“即使是不成熟的解决方案，也比目前采用gpu的方案提升效率五倍以上。
“当然，别忘了我们还有哥德尔系统本身这个大杀器，根据之前在h265算法上的表现，我预计通过哥德尔系统对fpga的设计方案进行持续改进之后，总体效率能提升二十倍。”
“二十倍啊”，王一男的眼睛都发亮了。
根据他和李文静对李诗尧手稿的研究结果，目前哥德尔系统的运算能力再提升两个数量级，就能将电子层面的晶格模型形式化，从而可以准确预测新的超导材料可能存在的区间。这样不但能够避开程潜的专利壁垒，还能从理论上，彻底解释液氮温区这一类超导体的行为。
“那还等什么，我们开始干吧，孙伟，我也干过一段时间fpga，你们人手不足，直接把我当牲口使唤吧”
“老板，我们要等钱，fpga可是相当烧钱的”
“买买买，咱们是有钱人，需要什么就买！”
随后的几个月，软妹币在王一男要哭出来的眼神中，义无反顾的随风而去。
一台台设备被安装到实验室中。孙伟和冯祥，当然还有王一男首先根据tyler教授发表在ieee上的一篇文章为基础，李文静他们改进了一点tyler的算法之后，设计出了第一代fpga专用算法电路。
更多内容加载中...请稍候...
本站只支持手机浏览器访问，若您看到此段落，代表章节内容加载失败，请关闭浏览器的阅读模式、畅读模式、小说模式，以及关闭广告屏蔽功能，或复制网址到其他浏览器阅读！
