可满足性

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

资源总数
500

可满足性 热门资料

查看全部 500 份 →

引信作为弹药战斗部的起爆控制系统,它的安全性和可靠性对战斗部效能的发挥和人机安全性起着至关重要的作用。文章通过对引信软件安全性和可靠性测试的分析,利用虚拟仪器软件开发平台LabVIEW,设计出了一套仿

2024-03-09 4 可满足性