ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² написании студСнчСских Ρ€Π°Π±ΠΎΡ‚
АнтистрСссовый сСрвис

Π”ΠΎΠ±Π°Π²Π»Π΅Π½ΠΈΠ΅ подсистСм Π² ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‰ΡƒΡŽ Π±ΠΈΠ»Π»ΠΈΠ½Π³ΠΎΠ²ΡƒΡŽ систСму

Π Π΅Ρ„Π΅Ρ€Π°Ρ‚ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² Π½Π°ΠΏΠΈΡΠ°Π½ΠΈΠΈΠ£Π·Π½Π°Ρ‚ΡŒ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒΠΌΠΎΠ΅ΠΉ Ρ€Π°Π±ΠΎΡ‚Ρ‹

Π€ΠΎΡ€ΠΌΡƒΠ»Π°ΠΌΠΈ (2.7.-2.8.) Π±Ρ‹Π»Π° Π²Π²Π΅Π΄Π΅Π½Π° Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° вычислСния состояния ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ. КаТдая ΠΏΠΎΠΊΡƒΠΏΠΊΠ° ΠΌΠΎΠΆΠ΅Ρ‚ Π²ΠΊΠ»ΡŽΡ‡Π°Ρ‚ΡŒ Π² ΡΠ΅Π±Ρ нСсколько рСсурсов. По ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ Π½ΡƒΠΆΠ½ΠΎ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚ΡŒ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚ΡŒ состояния всСх рСсурсов. Если состояний ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ описано сколь ΡƒΠ³ΠΎΠ΄Π½ΠΎ ΠΌΠ½ΠΎΠ³ΠΎ, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ ΠΎΠ½ΠΈ Π²Π²Π΅Π΄Π΅Π½Ρ‹ для удобства управлСния ΠΏΠΎΠΊΡƒΠΏΠΊΠ°ΠΌΠΈ, Ρ‚ΠΎ ΡΠΎΡΡ‚ояний рСсурсов ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π΄Π²Π°— «Π²ΠΊΠ»ΡŽΡ‡Π΅Π½"/"Π²Ρ‹ΠΊΠ»ΡŽΡ‡Π΅Π½… Π§ΠΈΡ‚Π°Ρ‚ΡŒ Π΅Ρ‰Ρ‘ >

Π”ΠΎΠ±Π°Π²Π»Π΅Π½ΠΈΠ΅ подсистСм Π² ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‰ΡƒΡŽ Π±ΠΈΠ»Π»ΠΈΠ½Π³ΠΎΠ²ΡƒΡŽ систСму (Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚, курсовая, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ)

Π‘Ρ‚Ρ€ΡƒΠΊΡ‚ΡƒΡ€Π° Π±ΠΈΠ»Π»ΠΈΠ½Π³ΠΎΠ²ΠΎΠΉ систСмы ΠΊΠΎΠΌΠΏΠ°Π½ΠΈΠΈ прСдставлСна Π½Π° Ρ€ΠΈΡΡƒΠ½ΠΊΠ΅ 2.2. Π¦Π²Π΅Ρ‚ΠΎΠΌ Π½Π° Π½Π΅ΠΉ Π²Ρ‹Π΄Π΅Π»Π΅Π½Ρ‹ подсистСмы ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅, Π±ΡƒΠ΄ΡƒΡ‚ Π΄ΠΎΠ±Π°Π²Π»Π΅Π½Ρ‹ Π² ΠΎΠ±Ρ‰ΡƒΡŽ Π±ΠΈΠ»Π»ΠΈΠ³ΠΎΠ²ΡƒΡŽ систСму ΠΊΠΎΠΌΠΏΠ°Π½ΠΈΠΈ.

Π‘Ρ‚Ρ€ΡƒΠΊΡ‚ΡƒΡ€Π° Π±ΠΈΠ»Π»ΠΈΠ³ΠΎΠ²ΠΎΠ²ΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΉ систСмы.

Рис. 2.2 Π‘Ρ‚Ρ€ΡƒΠΊΡ‚ΡƒΡ€Π° Π±ΠΈΠ»Π»ΠΈΠ³ΠΎΠ²ΠΎΠ²ΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΉ систСмы

ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΠΌ основныС Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Ρ€Π΅Π°Π»ΠΈΠ·ΡƒΠ΅Ρ‚ ΠŸΠΎΠ΄ΡΠΈΡΡ‚Π΅ΠΌΠ° Ρ‚Π°Ρ€ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΠΈ:

  • Β· Настройка ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² Ρ‚Π°Ρ€ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΠΈ услуг;
  • Β· Варификация прСдоставлСнных услуг;
  • Β· ВзаимодСйствиС с ΠΏΠ°Ρ€Ρ‚Π½Π΅Ρ€Π°ΠΌΠΈ ΠΏΠΎ Ρ€ΠΎΡƒΠΌΠΈΠ½Π³Ρƒ ΠΈ ΠΈΠ½Ρ‚Π΅Ρ€ΠΊΠΎΠ½Π½Π΅ΠΊΡ‚Ρƒ;

ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΠΌ основныС Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Ρ€Π΅Π°Π»ΠΈΠ·ΡƒΠ΅Ρ‚ ΠŸΠΎΠ΄ΡΠΈΡΡ‚Π΅ΠΌΠ° информирования ΠΈ Π΄ΠΎΡΡ‚Π°Π²ΠΊΠΈ счСтов:

  • Β· РаспСчатка счСтов ΠΊ ΠΎΠΏΠ»Π°Ρ‚Π΅;
  • Β· Доставка ΠΈ ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒ доставки счСтов ΠΈ Π΄Ρ€ΡƒΠ³ΠΎΠΉ коррСспондСнции Π°Π±ΠΎΠ½Π΅Π½Ρ‚Π°ΠΌ.

Π–ΠΈΠ·Π½Π΅Π½Π½Ρ‹ΠΉ Ρ†ΠΈΠΊΠ» Π°Π±ΠΎΠ½Π΅Π½Ρ‚Π°

Π­Ρ‚ΠΎΡ‚ аспСкт Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ Ρ€Π°ΡΡΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ для Π³Ρ€Π°ΠΌΠΎΡ‚Π½ΠΎΠ³ΠΎ проСктирования подсистСмы Ρ‚Π°Ρ€ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΠΈ прСдоставлСнных услуг Π² Ρ€Π°Π·Ρ€Π΅Π·Π΅ контроля Ρ‚Ρ€Π°Ρ„ΠΈΠΊΠ°.

ΠœΠ΅Ρ‚ΠΎΠ΄Ρ‹ взаиморасчСтов.

Π’Ρ‹Π΄Π΅Π»ΡΡŽΡ‚ Π΄Π²Π° Π²ΠΈΠ΄Π° прСдставлСнныС Π½Π° Ρ€ΠΈΡΡƒΠ½ΠΊΠ΅ 2.3.

  • Β· Prepaid — услуги прСдоставляСмыС ΠΏΠΎ ΠΏΡ€Π΅Π΄ΠΎΠΏΠ»Π°Ρ‚Π΅;
  • Β· Postpaid — ΠΎΠΏΠ»Π°Ρ‚Π° услуг ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ΄ΠΈΡ‚ΡŒΡΡ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ послС ΠΈΠ· ΠΎΠΊΠ°Π·Π°Π½ΠΈΡ.
Π’ΠΈΠ΄Ρ‹ прСдоставлСния услуг.

Рис. 2.3 Π’ΠΈΠ΄Ρ‹ прСдоставлСния услуг

Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡ, ΠΊΠΎΡ‚ΠΎΡ€ΡƒΡŽ слСдуСт Ρ…Ρ€Π°Π½ΠΈΡ‚ΡŒ Π² Π±ΠΈΠ»Π»ΠΈΠ½Π³ΠΎΠ²ΠΎΠΉ систСмС:

НСобходимо Ρ…Ρ€Π°Π½ΠΈΡ‚ΡŒ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡŽ Ρ‚Ρ€Π΅Ρ… иСрархичСских ΡƒΡ€ΠΎΠ²Π½Π΅, см. Ρ€ΠΈΡΡƒΠ½ΠΎΠΊ 2.4.

Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡ хранящаяся Π² Π±ΠΈΠ»Π»ΠΈΠ³ΠΎΠ²ΠΎΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΉ систСмС.

Рис. 2.4 Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡ хранящаяся Π² Π±ΠΈΠ»Π»ΠΈΠ³ΠΎΠ²ΠΎΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΉ систСмС

Рассмотрим эти иСрархичСскиС ΡƒΡ€ΠΎΠ²Π½ΠΈ Π±ΠΎΠ»Π΅Π΅ ΠΏΠΎΠ΄Ρ€ΠΎΠ±Π½ΠΎ:

  • Β· ΠšΠΎΠ½Ρ‚Ρ€Π°ΠΊΡ‚ — Π½Π° ΡΡ‚ΠΎΠΌ ΡƒΡ€ΠΎΠ²Π½Π΅ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ Ρ…Ρ€Π°Π½ΠΈΡ‚ΡŒ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡŽ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π³ΠΎ Ρ‚ΠΈΠΏΠ°: паспортныС ΠΈ ΠΊΠΎΠ½Ρ‚Ρ€Π°ΠΊΡ‚Π½Ρ‹Π΅ Π΄Π°Π½Π½Ρ‹Π΅ ΠΊΠ»ΠΈΠ΅Π½Ρ‚Π° (ΠΎΡ€Π³Π°Π½ΠΈΠ·Π°Ρ†ΠΈΠΈ ΠΈΠ»ΠΈ частного Π»ΠΈΡ†Π°); маркСтинговая ΠΈ ΡŽΡ€ΠΈΠ΄ΠΈΡ‡Π΅ΡΠΊΠ°Ρ катСгория; статус ΠΊΠΎΠ½Ρ‚Ρ€Π°ΠΊΡ‚Π°.
  • Β· Π›ΠΈΡ†Π΅Π²ΠΎΠΉ счСт — Π½Π° ΡΡ‚ΠΎΠΌ ΡƒΡ€ΠΎΠ²Π½Π΅ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ Ρ…Ρ€Π°Π½ΠΈΡ‚ΡŒ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡŽ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π³ΠΎ Ρ‚ΠΈΠΏΠ°: паспортныС ΠΈ ΠΊΠΎΠ½Ρ‚Π°ΠΊΡ‚Π½Ρ‹Π΅ Π΄Π°Π½Π½Ρ‹Π΅ ΠΏΠ»Π°Ρ‚Π΅Π»ΡŒΡ‰ΠΈΠΊΠ°; ΠΌΠ΅Ρ‚ΠΎΠ΄ расчСтов, способ ΠΎΠΏΠ»Π°Ρ‚Ρ‹, Ρ€Π΅ΠΊΠ²ΠΈΠ·ΠΈΡ‚Ρ‹, информация ΠΎ Π΄ΠΎΡΡ‚Π°Π²ΠΊΠ΅ счСтов; статус Π»ΠΈΡ†Π΅Π²ΠΎΠ³ΠΎ счСта.
  • Β· ΠŸΡ€ΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ обслуТивания — Π½Π° ΡΡ‚ΠΎΠΌ ΡƒΡ€ΠΎΠ²Π½Π΅ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ Ρ…Ρ€Π°Π½ΠΈΡ‚ΡŒ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡŽ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π³ΠΎ Ρ‚ΠΈΠΏΠ°: абонСнтский Π½ΠΎΠΌΠ΅Ρ€ ΠΈ ΠΈΠ΄Π΅Π½Ρ‚ΠΈΡ„ΠΈΠΊΠ°Ρ‚ΠΎΡ€; Ρ‚Π°Ρ€ΠΈΡ„Π½Ρ‹Π΅ ΠΏΠ»Π°Π½Ρ‹ Π½Π° ΡƒΡΠ»ΡƒΠ³ΠΈ ΠΈ ΠΎΠ±ΠΎΡ€ΡƒΠ΄ΠΎΠ²Π°Π½ΠΈΠ΅, Π½Π°Π±ΠΎΡ€ услуг; статус прилоТСния.

Из ΡΡ‚ΠΈΡ… ΠΊΠ°Ρ‚Π΅Π³ΠΎΡ€ΠΈΠΉ Π²Ρ‹Ρ‚Π΅ΠΊΠ°ΡŽΡ‚ Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Ρ‹, ΠΈΠΌΠ΅ΡŽΡ‰ΠΈΠ΅ нСпосрСдствСнноС ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ ΠΊ Π°Π±ΠΎΠ½Π΅Π½Ρ‚Ρƒ. Они прСдставлСны Π½Π° Ρ€ΠΈΡΡƒΠ½ΠΊΠ΅ 2.5.

Π”ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Ρ‹ Π°Π±ΠΎΠ½Π΅Π½Ρ‚Π° Π² процСссС Π΅Π³ΠΎ ΠΆΠΈΠ·Π½Π΅Π½Π½ΠΎΠ³ΠΎ Ρ†ΠΈΠΊΠ»Π°.

Рис. 2.5 Π”ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Ρ‹ Π°Π±ΠΎΠ½Π΅Π½Ρ‚Π° Π² ΠΏΡ€ΠΎΡ†Π΅ΡΡΠ΅ Π΅Π³ΠΎ ΠΆΠΈΠ·Π½Π΅Π½Π½ΠΎΠ³ΠΎ Ρ†ΠΈΠΊΠ»Π°

Π’Π°ΠΊΠΆΠ΅ построим ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π½Ρ‹ΠΉ ΠΆΠΈΠ·Π½Π΅Π½Π½Ρ‹ΠΉ Ρ†ΠΈΠΊΠ» обслуТивания Π°Π±ΠΎΠ½Π΅Π½Ρ‚Π°, см. Ρ€ΠΈΡΡƒΠ½ΠΎΠΊ 2.6.

Рис. 2.6 Π–ΠΈΠ·Π½Π΅Π½Π½Ρ‹ΠΉ Ρ†ΠΈΠΊΠ» обслуТивания Π°Π±ΠΎΠ½Π΅Π½Ρ‚Π°

ΠŸΠΎΡΡ‚Ρ€ΠΎΠ΅Π½ΠΈΠ΅ матСматичСских ΠΌΠΎΠ΄Π΅Π»Π΅ΠΉ ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½Ρ‹Ρ… Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ подсистСмы Ρ‚Π°Ρ€ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΠΈ ΠΈ ΠΏΠΎΠ΄ΡΠΈΡΡ‚Π΅ΠΌΡ‹ информирования ΠΈ Π΄ΠΎΡΡ‚Π°Π²ΠΊΠΈ счСтов

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ модСль ΠΏΠ»Π°Ρ‚Π΅ΠΆΠ΅ΠΉ

Рис. 2.8 ΠžΠ±ΡŠΠ΅ΠΊΡ‚ «Π€ΠΎΡ€ΠΌΠ° ΠΎΠΏΠ»Π°Ρ‚Ρ‹»

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ модСль состояния ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ ΠΈ ΠΊΠΎΠ½Ρ‚роля доступа

Для Ρ‚ΠΎΠ³ΠΎ Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΡƒΠΏΡ€Π°Π²Π»ΡΡ‚ΡŒ рСсурсами, Π²ΠΊΠ»ΡŽΡ‡Π΅Π½Π½Ρ‹ΠΌΠΈ Π² ΠΏΠ»Π°Ρ‚Π΅ΠΆΠ½Ρ‹ΠΉ ΠΏΠ»Π°Π½, Π½Π° ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ подписан ΠΊΠ»ΠΈΠ΅Π½Ρ‚, Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ Π·Π°Π΄Π°Ρ‚ΡŒ ΡΠΏΠ΅Ρ†ΠΈΠ°Π»ΡŒΠ½Ρ‹ΠΉ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ Π΅Π³ΠΎ услуг, ΠΎΡ‚Ρ€Π°ΠΆΠ°ΡŽΡ‰ΠΈΠΉ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ½ΠΎΡΡ‚ΡŒ ΠΊ ΠΎΠ΄Π½ΠΎΠΌΡƒ ΠΈΠ· ΡΠΎΡΡ‚ояний. Π’ ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ ΠΌΠΎΠΌΠ΅Π½Ρ‚ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ ΠΏΠΎΠΊΡƒΠΏΠΊΠ° ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π»ΠΈΠ±ΠΎ ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚Π°, Π»ΠΈΠ±ΠΎ Π·Π°Π±Π»ΠΎΠΊΠΈΡ€ΠΎΠ²Π°Π½Π°, Π»ΠΈΠ±ΠΎ приостановлСна ΠΏΠΎ ΠΆΠ΅Π»Π°Π½ΠΈΡŽ, Π° Ρ‚Π°ΠΊΠΆΠ΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π΄ΠΎΠΏΡƒΡΠΊΠ°Ρ‚ΡŒ использованиС Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… рСсурсов ΠΈΠ· ΡΠΏΠΈΡΠΊΠ° всСх рСсурсов, Ρ€Π°Π·Ρ€Π΅ΡˆΠ΅Π½Π½Ρ‹Ρ… ΠΏΠ»Π°Ρ‚Π΅ΠΆΠ½Ρ‹ΠΌ ΠΏΠ»Π°Π½ΠΎΠΌ, Π² Π·Π°Π²ΠΈΡΠΈΠΌΠΎΡΡ‚ΠΈ ΠΎΡ‚ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ суток, Π΄Π½Π΅ΠΉ Π½Π΅Π΄Π΅Π»ΠΈ ΠΈ Π΄Ρ€ΡƒΠ³ΠΈΡ… ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² ΠΏΠ»Π°Ρ‚Π΅ΠΆΠ½ΠΎΠ³ΠΎ ΠΏΠ»Π°Π½Π°. Бостояния Ρ„ΠΎΡ€ΠΌΡƒΠ»ΠΈΡ€ΡƒΡŽΡ‚ΡΡ исходя ΠΈΠ· ΡΠΏΠ΅Ρ†ΠΈΡ„ΠΈΠΊΠΈ ΠΈ Π½ΡƒΠΆΠ΄ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Π°. БостояниС ΠΌΠΎΠΆΠ½ΠΎ Π»ΠΈΠ±ΠΎ Π½Π°Π·Π½Π°Ρ‡ΠΈΡ‚ΡŒ, Π»ΠΈΠ±ΠΎ Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚ΡŒ, исходя ΠΈΠ· Π΄Ρ€ΡƒΠ³ΠΈΡ… ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ.

Π’Π²Π΅Π΄Π΅ΠΌ понятиС состояния ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ ΠΊΠ°ΠΊ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ ΠΎΡ‚ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ.

p1, p2,…pn ΠΈ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² ΠΏΠ»Π°Ρ‚Π΅ΠΆΠ½ΠΎΠ³ΠΎ ΠΏΠ»Π°Π½Π° t1, t2,…tm:

Π”ΠΎΠ±Π°Π²Π»Π΅Π½ΠΈΠ΅ подсистСм Π² ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‰ΡƒΡŽ Π±ΠΈΠ»Π»ΠΈΠ½Π³ΠΎΠ²ΡƒΡŽ систСму.
Π”ΠΎΠ±Π°Π²Π»Π΅Π½ΠΈΠ΅ подсистСм Π² ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‰ΡƒΡŽ Π±ΠΈΠ»Π»ΠΈΠ½Π³ΠΎΠ²ΡƒΡŽ систСму.
(2.2).

(2.2).

Π€ΡƒΠ½ΠΊΡ†ΠΈΡŽ F Π½Π°Π·ΠΎΠ²Π΅ΠΌ условиСм состояния ΠΈ ΡΠΎΠ·Π΄Π°Π΄ΠΈΠΌ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ «Π‘остояниС ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ», Π²ΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰ΠΈΠΉ Π² ΡΠ΅Π±Ρ условия состояния ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ Π² ΠΊΠ°Ρ‡Π΅ΡΡ‚Π²Π΅ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π° (рис. 2.9):

ΠžΠ±ΡŠΠ΅ΠΊΡ‚ «БостояниС ΠΏΠΎΠΊΡƒΠΏΠΊΠΈΒ».

Рис. 2.9 ΠžΠ±ΡŠΠ΅ΠΊΡ‚ «Π‘остояниС ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ»

ΠŸΡ€ΠΈ ΠΏΠΎΠΌΠΎΡ‰ΠΈ пСриодичСских ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΎΠΊ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ «ΡΠΎΡΡ‚ояниС» ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π° «ΠŸΠΎΠΊΡƒΠΏΠΊΠ°» вычисляСтся Π² ΡΠΎΠΎΡ‚вСтствии с ΡƒΡΠ»ΠΎΠ²ΠΈΡΠΌΠΈ состояния ΠΈ, Ссли это трСбуСтся, обновляСтся. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π° Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ Ρ‡Π΅Ρ€Π΅Π· ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Ρ‹ ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ ΠΈ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰Π΅Π³ΠΎ Π΅ΠΉ ΠΏΠ»Π°Ρ‚Π΅ΠΆΠ½ΠΎΠ³ΠΎ ΠΏΠ»Π°Π½Π° Π·Π°Π΄Π°Π²Π°Ρ‚ΡŒ условия измСнСния состояния ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ впослСдствии ΠΌΠΎΠΆΠ΅Ρ‚ Π²Π»ΠΈΡΡ‚ΡŒ Π½Π° ΡΠΎΡΡ‚ояния Π²ΠΊΠ»ΡŽΡ‡Π΅Π½Π½Ρ‹Ρ… Π² ΠΏΠΎΠΊΡƒΠΏΠΊΡƒ рСсурсов. Π­Ρ‚Π° Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ обСспСчиваСт ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒ Π·Π° ΠΏΡ€Π΅Π΄ΠΎΡΡ‚Π°Π²Π»Π΅Π½ΠΈΠ΅ΠΌ доступа ΠΊ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½ΠΎΠΌΡƒ рСсурсу, исходя ΡƒΠΆΠ΅ ΠΈΠ· ΡΠΎΡΡ‚ояния рСсурса, ΠΈ Π±ΡƒΠ΄Π΅Ρ‚ описана Π΄Π°Π»Π΅Π΅ Π² ΠΏΠΎΠ΄ΠΏΡƒΠ½ΠΊΡ‚Π΅ («Π‘инхронизация»).

Рассмотрим ΠΏΡ€ΠΈΠΌΠ΅Ρ€. ΠŸΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, для управлСния доступом ΠΊΠ»ΠΈΠ΅Π½Ρ‚Π° Π½Π°ΠΌ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ Π²Ρ‹Π΄Π΅Π»ΠΈΡ‚ΡŒ 3 состояния:

  • — ΡΠΎΡΡ‚ояниС 1: ΠΏΠΎΠΊΡƒΠΏΠΊΠ° Π°ΠΊΡ‚ΠΈΠ²Π½Π°, ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒΡΡ Π»ΡŽΠ±Ρ‹ΠΌΠΈ Π²ΠΊΠ»ΡŽΡ‡Π΅Π½Π½Ρ‹ΠΌΠΈ рСсурсами;
  • — ΡΠΎΡΡ‚ояниС 2: ΠΏΠΎΠΊΡƒΠΏΠΊΠ° Π·Π°ΠΊΠΎΠ½Ρ‡ΠΈΠ»Π°ΡΡŒ, всС рСсурсы Π·Π°Π±Π»ΠΎΠΊΠΈΡ€ΠΎΠ²Π°Π½Ρ‹;
  • — ΡΠΎΡΡ‚ояниС 3: Ρ‚Π΅ΠΊΡƒΡ‰Π΅Π΅ врСмя суток Ρ€Π°Π·Ρ€Π΅ΡˆΠ°Π΅Ρ‚ ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒΡΡ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌΠΈ рСсурсами, Π° Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌΠΈ Π½Π΅ Ρ€Π°Π·Ρ€Π΅ΡˆΠ°Π΅Ρ‚.

ΠŸΡƒΡΡ‚ΡŒ pi— Π½Π°Ρ‡Π°Π»ΠΎ дСйствия ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ, pj— ΠΎΠΊΠΎΠ½Ρ‡Π°Π½ΠΈΠ΅ дСйствия ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ, pk— ΠΎΡΡ‚Π°Ρ‚ΠΎΠΊ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ, ti— ΠΈΠ½Ρ‚Π΅Ρ€Π²Π°Π» суток, Ρ€Π°Π·Ρ€Π΅ΡˆΠ°ΡŽΡ‰ΠΈΠΉ доступ ΠΊΠΎ Π²ΡΠ΅ΠΌ рСсурсам.

ΠŸΠ΅Ρ€Π²Ρ‹Π΅ Ρ‚Ρ€ΠΈ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… ΡΠ²Π»ΡΡŽΡ‚ΡΡ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π°ΠΌΠΈ ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ. ПослСдняя пСрСмСнная зависит ΠΈΡΠΊΠ»ΡŽΡ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ ΠΎΡ‚ ΠΎΠΏΠΈΡΠ°Π½ΠΈΡ ΠΏΠ»Π°Ρ‚Π΅ΠΆΠ½ΠΎΠ³ΠΎ ΠΏΠ»Π°Π½Π°.

Π’Π²Π΅Π΄Π΅ΠΌ ΠΈΠ½Π΄ΠΈΠΊΠ°Ρ‚ΠΎΡ€ C, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΌΠΎΠΆΠ΅Ρ‚ ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°Ρ‚ΡŒ значСния 0 ΠΈΠ»ΠΈ 1. Π’Π²Π΅Π΄Π΅ΠΌ константу NOW для обозначСния локального Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ. Π—Π°Π΄Π°Π΄ΠΈΠΌ Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹ для вычислСния ΠΈΠ½Π΄ΠΈΠΊΠ°Ρ‚ΠΎΡ€Π° Π² Π·Π°Π²ΠΈΡΠΈΠΌΠΎΡΡ‚ΠΈ ΠΎΡ‚ ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΈΠ· ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² (Π² ΡΠΊΠΎΠ±ΠΊΠ°Ρ… ΡƒΠΊΠ°Π·Π°Π½Π° интСрпрСтация Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΈΠ½Π΄ΠΈΠΊΠ°Ρ‚ΠΎΡ€Π°).

(2.3).

(2.3).

(1— ΠΏΠΎΠΊΡƒΠΏΠΊΠ° Π½Π°Ρ‡Π°Π»Π°ΡΡŒ, 0— ΠΏΠΎΠΊΡƒΠΏΠΊΠ° Π΅Ρ‰Π΅ Π½Π΅ Π½Π°Ρ‡Π°Π»Π°ΡΡŒ);

(2.4).

(2.4).

(1— ΠΏΠΎΠΊΡƒΠΏΠΊΠ° Π΅Ρ‰Π΅ Π½Π΅ Π·Π°ΠΊΠΎΠ½Ρ‡ΠΈΠ»Π°ΡΡŒ, 0— ΡƒΠΆΠ΅ Π·Π°ΠΊΠΎΠ½Ρ‡ΠΈΠ»Π°ΡΡŒ);

(2.5).

(2.5).

(1— остаток Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»Π΅Π½, 0— Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ Π½Π΅ ΠΎΡΡ‚Π°Π»ΠΎΡΡŒ);

(2.6).

(2.6).

(1—Ρ‚Π΅ΠΊΡƒΡ‰ΠΈΠΉ ΠΌΠΎΠΌΠ΅Π½Ρ‚ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ ΠΏΠΎΠΏΠ°Π΄Π°Π΅Ρ‚ Π² Ρ€Π°Π·Ρ€Π΅ΡˆΠ΅Π½Π½Ρ‹ΠΉ ΠΈΠ½Ρ‚Π΅Ρ€Π²Π°Π», 0— Π² Π΄Π°Π½Π½Ρ‹ΠΉ ΠΌΠΎΠΌΠ΅Π½Ρ‚ Π΅ΡΡ‚ΡŒ ограничСния Π½Π° ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… рСсурсов).

Π—Π°Π΄Π°Π΄ΠΈΠΌ состояния ΠΏΠΎΠΊΡƒΠΏΠΎΠΊ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌΠΈ функциями:

s1 = C (pi) C (pj) C (pk) C (ti).

s2 = (1 — C (pj)???C (pk ))(2.7).

s3 = C (pi)? C (pj)? C (pk )? (1 — C (ti))

Π’ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π°Ρ… (2.7) ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Π΅ sL ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°ΡŽΡ‚ значСния 1, Ссли выполняСтся условиС состояния L, Π² ΠΏΡ€ΠΎΡ‚ΠΈΠ²Π½ΠΎΠΌ случаС ΠΎΠ½ΠΈ Ρ€Π°Π²Π½Ρ‹ 0.

Π˜Ρ‚ΠΎΠ³ΠΎΠ²Π°Ρ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° для вычислСния состояния выглядит Ρ‚Π°ΠΊ:

s = 1? C (pi)? C (pj)? C (pk )? C (ti) +

+ 2? (1 — C (pj)? C (pk )) + (2.8).

+ 3? C (pi)? C (pj)? C (pk )? (1 — C (ti))

Условия состояний Π² Ρ€Π΅Π°Π»ΠΈΠ·Π°Ρ†ΠΈΠΈ ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π° «Π‘остояниС ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ» выглядят ΠΊΠ°ΠΊ запрос ΠΊ Π±Π°Π·Π΅ Π΄Π°Π½Π½Ρ‹Ρ…. Если экзСмпляр ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Π° «ΠŸΠΎΠΊΡƒΠΏΠΊΠ°» удовлСтворяСт ΡƒΡΠ»ΠΎΠ²ΠΈΡŽ состояния, Ρ‚ΠΎ Π΅Π³ΠΎ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ «ΡΠΎΡΡ‚ояниС» ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°Π΅Ρ‚ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Π΄Π°Π½Π½ΠΎΠ³ΠΎ состояния.

Аналогичным ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½ΠΎΠΌΡƒ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρƒ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ описаны Π»ΡŽΠ±Ρ‹Π΅ Π΄Ρ€ΡƒΠ³ΠΈΠ΅ состояния ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ, зависящиС ΠΎΡ‚ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ ΠΈ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² ΠΏΠ»Π°Ρ‚Π΅ΠΆΠ½ΠΎΠ³ΠΎ ΠΏΠ»Π°Π½Π°, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, врСмСнная приостановка услуги, Π±Π»ΠΎΠΊΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠ΅ администратором Π·Π° Π½Π°Ρ€ΡƒΡˆΠ΅Π½ΠΈΠ΅ Π΄ΠΎΠ³ΠΎΠ²ΠΎΡ€Π°, постСпСнноС ΠΎΡ‚ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… рСсурсов ΠΏΡ€ΠΈ систСматичСской Π½Π΅ΡƒΠΏΠ»Π°Ρ‚Π΅ ΠΈ Ρ‚. Π΄.

ΠŸΡ€ΠΈ Ρ€Π΅Π°Π»ΠΈΠ·Π°Ρ†ΠΈΠΈ Ρ‚Π°ΠΊΠΎΠΉ схСмы Π²Π°ΠΆΠ½ΠΎ ΡƒΡ‡Π΅ΡΡ‚ΡŒ, Ρ‡Ρ‚ΠΎ Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ вычислСния условий состояний Π΄ΠΎΠ»ΠΆΠ½ΠΎ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½ΠΎ ΠΎΠ΄Π½ΠΎ ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠ΄Π½ΠΎ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ состояния ΠΈΠ· Π·Π°Π΄Π°Π½Π½ΠΎΠ³ΠΎ мноТСства состояний. НапримСр, Π² Ρ€Π°ΡΡΠΌΠΎΡ‚Ρ€Π΅Π½Π½ΠΎΠΌ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π΅ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Π° Π½Π΅ΠΎΠ΄Π½ΠΎΠ·Π½Π°Ρ‡Π½ΠΎΡΡ‚ΡŒ Π² ΡΠΈΡ‚ΡƒΠ°Ρ†ΠΈΠΈ, ΠΊΠΎΠ³Π΄Π° ΠΏΠΎΠΊΡƒΠΏΠΊΠ° Π΅Ρ‰Π΅ Π½Π΅ ΡƒΡΠΏΠ΅Π»Π° Π½Π°Ρ‡Π°Ρ‚ΡŒΡΡ (C (pi)= 0). Π’ ΡΡ‚ΠΎΠΌ случаС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ состояния ΠΌΠΎΠΆΠ΅Ρ‚ ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒΡΡ Ρ€Π°Π²Π½Ρ‹ΠΌ 0, Π½ΠΎ Ρ‚Π°ΠΊΠΎΠ³ΠΎ состояния Π½Π΅ ΠΏΡ€Π΅Π΄ΡƒΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°Π»ΠΎΡΡŒ.

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ модСль синхронизации

Π€ΡƒΠ½ΠΊΡ†ΠΈΠ΅ΠΉ ΠΌΠ΅Ρ…Π°Π½ΠΈΠ·ΠΌΠ° синхронизации являСтся ΠΏΠ΅Ρ€Π΅Π΄Π°Ρ‡Π° Π°ΠΊΡ‚ΡƒΠ°Π»ΡŒΠ½ΠΎΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ ΠΈΠ· Ρ€Π°ΡΡ‡Π΅Ρ‚Π½ΠΎΠΉ Π² Ρ‚Π΅Ρ…Π½ΠΎΠ»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ подсистСму Π±ΠΈΠ»Π»ΠΈΠ½Π³Π°.

Π€ΠΎΡ€ΠΌΡƒΠ»Π°ΠΌΠΈ (2.7.-2.8.) Π±Ρ‹Π»Π° Π²Π²Π΅Π΄Π΅Π½Π° Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° вычислСния состояния ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ. КаТдая ΠΏΠΎΠΊΡƒΠΏΠΊΠ° ΠΌΠΎΠΆΠ΅Ρ‚ Π²ΠΊΠ»ΡŽΡ‡Π°Ρ‚ΡŒ Π² ΡΠ΅Π±Ρ нСсколько рСсурсов. По ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ Π½ΡƒΠΆΠ½ΠΎ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚ΡŒ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚ΡŒ состояния всСх рСсурсов. Если состояний ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ описано сколь ΡƒΠ³ΠΎΠ΄Π½ΠΎ ΠΌΠ½ΠΎΠ³ΠΎ, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ ΠΎΠ½ΠΈ Π²Π²Π΅Π΄Π΅Π½Ρ‹ для удобства управлСния ΠΏΠΎΠΊΡƒΠΏΠΊΠ°ΠΌΠΈ, Ρ‚ΠΎ ΡΠΎΡΡ‚ояний рСсурсов ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π΄Π²Π°— «Π²ΠΊΠ»ΡŽΡ‡Π΅Π½"/"Π²Ρ‹ΠΊΠ»ΡŽΡ‡Π΅Π½».

Рассмотрим ΠΌΠ΅Ρ‚ΠΎΠ΄ вычислСния состояний ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ рСсурса для ΠΊΠ»ΠΈΠ΅Π½Ρ‚Π°, ΠΈΠΌΠ΅ΡŽΡ‰Π΅Π³ΠΎ нСсколько ΠΏΠΎΠΊΡƒΠΏΠΎΠΊ.

Π”ΠΎΠ±Π°Π²Π»Π΅Π½ΠΈΠ΅ подсистСм Π² ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‰ΡƒΡŽ Π±ΠΈΠ»Π»ΠΈΠ½Π³ΠΎΠ²ΡƒΡŽ систСму.

ΠŸΡƒΡΡ‚ΡŒ имССтся m Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… рСсурсов Res1, Res2,…Resm. ΠŸΡ€Π΅Π΄ΡΡ‚Π°Π²ΠΈΠΌ ΠΈΡ… ΡΠΎΡΡ‚ояния ΠΊΠ°ΠΊ ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Ρƒ-строку ЗначСния 0, 1ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‚ состояниям рСсурса «Π²Ρ‹ΠΊΠ»ΡŽΡ‡Π΅Π½», «Π²ΠΊΠ»ΡŽΡ‡Π΅Π½».

Π”ΠΎΠ±Π°Π²Π»Π΅Π½ΠΈΠ΅ подсистСм Π² ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‰ΡƒΡŽ Π±ΠΈΠ»Π»ΠΈΠ½Π³ΠΎΠ²ΡƒΡŽ систСму.
Π”ΠΎΠ±Π°Π²Π»Π΅Π½ΠΈΠ΅ подсистСм Π² ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‰ΡƒΡŽ Π±ΠΈΠ»Π»ΠΈΠ½Π³ΠΎΠ²ΡƒΡŽ систСму.
Π”ΠΎΠ±Π°Π²Π»Π΅Π½ΠΈΠ΅ подсистСм Π² ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‰ΡƒΡŽ Π±ΠΈΠ»Π»ΠΈΠ½Π³ΠΎΠ²ΡƒΡŽ систСму.

Рассмотрим ΠΎΠ΄Π½Ρƒ ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½ΡƒΡŽ ΠΏΠΎΠΊΡƒΠΏΠΊΡƒ Pk. ΠŸΡƒΡΡ‚ΡŒ ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Π°-строка состоит ΠΈΠ· ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠ², Ρ‚Π°ΠΊΠΈΡ… Ρ‡Ρ‚ΠΎ, Ссли ΠΏΠΎΠΊΡƒΠΏΠΊΠ° Pkнаходится Π² ΡΠΎΡΡ‚оянии i, Π² ΠΏΡ€ΠΎΡ‚ΠΈΠ²Π½ΠΎΠΌ случаС .

Π’Π²Π΅Π΄Π΅ΠΌ ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Ρƒ соотвСтствия состояний ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ:

(2.9).

(2.9).

Π—Π΄Π΅ΡΡŒ элСмСнт xij соотвСтствуСт ΡΠΎΡΡ‚ΠΎΡΠ½ΠΈΡŽ рСсурса rj ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ, находящСйся Π² ΡΠΎΡΡ‚оянии si.

Π’ΠΎΠ³Π΄Π° ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Ρ‹ состояний ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ Pk Π½Π° ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Ρƒ соотвСтствия состояний Π±ΡƒΠ΄Π΅Ρ‚ Π΄Π°Π²Π°Ρ‚ΡŒ ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Ρƒ состояний рСсурсов Rk для Π΄Π°Π½Π½ΠΎΠΉ ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ:

(2.10).

(2.10).

Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, ΠΈΠΌΠ΅Π΅ΠΌ ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Ρƒ состояний всСх рСсурсов для ΠΎΠ΄Π½ΠΎΠΉ ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½ΠΎΠΉ ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ. Если ΠΊΠ»ΠΈΠ΅Π½Ρ‚ ΠΈΠΌΠ΅Π΅Ρ‚ нСсколько ΠΏΠΎΠΊΡƒΠΏΠΎΠΊ, Ρ‚ΠΎ Π΅Π³ΠΎ ΠΏΡ€Π°Π²Π° доступа ΠΊ ΠΊΠ°ΠΆΠ΄ΠΎΠΌΡƒ рСсурсу ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‚ΡΡ ΠΊΠ°ΠΊ поэлСмСнтная логичСская сумма ΠΌΠ°Ρ‚Ρ€ΠΈΡ† состояний рСсурсов для ΠΊΠ°ΠΆΠ΄ΠΎΠΉ ΠΈΠ· ΠΏΠΎΠΊΡƒΠΏΠΎΠΊ. Π”Ρ€ΡƒΠ³ΠΈΠΌΠΈ словами, рСсурс Π±ΡƒΠ΄Π΅Ρ‚ Ρ€Π°Π·Ρ€Π΅ΡˆΠ΅Π½ ΠΊΠ»ΠΈΠ΅Π½Ρ‚Ρƒ, Ссли хотя Π±Ρ‹ ΠΎΠ΄Π½Π° ΠΈΠ· Π΅Π³ΠΎ ΠΏΠΎΠΊΡƒΠΏΠΎΠΊ, Π²ΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰ΠΈΡ… этот рСсурс, Π±ΡƒΠ΄Π΅Ρ‚ ΠΈΠΌΠ΅Ρ‚ΡŒ состояниС, Ρ€Π°Π·Ρ€Π΅ΡˆΠ°ΡŽΡ‰Π΅Π΅ Π΅Π³ΠΎ использованиС.

(2.11).

(2.11).

Аналогичным ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚ΡŒ ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ Π»ΠΈΠΌΠΈΡ‚ΠΎΠ² рСсурсов, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌΠΈ ΠΌΠΎΠΆΠ΅Ρ‚ Ρ€Π°ΡΠΏΠΎΠ»Π°Π³Π°Ρ‚ΡŒ ΠΊΠ»ΠΈΠ΅Π½Ρ‚. ΠŸΡƒΡΡ‚ΡŒ ΠΏΠΎΠΊΡƒΠΏΠΊΠ° PkсрСди своих ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² ΠΈΠΌΠ΅Π΅Ρ‚ Π»ΠΈΠΌΠΈΡ‚Ρ‹ Π²ΠΊΠ»ΡŽΡ‡Π΅Π½Π½Ρ‹Ρ… Π² Π½Π΅Π΅ рСсурсов. Для ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ Pk составим Π΄ΠΈΠ°Π³ΠΎΠ½Π°Π»ΡŒΠ½ΡƒΡŽ ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Ρƒ Π»ΠΈΠΌΠΈΡ‚ΠΎΠ² рСсурсов:

(2.12).

(2.12).

Π­Π»Π΅ΠΌΠ΅Π½Ρ‚Ρ‹ этой ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Ρ‹ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‚ Π»ΠΈΠΌΠΈΡ‚Ρƒ рСсурса ResjΠ² ΠΏΠΎΠΊΡƒΠΏΠΊΠ΅ Pk. ЗначСниями ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ числа, ΠΈΠ½Ρ‚Π΅Ρ€Π²Π°Π»Ρ‹ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ, строки ΠΈ Π±ΠΎΠ»Π΅Π΅ слоТныС ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Ρ‹. ΠœΠ°Ρ‚Ρ€ΠΈΡ†Π° Π»ΠΈΠΌΠΈΡ‚ΠΎΠ² рСсурсов для ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ Pk получаСтся ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ:

(2.13).

(2.13).

Π‘ΡƒΠΌΠΌΠ°Ρ€Π½Ρ‹Π΅ Π»ΠΈΠΌΠΈΡ‚Ρ‹ рСсурсов для всСх ΠΏΠΎΠΊΡƒΠΏΠΎΠΊ ΠΊΠ»ΠΈΠ΅Π½Ρ‚Π° ΠΏΠΎΠ»ΡƒΡ‡Π°ΡŽΡ‚ΡΡ суммированиСм Π»ΠΈΠΌΠΈΡ‚ΠΎΠ² для ΠΊΠ°ΠΆΠ΄ΠΎΠΉ ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ:

(2.14).

(2.14).

Π’ Π΄Π°Π½Π½ΠΎΠΌ случаС функция суммирования для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ рСсурса опрСдСляСтся способом агрСгирования, Π·Π°Π΄Π°Π½Π½ΠΎΠ³ΠΎ для Π΄Π°Π½Π½ΠΎΠ³ΠΎ рСсурса. Π’ Ρ‚ΠΎΠΌ случаС, Ссли рСсурс отнСсСн ΠΊ ΡΡƒΠΌΠΌΠΈΡ€ΡƒΠ΅ΠΌΠΎΠΌΡƒ Ρ‚ΠΈΠΏΡƒ, Ρ‚ΠΎ Ρ„ункция суммирования эквивалСнтна числовому слоТСнию. Если рСсурс строчного Ρ‚ΠΈΠΏΠ°, Ρ‚ΠΎ Ρ„ункция суммирования прСдставляСт ΠΈΠ· ΡΠ΅Π±Ρ Π²Ρ‹Π±ΠΎΡ€ «Π½Π°ΠΈΠ»ΡƒΡ‡ΡˆΠ΅Π³ΠΎ» значСния, установлСнного Π·Π°Π΄Π°Π½Π½Ρ‹ΠΌ ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚ΠΎΠΌ (возрастаниС, ΡƒΠ±Ρ‹Π²Π°Π½ΠΈΠ΅, Π°Π»Ρ„Π°Π²ΠΈΡ‚Π½Ρ‹ΠΉ порядок, упорядочСнный список Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ). Если рСсурс относится ΠΊ ΠΏΠ΅Ρ€Π΅Ρ‡ΠΈΡΠ»ΡΠ΅ΠΌΠΎΠΌΡƒ Ρ‚ΠΈΠΏΡƒ, Ρ‚ΠΎ Π² ΠΊΠ°Ρ‡Π΅ΡΡ‚Π²Π΅ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ суммирования ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ опСрация объСдинСния. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½ способ, с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΊΠ»ΠΈΠ΅Π½Ρ‚Π°, исходя ΠΈΠ· ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ² ΠΏΠΎΠΊΡƒΠΏΠΊΠΈ, ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Ρ‹ соотвСтствия состояний, ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Ρ‹ Π»ΠΈΠΌΠΈΡ‚ΠΎΠ² рСсурсов ΠΈ ΠΏΡ€Π°Π²ΠΈΠ» агрСгирования, ΠΌΠΎΠΆΠ½ΠΎ Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚ΡŒ состояниС ΠΈ Π»ΠΈΠΌΠΈΡ‚Ρ‹ рСсурсов, доступных Π΅ΠΌΡƒ.

ΠŸΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ вСсь тСкст
Π—Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Ρ„ΠΎΡ€ΠΌΡƒ Ρ‚Π΅ΠΊΡƒΡ‰Π΅ΠΉ Ρ€Π°Π±ΠΎΡ‚ΠΎΠΉ