可满足性
可满足性(satisfiability)是1993年公布的数学名词。
资源总数
500
可满足性 全部资料 500 份
几种满足汇合性质的Petri网子类
证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri 网、有界的标识T-图具有汇合性质,讨论共享合成与同步合成操作对Petri 网汇合性质的保持性,得出由上述简单的Petri 网子类通过共享
2024-02-22
6
数字隔离器满足汽车应用的质量和可靠性要求
与其他主流应用相比,汽车应用对质量和可靠性有一些最为严格的要求,其理由很充分:生产中,如果缺陷水平超过1 ppm,即使最简单的元件也可能会导致装配线停止工作;交付后,缺陷或可靠性问题可能导致生产商召回汽车并付出巨大代价,甚至可能危及驾乘人员...
2013-11-24
198
可扩展电源系统满足了可配置刀片服务器的需求
刀片服务器计算系统必须具有较高的可配置性,才能满足多种应用的需求。因此,我们在购买和出售刀片服务器时,主要应考虑需要多大的处理能力,才能满足具体任务的需求。然而,在刀片服务器所有组件中,有一点往往最容
2023-10-27
2