Static specification analysis for termination of specification-based data structure repair

Author(s):  
B. Demsky ◽  
M. Rinard
Author(s):  
Ronald M. Dolin ◽  
Robert J. Bernhard

Abstract An integrated geometry based method of analysis and optimization is presented. The significance of geometry based analysis and optimization methods are discussed. A hierarchical integer based data structure, used to define and manipulate geometry, is presented. Many features of the integer based data structure are given. Shapes are shown to represent the fundamental geometry. Variables of shapes are constrained and related to each other so that a reduced set of design variables result. These design variables are used to pose both analysis and optimization problems. Heuristics are used to simplify the integrated geometry specification, analysis and optimization procedures. The resulting engineering environment concurrently poses analysis and optimization problems during geometry generation, leading to an integrated geometry based method of analysis and optimization.


2019 ◽  
Vol 43 (4) ◽  
pp. 66-66
Author(s):  
Guolong Zheng ◽  
Quang Loc Le ◽  
ThanhVu Nguyen ◽  
Quoc-Sang Phan

Sign in / Sign up

Export Citation Format

Share Document