A geometric completion and shape analysis method for damaged bilaterally symmetrical artifacts

2021 ◽  
Vol 52 ◽  
pp. 118-127
Author(s):  
Wuyang Shui ◽  
Fei Gao
Keyword(s):  
Shape Analysis ◽  
Analysis Method

Novel pulse-shape-analysis method by using similarity

1998 ◽  
Vol 49 (9-11) ◽  
pp. 1219-1223 ◽  
Author(s):  
Y. Takenaka ◽  
A. Uritani ◽  
K. Inoue ◽  
H. Sakai ◽  
C. Mori
Keyword(s):  
Shape Analysis ◽  
Pulse Shape ◽  
Analysis Method ◽  
Pulse Shape Analysis

scholarly journals Amygdalar shape analysis method using surface contour aligning, spherical mapping, and probabilistic subregional segmentation

2011 ◽  
Vol 488 (1) ◽  
pp. 65-69 ◽  
Author(s):  
Namkug Kim ◽  
Hengjun J. Kim ◽  
Jaeuk Hwang ◽  
Sujung J. Yoon ◽  
Han Byul Cho ◽  
...  
Keyword(s):  
Shape Analysis ◽  
Analysis Method ◽  
Surface Contour

SEM-contour shape analysis method for advanced semiconductor devices

2013 ◽  
Author(s):  
Yasutaka Toyoda ◽  
Hiroyuki Shindo ◽  
Yoshihiro Ota ◽  
Ryoichi Matsuoka ◽  
Yutaka Hojo ◽  
...  
Keyword(s):  
Shape Analysis ◽  
Semiconductor Devices ◽  
Analysis Method ◽  
Contour Shape

scholarly journals Quantitative analysis for symbolic heap bounds of CPS software

2011 ◽  
Vol 8 (4) ◽  
pp. 1251-1276 ◽  
Author(s):  
Renjian Li ◽  
Ji Wang ◽  
Liqian Chen ◽  
Wanwei Liu ◽  
Dengping Wei
Keyword(s):  
Shape Analysis ◽  
Symbolic Execution ◽  
Analysis Method ◽  
Physical Systems ◽  
State Transition Graph ◽  
Systems Software ◽  
Quantitative Property ◽  
Precise Analysis ◽  
Numeric Representation ◽  
Numeric Reasoning

One important quantitative property of CPS (Cyber-Physical Systems) software is its heap bound for which a precise analysis result needs to combine shape analysis and numeric reasoning. In this paper, we present a framework for statically finding symbolic heap bounds of CPS software. The basic idea is to separate numeric reasoning from shape analysis by first constructing an ASTG (Abstract State Transition Graph) and then extracting a pure numeric representation which can be analyzed for the heap bounds. A quantitative shape analysis method based on symbolic execution is defined in the framework to generate the ASTG. The numeric representation is extracted based on program slicing technique and inputted into an abstract interpretation tool for computing the heap bounds. We take list manipulating programs as an example to explain how to instantiate the framework for important data structures and to exhibit its practicability. A novel list abstraction method is also presented to support the instantiation of the framework.

Sign in / Sign up

Export Citation Format

Share Document