推理
推理技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
推理 热门资料
查看全部 500 份 →TMS320DM642 DSP是TI公司新近推出的一款高性能数字多媒体处理器
TMS320DM642 DSP是TI公司新近推出的一款高性能数字多媒体处理器，它的两级高速缓存（Cache）结构为高复杂度视频编码算法的高效率实现提供了有力的保证。综合考虑视频编码算法特点和Cache结构特征实现的算法，能够满足系统整体需求...
2016-01-15
94
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛...
2013-11-30
89