屠魔工业

把简单射线探测器的制作书转给恶狱镇守，是沈文剑批的。
目的不是为了赚钱，而是想要看看恶狱镇守会有什么后续动作。
随着时间来到3051年年底，新一轮的祭典效果随时有可能爆发，恶狱作为被恶狱镇守堵住的地方，自然是个重点盯防区。
沈文剑相信恶狱镇守能顶住后续变化带来的压力，不然他们无法存在上万年的时间，但是探秘还是有必要，这有助于玉剑山了解灵月的祭典规则。
强闯恶狱也是一条路，不过“暗中观察”更符合沈文剑的习惯。
经过多年的部署，恶狱第一层已经有超过三万只独角仙处于待机状态，它们甚至跨越了两代技术，最新的这一批是设计院定做的高能版，其天线功率和能量储备都是之前版本的几倍。
这种小东西在恶狱里还是有些不太够看，没办法潜入太深，可如果恶狱镇守主动行动，它们却能通过灵能追踪的方式避开阴气侵蚀，获得更多信息。
而且，恶狱镇守的行动，还可能带来机会，让更大号的“间谍”潜入。
这种机器人没有公开，是沈文剑最近带着几个机动组成员弄出来的。
从仙宫空间站回到山上后，沈文剑刻意的降低了自己处理公务的比例。
上天之前，沈文剑处理的公务，包含各个山头部门级别的文件，虽然只是过一遍不用批示，却很费时间。
现在他把公务处理级别提到长老级，只看看各山头的概况，对每个山头有没有出现死人、渡劫失败之类的重要信息即可。
另外玉石峰的事务也不太过问了，主要精力放在外部情报上。
调整过后花了些时间习惯，就有更多的自由时间。为恶狱监控做准备的时候，就想到需要更大的监控机器人，以获得更好更复杂的性能。
蜘蛛机器人的全重达到独角仙的三倍，几乎有一斤，腿部伸展的时候能达到小脸盆那么大。
这种大小的蜘蛛可能会把一些人吓哭，但是在灵气聚集之地，其实不是太稀奇的东西。
蜘蛛机器人除了独角仙拥有的功能，还搭载了最新成果：灵能透射具现阵法。
从名字就能看出来，这是基于青柳猜想为基础制造的设备，功能也很特别。
它能透过蜘蛛机器人的外壳，在体外具现符箓！是玉剑山最小的自动施法单位，能够使用“咒”。
此前最小的施法单位是缘系列的多功能通讯机器人，其重量有六千克以上。
两者的施法原理还不同，缘系列的施法单元是在透明通灵材料后面，本身不具备匿藏能力，在不施法的时候也能感应到它的内部灵能波动。
而蜘蛛机器人的施法单元被阻灵材料挡住，外面察觉不到。
还有更厉害的，蜘蛛机器人投射的符箓，是基于“过渡版符文”实现的，具现咒术的能量消耗平均比基础符文低20%！
总之，蜘蛛型机器人一旦入侵恶狱，就能透过咒术保护自己，在能量耗尽之前隔离阴气的侵蚀。
有人提出试着用阴属性的灵能做转换，反过来给间谍机器人充能。
阴属性灵能大家都不太喜欢，因为这种能量无法实现自然平衡。
比如余灵珊的九阴灵根，每个月都需要补充含有大量阳气的丹药，否则就要主动吸收阳属性的灵气，而这会让她体内有着火般的感觉。
如果不这么做，随着修行的进度，人的脏器会逐渐硬化，甚至最后把整个人变成类似寒玉的物体。
自然环境里的阴属性灵能，主要依赖与光能、热能、粗灵气进行平衡，变成灵气的一部分。
这意味着间谍机器人需要拿出额外的能量，进行属性平衡后才能吸收恶狱里的阴气，主动吸收也需要付出能量。
转来转去，吸收利用率会非常低，可是作为间谍机器人，它的转换与吸收单元又必须足够小，就带来不少技术问题。沈文剑带人把蜘蛛项目弄完后，就让刘香湘把课题转到工程院慢慢解决。
蜘蛛机器人使用的过渡版符文，就是设计院3051年的主要成果了，闪电3-2号机的制造只是简单复制，都不算事。
过渡版符文套装，只有56枚符文和32个铭纹，相比古版本的81和36，符文的缩水量有些出乎意料！
这套符文里，出现了一个类“s”形的超简易符文，它差一点就被归类到铭纹中。
铭纹的作用是连接符文能量逻辑开关，同时不干扰符文生效，特点是结构比符文简单很多。
实验的结果表明，冒出来的超简易符文功能就是原来的“定”，基础效果为短暂凝结灵能，是古代版聚灵阵的核心符文之一。
针对该符文做深入研究，发现它和之前的“定”并不是完全一样，以“能量阻力”来描述更为精确，从这个角度来看，它又真的很像铭文，因为铭文里也有一个有类似的功能，甚至形状都很接近。
刘香湘代表设计院的年终总结里也特别提到了它。
“通过‘能量阻力’符文，我们推测符文和铭文最后会趋同，明年我们会根据过渡版符文出现的新特征，调整符文开发超算的筛选规则，先让它算几个月看看是什么结果。”
计算未知，存在很大的不确定性，“能量阻力”符文虽然长相和原有的某铭纹差不多，其实也存在很大的运气成分。
符文开发机超算化，并且运用了青柳猜想延伸的透射具现原理后，每年能筛选并处理15552720个结果。看起来很大的数字，放在平面空间形成的“无限”中，沙砾都不算一个，再加上可能存在的立体结构……
别管什么等级的超算，最后要得到真正至简到接近规则本身的符文，已经没办法像运算定式一样用穷举法了，算法、时间、运气缺一不可。
沈文剑倒是提了个想法：“是不是可以用符文定式的‘形’，来尝试做简化，再从简化结果中寻求分离的可能？”
定式是由符文和铭纹组成的固定阵法元素，针对一个定式做简化，比寻求“无限”中的某种可能，理应容易一点。重点在于利用这种方式，也许可以有定理或猜想式的理论发现，对后续的研究会有极大的帮助作用。
刘香湘愣在那眨巴眼，好一会过去才猛点头：“师父不愧是师父，这条路应该试试。”
：。：