【摘 要】
：
约束求解的应用领域越来越广泛,在恶意代码检测、程序分析技术、人工智能等方面发挥着越来越重要的作用,研究更加高效的约束求解技术,更快更精确的解决约束问题,成为一个重要
【机 构】
：
解放军信息工程大学信息工程学院,河南郑州,450002
【出 处】
：
河南省计算机学会2011年学术年会
论文部分内容阅读
约束求解的应用领域越来越广泛,在恶意代码检测、程序分析技术、人工智能等方面发挥着越来越重要的作用,研究更加高效的约束求解技术,更快更精确的解决约束问题,成为一个重要的课题.根据约束求解技术所属领域对其进行了归类,将其分为数学求解方法、搜索求解技术和约束推理技术,阐述了常用的各种求解技术的基本思想、特点以及优缺点,最后对约束求解技术的主要发展方向进行了展望.
其他文献
本文提出了一种基于离散小波变换(DWT)及序列插值技术的图像隐藏与提取新算法.首先将图像进行多分辨率分析小波分解,并将有价值的图像信息依序列插值隐藏于低频部分,然后进行
近年来的研究发现,人脸可能位于一个非线性流形上.对保持近邻嵌入(NPE),局部保持投影(LPP)以及无监督分类投影(UDP)这些基于流形学习的算法思想进行了介绍,并通过实验将它们
请下载后查看，本文暂不支持在线获取查看简介。书介漫画@史考特·亚当斯
Please download to view, this article does not support online access to view profile. Book co
本文从教学实践出发,从教育观念、教学模式、课程设计和发挥学生的主体性等方面阐述了在教学中如何对学生进行创新能力和创新精神的培养,为在基础教育中如何推行创新教育提供
芍药属(Paeonia)牡丹组(Paeonia sect.Moutan)植物为中国特有,其野生类群系统分类复杂且没有全面的修订.其中滇牡丹(由于系统关系无统一标准,名称指代不明确,本文描述拟使用
请下载后查看，本文暂不支持在线获取查看简介。况明全作品@况明全$浙江传媒学院影视美术系
Please download to view, this article does not support online access to view
虚拟化技术日益成为当前IT业界的热点.其发展解决了企业在信息化应用过程中,由硬件种类繁多而带来的维护和安全方面的问题.本文主要从虚拟化的发展和当前的应用着手,阐述虚拟
本文从企业信息化建设的基本生命周期入手,论述了企业信息化管理的基本内容、分析了企业发展战略和信息化能力的关系,明确了信息系统在企业的地位,从企业战略分析作为切入点,
夏天是心脑血管病的高发季节,预防的关键在于一方面应增加心脑细胞的营养补给,防止心脑细胞因缺血缺氧而受损,另一方面则应尽可能地减少血栓的形成,确保盛夏时节,“心”安无
东南亚风格有种说不清道不明的神秘调调,它不仅和印度、泰国、印尼等东南亚国家有关,还以东方文化中那种说不清道不明的神秘感混搭着一切元素。当这一切元素和谐地兼容于一室