1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 2(139)'2016
  5. Моделювання та оцінювання станів складних об’єктів із застосуванням формальної логіки

Моделювання та оцінювання станів складних об’єктів із застосуванням формальної логіки

Є. І. Кучеренко, І. С. Творошенко, Т. В. Анопрієнко
Системи обробки інформації. — 2016. — № 2(139). — С. 76-82.
УДК 004.942 : 001.51:00 : 519.868 : 519.715 : 519.876.5 : 332.2 : 332.6 : 332.7
Мова статті: українська
Анотації на мовах:

Проаналізовано питання щодо моделювання та оцінювання станів складних об’єктів із застосуванням формальної логіки. Побудовано часову предикатну модель процесів грошової оцінки сільськогосподарських угідь. Запропоновано правила інтерпретації розробленої моделі із застосуванням інструментального засобу моделювання та аналізу взаємодіючих процесів на розширених інтегрованих часових мережах Петрі. Проведено оцінювання станів часової предикатної моделі.
Ключові слова: модель, складний об’єкт, інтерпретація, мережа Петрі, оцінювання станів, земельна ділянка, нормативна грошова оцінка
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Кучеренко Є. І. Моделювання та оцінювання станів складних об’єктів із застосуванням формальної логіки / Є. І. Кучеренко, І. С. Творошенко, Т. В. Анопрієнко  // Системи обробки інформації. — 2016. — № 2. — С. 76-82.