1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 12(137)'2015
  5. Математична модель забезпечення функціональної стійкості мобільних систем

Математична модель забезпечення функціональної стійкості мобільних систем

О. В. Барабаш , Н. М. Берназ
Системи обробки інформації. — 2015. — № 12(137). — С. 97-100.
УДК 4.65
Мова статті: українська
Анотації на мовах:

В статті запропонована математична модель забезпечення функціональної стійкості мобільних систем, що базується на основі законів математичної логіки. Дана модель дає можливість достатньо загальним способом описати засоби, які забезпечують функціональну стійкість мобільних систем і не залежать від специфіки кожного конкретного середовища. Крім того, запропоновані правила перетворення цих логічних описів, завдяки яким можна модифікувати логічні формули в залежності від того чи іншого середовища.
Ключові слова: функціональна стійкість, мобільна система, математична модель, аутентифікація, адаптація системи
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Барабаш О. В. Математична модель забезпечення функціональної стійкості мобільних систем / О. В. Барабаш , Н. М. Берназ  // Системи обробки інформації. — 2015. — № 12. — С. 97-100.