基于约束的参数化驱动模型研究

参数化设计在现代CAD系统中占据着越来越重要的地位 ,参数驱动过程实质就是几何约束的满足和求解过程。针对传统CAD系统中存在的不足之处 ,本文主要讨论了基于约束的参数驱动模型的实现原理 ,几何约束的表达和求解方法 ,以及几何约束和工程约束的关联关系。概括了参数化绘图系统的主要特征。     

参数化设计中的对象约束模型及反向约束的研究

应用图论方法,建立了基于有向超图的对象约束模型,提出了压缩十字链表形式的网状存储结构,能够完整,准确地记录设计者的设计意图,实现尺寸及参数驱动图形的功能清晰地表示约束间的双向约束关系,有效地实现了约束的传播与救解,其完备的表不方式可方便地实现反向约束求解。同时利用面向对象技术,高效地实现了实体及约束建模,采用相应的类层次结构,充分发挥对象的封装性和扩展性,提出了一种方便灵活的参数化设计方法。     

产品广义参数化设计的研究

分析了参数化设计的研究现状,提出了面向设计周期的产品广义参数化设计的概念,建立了从产品概念设计到详细设计的广义参数化信息模型,定义不同层次的参数映射和约束表达方法,通过主参数来封装产品几何信息和非几何信息,从而最终实现产品级、部件级与零件的参数化设计。     

基于工程约束的产品参数化建模策略研究

在详述目前参数化建模技术的特点及其不足的基础上,提出了参数化建模系统工程应用化的实现策略,对设计参数的层次化定义、工程设计约束的分类及其动态化和智能化处理提出了有效的解决方案,并据此构造了基于工程约束的产品参数化建模系统。     

一种利用有向图优化约束求解的方法

为克服约束求解的效率问题及可靠性问题，本文提出了一种基于图结构的约束求解方法，它利用图瓣形式来表示几何元素之间的约束关系，使得几何元素的求解从整体下降 至局部，将一个方程组的求解问题论为几个小方程组的求解，大大降低了计算复杂度，进而提高了求解的可靠性。     

参数化设计研究

参数化设计是提高企业产品设计创新能力的关键。从参数化模型的不同表示方式，相应的求解方法，建立模型的交互手段等方面综述产品参数化设计的研究现状及未来发展中需要解决的问题。重点讨论传统CAD领域所涉及的二维图纸及三维零件造型等几何问题参数化设计，并在此基础上对传统的参数化的概念进行扩展，讨论产品全生命周期的参数化设计问题及产品参数化设计的相关国际标准。     

基于图的参数化设计方法

参数化系统中约束的表达和约束的求解是两大关键性技术问题。作者提出的基于图的参数化方法是将约束分成拓扑约束和几何约束,并以图结构表达这两类约束,然后对约束网络图进行拓扑排序、分解,以确定求解序列和检测约束一致性,最后按照几何约束网中的约束关系进行“几何参数驱动”,以实现参数化。     

产品参数化CAD系统数据模型的研究与实践

本文针对加工中心总体布局模块化参数化设计的理论 ，叙述了完整，一致高效的数据模型的构造与实现。     

基于特征智能参数化的设计模型及实例

本文介绍了一个基于特征管能参数化CAIJ系统的设计模型及运行实例。该系统依据形状特征建立包括拓扑关系数据和几何数据在内的工程图样数据库，从而实现产品的智能参数化设计。该系统以机床主轴组件设计作为实例运行，使其智能参数化的设计思想得以具体实现。     

约束及基于约束的参数化设计

在基于约束的参数化设计中约束的处理十分重要,本文主要分析约束的基本概念、表示、分类及约束的特性。最后提出基于约束的参数化设计的求解过程。     

空间信息服务链模型的有向图表示及其验证

由于目前通用的Web服务组合语言不适合地理信息处理业务流程的直观表达,且学习成本高,不适合空间信息领域的用户使用,因此建立了一种基于有向图的空间信息服务链模型,并从模型组成元素、约束条件和控制模式3个方面对其进行了详细定义和设计。针对构建的服务链模型,从模型语法正确性、结构正确性和语义正确性3个方面进行研究,通过对空间信息服务链模型结构的分析,结合现有的图规约规则,研究并设计了空间信息服务链模型的语法、结构和语义验证方法,并给出了模型验证方法的具体算法和实现流程。通过具体的案例分析,说明了所提出的算法和设计的实施流程的有效性和可操作性。     

工作流模型的有向图表示及基于Petri网的验证方法

该文从工作流模型的基本结构出发,描述了模型结构的有向图表达方法与建模方式,提出了一种将有向图转化为Petri网的转换算法,说明Petri网与工作流网的关系,之后运用Petri网的分析技术来验证模型的正确性,为电子政务领域内工作流模型的正确性验证提供了一种解决方案。     

基于产品符号传递模型的设计定制系统设计与实现

从符号学的角度分析了产品设计过程,建立了产品符号传递模型。基于这个模型架构设计并实现了一个设计定制系统。该系统从多视图、多层次对产品设计和产品定制进行辅助,能提高信息传递的效率,并为企业快速响应客户需求提供了有效的解决方案,     

基于产品符号传递模型的设计定制系统设计与实现*

从符号学的角度分析了产品设计过程,建立了产品符号传递模型。基于这个模型架构设计并实现了一个设计定制系统。该系统从多视图、多层次对产品设计和产品定制进行辅助,能提高信息传递的效率,并为企业快速响应客户需求提供了有效的解决方案。     

基于KAP有向图模型的医学图像分类算法*

脑部CT图像拥有良好的纹理特性且图像间纹理角点的位置近似相同。基于此原因,文中提出基于K最近邻纹理角点(KAP)有向图模型的医学图像分类算法。首先提出面向纹理的角点提取方法;然后针对提取的角点,结合医学图像的固有特点,提出KAP有向图模型用于描述医学图像;最后基于KAP有向图模型提出医学图像分类算法。实验表明,文中算法在时间复杂度和准确度方面都取得较好结果。     

几何约束有向图的规划分解研究

在基于有向图表达的几何约束系统中,几何约束的匹配方向、分布状态以及有向图中强连通分量的规模直接影响到整个约束系统的求解;如何对几何约束系统进行合理规划,得到正确有效的求解序列,是目前约束分解研究的重要内容。该文提出了一个规划分解算法,它针对欠约束几何系统的特点,能够优化约束的初始匹配方向,对于约束匹配过程中生成的强连通子图,通过调整约束匹配方向,自适应地改善约束分布,从而减小强连通子图的规模,以求得到几何约束系统正确而高效的求解序列。同时,基于规划分解算法,完成了约束的奇异性分析,提供了面向分解的奇异性分析算法。     

一个基于约束图的参数化设计模型

基于图论的约束求解方法是目前参数化设计的主要方法,此方法已经应用于许多商品化软件中。该文提出了一个基于几何约束图的参数化设计模型,并给出了参数化模型的数据结构和约束求解算法。此算法可以有效地检查系统的过约束和欠约束情况。     

基于MVC设计模式的项目管理的研究与应用

分析研究了MVC（ModelViewController）设计模式,为用户提供了网络图、任务图、甘特图、树状图等多种视图,同时针对特定的应用需求,提出对网络图的多级分解、逐层提交的实现方案;实现了新品研制信息和研制进度的多视角、多层次显示和管理。     

基于有向无环图的区块链技术综述

区块链技术已广泛应用于金融、公共服务、物联网、网络安全、供应链等多个领域,但传统单链结构的区块链在吞吐量、交易确认速度和可扩展性方面存在不足,导致其在一些短时高并发量数据场景中难以落地应用。基于有向无环图（DAG）的区块链技术因其具有交易并发确认功能、吞吐量高、可扩展性强等优势受到研究者广泛关注。通过分析研究现有DAG区块链的发展和演化过程、评估方法、优化方向以及应用场景,探索DAG区块链在落地应用中的可行性。阐述主流DAG区块链的研究现状,比较传统区块链与DAG区块链的优势与不足,并分析现有区块链属性评估方法,总结DAG区块链评估结果。在此基础上,从交易确认速度、系统吞吐量、系统安全性、存储结构等方面对比现有DAG区块链的优化方法,介绍DAG区块链在数据管理、基于边缘计算和联邦学习的数据共享以及面向访问控制和隐私保护的数据安全等场景中的应用情况,并指出当前研究中存在的主要问题和挑战,对未来的研究方向进行展望。     

基于模板技术的产品大规模定制信息发布模型

提出了基于模板技术的产品定制信息发布模型,该模型根据产品定制系统页面输出样式,通过模板定义层定义页面输出模板,并由模板生成层生成并保存页面输出模板;系统输出数据通过页面输出发布程序,结合相应的页面输出模板生成Web发布页面。该模型实现了系统信息发布页面的灵活定制和信息输出发布软件的复用。