可满足性
可满足性(satisfiability)是1993年公布的数学名词。
资源总数
500
可满足性 热门资料
查看全部 500 份 →基于DSP的足球机器人设计
·摘要: 通过对目前国内常用足球机器人性能的分析,以提高机器人足球平台硬件系统性能为目标,设计了一种基于DSP为控制核心,并结合Fuzzy-PID控制算法的足球机器人.实验证明,由于DSP存在运算速度快、接口丰富、功耗低等优点,...
2024-09-17
3
fd_set参数:一个用于检查可读性(readfds)
fd_set参数:一个用于检查可读性(readfds),一个用于检查可写性(writefds),另一个用于例外数据(exceptfds)。从根本上说, fd_set数据类型代表着一系列特定套接字的集合
2015-07-16
49
直流电动机双极性可逆PWM系统
直流电动机双极性可逆PWM系统,其中电流PI调节控制中,根据转向标志DIRECTION来决定输出极限:正转时,输出范围是0-250,反转时是250-5
2013-12-28
104