Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lvk.cs.msu.su/~dimawolf/RTES/Lection05.pdf Дата изменения: Tue May 19 11:13:24 2015 Дата индексирования: Sat Apr 9 22:46:15 2016 Кодировка:

, -



· :
­ API ­ ,

· :
­ ­ ­ ­ ­


. APEX
1 1.1 1.2 1.3 2 2.1 2.2 2.3 3 3.1 3.2 3.3



APEX


ARINC653










· · · · ·
1 1 2 2-1 2-2 3-1 1-1 1-1 1-2

2 1

4-1

4-2

4-1



· ·
­ ­ ­



·
­ ­

·
­ ­



·
­ ­

· ·
­ ­

·



· : M={mi} · : P={pi} · : W={wi}
­ : f(wi) ­ : dm(wi) ­ : pr(wi)

· : T={trij}
­ (): tC(wi, wj) ­ (): tM(wi, wj)



· : S={si} · : DS:P{SP|SPS} · : DM(pi) · : prS(wi)




· · ( )



2 1
1

2

1

2


(1)
· · · :
­


(2)
· · · · · · · ·



· · :
1. 2. 3. 4. 5. , .2



· · · · ·













: , ,



: ·
­ ­
· · :


i 0

n

Ti Fi n 2 1



1 n



­

·



« »



Fail