自动选题
自动选题技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
资源总数
500
自动选题 热门资料
查看全部 500 份 →基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛...
2013-11-30
89
1.40种记数器图片样式自由选择
1.40种记数器图片样式自由选择,并且可以方便地增加记数器图片样式。 2.可以设置计数器显示数字,显示位数,计数器是否隐藏等。 3.页面显示记数和唯一IP记数两种记数模式。 4.可以记录来访客的来源IP地址和来源页面信息,在线人数。 ...
2014-01-05
53
MIMO频率选择性信道自适应均衡
针对MIMO频率选择性信道提出了一种分数间隔的判决反馈均衡器,其优点是既对时间同步误差不敏感,又能在消除码间干扰的同时不引入噪声增益。同时比较了分别采用最小均方算法和恒模算法的分数间隔判决反馈均
2024-03-19
8