基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
上传时间： 2013-11-30
上传用户：GavinNeko
相信有很多朋友遇到这样的问题,本来能在线下载lpc932,可下载自己的程序后,发现再也不能下载了,这是因为系统无法进入在线编程了,只能用CP932重新烧写,那时很麻烦的,把本段程序放在你程序里就可以解决问题了.
上传时间： 2015-03-09
上传用户：chfanjiang
tsp问题用神经网络方法解决
上传时间： 2014-01-06
上传用户：plsee
一类球型分布问题的实现
标签： 分布
上传时间： 2013-12-13
上传用户：hopy
求解tsp问题的局部优化算法
上传时间： 2015-03-09
上传用户：731140412
运用安全套接字协议实现安全隧道。这是专为那些不具有外部IP地址却仍想实现互联网服务的人设计的。服务器被置于一台拥有公网地址的计算机上。客户端运行在防火墙/网关后的某台计算机上。这使得客户端可以访问互联网。运行服务器端进程无需超级用户特权。也无须使用任何其他进程或线程。
上传时间： 2014-07-24
上传用户：wyc199288
你可曾经为硬件看门狗的复位时间太短,而苦恼过,这个方法帮你解决问题. 用定时器喂狗,如果超过一定时间(程序跑飞,或整个中断都关闭,都会导致定时器不喂狗,导致看门狗的复位,从而延长了看门狗的复位时间)不喂就复位. 程序中我以lcpRD2为例.
上传时间： 2014-01-05
上传用户：xiaohuanhuan
人工智能中重要的一个问题, 用广度优先搜索的方法解决
上传时间： 2014-01-07
上传用户：playboys0
一本了解计算机网络安全的书籍，供参考和学习用
上传时间： 2013-12-17
上传用户：trepb001
详细地讲解了单片机设计中的抗干扰问题
上传时间： 2013-11-29
上传用户：123啊
