谈什么恋爱,组一辈子科研组吧! 第163节

  岑言让她们做桌面级替代,就是为了让她们先熟悉电化学的实验环节。

  再让她们参照着自己给出的课题去做出对应的理论论证支撑材料。

  最后才去京海做真正的锂电池实验,完成核心原理的完全验证和关键突破。

  哪怕她们再天才。

  岑言也不觉得她们能只靠着一堆文献和脑内构想,就直接能一次性完成锂空气电池实验。

  路得一步一步走。

  饭得一口一口吃。

  见两人在自己的耳提面命下想通,岑言松了口气,欣慰地点了点头。

  “既然你们有想法了,那就去做,需要什么实验耗材,尽管跟我说,我去采购。”

  岑言说着。

  又顺手往梁晓鸥的头上一敲。

  “我不是说对了吗?你怎么还打我?”

  梁晓鸥快被岑言打哭了。

  “你别打我了!”

  她再也坚强不起来。

  坚强是给外人看的。

  在实验室里,就他们三个人的时候,她其实还是那个软糯小鸥。

  看着梁晓鸥开始泛红的眼眶,岑言心道不妙。

  “哈哈……不好意思不好意思,打顺手了。”

  岑言尴尬地收回手,挠了挠头,笑着跟梁晓鸥道歉。

  “你们设计哈,需要什么器材,需要什么模具材料,尽管说,我们有钱。”

  岑言见梁晓鸥伸手想抓自己还回来,连忙退后,交代道。

  “我先继续做练习去了,你们加油~”

  “哼……”

  梁晓鸥愤愤地岑言退回去,揉着自己脑袋上的包。

  该死的岑言竟然还瞄着一个地方打!

  真痛啊!

  “诶对,白棠,你怎么会想到铝锌替代?”

  梁晓鸥捂着包,轻轻揉着,好奇地对着身旁的白棠问道。

  “昂,我看报价单上这两个便宜……”

  梁晓鸥:……

  为什么打我不打你!偏心!

第159章 都说了要开通风橱!(3/4)

  两个小姑娘兴致勃勃地让岑言去买了一堆模具和材料。

  “这些是侧垫片,夹板和配套的螺丝螺母,备份的在这边,小心点用哈,这些模具可不便宜……”

  岑言把快递里的模具和耗材都取出来。

  还好自己是回到2015年,网购已经很火热了,这时候啥都能在网上买到。

  实验器材自然也可以。

  正负极材料,隔膜,模具等等,就连用来给梁晓鸥他们配置6M KOH电解液的KOH粉末都能买得到。

  这条件。

  也亏国内没有多少人喜欢拉瓦锡和诺贝尔的,不然轻轻松松自制新型土炸弹。

  自己要是回到05年。

  想采购这些东西,可就得跑东跑西了。

  也不对。

  回到05年,自己个半大孩子能干嘛?

  抛开杂念。

  岑言看着跟拿到了新玩具的小孩一样欢天喜地的梁晓鸥和白棠,又忍不住多交代了几句。

  “做实验的时候记得在通风橱里做啊,要开,电极要保证干燥清洁,别短路了,做的时候得确认正负极……”

  岑言觉得自己又回到了当带教牛马大师兄的时代,婆婆妈妈的啰嗦得很。

  “知道了,知道了,我们没问题的!”

  梁晓鸥已经迫不及待的想要验证由她亲手设计的实验流程了。

  能做实验。

  不管是什么实验。

  白棠都是充满兴趣的。

  她也很想知道,在没有岑言演示的情况下,由自己来亲自上手从零开始做实验会是什么样的?

  然后……

  岑言坐在电脑前。

  他正在给自己准备对拍程序。

  对拍是一种自动化测试方法,简单来说就是通过生成随机输入数据,同时运行暴力程序和优化程序,来比较两者输出结果是否一致。

  这样在竞赛赛场上能够自动生成大量的测试数据,也可以针对性的生成边界数据,进行自动化验证,减少失误。

  毕竟在比赛的时候。

  手动输入数据找bug的效率很低,寻找边界情况的时候也容易遗漏。

  再加上竞赛的压力和平时练习的压力完全不一样,很容易因为紧张而出现很基础的易错点。

  对拍做好了,相当于带了个自动排雷步兵。

  最基础的小学生级对拍,就是先准备一个慢办法程序,例如从1数到100,每个数都验证一下,这样能保证正确,但是很慢,再准备一个快办法程序,测试你想测试的优化解法,最后再加个数据生成器。

  用批处理脚本运行,一旦快办法出错,程序就会自动停止报错。

  而竞赛级别的对拍程序。

  则是会用专业级的数据生成器和。带时间控制的Linux对拍脚本。

  使用for循环实现多组数据测试,timeout命令实现超时检测,ulimit-v限制实现内存检测,最后用分段生成加合并的方式完成大数据生成。

  这在NOIP和ACM这样标准赛事里都是完全通用的。

  竞赛队的教练们为队员们准备的对拍程序一般就是这样的。

  不过岑言自己做了点优化。

  首先是对对拍策略的优化。

  通过先测试小程序,再逐步增大的优先级测试,和专门生成让程序崩溃的定向爆破测试,来快速寻找漏洞。

  并且通过同时对比三个版本程序的多程序对拍,来降低错验可能。

  最后通过自动bisect找出最小出错样例,完成自动化调试。

  甚至针对交互题,他也编写了交互脚本,针对SPJ题(Special Judge答案不唯一的特殊评测程序),也有修改比较脚本,调用SPJ程序判断。

  总而言之。

  岑言几乎是以一己之力,点对点级别地完成了一个自带的评测系统。

  虽然他还没有完全投入使用。

  甚至还没完全写完。

  但是基本上,目前的几组题目测试来看,他的思路是正确的。

  这就相当于岑言自带答案验证器。

  也意味着他有另一种比赛取巧的手段。

  暴力破题。

  当一道算法题摆在你面前,你一时间想不起最正确的解决方案的时候。

  你应该怎么做?

  正确的答案是。

  只要让程序输出你想让它输出的答案即可。

  但这又涉及了计算机编程比赛赛制的不同。

  ACM赛制和OI赛制是不同的。

  以ICPC为代表的ACM赛制,比赛时会有提交反馈,实时排名,计分方式只有全有或全无,以正确题数和时间给分。

  而以NOI为代表的OI赛制,则是没有提交反馈和实时排名,计分方式按点给分,以分数来决定排名。

  也就是oi赛制的每道题都有多个测试点,答对了几个测试点,就给相应百分比的分数。

  而对拍程序,在两种赛制中都有用。

  因为ACM赛制的答案提交报错会导致罚时扣分,而OI赛制的答案提交没有得分反馈,一旦出错,很有可能整题爆“0”。

  岑言的优化版对拍解决了这个问题。

  他想要暴力破题的话。

  只需要让自己的程序在对应的测试点能够输出对应的测试内容,那他就有分。

  他完成这样的对拍程序。

  靠的倒不是自己的题库模型。

  在算法竞赛的题库模型这一块,其实有人走得比岑言更早,也更专业。

  这也是岑言把人家洛谷题库的题和错误案例给扒了的理由。

  正当岑言在继续完善自己的对拍,陶醉在自己NOI斩金的美梦时。

  “砰!”

  在白棠和梁晓鸥做实验的地方,突然发出了一声闷响。

  把岑言吓了一跳。

首节 上一节 163/305下一节 尾节 目录