可满足性
可满足性(satisfiability)是1993年公布的数学名词。
资源总数
500
可满足性 全部资料 500 份
CCD 光电测径仪是基于光电检测技术、非接触检测的一种高速棒、线材专用测径仪。 具有检测精度高、响应速度快、抗干扰性好、可靠性高等特点,能够满足高速线材成产现场条件的使用要求。
CCD 光电测径仪是基于光电检测技术、非接触检测的一种高速棒、线材专用测径仪。 具有检测精度高、响应速度快、抗干扰性好、可靠性高等特点,能够满足高速线材成产现场条件的使用要求。
2013-12-17
164
双足机器人文章
本机器人系统选用AVR 单片机ATmega16L 作为控制器,通过PT2262/PT2272 编 码解码模块实现无线遥控,并使用nRF2401 半双工无线模块实现通信。采用“上位机+下位 机”串口调试方式设计机器人的基本动作,并将保存的...
2024-06-07
4