搜索筛选:
搜索耗时1.0688秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者:林彬,孟欣欣,
来源:培训与研究(湖北教育学院学报) 年份:1999
...
[期刊论文] 作者:李凡,孟欣欣,
来源:华中理工大学学报 年份:1999
研究一种一阶谓词逻辑公式的反演求证算法,它是应用超连接过程来处理子句集的消解的,该算法具有比Robinson的传统消解方法更高的效率,以一个实例讨论了该算法的应用,结果表明此算法可以保......
[期刊论文] 作者:李凡,郑蕾,孟欣欣,
来源:华中理工大学学报 年份:1999
提出一种使用遗传算法生成模糊控制器的方法.设计人员只需设置性能指数或适值函数,而模糊规则的数目、隶属函数的参数以及模糊控制器的规则都可通过遗传算法自动生成.描述了一种......
相关搜索: