可满足性
可满足性(satisfiability)是1993年公布的数学名词。
资源总数
500
可满足性 全部资料 500 份
四足机器人源代码
适用于嵌入式开发与机器人控制项目,基于STM32平台实现四足机器人的运动控制逻辑。包含主函数、PWM生成及标准外设库应用,便于快速搭建与调试机器人控制系统。
2026-01-24
2
自由领域ASP+WAP同学录是一套即可用电脑浏览又可以用手机访问的互动同学录单班级系统。这套系统同学录系统可以满足现在WAP普及的今天同学用手机上网交流的需求
自由领域ASP+WAP同学录是一套即可用电脑浏览又可以用手机访问的互动同学录单班级系统。这套系统同学录系统可以满足现在WAP普及的今天同学用手机上网交流的需求,做到了时时刻刻可以连上自己的班级网站,时时刻刻可以用手机了解同学的情况,让同学间...
2015-05-30
46
形式文法分析JAVA工具包本JAVA Applets程序提供对LL(1),LL(2)和LR(1)文法分析处理,用户可以输入任何满足条件的形式文法,通帮过系统
形式文法分析JAVA工具包本JAVA Applets程序提供对LL(1),LL(2)和LR(1)文法分析处理,用户可以输入任何满足条件的形式文法,通帮过系统
2015-08-26
92