 Award ID(s):
 2239062
 NSFPAR ID:
 10500530
 Publisher / Repository:
 ACM
 Date Published:
 Journal Name:
 SA '23: SIGGRAPH Asia 2023 Conference Papers
 ISBN:
 9798400703157
 Page Range / eLocation ID:
 1 to 9
 Format(s):
 Medium: X
 Location:
 Sydney NSW Australia
 Sponsoring Org:
 National Science Foundation
More Like this

An interesting, yet challenging problem in topology optimization consists of finding the lightest structure that is able to withstand a given set of applied loads without experiencing local material failure. Most studies consider material failure via the von Mises criterion, which is designed for ductile materials. To extend the range of applications to structures made of a variety of different materials, we introduce a unified yield function that is able to represent several classical failure criteria including von Mises, Drucker–Prager, Tresca, Mohr–Coulomb, Bresler–Pister and Willam–Warnke, and use it to solve topology optimization problems with local stress constraints. The unified yield function not only represents the classical criteria, but also provides a smooth representation of the Tresca and the Mohr–Coulomb criteria—an attribute that is desired when using gradientbased optimization algorithms. The present framework has been built so that it can be extended to failure criteria other than the ones addressed in this investigation. We present numerical examples to illustrate how the unified yield function can be used to obtain different designs, under prescribed loading or designdependent loading (e.g. selfweight), depending on the chosen failure criterion.more » « less

Abstract Controlling the deformation of a soft body has potential applications in fields requiring precise control over the shape of the body. Areas such as medical robotics can use the shape control of soft robots to repair aneurysms in humans, deliver medicines within the body, among other applications. However, given known external loading, it is usually not possible to deform a soft body into arbitrary shapes if it is fabricated using only a single material. In this work, we propose a new physicsbased method for the computational design of soft hyperelastic bodies to address this problem. The method takes as input an undeformed shape of a body, a specified external load, and a user desired final shape. It then solves an inverse problem in design using nonlinear optimization subject to physics constraints. The nonlinear program is solved using a gradientbased interiorpoint method. Analytical gradients are computed for efficiency. The method outputs fields of material properties which can be used to fabricate a soft body. A body fabricated to match this material field is expected to deform into a userdesired shape, given the same external loading input. Two regularizers are used to ascribe
a priori characteristics of smoothness and contrast, respectively, to the spatial distribution of material fields. The performance of the method is tested on three example cases in silico. 
Abstract Given the costs and a feasible solution for a minimum cost flow problem on a countably infinite network, inverse optimization involves finding new costs that are close to the original ones and that make the given solution optimal. We study this problem using the weighted absolute sum metric to quantify closeness of cost vectors. We provide sufficient conditions under which known results from inverse optimization in minimum cost flow problems on finite networks extend to the countably infinite case. These conditions ensure that recent duality results on countably infinite linear programs can be applied to our setting. Specifically, they enable us to prove that the inverse optimization problem can be reformulated as a capacitated, minimum cost circulation problem on a countably infinite network. Finite‐dimensional truncations of this problem can be solved in polynomial time when the weights equal one, which yields an efficient solution method. The circulation problem can also be solved via the shadow simplex method, where each finite‐dimensional truncation is tackled using the usual network Simplex algorithm that is empirically known to be computationally efficient. We illustrate these results on an infinite horizon shortest path problem.

Bouajjani, A ; Holík, L. ; Wu, Z. (Ed.)This paper presents an optimization based framework to automate system repair against omegaregular properties. In the proposed formalization of optimal repair, the systems are represented as Kripke structures, the properties as omegaregular languages, and the repair space as repair machines—weighted omegaregular transducers equipped with Büchi conditions—that rewrite strings and associate a cost sequence to these rewritings. To translate the resulting costsequences to easily interpretable payoffs, we consider several aggregator functions to map cost sequences to numbers—including limit superior, supremum, discountedsum, and averagesum—to define quantitative cost semantics. The problem of optimal repair, then, is to determine whether traces from a given system can be rewritten to satisfy an omegaregular property when the allowed cost is bounded by a given threshold. We also consider the dual challenge of impair verification that assumes that the rewritings are resolved adversarially under some given cost restriction, and asks to decide if all traces of the system satisfy the specification irrespective of the rewritings. With a negative result to the impair verification problem, we study the problem of designing a minimal mask of the Kripke structure such that the resulting traces satisfy the specifications despite the thresholdbounded impairment. We dub this problem as the mask synthesis problem. This paper presents automatatheoretic solutions to repair synthesis, impair verification, and mask synthesis problem for limit superior, supremum, discountedsum, and averagesum cost semantics.more » « less

Topology optimization problems typically consider a single load case or a small, discrete number of load cases; however, practical structures are often subjected to infinitely many load cases that may vary in intensity, location and/or direction (e.g. moving/rotating loads or uncertain fixed loads). The variability of these loads significantly influences the stress distribution in a structure and should be considered during the design. We propose a locally stressconstrained topology optimization formulation that considers loads with continuously varying direction to ensure structural integrity under more realistic loading conditions. The problem is solved using an Augmented Lagrangian method, and the continuous range of load directions is incorporated through a series of analytic expressions that enables the computation of the worstcase maximum stress over all possible load directions. Variable load intensity is also handled by controlling the magnitude of load basis vectors used to derive the worstcase load. Several two and threedimensional examples demonstrate that topologyoptimized designs are extremely sensitive to loads that vary in direction. The designs generated by this formulation are safer, more reliable, and more suitable for real applications, because they consider realistic loading conditions.more » « less