科研从博士生开始 第101节

　　接下来就是最后的计算输出论证了。

　　计算输出论证，是核心算法后的逻辑完善问题，也就是论证“没有特殊因素影响下，输出为一条直线”以及“有特殊影响，输出则会出现跳转性波动”。

　　这一部分的逻辑并不复杂，但要证明逻辑完善却非常的困难。

　　在讲核心内容的时候，他已经做了基本的介绍，后续要讲解也相对简单，但是要证明逻辑完善却是一个漫长的过程。

　　很多理解内容的学者，也知道这一部分的论证能够很轻松的找出问题。

　　这就像是检查卫生。

　　在把学校全部打扫一遍以后，怎么确保每一个地方都是干净的？

　　提问者可以随意的指着一个房间，问房间是否打扫过？

　　除非是带着所有人，看过学校每一个房间、每一个角落，否则总会有人能提出问题。

　　这就是最麻烦的地方。

　　会议主持宣布休息二十分钟，张硕走下了讲台，卡尔瓦赫马上让出了位置，“坐下休息一会儿，接下来才是最难的。”

　　“但不要担心，如果提问的太多，我们会分别做回答，而且，他们不可能一直提问。”

　　“如果没有难住我们，会议就会接受论文。”

　　“虽然不能完全证明算法是正确的，但会议后相信的人会越来越多，我们可以把代码公开，就让他们去找问题吧……”

　　张硕轻轻点头，脑子里一直思索着。

　　他们都相信算法没有问题，但一直被质疑、被提问也会很被动，想要短时间证明算法的正确性，或许能用……

　　数学手段？！

　　他思考着眼睛一亮，马上想到了一个内容——跳跃方程！

　　跳跃方程，是一个极为特殊的偏微分方程组。

　　这个方程组是以利普洛斯-帕米尔方程为基础推导出来的，专门用来计算固定参数实验的‘偏差值’，没有外力干涉的情况下，恒定电磁能量比率的粒子对撞实验中，偏差值总是固定不变的。

　　方程组的输入就是一条三维直线。

　　如果实验中某个位置存在外力干涉，那么偏差值就会出现跳跃性的变化。

　　这就是跳跃方程。

　　他马上打开系统建立了一个任务——

　　【任务二】

　　【研究项目名称：建立涵盖算法输出数据的跳跃方程（难度评估：D）。】

　　【进度：1.470%。】

　　（任务可取消，目前，取消任务需要科研币数量：0。）

　　（剩余进度需要科研币数量：9。）

　　在建立好任务以后，张硕并没有直接‘氪币’买进度，因为跳跃方程很简单，只是一个偏微分方程和两个调整参数的方程组成。

　　他走到一边，让工作人员帮忙搬来一个白板，随后，就拿起笔在白板上做起了计算。

　　在计算的过程中，任务进度也在不断的上涨——

　　【任务二，进度+0.553%。】

　　【任务二，进度+1.213%。】

　　【任务二，进度+0.4……】

　　会场里的人都注意到了台上的情况，看着白板上的内容，不由带着疑惑讨论起来，“他在干什么？”

　　“好像是计算什么东西？”

　　“写了好几个参数，都是算法输出的内容，难道他意识到算法有问题了？”

　　“应该是这样，不然现在做什么计算？”

　　卡尔瓦赫、阿戈斯蒂尼也有些担心，他们不知道张硕在计算什么，但都已经到了报告还在做计算，有可能是意识到了问题？

　　弗朗西斯科、格雷沃德，再包括谭志明都变得激动起来。

　　弗朗西斯科忍不住兴奋道，“如果他自己意识到问题，我们也不会再为难他。”

　　“谁做研究都不可能百分百正确！”

　　“这也是正常的。”

　　“他还这么年轻，能自己找到错误，很棒了……”

　　谭志明也点点头，“张硕是很优秀的年轻人。现在的失败经历，也许对他未来的成长有帮助。”

　　讲台上。

　　张硕已经完成了计算，他擦掉了所有的计算过程，把最后得出的方程组写在白板上。

　　他转过身问了一下会议主持，随后走到了讲台上，开口道，“大家好！”

　　“接下来是输出逻辑论证部分，这一部分很复杂，所以我研究出了一个方程组。”

　　“请看……”

　　“最上面的方程是对于计算结果的描述，而下面两个方程，涵盖了输出端所有的可能性。”

　　“如果没有碰到极为特殊的取值，这个方程组会输出一条三维直线……”

　　会场一片安静。

　　所有人都盯着白板上的方程组。

　　很多人都有些发蒙，他们摩拳擦掌的要针对算法输出计算逻辑进行提问，结果对方写了一个方程组？

　　这不按常理出牌啊！

　　(本章完)

第85章 不知不觉，排除了两个竞争对手？

　　二号会议厅。

　　张硕站在台上，对于跳跃方程和计算输出之间的关系进行了讲解。

　　信号评估体系对于信号组进行分析，每一个信号组通过评估体系后，都会得到一个概率评估数字。

　　最后则是进行能量值的计算。

　　信号组和信号组的能量值数据偏差极小，甚至小到可以忽略不及，大量的信号组能量值进行叠加计算，差异自然会变得更小。

　　所以，算法输出是一条直线。

　　按照信号评估体系对信号组评估的概率对信号组进行重新排序后，再进行计算就可能出现‘有趣’的波动。

　　比如，数值偏大的信号度被堆放在一起，那么一个区域的计算结果就会偏大，并会让输出直线出现向上的波动。

　　这就是跳跃方程极为特殊的取值情况。

　　“跳跃方程是方程组，也可以说是函数组，下面两个短方程，是对参数的调节。”

　　“在没有特殊因素的影响下，输出会呈现一条三维的直线。”

　　“反之，则会出现跳跃性的波动。”

　　张硕很认真的讲解着。

　　他之所以塑造这個方程就是为了减少麻烦，因为算出输出逻辑可以找到的问题太多了。

　　除非是把代码拿出来挨个做讲解，否则想进行提问总是能找到问题。

　　“如果哪一部分不明白，可以把数值代入方程进行计算，结果一目了然。”

　　“每个区间段的数据，都可以代入数字去验证……”

　　“……”

　　这时候，很多人都已经听明白了。

　　张硕的意思就是说，有计算输出相关的问题，可以自己去找数字代入方程进行验证，他也不用再针对去回答提问了。

　　从数学的角度上来说，这种方式是有效的，只是需要完善底层的数学逻辑。

　　安德烈亚斯-霍克就问到了一个关键问题，“张硕先生，你如何证明你的方程涵盖了所有计算输出可能？”

　　换而言之，不能涵盖所有的输出可能，方程就是无效的。

　　张硕转身走到了白板前，在方程组的右侧标注了几个取值范围。

　　他解释道，“这几个取值范围，涵盖了所有的常规输出可能，单个信号组的能量强度都包含在其中。”

　　“如果不是常规的情况，也就是在取值范围之外，输出的直线就会出现波动。”

　　“也就是我们说的，‘涵盖了所有的非常规可能性’。”

　　他说完看向安德列亚斯，问道，“我应该不需要证明这个方程固定取值区域解的连续性，也就是光滑性问题吧？”

　　他说完补充了一句，“虽然也不难……”

　　安德烈亚斯-霍克愣了一下，旋即摇头道，“当然不需要，这不是数学论证。”

　　他说完坐了下来。

　　这是算法报告，不是数学报告，当然不需要严谨到去论证数学问题。

　　另外，跳跃方程也只是覆盖了算法的常规输出数据区间，归根结底还是算法本身的问题，想验证有很多的方法，比如，拿着代码程序去做大量运算，看常规输出数据是否存在异常。

　　这样就足够了。

　　安德烈亚斯-霍克坐下以后，会场环境变得嘈杂起来，很多人都已经明白张硕塑造出方程组的意义所在，也忍不住讨论起来。

　　还是拿学校的卫生问题来举例，他等于是给每个地方安装了摄像头，并覆盖了所有的区域。

　　如果对于某个地方的卫生有疑问，可以自己去查看监控视频。

　　前排的学者们，都十分的惊讶和赞叹。

　　他们感到惊奇的是张硕竟然能为计算输出，塑造了一个看起来很奇特的方程组。

　　这实在太了不起了。