论文部分内容阅读
对不完全算法在搜索空间上的部分特性进行统计分析，并对算法的执行轨迹进行Markov建模，推导出算法的转移矩阵模型，最后通过实验证明了该模型的正确性。
SAT局部搜索算法的转移矩阵模型
【摘 要】
：
对不完全算法在搜索空间上的部分特性进行统计分析，并对算法的执行轨迹进行Markov建模，推导出算法的转移矩阵模型，最后通过实验证明了该模型的正确性。
【机 构】
：
中国科学技术大学计算机科学系
【出 处】
：
计算机工程
【发表日期】
：
2006年3期
其他文献
阐述了社会化媒体营销的定义,通过对兰亭集势跨境电子商务公司的社会化营销 策略进行研究,分析其营销策略特点,并对跨境电商如何做好社会化媒体营销提出建议.
介绍了一种新的多目标进化算法—Pareto-MEC。将基本MEC和Pareto思想结合起来处理多目标问题。提出了局部Pareto最优解集与局部Paret0最优态集概念，并利用概率论的基本理论证
绞窄性肠梗阻是普外科危重病之一,可有不同的临床表现.该病发病急,病情变化快,病死率高,尤其是老年人救治难度更大.我院1999年～2004年收治8例老年绞窄性肠梗阻,现将误诊及救治
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
分析了现有WebGIS的不足,论述了基于.NET技术的实现模型和技术特点,并根据多层结构及组件化的思想,构建了一种新的架构——基于.NET框架的WebGIS系统,该系统利用.NET的技术特点,解决了现有系统并发能力不强、兼容性不够、开发及部署复杂等问题,并且在.NET环境下进行了实现。
从路口视频图像中实时地构建道路背景图像是基于背景减法的车流量检测的前提。由于路口车流信息复杂，图像受外界环境因素影响大，现有的背景估计算法都有不足之处。该文提出了一