可满足性

可满足性(satisfiability)是1993年公布的数学名词。

资源总数
500

可满足性 全部资料 500 份

· 摘要:  吸盘的可靠吸附是爬壁机器人运动的基础,设计了机器人足部传感系统,用ADuC842单片机控制和采集了红外传感器阵列、光纤曲率传感器、气压传感器、加速度传感器的信息,经过处理后,通过UART发给机器人主控DSP...

2024-06-22 1 可满足性