拟对称网：科科塔基斯多面体等模椭圆型的构造性方法

《Computer-Aided Design》：Quasi-symmetric nets: A constructive approach to the equimodular elliptic type of Kokotsakis polyhedra

　　A. Nurmatov|M. Skopenkov|F. Rist|J. Klein|D.L. Michels•本文采用代数与分析方法研究可弯曲的Kokotsakis多面体。•引入了一类可构造的等模椭圆型多面体——即准对称网络。•这类准对称网络在实欧几里得空间中具有特定的弯曲特性，且该特性可通过封闭形式表达。•现已开发出一种数值算法，可用于构建等模椭圆型多面体。•此外还制造出了由不锈钢制成的实物原型。

引言与前期工作
随着机器人技术、太阳能电池、超材料、艺术及建筑等领域对可弯曲及可展开结构的日益重视，这类结构因其广泛的应用价值而受到关注。在建筑领域，它们能够简化施工流程、实现创新设计，并提升建筑的功能性。著名的案例包括圣地亚哥·卡拉特拉瓦设计的佛罗里达理工学院建筑、迪拜世博会的阿联酋馆以及密尔沃基的Quadracci馆。

主要结果
在深入探讨严谨的数学框架之前，我们先简要概述主要研究成果，并阐述引入这些成果的动机。直接从正式定义出发构建等模椭圆型多面体的例子并非易事，无论是通过数值方法还是显式方法都面临挑战。因此，我们的目标并非仅仅找到一个孤立的例子，而是建立一套系统化的框架，以提升设计灵活性。

证明
我们首先证明定理1，然后再证明命题1。定理1的证明需要三个简单的引理1–3，而命题1的证明则需要引理4–7。此后，我们将使用(3)–(11)中给出的符号。

引理1
若ai,bi,ci,di具有明确的定义（即sinαˉi, sinβˉi, sinγˉi, sinδˉi≠0；参见(4)），那么有：
1?aibi=sinσisin(αˉi?βi)sinαˉisinβˉi，
cidi?1=sinσisin(αˉi?βi)sinγˉisinδˉi，
1?bici=sinσisin(γˉi?βi)sinβˉisinγˉi，
aidi?1=sinσisin(γˉi?βi)sinαˉisinδˉi，
1?bidi=sinσisin(δˉi?βi)sinβˉisinδˉi，
aici?1=sinσisin(δˉi?βi)sinαˉisinγˉi，
1?Mi=sinσ

算法与示例
我们现在介绍几种等模椭圆型多面体的构建方法，并通过具体示例加以说明。首先介绍定理1中的特殊情形——封闭形式示例，并分析其矛盾特性。接着，利用命题1及第3节中的引理，构建另一种完全不同的封闭形式示例。这一构建过程也展示了准对称概念的起源。随后，我们还会介绍数值搜索方法。

讨论
在本研究中，我们填补了关于四边形底面可弯曲Kokotsakis多面体分类领域的空白，首次给出了等模椭圆型的明确构建方法——主要是通过定理1（QS-net）——同时还推导出了一个明确的代数表征公式（命题1），该公式通过变量(u,xi,yi,zi)及关系式(13b)–(13h)将平面角与二面角联系起来。尽管准对称网络的定义十分简单直接，但通往这一结果的路径却相当复杂。

结论
总而言之，我们通过首次给出等模椭圆型四边形Kokotsakis多面体的明确构建方法及其代数表征，弥补了可弯曲机构理论中的长期空白。在Izmestiev的抽象框架基础上，我们将分类问题转化为一个多项式系统，该系统直接关联平面角与二面角。这一系统——体现在命题1中，并由定理1的构建方法加以补充——构成了本研究的核心内容。

作者贡献说明
A. Nurmatov：撰写原文初稿、可视化处理、软件应用、研究实施。
M. Skopenkov：撰写文本并负责审阅编辑、结果验证、概念设计。
F. Rist：负责可视化处理、结果验证。
J. Klein：项目监督、整体项目管理。
D.L. Michels：撰写文本并负责审阅编辑、项目监督与管理工作、方法论设计、资金筹措、概念设计。

利益冲突声明
作者声明不存在任何可能影响本文研究结果的已知财务利益或个人关系。

致谢
本研究得到了KAUST计算科学小组的基础资金支持。