岑言让她们做桌面级替代,就是为了让她们先熟悉电化学的实验环节。
再让她们参照着自己给出的课题去做出对应的理论论证支撑材料。
最后才去京海做真正的锂电池实验,完成核心原理的完全验证和关键突破。
哪怕她们再天才。
岑言也不觉得她们能只靠着一堆文献和脑内构想,就直接能一次性完成锂空气电池实验。
路得一步一步走。
饭得一口一口吃。
见两人在自己的耳提面命下想通,岑言松了口气,欣慰地点了点头。
“既然你们有想法了,那就去做,需要什么实验耗材,尽管跟我说,我去采购。”
岑言说着。
又顺手往梁晓鸥的头上一敲。
“我不是说对了吗?你怎么还打我?”
梁晓鸥快被岑言打哭了。
“你别打我了!”
她再也坚强不起来。
坚强是给外人看的。
在实验室里,就他们三个人的时候,她其实还是那个软糯小鸥。
看着梁晓鸥开始泛红的眼眶,岑言心道不妙。
“哈哈……不好意思不好意思,打顺手了。”
岑言尴尬地收回手,挠了挠头,笑着跟梁晓鸥道歉。
“你们设计哈,需要什么器材,需要什么模具材料,尽管说,我们有钱。”
岑言见梁晓鸥伸手想抓自己还回来,连忙退后,交代道。
“我先继续做练习去了,你们加油~”
“哼……”
梁晓鸥愤愤地岑言退回去,揉着自己脑袋上的包。
该死的岑言竟然还瞄着一个地方打!
真痛啊!
“诶对,白棠,你怎么会想到铝锌替代?”
梁晓鸥捂着包,轻轻揉着,好奇地对着身旁的白棠问道。
“昂,我看报价单上这两个便宜……”
梁晓鸥:……
为什么打我不打你!偏心!
第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斩金的美梦时。
“砰!”
在白棠和梁晓鸥做实验的地方,突然发出了一声闷响。
把岑言吓了一跳。