虫虫虫开发者社区

上传资源

可满足性

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

资源总数

500

可满足性热门资料

查看全部 500 份 →

该程序用来检验monte carlo随机数的分布是否满足随机性要求。包括独立性检验、均匀性检验和参数检验。

该程序用来检验monte carlo随机数的分布是否满足随机性要求。包括独立性检验、均匀性检验和参数检验。

2015-04-11 119 可满足性

足球机器人通讯系统的可靠性分析与设计

·足球机器人通讯系统的可靠性分析与设计

2024-10-23 10 可满足性

Xilinx UltraScale：新一代架构满足您的新一代架构需求（EN）

　　中文版详情浏览：http://www.elecfans.com/emb/fpga/20130715324029.html 　　Xilinx UltraScale:The Next-Generation Architecture fo...

2013-11-13 41 可满足性

Xilinx UltraScale：新一代架构满足您的新一代架构需求（EN）

　　中文版详情浏览：http://www.elecfans.com/emb/fpga/20130715324029.html 　　Xilinx UltraScale:The Next-Generation Architecture fo...

2013-11-21 98 可满足性

很不错的日历实例,界面话能够满足你的需求

很不错的日历实例,界面话能够满足你的需求

2017-01-26 54 可满足性

满足多媒体处理器需求的动态电源管理技术

满足多媒体处理器需求的动态电源管理技术

2022-10-23 8 可满足性

基于约束满足搜索算法的测试用例生成策略

针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题，运用约束满足搜索算法，通过减少约束方程组中参数变量的个数，逐步缩小参数变量的取值范围，提出基于符号法求解约束的改进算法。对含有非线性谓词、

2023-12-02 5 可满足性

ＰＣ机通过USB识别仪器上的ＳＤ卡！可以满足仪器存储大量数据的要求！

ＰＣ机通过USB识别仪器上的ＳＤ卡！可以满足仪器存储大量数据的要求！

2013-12-22 86 可满足性