可满足性
可满足性（satisfiability）是1993年公布的数学名词。
资源总数
500
可满足性 热门资料
查看全部 500 份 →几种满足汇合性质的Petri网子类
证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri 网、有界的标识T-图具有汇合性质，讨论共享合成与同步合成操作对Petri 网汇合性质的保持性，得出由上述简单的Petri 网子类通过共享
2024-02-22
6
数字隔离器满足汽车应用的质量和可靠性要求
与其他主流应用相比，汽车应用对质量和可靠性有一些最为严格的要求，其理由很充分：生产中，如果缺陷水平超过1 ppm，即使最简单的元件也可能会导致装配线停止工作；交付后，缺陷或可靠性问题可能导致生产商召回汽车并付出巨大代价，甚至可能危及驾乘人员...
2013-11-24
198