可满足性

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

资源总数
500

可满足性 全部资料 500 份

·摘要:  通过对目前国内常用足球机器人性能的分析,以提高机器人足球平台硬件系统性能为目标,设计了一种基于DSP为控制核心,并结合Fuzzy-PID控制算法的足球机器人.实验证明,由于DSP存在运算速度快、接口丰富、功耗低等优点,...

2024-09-17 3 可满足性

现场可编程门阵列(FPGA)是一种现场可编程专用集成电路,它将门阵列的通用结构与现场可编程的特性结合于一体,如今,FPGA系列器件已成为最受欢迎的器件之一。随着FPGA器件的广泛应用,它在数字系统中的作用日益变得重要,它所要求的准确性也变得...

2013-06-30 110 可满足性