. ..
3:
:
: ..
, 2011.
RTP
$Resource_type : permanent
$Parameters
: (, )
: integer
$End
$Resource_type : permanent
$Parameters
: (, )
__: integer
__: integer
$End
$Resource_type : permanent
$Parameters
: integer
$End
RSS
$Resources
: trace 0
: trace 0 0
: trace 0
$End
EVN
$Pattern __: event trace
$Relevant_resources
_: Keep
$Body
_
Convert_event
__.Planning(Time_now + __(150));
if (_. == )
__++;
else
___1.planning(Time_now);
$End
$Pattern ___1: event trace
$Relevant_resources
_: Keep
$Body
_
Convert_event
= ;
___1.planning(Time_now + __1(5.5, 6.5));
$End
$Pattern ___1: event trace
$Relevant_resources
_: Keep
_: Keep
$Body
_
Convert_event
= ;
__.planning(Time_now);
_
Convert_event
if (_. == )
++;
else
__.planning(Time_now);
$End
$Pattern __: event trace
$Relevant_resources
_: Keep
$Body
_
Convert_event
= ;
__.planning(Time_now + _(60,10));
$End
$Pattern __: event trace
$Relevant_resources
_: Keep
_: Keep
$Body
_
Convert_event
= ;
if (_. > 0)
{
--;
__.planning(Time_now);
}
_
Convert_event
if (_. == )
__++;
else
___2.planning(Time_now);
$End
$Pattern ___2: event trace
$Relevant_resources
_: Keep
$Body
_
Convert_event
= ;
___2.planning(Time_now + __2(4.5, 5.5));
$End
$Pattern ___2: event trace
$Relevant_resources
_: Keep
_: Keep
$Body
_
Convert_event
= ;
__.planning(Time_now);
|
|
|
_
Convert_event
++;
$End
$Pattern __: event trace
$Relevant_resources
_: Keep
$Body
_
Convert_event
if (_.__ > 0)
{
__--;
___1.planning(Time_now);
}
else if (_.__ > 0)
{
__--;
___2.planning(Time_now);
}
$End
FUN
$Sequence __: real
$Type = exponential 11111
$End
$Sequence _: real
$Type = normal 22222
$End
$Sequence __1: real
$Type = uniform 33333
$End
$Sequence __2: real
$Type = uniform 44444
$End
SMR
__.planning(Time_now)
Terminate_if . >= 75
PMD
$Results
_: get_value Time_now
_: watch_state . ==
_: watch_state . ==
_: watch_par .
___: watch_par .__
___: watch_par .__
$End
20-
1. 11111,22222,33333,44444
_ 11725.5
_ FALSE 150 0.0703133 4577.08 4.54082 6.49998
_ FALSE 75 0.395263 296928 33.5495 87.602
_ 75 75 35.9524 5.97523e+009 0 75
___ 0 14 0.0013418 51.8693 0 1
___ 0 4 0.000710093 36.0817 0 1
2. 111112,222222,333332,444442
_ 10623.9
_ FALSE 150 0.0774198 4557.39 4.51203 6.43752
_ FALSE 75 0.429224 283720 39.4822 81.6803
_ 75 75 37.158 7.40435e+009 0 75
___ 0 8 0.00208915 151.002 0 2
___ 0 18 0.00350361 225.923 0 1
3. 111113,222223,333333,444443
_ 10298.8
_ FALSE 150 0.0796335 4533.91 4.51543 6.49792
_ FALSE 75 0.437187 279457 32.2872 84.6947
_ 75 75 39.5934 6.11385e+009 0 75
___ 0 16 0.0024725 98.175 0 1
___ 0 8 0.000830269 30.5432 0 1
4. 111114,222224,333334,444444
_ 10928.5
_ FALSE 152 0.0757956 4568.1 4.50762 6.49544
_ TRUE 75 0.412655 279222 36.3258 95.3383
_ 75 75 37.9937 5.74108e+009 0 75
___ 0 12 0.00176352 73.7496 0 1
___ 0 6 0.000973144 44.048 0 1
5. 111115,222225,333335,444445
_ 12570.5
_ FALSE 150 0.0657416 4598.02 4.51095 6.49279
_ FALSE 75 0.36017 279615 40.4035 82.1405
_ 75 75 38.0466 7.43279e+009 0 75
___ 0 16 0.00135943 49.494 0 1
___ 0 4 0.000791933 49.5864 0 1
6. 111116,222226,333336,444446
_ 9948.82
_ FALSE 150 0.0826266 4554.03 4.50999 6.46218
_ FALSE 75 0.440253 262514 31.0556 78.2008
_ 75 75 36.9862 4.32134e+009 0 75
|
|
|
___ 0 6 0.000964693 31.7171 0 1
___ 0 6 0.00130345 63.3013 0 1
7. 111117,222227,333337,444447
_ 11165.4
_ FALSE 151 0.0751332 4708.33 4.50844 6.48933
_ TRUE 75 0.4001 272502 39.0284 79.403
_ 75 75 35.6676 5.24952e+009 0 75
___ 0 6 0.000765517 36.9752 0 1
___ 0 8 0.00114302 52.6211 0 1
8. 111118,222228,333338,444448
_ 10359.2
_ FALSE 150 0.0799588 4620.08 4.51928 6.49279
_ FALSE 75 0.424261 264366 38.3152 85.4973
_ 75 75 39.4236 5.25771e+009 0 75
___ 0 6 0.000794243 25.9319 0 1
___ 0 10 0.00167553 73.0347 0 1
9. 111119,222229,333339,444449
_ 12577.2
_ FALSE 153 0.0670426 4696.5 4.50834 6.49983
_ TRUE 75 0.349204 267143 34.6811 88.331
_ 75 75 34.4783 4.83447e+009 0 75
___ 0 12 0.00185134 95.8413 0 1
___ 0 0 0 0 0 0
10. 111101,2222201,3333301,4444401
_ 10611.2
_ FALSE 150 0.0776143 4574.28 4.50373 6.49405
_ FALSE 75 0.427974 283349 37.5657 96.7323
_ 75 75 36.8032 4.2555e+009 0 75
___ 0 8 0.00138043 71.9809 0 1
___ 0 10 0.00179067 134.812 0 1
11. 1111102,2222202,3333302,4444402
_ 11949.5
_ FALSE 150 0.0690587 4586.08 4.53409 6.4857
_ FALSE 75 0.374394 272910 36.056 82.3423
_ 75 75 35.6043 4.71789e+009 0 75
___ 0 10 0.000890795 28.823 0 1
___ 0 4 0.000906834 58.7212 0 1
12. 1111103,2222203,3333303,4444403
_ 11534.8
_ FALSE 151 0.072409 4673.16 4.50201 6.4976
_ TRUE 75 0.386787 272656 37.4957 90.101
_ 75 75 36.0814 5.30485e+009 0 75
___ 0 10 0.00106894 45.8768 0 1
___ 0 10 0.00174155 93.4807 0 1
13. 1111104,2222204,3333304,4444404
_ 10438
_ FALSE 150 0.0789892 4587.48 4.5118 6.4966
_ FALSE 75 0.439627 287360 41.8515 86.7656
_ 75 75 45.5542 8.47256e+009 0 75
___ 0 14 0.00238593 103.464 0 1
___ 0 4 0.00111913 90.0361 0 1
14. 1111107,2222207,3333307,4444407
_ 12722.7
_ FALSE 150 0.0649538 4618.97 4.50055 6.49922
_ FALSE 75 0.363625 291536 41.4587 81.5366
_ 75 75 41.2844 9.44274e+009 0 75
___ 0 18 0.00181811 81.3076 0 1
___ 0 8 0.00124418 79.2866 0 1
15. 1111108,2222208,3333308,4444498
_ 11529.3
_ FALSE 150 0.0714719 4578.48 4.50266 6.49144
_ FALSE 75 0.400612 293855 40.6176 92.7094
_ 75 75 37.2749 5.226e+009 0 75
___ 0 12 0.00159007 70.8047 0 1
___ 0 6 0.000751387 30.291 0 1
16. 1111109,2222209,3333309,4444409
_ 10939.4
_ FALSE 151 0.0751565 4521.47 4.50048 6.45226
_ TRUE 75 0.39551 255154 34.0145 78.0636
_ 75 75 38.7658 5.61183e+009 0 75
___ 0 16 0.00219488 94.9676 0 1
___ 0 8 0.000846719 37.4597 0 1
17. 1111100,2222200,3333300,4444400
_ 10689.3
_ FALSE 151 0.0776246 4606.67 4.51603 6.49341
_ TRUE 75 0.431641 291245 37.415 87.0737
_ 75 75 35.8879 4.02237e+009 0 75
|
|
|
___ 0 12 0.00191552 79.1941 0 1
___ 0 2 0.000116863 1.56046 0 1
18. 11111001,22222001,33333001,44444001
_ 11459.2
_ FALSE 150 0.0724977 4647.52 4.5104 6.49997
_ FALSE 75 0.383916 266906 35.564 86.0543
_ 75 75 40.3348 8.39271e+009 0 75
___ 1 19 0.00221653 92.1346 0 2
___ 0 6 0.000866512 38.4221 0 1
19. 11111002,22222002,33333002,44444002
_ 12005.2
_ FALSE 150 0.0694201 4675.44 4.5015 6.49264
_ FALSE 75 0.369163 269177 29.2098 88.4607
_ 75 75 34.9286 5.1479e+009 0 75
___ 0 6 0.000608597 27.0379 0 1
___ 0 6 0.000903996 54.9932 0 1
20. 11111004,22222004,33333004,44444004
_ 13406
_ FALSE 151 0.0619827 4624.6 4.51841 6.48964
_ TRUE 75 0.329085 265694 33.9546 76.218
_ 75 75 37.0811 9.57947e+009 0 75
___ 0 10 0.000935451 42.611 0 1
___ 0 10 0.00181677 146.724 0 1
1.
| 0.395263 | |
| 0.429224 | |
| 0.437187 | |
| 0.412655 | |
| 0.36017 | |
| 0.440253 | |
| 0.4001 | |
| 0.424261 | |
| 0.349204 | |
| 0.427974 | |
| 0.374394 | |
| 0.386787 | |
| 0.439627 | |
| 0.363625 | |
| 0.400612 | |
| 0.39551 | |
| 0.431641 | |
| 0.383916 | |
| 0.369163 | |
| 0.329085 |
2. .
| . | ||
| N = 5 | E(5) = 0.407 | S(5)2 = 0.0042 |
| N = 20 | E(20) = 401 | S(20)2 = 0.0024 |
3.
| . | N=5 | N=20 |
| Θi,90%(N) | 0.407  0.029
| 0.401 0.013
|
| Θi,95%(N) | 0.407  0.038
| 0.401 0.015
|
N=20 , N=5.
.. N=20 .
α=0,05 , α=0,1, Y , .
. , .
