用Java编的人工智能的归结反演算法
上传时间： 2014-11-28
上传用户：helmos
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
上传时间： 2013-11-30
上传用户：GavinNeko
石油勘探专业算法：地震资料波阻抗反演后期算法，包括带限反演算法和道积分反演算法两种
上传时间： 2013-12-09
上传用户：www240697738
简单的演示程序并且形成了通用线性反演程序包
上传时间： 2015-05-25
上传用户：璇珠官人
fortan的Ｏｃｃａｍ一维反演：：：：） 望大家能有点收获
上传时间： 2015-06-12
上传用户：ddddddos
基于matlab的反演程序,用于地球物理勘探中射线追踪及偏移成像程序.
上传时间： 2014-01-22
上传用户：cuiyashuo
采用FORTRAN编制的小生境遗传算法反演程序，对于求取复杂函数的极值问题相当容易
上传时间： 2015-10-01
上传用户：vodssv
采用C语言编制的模拟退火地震理论波形反演程序
上传时间： 2015-10-01
上传用户：dianxin61
基于反演设计的位置跟踪matlab实现，可以精确的跟踪位置信号
标签： matlab
上传时间： 2016-01-11
上传用户：manlian
3D电阻率反演Matlab程序 RESINVM3D is a MATLAB package for inverting 3D Dc Resistivity and Electrical Resistivity Tomography data.
标签： Resistivity Electrical RESINVM3D inverting
上传时间： 2016-04-03
上传用户：阿四AIR
