可满足性

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

资源总数
500

可满足性 热门资料

查看全部 500 份 →

摘要:本电路通过555与组成的多谐振荡器产生一定频率的脉冲信号,经分频器分频输出标准的秒脉冲信号,送往倒计时电路,计时电路的秒计时、分计时。输出则送往译码显示电路,显示出当前时间。此外电路还有报警电路。

2025-02-15 3 可满足性

本书介绍了功率半导体器件的原理、 结构、 特性和可靠性技术, 器件部分涵盖了当前电力电子技术中使用的各种类型功率半导体器件, 包括二极管、 晶闸管、 MOSFET、 IGBT和功率集成器件等。 此外, 还包含了制造工艺、 测试技术和损坏机理...

2021-11-07 116 可满足性