bb456的博客

本文研究了用于形状分析的表面能量特征模式，重点探讨了狄利克雷能量及其修改形式的定义、离散化方法和特征模式性质。通过构建基于特征模式的多尺度表面签名（如振动签名和特征签名）以及相应的多尺度伪度量，实现了对表面几何特征的精细刻画。实验结果表明，相较于传统的拉普拉斯特征模式，$E_N^D$ 特征模式和振动模式能更好地反映外在几何特征，在等距变形、尖锐边缘识别、曲面分割与四边形划分等任务中表现出更强的区分能力。文章还总结了完整的操作流程，并展望了算法优化、复杂形状处理及实际应用拓展的方向。

本文研究了用于形状分析的曲面能量特征模式，提出基于变形能量海森矩阵的特征函数作为拉普拉斯算子的替代方案。这些特征模式不仅依赖曲面的内在几何，还对表面的外在曲率敏感，弥补了传统方法对尖锐弯曲等外部特征不敏感的缺陷。文中推导了计算海森矩阵的简化公式，并提出了振动签名与特征签名，应用于点相似性度量、网格特征识别及频谱四边形划分。实验表明，新方法在匹配外在几何特征方面优于传统拉普拉斯方法，展示了其在形状分析中的潜力。

本文提出一种具有二次精度的曲线插值局部节点选择方法，通过从每组四个连续数据点计算局部节点序列，并结合仿射变换与线性重参数化将其合并为全局节点序列。该方法在数据点形成全局凸多边形时表现出更高的插值精度，实验结果显示其误差显著低于弦长法、Foley法和向心法，尤其在椭圆和高次贝塞尔曲线拟合中优势明显。尽管计算复杂度较高，但为高精度曲线拟合提供了有效解决方案，并指出了未来简化算法和提升通用性的研究方向。

本文介绍了一种高效计算3D闭合对象裁剪Voronoi图的方法，并提出基于CVT的四面体网格划分算法，结合L-BFGS优化与边界约束，实现高质量网格生成。同时，提出一种具有二次精度的局部选择曲线插值节点方法，通过局部二次曲线拟合并归一化构建全局节点序列，显著提升插值精度。实验表明新方法在效率与精度上均优于传统方法，适用于计算机图形学、CAD设计与科学计算等领域，未来可拓展至GPU加速与更高阶插值研究。

本文提出了一种高效算法，用于计算任意封闭三维对象的精确裁剪Voronoi图。通过将输入域表示为四面体网格，并采用邻域传播方法替代传统的kd树搜索，显著提升了表面受限Voronoi图（RVD）的计算效率。算法首先构建三维Voronoi图，然后计算与边界表面相交的边界点，最后基于四面体与Voronoi单元的交集构建裁剪Voronoi单元。该方法不仅适用于凸域，还能高效处理任意拓扑的非凸域。作为应用，结合质心Voronoi镶嵌（CVT）实现了高质量的四面体网格生成，实验结果验证了算法的高效性与实用性。

本文探讨了计算域参数化优化与基于四阶几何流的细分曲面构造方法。在等几何分析（IGA）中，提出通过形状优化调整内部控制点以实现最优参数化，并采用最速下降法结合线搜索进行迭代优化；针对细分曲面构造，引入扩展的Loop细分方案与混合有限元方法，求解满足G1边界条件的几何PDE曲面。文章展示了多个示例验证方法有效性，并展望了在复杂域、三维推广及精确解未知情况下的后验误差估计等未来研究方向。

本文研究了等几何分析中计算域的最优分析感知参数化方法。针对传统CAD与FEA流程中存在的数据传递损耗问题，基于NURBS表示的等几何分析提供了统一的几何与分析框架。文章提出了一种平面B样条参数化单射性的线性充分条件，并通过热传导问题示例验证了参数化对分析精度和效率的重要影响。为进一步提升性能，设计了一种基于形状优化的方法来优化内部控制点布局，在保证参数化单射的前提下最小化误差并减少自由度需求。实验结果表明，优化后的参数化能在相同精度下显著降低计算资源消耗，提升了等几何分析的整体效率。未来工作将拓展至三维问题

本文介绍了一种利用格林函数对星形体积进行参数化的方法，理论证明了格林函数在星形体积中的唯一临界点性质及其水平集为拓扑球面。通过将星形体和多立方体分别映射到单位球，构建光滑映射实现高质量的体积参数化。该方法在体积变形、各向异性实体纹理转移和基于GPU的反应-扩散模拟中展现出优越性能，相比传统方法更具稳健性和保形性。尽管当前仅适用于星形体积且格林函数求解效率有限，未来可通过自动分割非星形体和优化算法进一步拓展应用范围。

本文介绍了一种利用格林函数对星形体积进行参数化的理论可靠方法，通过求解线性约束二次规划确定中心，并使用基本解方法计算格林函数，确保映射为微分同胚。该方法避免了传统体积调和映射对四面体网格的依赖，适用于体积变形、各向异性实体纹理转移及基于GPU的体积计算等应用，具有良好的理论基础与实践潜力。

本文提出了一种构建具有指定边界曲线和最小面积的Catmull-Clark细分曲面的有效方法。通过改进Catmull-Clark细分算法以优化边界处理能力，结合平均曲率流作为演化模型，并采用有限元方法进行离散化求解，实现了对任意拓扑结构控制网格的最小曲面构造。文章详细阐述了控制网格分类、细分曲面评估、弱形式方程构建及线性系统迭代求解过程，实验结果验证了该方法的良好收敛性和稳定性。该方法在工业设计、建筑设计和计算机图形学等领域具有广泛应用前景。

本文系统介绍了点到自由曲线和曲面的高效投影算法及最小Catmull-Clark细分曲面的构建方法。投影算法采用k-DOP边界体积进行裁剪，结合Brent方法和二元Newton-Raphson方法提升计算效率与鲁棒性；最小曲面构建则基于平均曲率流与有限元方法，实现对指定B-样条边界曲线的最小面积曲面生成。实验结果表明，该方法在建筑、艺术和自然科学等领域具有广泛应用前景，并展现出优异的性能与精度。未来工作将聚焦于动态投影、并行优化及多领域工程应用拓展。

本文提出了一种高效的点到自由曲线和曲面的投影算法，通过基于裁剪线/平面的剔除技术与k-DOP边界体积的增量构建，显著减少了问题规模。方法结合采样、几何测试与数值求解，在保证精度的同时大幅提升计算效率。实验表明，该算法在计算时间和问题规模缩减率上均优于传统方法，适用于多种几何计算场景，并具有良好的扩展性。

本文提出了一种在T型连接点生成G1连续贝塞尔曲面的新方法，结合共面G1连续性条件与de Casteljau算法，无需对原始曲线网络进行细分或修改。针对边界曲线上的T型连接点和三价顶点处的T型连接点分别设计了处理流程，并通过引入辅助控制点和求解顶点与边的连续性条件实现G1连续。该方法可局部应用，支持三角和矩形贝塞尔面片，并通过反射线验证了曲面的G1连续性。未来工作包括拓展至多个T型连接点、逼近G2连续性以及在T样条中的应用。

本文介绍了黎曼曲面网格的自动生成方法与G1贝塞尔曲面的构建技术。通过切割曲面、复制顶点、设置高度约束并求解离散狄利克雷问题，实现了具有复杂拓扑结构的黎曼曲面建模，并结合域着色技术实现复函数的可视化。针对曲面建模中的T形连接难题，提出基于共面G1连续性条件与德卡斯特里奥算法相结合的方法，无需预处理即可生成平滑的G1连续贝塞尔曲面。文章还展示了在汽车车身和船舶船体建模中的应用案例，验证了方法的有效性与实用性，为复杂曲面的设计与分析提供了有力工具。

本文提出了一种基于分支点和分支指标自动生成黎曼曲面3D三角网格模型的算法，通过构建分支图、切割基础几何、计算调和高度函数并平滑扩展至内部，实现了对具有复杂拓扑结构的黎曼曲面的可视化。结合区域着色技术，该方法能够清晰展示复函数的解析延拓，有效解决多值函数在传统复平面着色中的不连续问题，有助于深入理解复函数的拓扑行为与几何特性。

本文提出了一种基于周期性识别的扫描装配网格分解方法，用于处理CT扫描获取的机械零件表面网格数据。该方法通过区域扩展与几何合成技术，解决因扫描噪声、阈值设置不当或区域连接导致的分割失败问题，并能从不完整网格中重建全方位的部分网格。通过计算节距角比率和初始匹配，实现对齿轮牙齿接触情况的有效评估。实验结果表明，该方法在人工网格和多种真实齿轮（如曲轴齿轮、LEGO齿轮组件、单锥齿轮）的CT扫描数据上均具有高精度，基角误差小于0.01度，具备良好的适用性和鲁棒性。尽管在小面积牙齿区域和高精度接触评估方面仍存在局限性，

本文提出一种基于周期性识别的扫描装配网格分解方法，用于从复杂扫描数据中准确提取齿轮结构并生成完整网格。方法分为三阶段：首先通过曲率估计与全等性测试分割并分类齿轮齿区域；其次利用平面参数化与优化算法识别旋转周期性，估计轴线、基角等关键参数；最后通过区域增长与几何合成扩展区域，并进行三角剖分以构建完整齿轮网格。该方法在准确性、鲁棒性和效率方面具有显著优势，适用于齿轮装配检测与运动学模拟，具备广泛的应用前景和进一步优化空间。

本文介绍了一种基于体素拓扑分类的非流形中轴面重建方法，以及一种面向扫描装配网格的分解与模拟方法。前者通过采样连接点和边界体素实现薄板物体中轴面的高精度重建；后者以齿轮传动装置为例，提出四步法流程：区域分割与分类、周期性识别、部分网格生成和齿轮齿接触评估，能够从嘈杂的单一材料CT扫描数据中高效准确地分解装配体并生成可用于运动模拟的模型。该方法具有良好的鲁棒性和可扩展性，适用于多种存在旋转周期性的机械装配体分析。

本文提出了一种从体数据中重建薄板物体非流形中轴面的方法，旨在解决传统等值面方法无法准确表示焊接连接点的问题。通过拓扑依赖的子采样、Voronoi图构建和非流形网格生成三步算法，能够有效重建包含连接点的中轴面，并避免空洞和拓扑错误。实验表明该方法在CT扫描数据上具有良好的重建效果，适用于逆向工程、工业检测和虚拟装配等数字工程应用，尽管在处理大规模数据时仍存在计算效率挑战。

本文详细介绍了一种处理平面半代数集的细分方法，重点围绕区域边界曲线的跟踪与轮廓闭合。通过DiscoverContour算法结合Pair和StartingPoint两个核心例程，实现了对复杂半代数集边界的高效追踪。文章涵盖了从基本半代数集到多多项式定义的一般情况，并介绍了规则性测试、交点计算、方向确定等关键步骤。基于Mathemagix平台的实现展示了算法在高次多项式、尖点处理及孔洞识别方面的强大能力，适用于计算机图形学、机器人路径规划和计算几何等领域。

本文提出了一种针对平面半代数集的细分方法，旨在克服传统CAD方法在处理多项式约束时的高复杂度和缺乏近似计算支持的问题。该方法基于实根隔离与Bernstein表示，在矩形域上通过kd-树结构进行空间细分，并结合规则性测试和边界相交测试，逐步构建半代数集的拓扑正确分段线性近似。算法输出由封闭轮廓描述的多边形区域，保证与原集合同痕。文中详细介绍了基本集与一般集情形下的函数实现，并通过C++在Mathemagix系统中实现验证，展示了其在CAGD、优化等领域的应用潜力。

本文介绍了一种高效计算两个管道曲面之间距离的新方法，采用锥球作为边界体积以加速计算过程。通过满足中心曲线的单调条件避免异常情况，并结合初始分割与递归细分策略对曲面进行分割。算法利用距离区间进行无关对剪枝，显著提升了计算效率。完整的迭代流程包括初始化、剪枝、细分与收敛判断，实验结果表明该方法在不同复杂度对象上均优于传统方法，尤其在处理复杂模型时性能优势更为明显，适用于三维几何处理和计算机图形学中的高精度距离计算需求。

本文研究了曲线网络G2插值中的二阶顶点封闭约束及其在高阶价数下的猜想，并提出了一种高效计算两个运河曲面之间距离的新方法。该方法通过使用锥球包围运河曲面、近似距离计算、细分优化、紧密包围锥球构造以及基于距离区间的剪枝技术，显著提升了计算效率与准确性。实验结果表明，相比传统方法，新方法在处理复杂对象时具有更高的计算效率，适用于CAD/CAM、计算机图形学等领域。

本文深入探讨了数学与计算几何中的两个核心问题：符号条件问题的高效算法与曲线网络的G2插值约束。在符号条件问题中，通过构造线性多项式族和分析代数决策树，证明了其深度下界为s，并指出需评估其他多项式组合以实现对数时间复杂度；结合透析法，提出了可用于点定位问题的多项式族扩展方法及其算法复杂度。在曲线网络插值方面，系统推导了G1与G2连续性约束，分析了不同曲线数量n和夹角配置下二阶顶点封闭约束的存在性，特别指出当n3或4时不存在该约束，而n5时在特定角度下存在额外代数约束。研究成果对几何建模、计算机图形学及机械设计

本文深入解析了高效解决符号条件问题的算法，介绍了多项式的算术电路、密集算术和密集位表示方法，并提出通过透析法将非线性问题转化为线性问题的策略。文章分析了不同多项式族在代数计算树模型下的复杂度下界，展示了透析法结合Meiser算法的高效性与接近最优性。此外，还讨论了线性形式族、非标量复杂度族及改进多项式族等示例，比较了各模型的上下界性能，为符号条件问题的理论研究与算法优化提供了坚实基础。

本文介绍了多材料体积分段三线性轮廓技术及其在可视化与交互式绘制中的应用，该技术可提供平滑的材料边界并支持高效GPU渲染。同时探讨了符号条件问题的高效算法，重点分析了Meiser算法与透析方法，涵盖不同多项式表示下的复杂度界。透析方法通过线性化策略实现了近乎最优的求解效率，并可扩展至点定位问题。最后展望了高阶插值优化与算法性能提升的未来方向。

本文提出了一种用于多材料体积建模与可视化的分段三线性轮廓方法。通过在网格单元角点定义非负标量和材料标签，利用三线性插值对空间中任意点进行材料分类，从而构建光滑且连续的材料边界。该方法可重现有符号网格上的标准三线性轮廓，并支持梯度计算以实现精确的表面法向估计。文章介绍了两种轮廓评估方式：基于GPU的直接渲染和多边形化方法，并对比了其性能与效果。此外，还定义了适用于多材料场景的集合操作（如并集、交集、覆盖与限制），并通过改进的模糊标量分配策略提升了轮廓的全局平滑性。实验结果表明，该方法在多种数据集上实现了交互式

本文介绍了毕达哥拉斯速端（PH）三次曲线在G1埃尔米特插值中的应用，分析了解的存在性与数量，并给出了具体的计算步骤和示例。同时，提出了一种多标签三线性等值面绘制方法，用于高效、平滑地表示多材料物体的边界，支持亚体素精度和GPU加速渲染。该方法自然扩展了传统的双材料等值面技术，兼容标准三线性插值，并支持并集、交集等集合操作。通过在人体头骨、分子复合物等多标签数据上的实验，验证了方法在生成连续、光滑边界方面的优越性，为科学可视化和生物医学建模提供了有力工具。

本文探讨了具有有理弦长参数化的曲面与毕达哥拉斯速端曲线（PH曲线）三次曲线的支撑函数及其在G1埃尔米特插值中的应用。通过分析Tschirnhausen三次曲线的支撑函数表示，研究了其G1边界数据的生成条件，并给出了不同参数条件下PH三次曲线解的数量与类型。文章进一步提出了基于支撑函数的Hermite插值算法，涵盖无环与有环曲线段的构造，并将该方法扩展至PH三次曲线的偏移曲线插值。相关成果在几何设计、计算机辅助建模与路径规划等领域具有重要应用价值。

本文探讨了超越系统全局求解器与有理弦长参数化（RCL）曲面的理论与应用。求解器采用基于表达式树和细分的方法，能有效隔离并求解n×n超越系统的全部单根，相较商业软件更具全局性，但在多重根处理、收敛保证及高维扩展方面仍需改进。在几何设计方面，研究了具有弦长参数化的有理曲线与曲面，提出了RCL曲面的构造定理及其几何意义，并通过有理函数q(u,v)生成各类光滑、有界曲面。文章还分析了其在图形学与工程造型中的应用，并指出未来研究方向包括高次曲面、模型融合与动态RCL曲面的发展。

本文介绍了一种基于表达式树和边界锥的超越系统全局解求解方法，通过构建表达式树并自底向上生成边界锥，结合边界多面体运算、无根排除测试与牛顿-拉夫森迭代，有效求解复杂非线性系统。文章详细阐述了边界锥的构造与算术运算规则，并通过阿基米德螺旋线、摆线、圆及曲面相交等多个实例验证了方法的有效性与鲁棒性。同时对求解效率进行了分析，展示了在不同维度和复杂度下的应用表现，最后提出了未来在优化算法与实际工程领域拓展的方向。

本文介绍了第六届几何建模与处理会议（GMP 2010）的举办情况及学术动态，并重点阐述了一种用于求解非线性超越方程组的新算法。该算法采用‘分而治之’策略，结合表达式树与边界锥理论，通过细分定义域和法向量场分析，有效实现根的隔离与收敛，适用于曲线-曲线、曲线-曲面相交等几何问题的求解，在计算机辅助设计、制造和机器人等领域具有广泛应用前景。