2 citations · 3 across the 20 of their papers we have counts for
20 papers
Flip-graph non-convexity for once-punctured polygons
Lionel Pournin, Zili Wang
The set of the triangulations with vertex set of a simple polygon can be structured into a flip-graph whose edges connect two triangula…
Design for Manufacturing: A Manufacturability Knowledge-Integrated Reinforcement Learning Framework for Free-Form Pipe Routing in Aeroengines
Caicheng Wang, Zili Wang, Shuyou Zhang +4
Design for manufacturing plays a critical role in advanced aeroengine development, where complex components necessitate careful consideration of manufacturability. However, current…
Decomposing Centrally Symmetric Convex Polyhedral Surfaces into Parallelograms
Zili Wang, Cong Wu
Let be the moduli space of centrally symmetric convex polyhedral surfaces with labeled vertices and prescribed cone-deficits , $δ_…
A 3D Generation Framework from Cross Modality to Parameterized Primitive
Yiming Liang, Huan Yu, Zili Wang +4
Recent advancements in AI-driven 3D model generation have leveraged cross modality, yet generating models with smooth surfaces and minimizing storage overhead remain challenges. Th…
Taut fillings
Peter Doyle, Matthew Ellison, Zili Wang
Let be a simplicial triangulation of the 2-sphere, the associated integral 2-cycle. A filling of is an integral 3-chain with ; a taut filling is one…
A self-learning framework for adaptive free-form pipe routing in aeroengines
Caicheng Wang, Zili Wang, Shuyou Zhang +3
Pipe routing is a highly complex, time-consuming, and no-deterministic polynomial-time hard (NP-hard) problem in aeroengine design. Despite extensive research efforts in optimizing…
Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier
Mission-time Linear Temporal Logic (MLTL), a widely used subset of popular specification logics like STL and MTL, is often used to model and verify real world systems in safety-cri…
Formalizing MLTL Formula Progression in Isabelle/HOL
Katherine Kosaian, Zili Wang, Elizabeth Sloan +1
Mission-time Linear Temporal Logic (MLTL) is rapidly increasing in popularity as a specification logic, e.g., for runtime verification and model checking, driving a need for a trus…
R3D-AD: Reconstruction via Diffusion for 3D Anomaly Detection
Zheyuan Zhou, Le Wang, Naiyu Fang +3
3D anomaly detection plays a crucial role in monitoring parts for localized inherent defects in precision manufacturing. Embedding-based and reconstruction-based approaches are amo…
A Novel Garment Transfer Method Supervised by Distilled Knowledge of Virtual Try-on Model
Naiyu Fang, Lemiao Qiu, Shuyou Zhang +3
This paper proposes a novel garment transfer method supervised with knowledge distillation from virtual try-on. Our method first reasons the transfer parsing to provide shape prior…
GSDC Transformer: An Efficient and Effective Cue Fusion for Monocular Multi-Frame Depth Estimation
Naiyu Fang, Lemiao Qiu, Shuyou Zhang +3
Depth estimation provides an alternative approach for perceiving 3D information in autonomous driving. Monocular depth estimation, whether with single-frame or multi-frame inputs,…
PG-VTON: A Novel Image-Based Virtual Try-On Method via Progressive Inference Paradigm
Naiyu Fang, Lemiao Qiu, Shuyou Zhang +2
Virtual try-on is a promising computer vision topic with a high commercial value wherein a new garment is visually worn on a person with a photo-realistic effect. Previous studies…
A Cross-Scale Hierarchical Transformer with Correspondence-Augmented Attention for inferring Bird's-Eye-View Semantic Segmentation
Naiyu Fang, Lemiao Qiu, Shuyou Zhang +3
As bird's-eye-view (BEV) semantic segmentation is simple-to-visualize and easy-to-handle, it has been applied in autonomous driving to provide the surrounding information to downst…
Filling a triangulation of the 2-sphere
Peter Doyle, Matthew Ellison, Zili Wang
Define the tet-volume of a triangulation of the 2-sphere to be the minimum number of tetrahedra in a 3-complex of which it is the boundary, and let be the maximum tet-volume…
Physical Logic Enhanced Network for Small-Sample Bi-Layer Metallic Tubes Bending Springback Prediction
Chang Sun, Zili Wang, Shuyou Zhang +2
Bi-layer metallic tube (BMT) plays an extremely crucial role in engineering applications, with rotary draw bending (RDB) the high-precision bending processing can be achieved, howe…
Digital-twin-enhanced metal tube bending forming real-time prediction method based on Multi-source-input MTL
Chang Sun, Zili Wang, Shuyou Zhang +3
As one of the most widely used metal tube bending methods, the rotary draw bending (RDB) process enables reliable and high-precision metal tube bending forming (MTBF). The forming…
Flip Distance and Triangulations of a Ball
Zili Wang
It is known that the flip distance between two triangulations of a convex polygon is related to the minimum number of tetrahedra in the triangulation of some polyhedron. It is inte…
Strong convexity in flip-graphs
Lionel Pournin, Zili Wang
The set of triangulations of a surface with a prescribed set of vertices can be endowed with a graph structure called a flip-graph, whose edges connect t…
Shapes of Centrally Symmetric Octahedra with Prescribed Cone-Deficits
Zili Wang
In his paper "Shapes of Polyhedra and Triangulations of the Sphere", Thurston found that the set of shapes of convex polyhedra with prescribed cone-deficits has a complex hyperboli…
Farthest Point Map on a Centrally Symmetric Convex Polyhedron
Zili Wang
The farthest point map sends a point in a compact metric space to the set of points farthest from it. We focus on the case when this metric space is a convex centrally symmetric po…