3 Hits in 4.9 sec

Timewise refinement for communicating processes [chapter]

Steve Schneider
1994 Lecture Notes in Computer Science  
Various properties for the preservation of re nement through parallel composition are discussed.  ...  An operational characterisation is also given in terms of timed and untimed tests, and observed to coincide with the denotational characterisation.  ...  In particular Bill Roscoe was responsible for the formulation of the alternating bit protocol presented here.  ... 
doi:10.1007/3-540-58027-1_9 fatcat:blxl2jsrsjgepnnxwrdioy4dxi

The integrated bispectrum and beyond

Dipak Munshi, Peter Coles
2017 Journal of Cosmology and Astroparticle Physics  
Using the Hierarchical Ansatz (HA) as a toy model for the higher order correlation hierarchy, we show how in the soft limit, polyspectra at a given order can be identified with lower order polyspectra  ...  To quantify the effects of transients in numerical simulations, we also present results for lowest order in Lagrangian perturbation theory (LPT) or the Zel'dovich approximation (ZA).  ...  Fourier-transform defines the related collapsed multispectra S pq (k): S pq (k ′ ) = d 3 k (2π) 3 S pq (x 12 ) exp[ix 12 · k ′ ]. (2.9) Using Eq.(2.8) in Eq.(2.9) we arrive at the following expression  ... 
doi:10.1088/1475-7516/2017/02/010 fatcat:wbwzoktrufb3vj2xiootrl47vq

Experimental and numerical investigation of ratcheting and low-cycle fatigue in metal components [article]

Konstantinos Chatziioannou, University Of Edinburgh, Yuner Huang, Spyridon Karamanos, Yong Lu
An implicit numerical scheme is proposed in Chapter 2 for simulating the mechanical response of thin-walled structures subjected to inelastic cyclic loading.  ...  Constitutive relations are integrated implicitly using the Euler-backward integration technique.  ...  The results presented in Fig. 2.31 show that local ovalization or net pipe elongation may not be appropriate parameters for inter-relating collapse between monotonic and cyclic cases.  ... 
doi:10.7488/era/801 fatcat:p2gbta3sivbpnjaqfbgx5h6tju