<p>In computer graphics, simplifying a polygonal mesh surface&#xa0;<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="371_2025_4008_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation> into a geometric proxy that maintains close conformity to&#xa0;<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="371_2025_4008_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation> is crucial, as it can significantly reduce computational demands in various applications. In this paper, we introduce the implicit shell (ImS), a concept designed to implicitly represent the sandwich-walled space surrounding&#xa0;<InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="371_2025_4008_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation>, defined as&#xa0;<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="371_2025_4008_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="282" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{{\textbf {x}}\in \mathbb {R}^3|\epsilon _1\le f({\textbf {x}}) \le \epsilon _2, \epsilon _1&lt; 0, \epsilon _2&gt;0\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mi mathvariant="bold">x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">|</mo> <msub> <mi>ϵ</mi> <mn>1</mn> </msub> <mo>≤</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">x</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msub> <mi>ϵ</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>ϵ</mi> <mn>1</mn> </msub> <mo>&lt;</mo> <mn>0</mn> <mo>,</mo> <msub> <mi>ϵ</mi> <mn>2</mn> </msub> <mo>&gt;</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>. Here, <i>f</i> is an approximation of the signed distance function&#xa0;(SDF) of&#xa0;<InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="371_2025_4008_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation>, and we aim to minimize the thickness&#xa0;<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="371_2025_4008_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon _2-\epsilon _1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ϵ</mi> <mn>2</mn> </msub> <mo>-</mo> <msub> <mi>ϵ</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. To achieve a balance between mathematical simplicity and expressive capability in&#xa0;<i>f</i>, we employ a first-degree tri-variate tensor-product B-spline to represent&#xa0;<i>f</i>. This representation is coupled with adaptive knot grids that adapt to the inherent shape variations of&#xa0;<InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="371_2025_4008_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation>. In this manner, the analytical form of&#xa0;<i>f</i> can be rapidly determined by solving a sparse linear system. Moreover, the process of identifying the extreme values of&#xa0;<i>f</i> among the infinitely many points on&#xa0;<InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="371_2025_4008_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation> can be simplified to seeking extremes among a finite set of candidate points. By exhausting the candidate points, we find the extreme values&#xa0;<InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="371_2025_4008_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon _1&lt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ϵ</mi> <mn>1</mn> </msub> <mo>&lt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="371_2025_4008_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon _2&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ϵ</mi> <mn>2</mn> </msub> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> that define the thickness. The constructed ImS is guaranteed to wrap&#xa0;<InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="371_2025_4008_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation> strictly, without any intersections between the bounding surfaces and&#xa0;<InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="371_2025_4008_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation>. ImS offers numerous potential applications thanks to its rigorousness, tightness, expressiveness, and computational efficiency. We demonstrate the efficacy of ImS in mesh simplification through the control of global error.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

ImS: implicit shell for the sandwich-walled space surrounding polygonal meshes

  • Huibiao Wen,
  • Lei Wang,
  • Shuangmin Chen,
  • Shiqing Xin,
  • Chongyang Deng,
  • Ying He,
  • Wenping Wang,
  • Changhe Tu

摘要

In computer graphics, simplifying a polygonal mesh surface  \(\mathcal {M}\) M into a geometric proxy that maintains close conformity to  \(\mathcal {M}\) M is crucial, as it can significantly reduce computational demands in various applications. In this paper, we introduce the implicit shell (ImS), a concept designed to implicitly represent the sandwich-walled space surrounding  \(\mathcal {M}\) M , defined as  \(\{{\textbf {x}}\in \mathbb {R}^3|\epsilon _1\le f({\textbf {x}}) \le \epsilon _2, \epsilon _1< 0, \epsilon _2>0\}\) { x R 3 | ϵ 1 f ( x ) ϵ 2 , ϵ 1 < 0 , ϵ 2 > 0 } . Here, f is an approximation of the signed distance function (SDF) of  \(\mathcal {M}\) M , and we aim to minimize the thickness  \(\epsilon _2-\epsilon _1\) ϵ 2 - ϵ 1 . To achieve a balance between mathematical simplicity and expressive capability in f, we employ a first-degree tri-variate tensor-product B-spline to represent f. This representation is coupled with adaptive knot grids that adapt to the inherent shape variations of  \(\mathcal {M}\) M . In this manner, the analytical form of f can be rapidly determined by solving a sparse linear system. Moreover, the process of identifying the extreme values of f among the infinitely many points on  \(\mathcal {M}\) M can be simplified to seeking extremes among a finite set of candidate points. By exhausting the candidate points, we find the extreme values  \(\epsilon _1<0\) ϵ 1 < 0 and \(\epsilon _2>0\) ϵ 2 > 0 that define the thickness. The constructed ImS is guaranteed to wrap  \(\mathcal {M}\) M strictly, without any intersections between the bounding surfaces and  \(\mathcal {M}\) M . ImS offers numerous potential applications thanks to its rigorousness, tightness, expressiveness, and computational efficiency. We demonstrate the efficacy of ImS in mesh simplification through the control of global error.