可满足性

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

资源总数
500

可满足性 全部资料 500 份

证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri 网、有界的标识T-图具有汇合性质,讨论共享合成与同步合成操作对Petri 网汇合性质的保持性,得出由上述简单的Petri 网子类通过共享

2024-02-22 6 可满足性

与其他主流应用相比,汽车应用对质量和可靠性有一些最为严格的要求,其理由很充分:生产中,如果缺陷水平超过1 ppm,即使最简单的元件也可能会导致装配线停止工作;交付后,缺陷或可靠性问题可能导致生产商召回汽车并付出巨大代价,甚至可能危及驾乘人员...

2013-11-24 198 可满足性

刀片服务器计算系统必须具有较高的可配置性,才能满足多种应用的需求。因此,我们在购买和出售刀片服务器时,主要应考虑需要多大的处理能力,才能满足具体任务的需求。然而,在刀片服务器所有组件中,有一点往往最容

2023-10-27 2 可满足性