Наукова періодика України Наукові вісті КПІ


Редько І. В. 
Редукційне моделювання в середовищі інтеграції / І. В. Редько, Н. М. Снігур // Наукові вісті Національного технічного університету України "Київський політехнічний інститут". - 2011. - № 5. - С. 52-58. - Режим доступу: http://nbuv.gov.ua/UJRN/NVKPI_2011_5_10
Досліджено проблеми ефективного редукування параметричних логіко-математичних специфікацій класів задач в експлікативні моделі з оракулами. Стосовно основних класів таких специфікацій розроблено параметричні методи декомпозиції задач. Їх основу становлять поняття редукції та h-редукції. Функцію g називають редукцією функції f, якщо справедливою є рівність <$E g~omicron~f~=~f> та функція g є h-редукцією функції f, якщо справедливо, що <$E g~omicron~f~=~f~omicron~h>, де <$E omicron> - операція мультиплікування, що надає упорядкованій парі функцій (g, f) нову функцію, яка являє собою послідовне виконання вихідних функцій, що узагальнюють собою звичайне множення функцій, а h - довільна, але фіксована функція. Значимість цих понять полягає в тому, що вони дозволяють адекватно розкривати логіки задач, на основі яких різні реалізації їх у вигляді тих або інших процедур розв'язання задач, різноманітних алгоритмів, моделей, програм тощо утворюються вже автоматично з гарантованою коректністю.
  Повний текст PDF - 197.275 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Редько І.
  • Снігур Н.

  • Бібліографічний опис для цитування:

    Редько І. В. Редукційне моделювання в середовищі інтеграції / І. В. Редько, Н. М. Снігур // Наукові вісті Національного технічного університету України "Київський політехнічний інститут". - 2011. - № 5. - С. 52-58. - Режим доступу: http://nbuv.gov.ua/UJRN/NVKPI_2011_5_10.

    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Редько Ігор Володимирович (фізико-математичні науки)
  •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського