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

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠΎΠ΅ ΠΌΠΎΠ΄Π΅Π»ΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠ΅ ΠΈ исслСдованиС процСссов ΠΈΠ½Ρ‚Π΅Ρ€Π°ΠΊΡ‚ΠΈΠ²Π½ΠΎΠ³ΠΎ взаимодСйствия Π² Π²ΠΈΡ€Ρ‚ΡƒΠ°Π»ΡŒΠ½ΠΎΠΉ срСдС: ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ° ΠΈ основныС тСзисы

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

ΠšΠ»ΡŽΡ‡Π΅Π²Ρ‹Π΅ слова: элСктронная бортовая докумСнтация, Π·Π°Π΄Π°Ρ‡ΠΈ построСния Π±ΠΎΡ€Ρ‚ΠΎΠ²Ρ‹Ρ… инструкций, Π²ΠΈΡ€Ρ‚ΡƒΠ°Π»ΡŒΠ½Ρ‹Π΅ Ρ‚Ρ€Π΅Π½Π°ΠΆΠ΅Ρ€Ρ‹, ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ»Π°Π½ ΠΏΠΎΠ»Π΅Ρ‚Π°, ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ΅ ΠΏΠΎΠ»Π΅ Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ, ΠΎΠ½Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΠΈ, матСматичСскиС ΠΌΠΎΠ΄Π΅Π»ΠΈ. Π±ΠΎΡ€Ρ‚ΠΎΠ²ΠΎΠΉ докумСнтация элСктронный Π’Π°ΠΆΠ½Π΅ΠΉΡˆΠΈΠΌ инструмСнтом Π΄Π΅ΡΡ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ² слоТных систСм, Π² Ρ‡Π°ΡΡ‚ности — экипаТСй космичСских ΠΊΠΎΡ€Π°Π±Π»Π΅ΠΉ ΠΈ ΡΡ‚Π°Π½Ρ†ΠΈΠΉ, — являСтся бортовая докумСнтация (Π‘Π”… Π§ΠΈΡ‚Π°Ρ‚ΡŒ Π΅Ρ‰Ρ‘ >

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠΎΠ΅ ΠΌΠΎΠ΄Π΅Π»ΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠ΅ ΠΈ исслСдованиС процСссов ΠΈΠ½Ρ‚Π΅Ρ€Π°ΠΊΡ‚ΠΈΠ²Π½ΠΎΠ³ΠΎ взаимодСйствия Π² Π²ΠΈΡ€Ρ‚ΡƒΠ°Π»ΡŒΠ½ΠΎΠΉ срСдС: ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ° ΠΈ основныС тСзисы (Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚, курсовая, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ)

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

ΠšΠ»ΡŽΡ‡Π΅Π²Ρ‹Π΅ слова: элСктронная бортовая докумСнтация, Π·Π°Π΄Π°Ρ‡ΠΈ построСния Π±ΠΎΡ€Ρ‚ΠΎΠ²Ρ‹Ρ… инструкций, Π²ΠΈΡ€Ρ‚ΡƒΠ°Π»ΡŒΠ½Ρ‹Π΅ Ρ‚Ρ€Π΅Π½Π°ΠΆΠ΅Ρ€Ρ‹, ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ»Π°Π½ ΠΏΠΎΠ»Π΅Ρ‚Π°, ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ΅ ΠΏΠΎΠ»Π΅ Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ, ΠΎΠ½Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΠΈ, матСматичСскиС ΠΌΠΎΠ΄Π΅Π»ΠΈ. Π±ΠΎΡ€Ρ‚ΠΎΠ²ΠΎΠΉ докумСнтация элСктронный Π’Π°ΠΆΠ½Π΅ΠΉΡˆΠΈΠΌ инструмСнтом Π΄Π΅ΡΡ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ² слоТных систСм, Π² Ρ‡Π°ΡΡ‚ности — экипаТСй космичСских ΠΊΠΎΡ€Π°Π±Π»Π΅ΠΉ ΠΈ ΡΡ‚Π°Π½Ρ†ΠΈΠΉ, — являСтся бортовая докумСнтация (Π‘Π”). Π‘ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠ΅ состояниС Π‘Π” Российского сСгмСнта МКБ (ΠΎΠΊΠΎΠ»ΠΎ 50 Ρ‚ΠΎΠΌΠΎΠ² инструкций Π½Π° Π±ΡƒΠΌΠ°ΠΆΠ½Ρ‹Ρ… носитСлях ΠΈ Π½Π΅ΡƒΠ΄ΠΎΠ±Π½Π°Ρ элСктронная вСрсия с ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹ΠΌΠΈ Π½Π°Π²ΠΈΠ³Π°Ρ†ΠΈΠΎΠ½Π½Ρ‹ΠΌΠΈ возмоТностями) Ρ‚Ρ€Π΅Π±ΡƒΠ΅Ρ‚ Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ Π½ΠΎΠ²Ρ‹Ρ… Π½Π°Π·Π΅ΠΌΠ½Ρ‹Ρ… ΠΈ Π±ΠΎΡ€Ρ‚ΠΎΠ²Ρ‹Ρ… ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ½ΠΎ-тСхничСских срСдств, ΠΎΠ±Π΅ΡΠΏΠ΅Ρ‡ΠΈΠ²Π°ΡŽΡ‰ΠΈΡ… ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ΄ΠΈΡ‚Π΅Π»ΡŒΠ½ΡƒΡŽ ΠΏΠΎΠ΄Π³ΠΎΡ‚ΠΎΠ²ΠΊΡƒ Π‘Π”, ΠΎΠ±ΡƒΡ‡Π΅Π½ΠΈΠ΅ экипаТСй Ρ€Π°Π±ΠΎΡ‚Π΅ с ΠΈΠ½ΡΡ‚рукциями, мобильноС ΠΈ ΡΡ„Ρ„Π΅ΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ использованиС Π±ΠΈΠ±Π»ΠΈΠΎΡ‚Π΅ΠΊΠΈ Π‘Π” Π² ΡΠ»ΠΎΠΆΠ½Ρ‹Ρ… условиях космичСского ΠΏΠΎΠ»Π΅Ρ‚Π°.

ΠžΡΠΎΠ±Ρ‹ΠΌ аспСктом построСния комплСкса элСктронной Π‘Π” (Π­Π‘Π”) являСтся Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎΡΡ‚ΡŒ ΠΎΡ€Π³Π°Π½ΠΈΠ·Π°Ρ†ΠΈΠΈ слоТной систСмы привязки ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… рСсурсов (ΠΊΠ½ΠΈΠ³, Ρ€Π°Π·Π΄Π΅Π»ΠΎΠ² ΠΈ ΠΏΡƒΠ½ΠΊΡ‚ΠΎΠ² Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ) ΠΊ ΠΏΠΎΠ·ΠΈΡ†ΠΈΡΠΌ Π±ΠΎΡ€Ρ‚ΠΎΠ²Ρ‹Ρ… сцСнариСв, ΠΏΠ»Π°Π½ΠΎΠ² ΠΈ Ρ€Π°ΡΠΏΠΈΡΠ°Π½ΠΈΠΉ [1−4].

Для связывания Π² ΠΊΠΎΠΌΠΏΠ»Π΅ΠΊΡΠ΅ Π­Π‘Π” ΠΏΡƒΠ½ΠΊΡ‚ΠΎΠ² ΠΏΠ»Π°Π½Π° ΠΈ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… рСсурсов прСдлагаСтся ΠΈΡΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚ΡŒ систСму, ΠΎΠ±Ρ€Π°Π·ΡƒΠ΅ΠΌΡƒΡŽ ΠΏΠ»Π°Π½ΠΎΠΌ ΠΈ Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠ΅ΠΉ, ΠΈ ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²Π»Π΅Π½Π½ΡƒΡŽ Π½Π° Π ΠΈΡ. 1.

ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ»Π°Π½ ΠΏΠΎΠ»Π΅Ρ‚Π° ΠΈΠ·ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ Π² Π²ΠΈΠ΄Π΅ Π³Ρ€Π°Ρ„Π° Π² Π²Π΅Ρ€Ρ…Π½Π΅ΠΉ части рисунка. Π’Π΅Ρ€ΡˆΠΈΠ½Π°ΠΌΠΈ Π³Ρ€Π°Ρ„Π° ΡΠ²Π»ΡΡŽΡ‚ΡΡ элСмСнты ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ ΠΏΠ»Π°Π½Π° (ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€Ρ‹ ΠΈΠ»ΠΈ дСйствия); Π΄ΡƒΠ³ΠΈ — ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‚ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄Π°ΠΌ ΠΌΠ΅ΠΆΠ΄Ρƒ Π½ΠΈΠΌΠΈ. ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΏΠ»Π°Π½ — это схСма выполнСния ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠΌ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½ΠΎΠ³ΠΎ слоТного сцСнария — экспСримСнта ΠΈΠ»ΠΈ упраТнСния, состоящСго ΠΈΠ· Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… дСйствий ΠΈ/ΠΈΠ»ΠΈ ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€.

Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Π΅ рСсурсы ΠΈΠ·ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½Ρ‹ Π² Π½ΠΈΠΆΠ½Π΅ΠΉ части Рис. 1. Они прСдставлСны Π² Π²ΠΈΠ΄Π΅ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ поля — совокупности ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… элСмСнтов (Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ², частСй Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ², ΠΌΡƒΠ»ΡŒΡ‚ΠΈΠΌΠ΅Π΄ΠΈΠ°-ΠΈΠ»Π»ΡŽΡΡ‚Ρ€Π°Ρ†ΠΈΠΉ, Π·Π²ΡƒΠΊΠΎΠ²ΠΎΠ³ΠΎ сопровоТдСния ΠΈ Ρ‚. Π΄.) Ρ€Π°Π·Π½ΠΎΠΉ стСпСни структурированности (связанности ΠΌΠ΅ΠΆΠ΄Ρƒ собой).

Бортовая инструкция прСдставлСна Π² Ρ†Π΅Π½Ρ‚Ρ€Π΅ Рис. 1. Π² Π²ΠΈΠ΄Π΅ совокупности связСй элСмСнтов ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ ΠΏΠ»Π°Π½Π° с ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°ΠΌΠΈ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ поля. Единичная связка (символ Π² Π²ΠΈΠ΄Π΅ Π±ΠΈΡ€ΠΊΠΈ), связываСт ΠΎΠ΄ΠΈΠ½ элСмСнт Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ с ΠΎΠ΄Π½ΠΈΠΌ элСмСнтом ΠΏΠ»Π°Π½Π°. ΠžΡ‚Π΄Π΅Π»ΡŒΠ½Ρ‹ΠΉ элСмСнт Π±ΠΎΡ€Ρ‚ΠΎΠ²ΠΎΠΉ инструкции, ΠΏΠΎΠ»Π½ΠΎΡΡ‚ΡŒΡŽ ΠΎΠΏΠΈΡΡ‹Π²Π°ΡŽΡ‰ΠΈΠΉ ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½ΡƒΡŽ ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€Ρƒ, строится ΠΈΠ· ΠΎΠ΄Π½ΠΎΠΉ ΠΈΠ»ΠΈ Π±ΠΎΠ»Π΅Π΅ связок.

Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, бортовая инструкция являСтся подмноТСством ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ поля Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ², структурированным Π² ΡΠΎΠΎΡ‚вСтствии с ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½Ρ‹ΠΌ ΠΏΠ»Π°Π½ΠΎΠΌ.

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠΎΠ΅ описаниС Π΄Π°Π½Π½ΠΎΠΉ систСмы ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²ΠΈΡ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ:

БущСствуСт ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ Π³Ρ€Π°Ρ„ экспСримСнта/упраТнСния G=G (V, A), Π³Π΄Π΅ V=(v1,…, vi,…vn) — мноТСство Π²Π΅Ρ€ΡˆΠΈΠ½ Π³Ρ€Π°Ρ„Π° — ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€/ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ, |V|=n, i=1…n; A=||aij||, aij=1, Ссли сущСствуСт Π΄ΡƒΠ³Π° vi > vj, ΠΈΠ½Π°Ρ‡Π΅ aij=0, i=1…n, j=1…n — ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Π° ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΎΠ² Π² Π³Ρ€Π°Ρ„Π΅. [5−7].

ΠŸΡ€ΠΈ этом, элСмСнт vs ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Ρ‚Π°ΠΊΠΆΠ΅ прСдставлСн Π³Ρ€Π°Ρ„ΠΎΠΌ gs = G (Vs, As).

Π’Π°ΠΊΠΆΠ΅ сущСствуСт ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ΅ ΠΏΠΎΠ»Π΅ F=(f1,…, fk,…fm), |F|=m, k=1…m — ΡΠΎΠ²ΠΎΠΊΡƒΠΏΠ½ΠΎΡΡ‚ΡŒ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… элСмСнтов — Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ² fk.

ΠžΡ‚Π΄Π΅Π»ΡŒΠ½Ρ‹ΠΉ Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚ fk ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ привязан ΠΊ ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚Ρƒ vi ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ Π³Ρ€Π°Ρ„Π° (отраТаСтся привязкой Π‘ (v)=f: V>F). КаТдая привязка ΠΈΠΌΠ΅Π΅Ρ‚ коэффициСнт коррСктности w (C (v))=[0,1], ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΎΡ‚Ρ€Π°ΠΆΠ°Π΅Ρ‚ ΡΠΎΠ΄Π΅Ρ€ΠΆΠ°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ соотвСтствиС Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π° обслуТиваСмой ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ.

Π‘ΠΎΠ²ΠΎΠΊΡƒΠΏΠ½ΠΎΡΡ‚ΡŒ Π΄Π°Π½Π½Ρ‹Ρ… привязок ΠΎΠ±Ρ€Π°Π·ΡƒΠ΅Ρ‚ Π±ΠΎΡ€Ρ‚ΠΎΠ²ΡƒΡŽ ΠΈΠ½ΡΡ‚Ρ€ΡƒΠΊΡ†ΠΈΡŽ:

B (v)=f: V>F', (1).

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠΎΠ΅ ΠΌΠΎΠ΄Π΅Π»ΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠ΅ ΠΈ исслСдованиС процСссов ΠΈΠ½Ρ‚Π΅Ρ€Π°ΠΊΡ‚ΠΈΠ²Π½ΠΎΠ³ΠΎ взаимодСйствия Π² Π²ΠΈΡ€Ρ‚ΡƒΠ°Π»ΡŒΠ½ΠΎΠΉ срСдС: ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ° ΠΈ основныС тСзисы.

Π³Π΄Π΅ F'=(f'1,…f'l,…, f'b) — Π³Ρ€ΡƒΠΏΠΏΠ° Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ², привязанная ΠΊ ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€Π΅, |F'|=b, b=0…m, f'lF, l=1…b; f'l=C (v) — ΠΏΡƒΠ½ΠΊΡ‚ Π±ΠΎΡ€Ρ‚ΠΎΠ²ΠΎΠΉ инструкции, B (vi)=.

Для процСсса ΠΏΠΎΠ΄Π³ΠΎΡ‚ΠΎΠ²ΠΊΠΈ Π­Π‘Π” Ρ…Π°Ρ€Π°ΠΊΡ‚Π΅Ρ€Π½Ρ‹ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ основныС Π·Π°Π΄Π°Ρ‡ΠΈ.

Π—Π°Π΄Π°Ρ‡Π° 1 — ΠŸΠΎΡΡ‚Ρ€ΠΎΠ΅Π½ΠΈΠ΅ Π±ΠΎΡ€Ρ‚ΠΎΠ²ΠΎΠΉ инструкции. Для ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‰Π΅Π³ΠΎ ΠΏΠ»Π°Π½Π° Ρ€Π°Π±ΠΎΡ‚ (экспСримСнта ΠΈΠ»ΠΈ упраТнСния), состоящСго ΠΈΠ· Π΄Π΅ΠΉΡΡ‚Π²ΠΈΠΉ/ΠΏΡ€ΠΎΡ†Π΅Π΄ΡƒΡ€, трСбуСтся Π½Π° ΠΎΡΠ½ΠΎΠ²Π΅ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΡ… Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ² ΡΠΎΡΡ‚Π°Π²ΠΈΡ‚ΡŒ Π±ΠΎΡ€Ρ‚ΠΎΠ²ΡƒΡŽ ΠΈΠ½ΡΡ‚Ρ€ΡƒΠΊΡ†ΠΈΡŽ ΠΈΠ· Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚ΠΎΠ² Π­Π‘Π” с ΠΏΡ€ΠΈΠ²ΡΠ·ΠΊΠΎΠΉ ΠΊ Π·Π°ΠΏΠ»Π°Π½ΠΈΡ€ΠΎΠ²Π°Π½Π½Ρ‹ΠΌ дСйствиям. ГрафичСскоС прСдставлСниС Π—Π°Π΄Π°Ρ‡ΠΈ 1 ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½Π° Π ΠΈΡ. 2.

Π—Π°Π΄Π°Ρ‡Π° построСния ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½ΠΎΠΉ Π±ΠΎΡ€Ρ‚ΠΎΠ²ΠΎΠΉ инструкции.

Рис. 2. Π—Π°Π΄Π°Ρ‡Π° построСния ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½ΠΎΠΉ Π±ΠΎΡ€Ρ‚ΠΎΠ²ΠΎΠΉ инструкции.

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ постановка Π—Π°Π΄Π°Ρ‡ΠΈ 1: ΠŸΡ€ΠΈ извСстном ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΌ ΠΏΠ»Π°Π½Π΅ G (V, A) ΠΈ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΌ ΠΏΠΎΠ»Π΅ Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ F ΠΏΠΎΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ Π±ΠΎΡ€Ρ‚ΠΎΠ²ΡƒΡŽ ΠΈΠ½ΡΡ‚Ρ€ΡƒΠΊΡ†ΠΈΡŽ B (v).

Π—Π°Π΄Π°Ρ‡Π° 2 — ΠŸΡ€ΠΈΠ²ΡΠ·ΠΊΠ° Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ ΠΊ Π½Π΅Π·Π°ΠΏΠ»Π°Π½ΠΈΡ€ΠΎΠ²Π°Π½Π½Ρ‹ΠΌ дСйствиям. ΠŸΡ€ΠΈ Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½ΠΈΠΈ Ρ€Π°Π±ΠΎΡ‚ ΠΌΠΎΠΆΠ΅Ρ‚ Π²ΠΎΠ·Π½ΠΈΠΊΠ½ΡƒΡ‚ΡŒ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎΡΡ‚ΡŒ дСйствий, Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Π»ΡŒΠ½ΠΎΠ΅ обСспСчСниС ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π² Π­Π‘Π” имССтся, Π½ΠΎ Π½Π΅ ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²Π»Π΅Π½ΠΎ Π² Ρ‚ΠΈΠΏΠΎΠ²ΠΎΠΉ инструкции. ВрСбуСтся ΡΡ„ΠΎΡ€ΠΌΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ Π½ΠΎΠ²ΡƒΡŽ систСму связок ΠΌΠ΅ΠΆΠ΄Ρƒ этими дСйствиями ΠΈ ΠΏΡƒΠ½ΠΊΡ‚Π°ΠΌΠΈ Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ. ГрафичСскоС прСдставлСниС Π—Π°Π΄Π°Ρ‡ΠΈ 2 ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½Π° Π ΠΈΡ. 3.

Π—Π°Π΄Π°Ρ‡Π° привязки Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ ΠΊ Π½Π΅Π·Π°ΠΏΠ»Π°Π½ΠΈΡ€ΠΎΠ²Π°Π½Π½Ρ‹ΠΌ дСйствиям.

Рис. 3. Π—Π°Π΄Π°Ρ‡Π° привязки Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ ΠΊ Π½Π΅Π·Π°ΠΏΠ»Π°Π½ΠΈΡ€ΠΎΠ²Π°Π½Π½Ρ‹ΠΌ дСйствиям.

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ постановка Π—Π°Π΄Π°Ρ‡ΠΈ 2: ΠŸΡ€ΠΈ извСстном ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΌ ΠΏΠ»Π°Π½Π΅ G (V, A) ΠΈ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΌ ΠΏΠΎΠ»Π΅ Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ F для Π΄Π°Π½Π½ΠΎΠΉ Π±ΠΎΡ€Ρ‚ΠΎΠ²ΠΎΠΉ инструкции B (v) Π½Π°ΠΉΡ‚ΠΈ привязку Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ² ΠΊ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ B (vΠ½Π΅Π·).

Π—Π°Π΄Π°Ρ‡Π° 3 — ΠŸΡ€ΠΎΠ²Π΅Ρ€ΠΊΠ° коррСктности привязок. ΠŸΡ€ΠΈ Ρ„ΠΎΡ€ΠΌΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠΈ схСмы привязок Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ Π²ΠΎΠ·Π½ΠΈΠΊΠ½ΠΎΠ²Π΅Π½ΠΈΠ΅ сСмантичСских ошибок ΠΈ Π½Π΅ΡΠΎΠΎΡ‚вСтствий. ΠŸΡ€ΠΎΠ²Π΅Ρ€ΠΊΠ° коррСктности привязок Ρ‚Π°ΠΊΠΆΠ΅ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠ° ΠΏΡ€ΠΈ Π²Π²ΠΎΠ΄Π΅ Π² Π‘Π” Π½ΠΎΠ²Ρ‹Ρ… ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… рСсурсов, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΠΎΡ‚Π΅Π½Ρ†ΠΈΠ°Π»ΡŒΠ½ΠΎ ΠΌΠΎΠ³ΡƒΡ‚ ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒΡΡ Π±ΠΎΠ»Π΅Π΅ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠ²Π½Ρ‹ΠΌΠΈ, Ρ‡Π΅ΠΌ ΡƒΠΆΠ΅ задСйствованныС Π² ΠΏΠΎΡΡ‚Ρ€ΠΎΠ΅Π½ΠΈΠΈ Π΄Π°Π½Π½ΠΎΠΉ Π±ΠΎΡ€Ρ‚ΠΎΠ²ΠΎΠΉ инструкции рСсурсы. ГрафичСскоС прСдставлСниС Π—Π°Π΄Π°Ρ‡ΠΈ 3 ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½Π° Π ΠΈΡ. 4.

Π—Π°Π΄Π°Ρ‡Π° ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠΈ коррСктности привязок.

Рис. 4. Π—Π°Π΄Π°Ρ‡Π° ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠΈ коррСктности привязок.

ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΠ°Ρ постановка Π—Π°Π΄Π°Ρ‡ΠΈ 3: ΠŸΡ€ΠΈ извСстном ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΌ ΠΏΠ»Π°Π½Π΅ G (V, A) ΠΈ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΌ ΠΏΠΎΠ»Π΅ Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ F Π΄Π»Ρ Π΄Π°Π½Π½ΠΎΠΉ Π±ΠΎΡ€Ρ‚ΠΎΠ²ΠΎΠΉ инструкции B (v) ΠΎΡ†Π΅Π½ΠΈΡ‚ΡŒ ΠΊΠΎΡ€Ρ€Π΅ΠΊΡ‚Π½ΠΎΡΡ‚ΡŒ Π΅Π΅ ΠΏΡ€ΠΈΠ²ΡΠ·ΠΎΠΊ (Π½Π°ΠΉΡ‚ΠΈ w (C (v))).

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

O=O (C', R', A', I'), (2).

Π³Π΄Π΅ C' - понятия ΠΎΠ½Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΠΈ, R' - ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ ΠΎΠ½Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΠΈ; A' - Π°Ρ‚Ρ€ΠΈΠ±ΡƒΡ‚Ρ‹ ΠΎΠ½Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΠΈ; I' - экзСмпляры ΠΎΠ½Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΠΈ. [8−10].

ΠŸΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½Ρ‹Π΅ Π²Ρ‹ΡˆΠ΅ Π·Π°Π΄Π°Ρ‡ΠΈ сводятся ΠΊ ΠΏΠΎΡΡ‚Ρ€ΠΎΠ΅Π½ΠΈΡŽ Ρ‚Π°ΠΊΠΈΡ… ΠΎΠ½Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΠΉ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π»ΠΈΠ±ΠΎ ΡƒΠ΄ΠΎΠ²Π»Π΅Ρ‚Π²ΠΎΡ€ΡΡŽΡ‚ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½Ρ‹ΠΌ условиям, Π»ΠΈΠ±ΠΎ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‚ произвСсти Ρ‚Ρ€Π΅Π±ΡƒΠ΅ΠΌΡ‹Π΅ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ входящими Π² ΠΎΠ½Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΡŽ Π΄Π°Π½Π½Ρ‹ΠΌΠΈ. ВрСбуСтся ΠΏΠΎΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ модСль ΠΈ ΡΠΎΠ·Π΄Π°Ρ‚ΡŒ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ½ΠΎ-Π°ΠΏΠΏΠ°Ρ€Π°Ρ‚Π½Ρ‹ΠΉ комплСкс для исслСдования ΠΈ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌ построСния Π±ΠΎΡ€Ρ‚ΠΎΠ²Ρ‹Ρ… инструкций с ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ ΠΌΠ΅Ρ…Π°Π½ΠΈΠ·ΠΌΠ° ΠΎΠ½Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΠΉ.

РСшСниС поставлСнных Π·Π°Π΄Π°Ρ‡ ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Ρ‚ ΠΊ ΠΏΠΎΠ²Ρ‹ΡˆΠ΅Π½ΠΈΡŽ эффСктивности Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ Π±ΠΎΡ€Ρ‚ΠΎΠ²Ρ‹Ρ… инструкций, ΠΏΠΎΠ²Ρ‹ΡˆΠ΅Π½ΠΈΡŽ надСТности Π±ΠΎΡ€Ρ‚ΠΎΠ²Ρ‹Ρ… ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… систСм, ΡƒΠ»ΡƒΡ‡ΡˆΠ΅Π½ΠΈΡŽ структуризации исходных Π΄Π°Π½Π½Ρ‹Ρ…, ΠΈ, ΠΊΠ°ΠΊ слСдствиС, — ΠΊ Π΄ΠΎΡΡ‚ΠΈΠΆΠ΅Π½ΠΈΡŽ высоких качСствСнных ΠΈ ΡΠΊΡΠΏΠ»ΡƒΠ°Ρ‚Π°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… характСристик создаваСмой элСктронной Π±ΠΎΡ€Ρ‚ΠΎΠ²ΠΎΠΉ Π΄ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚Π°Ρ†ΠΈΠΈ.

  • 1. ΠšΡ€Π°Π²Ρ‡Π΅Π½ΠΊΠΎ Π‘. И., Π“ΠΎΡ€Π±Π°Ρ‡Π΅Π² Π•. Π‘. ΠœΠΎΠ΄ΡƒΠ»ΡŒ интСрфСйса ΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»Ρ ΠΌΠ½ΠΎΠ³ΠΎΡ„ΡƒΠ½ΠΊΡ†ΠΈΠΎΠ½Π°Π»ΡŒΠ½ΠΎΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΉ систСмы Π Π‘ МКБ // ΠŸΠΈΠ»ΠΎΡ‚ΠΈΡ€ΡƒΠ΅ΠΌΡ‹Π΅ ΠΏΠΎΠ»Π΅Ρ‚Ρ‹ Π² ΠΊΠΎΡΠΌΠΎΡ. ΠœΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»Ρ‹ 10 Π½Π°ΡƒΡ‡Π½ΠΎ-практичСской ΠΊΠΎΠ½Ρ„Π΅Ρ€Π΅Π½Ρ†ΠΈΠΈ. 2013. Π‘ 109−110.
  • 2. Π–ΡƒΠΊ Π•. И., ΠšΡ€Π°Π²Ρ‡Π΅Π½ΠΊΠΎ Π‘. И., ΠžΠ±Ρ‹Π΄Π΅Π½ΠΎΠ² Π‘. Π‘., Π‘Ρ‚Π΅ΠΏΠ°Π½ΠΎΠ² Π’. Π’., Π’ΠΈΡ‰Π΅Π½ΠΊΠΎ К. Π‘. ΠŸΠΎΡ‚ΠΎΡ†ΠΊΠ°Ρ А.Π‘. О Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π°Ρ… провСдСния космичСского экспСримСнта Π’Π˜Π Π£ // ΠŸΠΈΠ»ΠΎΡ‚ΠΈΡ€ΡƒΠ΅ΠΌΡ‹Π΅ ΠΏΠΎΠ»Π΅Ρ‚Ρ‹ Π² ΠΊΠΎΡΠΌΠΎΡ. ΠœΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»Ρ‹ 10 Π½Π°ΡƒΡ‡Π½ΠΎ-практичСской ΠΊΠΎΠ½Ρ„Π΅Ρ€Π΅Π½Ρ†ΠΈΠΈ. 2013. Π‘. 110−112.
  • 3. МаслСнников А. А., ΠŸΠΎΡ‚ΠΎΡ†ΠΊΠΈΠΉ Π‘. И., КолСсников А. Π’., Π“ΠΎΠ»ΠΎΠ²ΠΊΠΈΠ½ Π‘. К. БистСма ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ обСспСчСния ΠΌΠ½ΠΎΠ³ΠΎΡ„ΡƒΠ½ΠΊΡ†ΠΈΠΎΠ½Π°Π»ΡŒΠ½ΠΎΠΉ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠΉ систСмы ΠΏΠΎΠ΄Π΄Π΅Ρ€ΠΆΠΊΠΈ Π΄Π΅ΡΡ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ экипаТа // ΠŸΠΈΠ»ΠΎΡ‚ΠΈΡ€ΡƒΠ΅ΠΌΡ‹Π΅ ΠΏΠΎΠ»Π΅Ρ‚Ρ‹ Π² ΠΊΠΎΡΠΌΠΎΡ. ΠœΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»Ρ‹ 10 Π½Π°ΡƒΡ‡Π½ΠΎ-практичСской ΠΊΠΎΠ½Ρ„Π΅Ρ€Π΅Π½Ρ†ΠΈΠΈ. 2013. Π‘. 113−114.
  • 4. ΠžΡ€Π»ΠΎΠ²ΡΠΊΠΈΠΉ Н. М. РСшСниС Π·Π°Π΄Π°Ρ‡ΠΈ ΠΎΠ΄Π½ΠΎΠΊΡ€ΠΈΡ‚Π΅Ρ€ΠΈΠ°Π»ΡŒΠ½ΠΎΠΉ ΠΎΠΏΡ‚ΠΈΠΌΠΈΠ·Π°Ρ†ΠΈΠΈ процСсса планирования дСйствий экипаТа Российского сСгмСнта ΠœΠ΅ΠΆΠ΄ΡƒΠ½Π°Ρ€ΠΎΠ΄Π½ΠΎΠΉ космичСской станции Π½Π° ΠΎΡΠ½ΠΎΠ²Π΅ гСнСтичСского Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠ° // Π˜Π½ΠΆΠ΅Π½Π΅Ρ€Π½Ρ‹ΠΉ вСстник Π”ΠΎΠ½Π°, 2013, № 3 URL: ivdon.ru/ru/magazine/archive/n3y2013/1787.
  • 5. Π—ΡƒΠ΅Π² Π’. А., ΠŸΠ°Π½Ρ„ΠΈΠ»ΠΎΠ² А. Н., Π‘ΠΊΠΎΠ±Π° А. Н. ΠœΠ΅Ρ‚ΠΎΠ΄ΠΈΠΊΠ° статистичСского Π°Π½Π°Π»ΠΈΠ·Π° характСристик Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… ΠΏΠΎΡ‚ΠΎΠΊΠΎΠ² запросов Π² ΡΠΈΡΡ‚Π΅ΠΌΠ°Ρ… ΠΎΠ±Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΈ // Π˜Π½ΠΆΠ΅Π½Π΅Ρ€Π½Ρ‹ΠΉ вСстник Π”ΠΎΠ½Π°, 2015, № 2 URL: ivdon.ru/ru/magazine/archive/n2y2015/2900.
  • 6. Π’ΠΎΠ²ΠΊ Π’. М., КовалСнко Π•. А., ΠŸΠ΅Ρ‚Ρ€ΠΎΠ²ΡΠΊΠ°Ρ А. Π’. ВСория Π³Ρ€Π°Ρ„ΠΎΠ² Π² ΠΏΡ€ΠΎΠ΅ΠΊΡ‚ΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠΈ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ пространства ΠΎΡ€Π³Π°Π½ΠΈΠ·Π°Ρ†ΠΈΠΈ // Российский акадСмичСский ΠΆΡƒΡ€Π½Π°Π». 2013. № 1, Ρ‚ΠΎΠΌ 27. Π‘. 18−20.
  • 7. ΠœΠ°Π»ΡŒΡ‚Π΅ΠΊΠ±Π°ΡΠΎΠ² М. Π–., ΠŸΡ€ΠΎΠΊΠΎΡ„ΡŒΠ΅Π²Π° М. А., ЕскСндиров Π‘. Н., Нурбосынова Π“. Π‘. ΠžΡΠΎΠ±Π΅Π½Π½ΠΎΡΡ‚ΠΈ примСнСния Ρ‚Π΅ΠΎΡ€ΠΈΠΈ Π³Ρ€Π°Ρ„ΠΎΠ² ΠΏΡ€ΠΈ ΠΏΡ€ΠΎΠ΅ΠΊΡ‚ΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠΈ ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠΉ Ρ‚Ρ€Π°Π΅ΠΊΡ‚ΠΎΡ€ΠΈΠΈ Π² Π²ΡƒΠ·Π΅ // ΠœΠ΅ΠΆΠ΄ΡƒΠ½Π°Ρ€ΠΎΠ΄Π½Ρ‹ΠΉ ΠΆΡƒΡ€Π½Π°Π» ΡΠΊΡΠΏΠ΅Ρ€ΠΈΠΌΠ΅Π½Ρ‚Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ образования. 2014. № 1. Π‘. 102−105.
  • 8. ΠžΡ€ΠΎΠ±ΠΈΠ½ΡΠΊΠ°Ρ Π•. А. ΠœΠ΅Ρ‚ΠΎΠ΄ автоматичСского построСния ΠΎΠ½Ρ‚ΠΎΠ»ΠΎΠ³ΠΈΠΈ ΠΏΡ€Π΅Π΄ΠΌΠ΅Ρ‚Π½ΠΎΠΉ области Π½Π° ΠΎΡΠ½ΠΎΠ²Π΅ Π°Π½Π°Π»ΠΈΠ·Π° лингвистичСских характСристик тСкстового корпуса // Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΠΎΠ½Π½Ρ‹Π΅ систСмы для Π½Π°ΡƒΡ‡Π½Ρ‹Ρ… исслСдований: Π‘Π±ΠΎΡ€Π½ΠΈΠΊ Π½Π°ΡƒΡ‡Π½Ρ‹Ρ… статСй. ΠœΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»Ρ‹ XV ВсСроссийской объСдинСнной ΠΊΠΎΠ½Ρ„Π΅Ρ€Π΅Π½Ρ†ΠΈΠΈ «Π˜Π½Ρ‚Π΅Ρ€Π½Π΅Ρ‚ ΠΈ ΡΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠ΅ общСство». БПб., 2012. Π‘. 209−212.
  • 9. Shvaiko P., Euzenat J. Ontology Matching: State of the Art and Future Challenges // IEEE Transactions on Knowledge and Data Engineering. 2013. Volume 25. Issue 1. pp: 158−176.
  • 10. Raunich S., Rahm E. Target-driven merging of taxonomies with Atom // Information Systems. 2014. № 42. pp. 1−14.
ΠŸΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ вСсь тСкст
Π—Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Ρ„ΠΎΡ€ΠΌΡƒ Ρ‚Π΅ΠΊΡƒΡ‰Π΅ΠΉ Ρ€Π°Π±ΠΎΡ‚ΠΎΠΉ