Template-Based Monte-Carlo Test Generation for Simulink Models

Author(s):  
Takashi Tomita ◽  
Daisuke Ishii ◽  
Toru Murakami ◽  
Shigeki Takeuchi ◽  
Toshiaki Aoki
1991 ◽  
Vol 1 (1) ◽  
pp. 37-60 ◽  
Author(s):  
Wolfgang Paul ◽  
Kurt Binder ◽  
Dieter W. Heermann ◽  
Kurt Kremer

1993 ◽  
Vol 08 (16) ◽  
pp. 2839-2858 ◽  
Author(s):  
M. CASELLE ◽  
F. GLIOZZI ◽  
S. VINTI ◽  
R. FIORE

We report on a high precision Monte Carlo test of the three-dimensional Ising gauge model at finite temperature. The string tension σ is extracted from the expectation values of correlations of Polyakov lines. Agreement with the string tension extracted from Wilson loops is found only if the quantum fluctuations of the flux tube are properly taken into account. The central charge of the underlying conformal field theory is c = 1.


1978 ◽  
Vol 41 (20) ◽  
pp. 1399-1402 ◽  
Author(s):  
William J. Shugard ◽  
John D. Weeks ◽  
George H. Gilmer

1972 ◽  
Vol 2 (2) ◽  
pp. 65-68
Author(s):  
Bijan Payandeh

The performance of Holgate's mean ratio and correlation tests was intensively evaluated on five 48-acre forest tracts and four computer-redistributed populations with specified spatial distribution patterns generated from each tract. These two test statistics were calculated for all possible combinations of distances to the sth and tth (s < t s = 1, 2, 3, 4 and t = 2, 3, 4, 5) nearest trees from each of the 200 randomly selected points. Results indicated that the ratio test may lead to erroneous conclusions when applied to nonrandom distributions. The correlation test was very powerful in detecting regular spacing, but it was not very sensitive in detecting aggregation.


Sign in / Sign up

Export Citation Format

Share Document