scholarly journals A Computational Approach to Pocklington Certificates in Type Theory

Author(s):  
Benjamin Grégoire ◽  
Laurent Théry ◽  
Benjamin Werner
Author(s):  
S. Nakahara ◽  
D. M. Maher

Since Head first demonstrated the advantages of computer displayed theoretical intensities from defective crystals, computer display techniques have become important in image analysis. However the computational methods employed resort largely to numerical integration of the dynamical equations of electron diffraction. As a consequence, the interpretation of the results in terms of the defect displacement field and diffracting variables is difficult to follow in detail. In contrast to this type of computational approach which is based on a plane-wave expansion of the excited waves within the crystal (i.e. Darwin representation ), Wilkens assumed scattering of modified Bloch waves by an imperfect crystal. For localized defects, the wave amplitudes can be described analytically and this formulation has been used successfully to predict the black-white symmetry of images arising from small dislocation loops.


Author(s):  
Rob Nederpelt ◽  
Herman Geuvers
Keyword(s):  

Author(s):  
Elizabeth S Baranowski ◽  
Sreejita Ghosh ◽  
Cedric HL Shackleton ◽  
Angela E Taylor ◽  
Beverly A Hughes ◽  
...  

2020 ◽  
Author(s):  
Francisco Andújar-Vera ◽  
Cristina García-Fontana ◽  
Sheila González-Salvatierra ◽  
Manuel Muñoz-Torres ◽  
Beatriz García-Fontana

1996 ◽  
Vol 24 (1) ◽  
pp. 11-38 ◽  
Author(s):  
G. M. Kulikov

Abstract This paper focuses on four tire computational models based on two-dimensional shear deformation theories, namely, the first-order Timoshenko-type theory, the higher-order Timoshenko-type theory, the first-order discrete-layer theory, and the higher-order discrete-layer theory. The joint influence of anisotropy, geometrical nonlinearity, and laminated material response on the tire stress-strain fields is examined. The comparative analysis of stresses and strains of the cord-rubber tire on the basis of these four shell computational models is given. Results show that neglecting the effect of anisotropy leads to an incorrect description of the stress-strain fields even in bias-ply tires.


Sign in / Sign up

Export Citation Format

Share Document