Applying Type Theory to Formal Specification of Recursive Multiagent Systems

Author(s):  
Thi Thanh Ha Hoang ◽  
Michel Occello ◽  
Thanh Binh Nguyen
Author(s):  
L. M. G. Feijs ◽  
H. B. M. Jonkers
Keyword(s):  

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

2003 ◽  
Vol 123 (3) ◽  
pp. 544-551 ◽  
Author(s):  
Kotaro Hirasawa ◽  
Masafumi Okubo ◽  
Jinglu Hu ◽  
Junichi Murata ◽  
Yuko Matsuya

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