基于有向超图的参数化表示模型及其实现

本文提出了一种基于有向超图的参数化图表表示模型。它不仅能够表示图形的尺寸约束和几何约束，而且能够支持图形拓扑结构变化和工程设计约束的表示，在交互绘制图形对象的同时直接建立参数化图形约束模型。由于在图形构造的每一步都保证约束的一致性，因此，不会出现过约束或欠约束的情况。经实践表明，该模型具有实用方便、高效可行的特点，适合于系列化产品的参数化ＣＡＤ系统建模和绘图。     

基于有向超图的资源约束下企业过程结构优化

为了提高企业过程结构优化的实用性、合理性以及计算机支持性,提出了基于有向超图和资源约束的优化方法.根据优化需求,通过对考虑了支持资源的过程进行不同的有向超图建模,利用有向超图的性质以及超图上所附加的过程语义,把过程结构优化转化为有向超图的切割和活动合并问题,并给出具体求解过程.求得的过程为一个结构和支持资源都优化的过程.最后,通过举例验证该方法可行、有效.     

网格优化有向超图任务调度算法

任务调度是网格计算的一个重要部分.分析网格环境下任务调度的特点以及传统DAG图的优缺点,吸取有向超图的优点,将有向超图理论融合网格环境特征,建立了网格环境下的优化有向超图模型,并在此基础上通过网格优化有向超图的水平构形、标号及带宽计算实现任务对网格资源的映射与调度,提出网格优化有向超图任务调度算法GODHTS.模拟实验结果证明了该模型及其算法的有效性和优越性.     

基于赋权有向超图的云计算依赖任务调度研究

如何对依赖任务进行高效合理的调度是云计算急需解决的关键问题之一。对云计算环境下的依赖任务调度系统进行了形式化描述。采用赋权有向无环超图来构造依赖任务调度问题的数学模型,结点对应于依赖任务,有向超边对应于任务之间的执行先后依赖关系。将云计算依赖任务调度问题转换为赋权有向超图的优化划分问题,提出了基于多水平方法和赋权有向超图的依赖任务划分优化算法。设计并实现了基于多水平方法的云计算依赖任务调度原型系统。在CloudSim云计算仿真实验平台下,与Min-Min算法、Max-Min算法进行了对比实验,实验数据对比表明该算法在减少依赖任务执行时间的同时,优化了资源负载均衡性能。     

事件超图模型及类型识别

为避免向量空间模型的独立性假设影响事件类型识别,该文提出了一种基于超图的事件类型识别方法。该方法首先用事件超图描写事件元素间的多元有序关系;然后用事件超图模型(由事件超图添加类型组件和层面组件后构成)描述某个(某类)事件在不同观测层面的属性及其结构;最后根据事件的属性及其结构计算其相似度,并借此完成事件类型识别。实验结果显示,此方法识别效率的平均F值达到83.0%,与基于向量空间模型的支持向量机方法和最大熵方法相比,此方法也具有一定优势。     

一种基于几何推理的参数化设计方法

本文提出一种基于几何推理的参数化设计方法，该方法引入了已知元素，已知约束等新概念；通过扩展一般的图形数据结构统一表示几何元素与几何约束；基于普通算法而不是专家系统实现几何推理，并采用一个更适合地几何推理策略；基于几何推理实现参数化设计。     

超图模型:基于超图的设计模式描述和复用实现

设计模式描述了面向对象软件设计的经验,是软件复用的关键技术。由于设计模式涉及范围广泛而且抽象,即使模式本身并不深奥,因其表示或描述隐晦,在软件开发中难以理解和实现复用。文章提出了超图模型,即基于超图的设计模式表示,并对其在软件系统开发中的复用进行了分析研究。对基于设计模式的软件系统构建进行了探索。     

一种基于功能约束的参数化图形设计方法

本文在现有参数化图形设计方法的基础上述通过对设计过程中功能要求的研究，提出了功能约束的概念，把功能约束引入参数化图形设计过程。在实践的基础邮基于功能约束的参数化图形设计的三种算法，并给出了部分实践的结果。采用本文提出的方法，较好地实现了产品设计中从功能得结构的设计集成，为进一步研究设计集成问题提供了一种尝试。     

全参数化设计实现机理及约束可视管理

为了提高设计效率,提出一种全参数化设计方法,系统阐述其实现机理,给出自动施加约束、约束实时显示及约束可视管理算法。并运用AutoCAD二次开发技术,将几何约束求解器CBA和CAD绘图平台有机结合,实现全参数化绘图。     

一种适用于特征造型的参数化设计方法

本文提出了一种面向特征造型的参数化设计方法，该方法对三维几何约束在初始设计阶段采用高层表示，并基于面向特征造型的高层几何约束模型与约束传播实现尺寸驱动几何，从而能够有效地支持特征设计，初始设计。     

微分观点下的参数化设计技术原理和实现方法

参数化设计以其强有力的草图设计和图纸尺寸驱动功能已成为实现产品的初步设计，系列设计以及变异式设计的核心技术，本文提出了一种新的基于微妥观点的参数化设计方法，其基一思想是将用户修改参数的过程用一个关于时间的常发方程组来建模，通过求解该常微分方程组的初始值问题来实现系统的自动参数调整，与现有单纯使用非线性方程组求解的参数化方法相比，这种参数化设计方法在可靠性和效率方面有较大的改进，此外这种方法还可以用     

一种新的面向参数化绘图的约束管理技术

参数化设计技术是当代ＣＡＤ技术的核心．作为该技术基础的几何约束系统的建模与求解，要求对约束进行方便、有效的管理．为此，本文基于自由度分析、图论、稀疏矩阵及非线性方程等理论，提出了几何约束最大归约理论，实现了几何约束系统的最大分解，并以归约树的形式清晰地表达了系统内在的串、并、耦合机制，并成功地应用于参数化绘图系统中至关重要的约束一致性检查、快速求解等约束管理问题.     

参数化设计中的动态约束迭代及静态因果分析技术

参数化设计以其强有力的草图设计和图纸尺寸驱动功能成为实现产品的初步设计、系列设计以及变异式设计的核心技术。这两种参化设计算法克服了现有参数化方法在功能、效率以及可靠性等方面存在的 问题，历而能够地应用到实际系统中去。     

基于约束的形状自动求解新算法

基于约束的产品形状描述及求解是目前计算机辅助设计研究的一个热点。本文在研究国内外现有技术的基础上，提出了一个基于约束的形状自动求解算法，该算法与国内外现有相关算法相比具有高效、实用、易于扩充，支持约束有效性检测，支持局部优化生成等显著优点，该算法已被实用系统所采用，成为我们最新研制的参数化二维草图系统的核心算法。     

HyCAD：一个基于结构化变分几何的变参设计系统

ＨｙＣＡＤ是一个支持参数化的新一代设计系统，它根据对实际工程设计过程的分析，将设计对象分解为主元与从元两大部分，并结合了变分法设计和结构化设计的优点，从而提高了设计效率的可靠性。本文主要介绍了该系统的基本设计思想及系统体系结构。     

参数化设计中几何特征变异图元的处理

本文提出了参数化设计块（ＰＤＢ）的概念，为解决几何特征变异的参数化设计提供了一种的途径，利用ＯＯＰ方法，探讨了ＰＤＢ的定义及生成，介绍了采用ＰＤＢ的二维参数化设计系统，并成功地应用在实用的洗衣机ＣＡＤ系统中。     

面向对象的企业过程建模及实现方法研究

本文简要分析了目前企业过程建模方面存在的问题,提出了基于面向对象的过程网概 念和模型结构,采用形式化的语言进行了过程的表述．在此基础上采用组件技术建立起面向 过程的信息系统的实现方法和机制．在建模方法中,引入T、Q、C等性能指标,使过程 建模与过程控制有效地结合,对企业敏捷化信息系统的实现进行了初步的探讨．     

基于NURBS的点阵材料参数化建模方法

点阵材料因具有优异的物理性能而受到广泛重视,但是相关理论模型研究滞后且仿真数字模型构建存在困难。对比提出一种基于NURBS的点阵材料参数化建模方法。通过给定参数化的骨架模型以及局部控制尺寸,依据骨架模型节点处曲线数量分别构建基本单胞和复杂单胞。这些单胞模型按照点阵材料骨架曲线的拓扑关系进行拼接,从而生成点阵材料NURBS模型,并通过切片对该模型进行三维打印模型验证。通过开发的点阵材料造型系统给出建模实例表明,该方法能够实现点阵材料的参数化建模,从而为进一步的等几何分析提供模型基础。     

基于图形数据的图形参数化方法

基于对图形数据的操作和对几何约束的处理,本文提出了一种参数化图形的新方法—参数驱动方法;提出了利用驱动树分析几何约束的方法;阐述了图形参数化的新思想:图形编程。本方法已用于剪板机和高压闸阀的设计绘图。