使用C语言写的求解一道简单的逻辑推理题的例子。具体题目请看说明。
上传时间: 2014-01-27
上传用户:lvzhr
用C语言求解经典逻辑推理题
上传时间: 2013-12-31
上传用户:x4587
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾。
上传时间: 2013-11-30
上传用户:GavinNeko
摘 要 虽然开放系统是一个流行的名词, 但是对于一般用户, 它却是一个在实际工作中“无法操作”的事物。本文从计算机开放系统的基本特征出发, 通过逻辑推理, 导出描述开放系统的轮廓, 借助于后者使开放系统一词的内涵得到了澄清, 并使它的实现变成了“可操作的”。文中还从IT 实际工作的方便出发, 提出了一个简明的开放系统的工作定义。关键词 开放系统, 轮廓, 可移植性, 可互操作性, 封闭系统, 开放式专有系统
上传时间: 2014-01-18
上传用户:lps11188
本文论述了带电粒子在电磁场中的运动-分析了这类问题的解题思路和基本程序·为培养学生的分析判断能力、逻辑推理能力、论证和表达能力、运用教学的能力和科学创新能力提供一种尝试。
上传时间: 2015-08-19
上传用户:cuibaigao
测试你的逻辑推理能力,50道逻辑推理题.
上传时间: 2013-12-18
上传用户:水中浮云
C语言趣味程序百例精解——绘制曲线,不定方程求整数解,逻辑推理等
上传时间: 2013-04-24
上传用户:waitingfy
本书共6章。第1章介绍了检修中必须掌握的20种方法和十多种通用、专用仪器;第2章讲述了12大类数十种常用电子元器件的识别、检测、修配、更换方法;第3章详细讲解了4大类数十种常用单元电路的检修方法、步骤和经验;第4章列举了10大类数十种整机、系统电路方框图,为检修这些电路提供了逻辑推理的框架;第5章剖析了音频和视频设备的10大类故障的机理,重点讲解了检修这些故障的推理思路和具体的步骤、方法、技巧和经验;第6章讲述了电路和机构的调整技术及方法,并给出了众多电路的关键测试点,为电路故障检修提供了极大的方便。 本书适合零起点的无线电爱好者、电子技术产业工人、厂矿企业电工和各类家电培训班学员阅读。
上传时间: 2013-07-09
上传用户:2780285129
工业生产过程中,时滞对象普遍存在,同时也是较难控制的,尤其是大时滞对象的控制一直都是一个难题。而很多温度控制系统都是属于大时滞系统,常见的智能温度控制器虽然在温度控制的实际应用中表现了比较理想的控制效果,但它仍然属于将参数整定与系统控制分开处理的离线整定方法,如果工况发生变化就必须重新调整参数。针对这一问题,为了实现时滞系统参数自整定的控制,本文将神经网路控制、模糊控制和PID控制结合起来,设计了基于神经网路的模糊自适应PID控制器。 首先,本论文分析了时滞系统的特点,讨论了几种时滞系统较为成熟的常规控制算法:微分先行控制算法、史密斯预估控制算法、大林控制算法,并深入研究了它们的控制性能;并且通过仿真对这三种控制方法在温控系统中的控制性能进行了比较。 其次,在分析PID参数自整定传统方法的基础上,设计了一种改进方法,并设计了相应的控制器。该控制器综合了模糊控制、神经网络控制和PID控制各自的长处,既具备了模糊控制简单有效的控制作用以及较强的逻辑推理功能,也具备了神经网络的自适应、自学习的能力,同时也具备了传统PID控制的广泛适应性。该方法不需要离线整定参数,实现了在线自整定参数。仿真实验表明了该控制器对模型和环境都具有较好的适应能力和较强的鲁棒性。 最后将基于神经网路的模糊自适应PID控制器应用于贝加莱PID温控装置,能够出色地实现参数的在线自整定。理论分析、系统仿真、实验结果都证实了这种控制策略能有效地减少系统超调量,并减少了调节时间,提高了系统的实时性和控制精度。
上传时间: 2013-07-05
上传用户:xinyuzhiqiwuwu
本书由浅入深介绍程序结构,设计技巧与理念,循序渐进扩展程序设计的逻辑推理与思考方法,从基础、硬件电路设计和软件编程方法彻底解释实用的商品化程序
上传时间: 2013-10-28
上传用户:zhouchang199