家有事就来公司转转，点个卯，没事不来也行。王一男唯一的要求，关键时候不能掉链子。好在第二天，赵克勤听李文静说他们在进行闭关冲刺，主动加入了进来，他之前研究过视频压缩相关算法，要不然，李飞和赵天成没有视频相关的经验，那是一定会拖后腿的。
第三天的时候，孙伟给李文静打电话，说准备去魔都了，李文静让他推迟一天，说是作为多年的发小，总要给他践行的。
终于，在第三天晚上，所有准备工作都完成了。
王一男启动了哥德尔系统，从数学上，视频压缩问题，也就是h265编码被简化成时间域上的二维矩阵（二维图像）的有损转化。
孙伟的工作实际上就是提出了一个转化的模型，这个模型可以很方便的使用VhdL语言描述，并且在FpGA上实现。
这几天，王一男他们做的工作，就是把这个问题和孙伟的解决方案形式化，变成一个数学上的形式系统。
整个问题域和孙伟的论文被输入了哥德尔系统中，漫长的计算开始了。
“哎，果然是到了计算力的瓶颈啊，现在动不动就要以小时来计算时间了”
“你们先去休息吧，我一个人就好了”，王一男把李文静他们都赶了回去，自己一个人在椅子上打盹。
凌晨四点，终端发出“哔哔哔哔”的蜂鸣声，一下子把王一男从睡梦中惊醒。
“啊哈，总算出来了，让我看看”，王一男跑到卫生间，用冷水抹了一把脸。
“原来孙伟的算法还有这么多可以改进的地方，这里，如果去掉删选环节，直接使用前面的数据，不但可以提升15%的效率，还可以提高图像的质量啊”
“还有这里，这个FpGA的设计是有问题的，会造成并发的时候所有的计算核心竞争同一个锁，降低效率”
“还有这里，这里”
。。。
哥德尔系统找到孙伟算法的十七处缺陷，只要修正前面五处，最终硬件的效率将提升80%。
王一男复制了这五处缺陷以及改进方案，还有最终效率提升
本章未完，请点击"下一页"继续阅读！ 第4页 / 共5页