可满足性热门资料

用Matlab产生一满足条件的窄带随机过程，编写子程序计算该随机过程的均值函数，自相关函数，功率谱，包络，包络平方及相位的一维概率密度画出相应的图形

2014-06-20 116 可满足性

128Mb以上的串行闪存被认为是电子产品满足市场需求、增加更多功能的一个主要障碍，针对需要128Mb以上串行闪存的应用要求，美光科技 (Micron Technology)推出一个简单的独一无二的扩容解决方案。这个解决方案可以把存储容量轻松...

2013-12-20 149 可满足性

书管理系统需要满足来自三方面的需求，这三个方面分别是图书借阅者、图书馆工作人员和图书馆管理人员。图书借阅者的需求是查询图书馆所存的图书、个人借阅情况及个人信息的修改；图书馆工作人员对图书借阅者的借阅及还书要求进行操作，同时形成借书或还书报表...

2016-07-22 52 可满足性

2013-12-11 150 可满足性

这个PID的算法只能满足一般控制的场合，如果您要用于实际工程的话，还需要根据实际需求进行修改。

2014-11-26 46 可满足性

线性迭代法求解矩阵方程的解。包含检验方程组是否满足迭代条件，即归一后每行变量不同

2016-07-08 43 可满足性

2015-04-29 152 可满足性

2014-01-11 23 可满足性

将炼钢批量计划问题转化为一个约束满足问题处理，建立问题的约束满足模型，给出了基于约束满足的求解算法。仿真实验证明了模型和算法是有效的。关键词:炼钢-连铸-热轧；炼钢批量计划；约束满足；约束传播

2023-11-14 1 可满足性

2016-05-28 185 可满足性

可满足性