可满足性
可满足性(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
基于FPGA的可测性设计方法研究
现场可编程门阵列(FPGA)是一种现场可编程专用集成电路,它将门阵列的通用结构与现场可编程的特性结合于一体,如今,FPGA系列器件已成为最受欢迎的器件之一。随着FPGA器件的广泛应用,它在数字系统中的作用日益变得重要,它所要求的准确性也变得...
2013-06-30
110