基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛...
机器决策技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛...
由于目前尚未有文献对以上三类控制器进行详细的研究比较,因此该文利用MATLAB中Simulink的模块函数建立了以上三类滞环电流控制器的仿真模型,对以上三类控制器进行详细的仿真研究,探讨其各方面性能的优劣. 通过对基于空间矢量调制的三相滞环...
本书内容主要分为以下三个部分,包括光伏并网逆变器的拓扑和输出电流控制策略的研究,重复控制理论的研究,基于重复控制的复合式控制策略的研究。本书的重点在第三部分,它设计了两种复合式控制方法,一种是状态反馈极点配置与重复控制相结合的控制方法,一种...
高压加热器是火力发电厂的重要设备,它的投运与否直接影响电厂的经济效益。由于高加承受着高温高压的长期考验容易出现故障,分析了传热管本身泄漏及管口焊缝泄漏的原因,并提出了几项预防措施,进而提高电厂高加的投
超声波电源广泛应用于超声波加工、诊断、清洗等领域,其负载超声波换能器是一种将超音频的电能转变为机械振动的器件。由于超声换能器是一种容性负载,因此换能器与发生器之间需要进行阻抗匹配才能工作在最佳状态。串联匹配能够有效滤除开关型电源输出方波存在...
由于目前尚未有文献对以上三类控制器进行详细的研究比较,因此该文利用MATLAB中Simulink的模块函数建立了以上三类滞环电流控制器的仿真模型,对以上三类控制器进行详细的仿真研究,探讨其各方面性能的优劣. 通过对基于空间矢量调制的三相滞环...
分析了目前普遍应用的串联型逆变器控制方法在实现逆变器工作状态控制时的优缺点,提出了一种按负载电流扰动大小实现相位补偿的复合控制策略,实现了定角控制,进行了建模仿真和试验,仿真和试验结果验证了复合控制方
· 摘要: 针对矩阵变换器空间矢量调制策略在低调制比输出时引起的换流问题及输出波形的非线性畸变,提出了三零矢量调制的空间矢量调制方案,同时设计了一套基于DSP和FPGA的控制系统.通过实验验证了该控制策略的可行性和正确...