约束求解论文

  • 基于关键路径覆盖的二进制程序测试技术研究

    基于关键路径覆盖的二进制程序测试技术研究

    论文摘要随着信息时代的到来,计算机软件被广泛应用到社会各个领域,由软件安全漏洞带来的各种危害也日益严重。二进制作为软件的最终表现形式,是软件安全的理想研究对象,但目前二进制漏洞...
  • 语义特征造型系统中直接操作技术的研究

    语义特征造型系统中直接操作技术的研究

    论文摘要目前的语义特征造型系统中,由于特征模型约束求解的速度缓慢,还不能支持特征模型直接操作的特性。针对上述的存在的问题,本文提出了语义特征造型系统中直接操作的新技术。首先,本...
  • 积件化草图交互式三维服装设计方法及重用技术研究

    积件化草图交互式三维服装设计方法及重用技术研究

    论文摘要服装CAD系统从二维向三维转变,是三维计算机技术成熟与服装个性化定制需求日益强烈的一个必然趋势与结果。三维服装曲面的生成、编辑造型,三维服装裁片的自由交互设计是三维服装...
  • 基于约束传播的约束求解方法研究

    基于约束传播的约束求解方法研究

    论文摘要约束程序是人工智能的重要研究方向,约束推理是约束程序领域中一个重要的概念,它包括在求解一个约束满足时,为找到满足所有约束的解而用到的各种技术。而约束传播即为众多的约束推...
  • 三维服装柔性参数化设计方法及技术研究

    三维服装柔性参数化设计方法及技术研究

    论文摘要服装CAD(GarmentComputerAidedDesign,简称GCAD)领域近年来得到极大关注。传统GCAD基于二维裁片操作,称之为二维GCAD,目前二维GCA...
  • 基于约束的现代调度系统研究

    基于约束的现代调度系统研究

    论文摘要现代调度问题往往都是NP完全问题,具有高复杂、动态随机等特性。本文主要研究内容为基于约束的现代调度,即运用约束程序设计方法来求解现代调度问题,从而拓展了约束程序设计在求...
  • 产品需求分析与配置设计研究

    产品需求分析与配置设计研究

    论文摘要大规模定制是企业参与竞争的一种新方法,已经成为现代企业生产模式发展的主要趋势之一。产品配置设计作为大规模定制的重要组成部分,是实现产品快速定制的一种重要方法和关键技术。...
  • 虚拟家居系统中约束求解的研究和实现

    虚拟家居系统中约束求解的研究和实现

    论文摘要本文以虚拟家居设计展示系统为应用目标,以约束求解在虚拟家居设计系统中的应用为主要研究内容,系统研究了虚拟家居系统中约束求解的意义、约束的类型及对约束功能的需求;研究了虚...
  • 虚拟家居设计系统中笔式交互的应用与实现

    虚拟家居设计系统中笔式交互的应用与实现

    论文摘要本文以虚拟家居设计系统为应用目标,以笔式交互在虚拟家居设计系统中的应用为主要研究内容,将基于笔交互的自由勾画技术和概念设计过程中的草图设计技术相结合,并利用已有的手势识...