迪赛克与阿贝尔、吴俊和祖文远四个人收集了几乎所有的曲线方程,把方程进行系统处理,对方程进行预测算法处理,打算制作一个瞄准器。
迪赛克认为,瞄准器首要的任务就是能够捕捉目标,再跟进维纳的控制论的基础,来预测目标的轨迹。
瞄准器的模块由摄像机、帧图对比计算芯片、云台转动器、曲线计算芯片器、加特林机枪组成。
工作原理是,当目标出现的时候,用摄像机捕获目标目标。之后帧图对比计算芯片捕捉目标的点状轨迹。云台也要随着目标的运动,进行移动调整,防止目标飞出拍照视野。之后曲线计算器对点状轨迹进行曲线拟合,算出曲线轨迹后,根据曲线方程预测下一步轨迹。之后根据预测的位置和时间,加特林根据提前量开火,拦截目标。
这台机器,迪赛克很快就做好了,就要拿出来测试能力。
自动瞄准器在待命状态后,迪赛克直接扔出石头,加特林快速开火,击中石头,将石头打成碎片。
这时,迪赛克使用抛石机,抛出一堆石头,一个自动瞄准机也只打中了六七个。
迪赛克知道,要对多个目标进行打击,就需要集成瞄准系统,如果是击中天上100个目标,也得需要大约20个这样的瞄准系统,加特林瞄准器可以少一点,但是图像识别目标系统需要增加。当然如果单个图像瞄准系统能够增加计算速度,那就可以用一个顶替多个。
迪赛克升级了瞄准系统,上面配置了4个加特林机炮,瞄准系统模块可以瞬间打击上千个目标。迪赛克将瞄准器防止在一个周围无人的平地上,在一大片鸟经过后,开启系统,加特林扫射过后,一片鸟儿全部击落,地上平铺一堆鸟的尸体,让人震惊。
迪赛克将瞄准器小型化,制作了很小的打蚊子的盐炮,也用这种识别系统,放在蚊子多的地方,开启机器,然后开始打天空中飞行的蚊子,不一会儿周围的所有蚊子几乎都被这种炮全部打死了,连昆虫都快绝种了。
洛马公司对迪赛克研制出来的系统十分满意,准备改造和升级,组装到各个装甲车、高射炮、战斗机上,甚至要以此取代导弹系统,来作为新一代的远程瞄准系统。
瞄准器的再次升级,加上望远镜,之后捕捉距离遥远的目标,需要增加对空间扫描的时间和存储量。
这时迪赛克发现,距离越远,难度反而越大,需要有一定的准确性,才能够维持,这种误差的值越来越大了。
对于少有加速度变化的物体,可以对路径的数学曲线预测,提前打击,对于多个随机加速度来说,拦截的难度要稍微增加一些。
对于迪赛克来说,他想找到瞄准器也难以瞄准了变轨路径。
就是高加速度,急速变轨的飞行物,就是用手遥控无人机,让瞄准器都难以瞄准击中这个无人机。迪赛克用手快速的按遥控器,变换着飞行器的飞行轨迹,瞄准器根据初等计算,还真的很难瞄准这个飞行器。
迪赛克又开始去想,如何来应对敌人飞行器的机动变轨,进行目标捕捉和打击?
这个难度极其高,但是并非无法破解,首先每个飞行器都有个速度极限,当测出飞行器在某一位置的时候,预测这个飞行器任何一个可以变轨的方向,那就是一个变轨球形,目标无论如何变轨,都会出现在球形范围之内,只需要对于球形区域内发射满弹幕,也会有很大的几率来拦截目标。
如果飞行器也了解了瞄准器上的所有曲线方程,那也可以使用排除性的规避,这种规避就是一种初等函数无法合成的曲线方程,所以瞄准器对于这样的曲线的飞行器,难以做出数学上的预测。
比如椭圆方程,就是一个无法使用初等函数来预测准确的轨迹,所以需要近似值来拟合,这就需要特殊的积分方程来做出这样的拟合。
对于符合初等方程拟合的方程,就可以严格按照方程的合成来预测轨迹,而不能用初等方程合成的,需要使用一些近似的方程。
会不会出现任何一种形式的曲线的表示公式?可以表示出任何一种曲线,不会有任何遗漏的,全部可以包含和经过的轨迹。这个就需要定义型的曲线了,不可能找完备,只能找到越来越多的各种个重要的曲线。
这个就是一种新曲线定义系统,也是新曲线学习机,这种学习机会对各种形式的曲线进行完备式学习。
这个曲线完备学习瞄准器,对各种飞行器的路径探测后,看是否可以拟合,如果不能拟合的话,就会记忆这种路径,对路径进行研究,能够用近似方法合成分类的话,就可以分类出一个新的曲线,如果不能合成分类的话,就需要发送在人工工作台进行研究,让人来计算这种奇特的曲线,并且研究出一个新型的学问。
这种瞄准器的意义在于,在宇宙之中,不论是有多远的地方飞行器出现,都可以根据曲线轨迹计算和预测后,使用尽可能少的火力击中地方飞船。
是否可以造出一种可以完备的,可以击中宇宙中出现各种形式曲线的飞行器的瞄准机来,这也是迪赛克要研究的方向,而这个方向的重点还是需要去寻找完备性曲线的问题。
迪赛克把曲线完备问题,又直接抛给了祖文远、吴俊和阿贝尔等人。
吴俊拿出了自动机3.0继续开始了证明,发现很快就证明出,并不是所有的曲线都可以被表示出来的