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