基于约束满足搜索算法的测试用例生成策略
针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题,运用约束满足搜索算法,通过减少约束方程组中参数变量的个数,逐步缩小参数变量的取值范围,提出基于符号法求解约束的改进算法。对含有非线性谓词、
设计约束技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题,运用约束满足搜索算法,通过减少约束方程组中参数变量的个数,逐步缩小参数变量的取值范围,提出基于符号法求解约束的改进算法。对含有非线性谓词、
2005年全国单片机与嵌入式系统学术交流会论文,论文介绍了实现动态聚焦常用的3种方法,给出了一种基于FPGA和非均匀采样法的数字声束合成器的实现方法,并对动态聚焦、动态变迹等关键功能模块的实现进行了详细介绍。
ALLEGRO 约束规则设置步骤(以DDR 为例),同样为pdf格式方便大家下载使用
由于BP网络的权值优化是一个无约束优化问题,而且权值要采用实数编码,所以直接利用Matlab遗传算法工具箱。以下贴出的代码是为一个19输入变量,1个输出变量情况下的非线性回归而设计的,如果要应用于其它情况,只需改动编解码函数即可。
由于BP网络的权值优化是一个无约束优化问题,而且权值要采用实数编码,所以直接利用Matlab遗传算法工具箱。以下贴出的代码是为一个19输入变量,1个输出变量情况下的非线性回归而设计的,如果要应用于其它情况,只需改动编解码函数即可。程序需要调...
带有QoS约束的组播路由问题是一个NP完全问题,遗传模拟退火算法是遗传算法和模拟退火算法的一种融合,可以为这类问题提供一个解决方案