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