随机SAT

随机SAT技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。

资源总数
500

随机SAT 全部资料 500 份

调用随机函数输入2个矩阵,并用Strassen矩阵乘法和普通的矩阵乘法计算2个矩阵的乘积,并且记录程序运行时间作比较。

2017-05-10 48 随机SAT

分析了传统CPM和PERT方法的缺陷,利用逻辑矩阵“穷举”识别工作路径,导出项目计划可靠性公式,提出了在两点法基础上确定时间参数、基于MATLAB+SIMULINK建立随机网络模型的解决方案。仿

2024-01-24 7 随机SAT