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

Завантаження...
Зображення мініатюри

Дата

2016

Назва журналу

ISSN журналу

Назва тома

Видавництво

Харківський університет повітряних сил

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Проаналізовано питання щодо моделювання та оцінювання станів складних об’єктів із застосуванням формальної логіки. Побудовано часову предикатну модель процесів грошової оцінки сільськогосподарських угідь. Запропоновано правила інтерпретації розробленої моделі із застосуванням інструментального засобу моделювання та аналізу взаємодіючих процесів на розширених інтегрованих часових мережах Петрі. Проведено оцінювання станів часової предикатної моделі.

Опис

Ключові слова

модель, нормативна грошова оцінка, складний об’єкт, інтерпретація, мережа Петрі, оцінювання станів, земельна ділянка

Бібліографічний опис

Кучеренко Є. І. Моделювання та оцінювання станів складних об’єктів із застосуванням формальної логіки / Є. І. Кучеренко, І. С. Творошенко, Т. В. Анопрієнко // Системи обробки інформації. – 2016. – № 2(139). – С. 76–82.

DOI