此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。
标签: 2CNF 算法 多项式
上传时间: 2015-11-07
上传用户:cccole0605
lotus数据库例子,里有有十题题型,都是关于一些LOTUS公式的例子,里有有公式代码
标签: lotus LOTUS 数据库 代码
上传时间: 2014-01-08
上传用户:dsgkjgkjg
解密算法,通过一组数学公式的计算,把加密后的数据还原
标签: 解密 算法 数学公式 加密
上传时间: 2013-12-15
上传用户:330402686
《工程数学公式手册》PDF版,对于信号处理等专业很有帮助。
标签: 工程 数学公式
上传时间: 2015-11-15
上传用户:kikye
基于matlab的三相逆变器仿真模型 以数学公式为基础,便于仿真验证
标签: matlab 三相逆变器 仿真模型 数学公式
上传时间: 2015-11-24
上传用户:kbnswdifs
数值微分三点公式法,一个用于求解微分的程序,用三点发,精度较高。
标签: 数值 微分
上传时间: 2015-11-25
上传用户:lx9076
浙江大学有关robocup的毕业论文,不仅详细的说明了robocup球队的制作,还详细的说明了robocup服务器的各种参数,运动公式
标签: robocup 大学 参数 毕业论文
上传时间: 2014-11-05
上传用户:顶得柱
图象采集的算法包含图象速率及采集的计算公式和抽样原理的技术文档
标签: 图象采集 图象 算法 抽样
上传时间: 2013-12-25
上传用户:坏坏的华仔
根据最小二乘法的递推公式 ,由 ,逐次递推可得。程序中选取矩阵来存放x的值。通过循环程序计算出 , , 的值
标签: 最小二乘法
上传时间: 2015-12-16
上传用户:cainaifa
】 本文主要讨论了Modbus 通信协议的R TU 帧格式中常用的错误校验方法,即循环冗余校验法( CRC) 。 提出了Modbus 协议反转CRC 校验的方法,推导了反转CRC 校验快速计算表格,并用C 语言实现了基于快速查 表算法的循环冗余校验程序。
标签: Modbus CRC TU 通信协议
上传用户:498732662