210,613 Hits in 10.8 sec

Polynomial Size Analysis of First-Order Shapely Functions

Olha Shkaravska, Marko van Eekelen, Ron van Kesteren, Simona Ronchi Della Rocca
2009 Logical Methods in Computer Science  
We present a size-aware type system for first-order shapely function definitions.  ...  Here, a function definition is called shapely when the size of the result is determined exactly by a polynomial in the sizes of the arguments.  ...  Moreover, in the presented version we consider rational size polynomials instead of integer ones.  ... 
doi:10.2168/lmcs-5(2:10)2009 fatcat:y2bo7gfdnvhezmy3lcfo5gaciy

Analytic sensitivities for shape optimization in equivalent plate structural wing models

Eli Livne
1994 Journal of Aircraft  
Figure 12 shows the effect of step size on the first-order finite difference shape derivative for the moving tip case.  ...  As higher-order polynomials are being used to improve the analysis itself, the more sensitive is the finite difference derivative to the step size used.  ... 
doi:10.2514/3.46585 fatcat:t2sdpbzdavgjdiztrcj2wxk6wm

Polynomial Size Analysis of First-Order Functions [chapter]

Olha Shkaravska, Ron van Kesteren, Marko van Eekelen
2007 Lecture Notes in Computer Science  
We present a size-aware type system for first-order shapely function definitions.  ...  Here, a function definition is called shapely when the size of the result is determined exactly by a polynomial in the sizes of the arguments.  ...  Introduction We explore typing support for checking size dependencies for shapely first-order function definitions (functions for short).  ... 
doi:10.1007/978-3-540-73228-0_25 fatcat:ifc3zfqnv5expewmhawc6lzfia

Wave Propagation Analysis using High-Order Finite Element Methods: Spurious Oscillations excited by Internal Element Eigenfrequencies

D. Schmicker, S. Duczek, S. Liefold, U. Gabbert
2014 Technische Mechanik  
size, the polynomial degree of the high-order shape functions and the excitation frequency.  ...  From a computational point of view, the numerical analysis o f ultrasonic guided waves is still a very demanding task.  ...  The first four shape functions are depicted shown in Fig. 1 Lagrange Polynomials The presentation of the spectral shape functions is based on the implementation discussed in the monograph by Ostachowicz  ... 
doi:10.24352/ub.ovgu-2017-053 fatcat:ookbfa3rvnabpj2c6kghccnjda

Inferring Static Non-monotone Size-aware Types Through Testing

Ron van Kesteren, Olha Shkaravska, Marko van Eekelen
2008 Electronical Notes in Theoretical Computer Science  
We propose a size analysis procedure that combines testing and type checking to automatically obtain static output-on-input size dependencies for first-order functions.  ...  Attention is restricted to functions for which the size of the result is strictly polynomial, not necessarily monotone, in the sizes of the arguments.  ...  Acknowledgement The authors would like to thank the students of Radboud University, Nijmegen -Willem Peters, Bob Klaase, Elroy Jumpertz -without whom implementation of the on-line demonstrator would have  ... 
doi:10.1016/j.entcs.2008.06.033 fatcat:kbqg5uougzcz5gxex2ydb2rusq

Note on Artificial Deformation in Object Shapes Due to Pixelization

Takashi Hamana, Satoshi Miyazaki
2008 Nippon Tenmon Gakkai obun kenkyu hokoku  
Our major findings are as follows. (1) Root-mean-square (RMS) of artificial ellipticities in object shapes induced by the first pixelization effect can be as large as RMS > 10^-2 if a characteristic size  ...  of objects (e.g., the FWHM) is smaller than twice of the pixel size.  ...  Numerical computations presented in this paper were carried out on a computer system at CfCA (Center for Computational Astrophysics) and at ADAC (Astronomical Data Analysis Center) of the National Astronomical  ... 
doi:10.1093/pasj/60.6.1363 fatcat:fjnpe33h2jeubmnplbsusrgqvu

Distributional uncertainty analysis using power series and polynomial chaos expansions

Z.K. Nagy, R.D. Braatz
2007 Journal of Process Control  
In particular, the results indicate that first-order series analysis can be accurate enough for the design of real-time robust feedback controllers for batch processes, although it is cautioned that the  ...  The polynomial chaos expansion is well suited to robust design and control when the objectives are strongly dependent on the shape or tails of the distributions of product quality or economic objectives  ...  Although there is a slight decrease in the accuracy of the first-order approach for large a, in the case of certain process outputs the first-order expansion was quite accurate for estimating the size  ... 
doi:10.1016/j.jprocont.2006.10.008 fatcat:dmauun43lfeyvevdstw2m2hhtq

Analytic sensitivity and approximation of skin buckling constraints in wing-shape synthesis

1995 Journal of Aircraft  
deriv- atives; 4) quality of conventional approximation techniques based on first-order sensitivity analysis in the presence of shape variations; and 5) integration of wing box structural analysis with  ...  Un'ess convergence of the so- lution is obtained with low-order polynomials, it may become impossible to achieve convergence at all, if the order of polynomial functions is increased to the point where  ... 
doi:10.2514/3.46842 fatcat:242qfpuyxnc37gfcbojbomp2mm

Analysis of the mean raindrop shape model for dual polarization radar rainfall estimation

Eugenio Gorgucci, Luca Baldini
2009 2009 IEEE International Geoscience and Remote Sensing Symposium  
There are several relations that express the shape-size dependence as nonlinear fourth-order polynomials that have five coefficients or five degrees of freedom.  ...  The first model is linear, whereas the second is a non-linear one, expressed by a fourth order polynomial.  ...  The first model is linear, whereas the second is a non-linear one, expressed by a fourth order polynomial.  ... 
doi:10.1109/igarss.2009.5418064 dblp:conf/igarss/GorgucciB09 fatcat:xcvbjmbpqbaflnr2jifi4imhv4

Panel Flutter Constraints: Analytic Sensitivities and Approximations Including Planform Shape Design Variables

Eli Livne, David Mineau
1997 Journal of Aircraft  
Figure 5 shows the ac- curacy of first-order finite difference derivatives as a function of the step size used for the case of varying material fiber direction on a composite skewed panel (the case with  ...  of x and y and are available in simple polynomial form, whether as a result of wing box analysis based on a polynomial equivalent plate approach” or by least-square fitting of simple polynomial functions  ... 
doi:10.2514/2.2209 fatcat:4sw6tw2nczdglp2bp7n7rntmta

Study of the structure size interval of incomplete geometrically similitude model of the elastic thin plates

Zhong Luo, Yunpeng Zhu, You Wang, Xueyan Zhao
2013 Journal of Measurements in Engineering  
Then, under the study of the structure size applicable interval which kept the same first-order nature characteristic (nature frequency and vibration mode), through the research of the vibration mode control  ...  interval (each order of the mode keep the same) and the predict interval of frequency, the method of structure size applicable interval of distorted similar model was obtained, which they were in different  ...  low-order polynomial fitting, considering the boundary values of applicable geometric intervals are the intersection of the predicted intervals of higher-order nature frequencies and the mode shape control  ... 
doaj:2e2374a06ebf4abfb4b41c7e2872aec0 fatcat:l3xoxixp2ngtdew6huapdvhr5a

QR-patterns: artefacts in multiresolution topology optimization

Deepak K. Gupta, Matthijs Langelaar, Fred van Keulen
2018 Structural And Multidisciplinary Optimization  
The stiffness of these disconnected features is highly overestimated, depending on the polynomial order of the employed FE shape functions.  ...  We study in detail the fact that the continuous shape functions used in MTO are incapable of modeling the discontinuous displacement fields needed to describe the separation of disconnected material patches  ...  Acknowledgements This work is part of the Industrial Partnership Programme (IPP) Computational sciences for energy research' of the Foundation for Fundamental Research on Matter (FOM), which is part of  ... 
doi:10.1007/s00158-018-2048-6 fatcat:hh46665lendc5lr3ahfw47zfyu

A Functional Scenario for Bytecode Verification of Resource Bounds [chapter]

Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal Zilio, Line Jakubiec
2004 Lecture Notes in Computer Science  
Specifically, we define a simple stack machine for a first-order functional language and show how to perform type, size, and termination verifications at the level of the bytecode of the machine.  ...  In particular, we show that a combination of size verification based on quasi-interpretations and of termination verification based on lexicographic path orders leads to an explicit bound on the space  ...  Automatic extraction of resource bounds has mainly focused on (first-order) functional languages starting from Cobham's characterisation [7] of polynomial time functions by bounded recursion on notation  ... 
doi:10.1007/978-3-540-30124-0_22 fatcat:rf2iovplhfg7je2ax6uxfiwzhe

Local Shape Modelling Using Warplets [chapter]

Abhir Bhalerao, Roland Wilson
2005 Lecture Notes in Computer Science  
We develop a statistical shape model for the analysis of local shape variation.  ...  The parametric modelling makes the alignment correspondence-free so that arbitrary sized segments can be aligned and the local warps can be inverted to reconstruct model approximations of the data.  ...  We model all contour segments, S j , by fitting polynomials of a given order M , to the radial and angle functions of the polar parameterisation functions of each segment.  ... 
doi:10.1007/11499145_45 fatcat:veufc5j6ujf45pfcli3gwrxe7y

3D Content-Based Search Based on 3D Krawtchouk Moments

A. Mademlis, A. Axenopoulos, P. Daras, D. Tzovaras, M.G. Strintzis
2006 Third International Symposium on 3D Data Processing, Visualization, and Transmission (3DPVT'06)  
The proposed method was tested on Princeton Shape Benchmark.  ...  invariants in image processing, Weighted 3D Krawtchouk moments are introduced for efficient 3D analysis which are suitable for content-based search and retrieval applications.  ...  The matching time depends on the size of the database and the size of the descriptor vector. Thus, there is a constant time for the descriptors comparison for Krawtchouk moments of the same order.  ... 
doi:10.1109/3dpvt.2006.2 dblp:conf/3dpvt/MademlisADTS06 fatcat:igaasclfivhrzpkuih3icuxaq4
« Previous Showing results 1 — 15 out of 210,613 results