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

Моделирование и оценивание состояний сложных объектов с применением формальной логики

Е.И. Кучеренко, И.С. Творошенко, Т.В. Аноприенко
Аннотации на языках:

Проанализированы вопросы моделирования и оценивания состояний сложных объектов с применением формальной логики. Построено временную предикатную модель процессов денежной оценки сельскохозяйственных угодий. Предложено правила интерпретации разработанной модели с применением инструментального средства моделирования и анализа взаимодействующих процессов на расширенных интегрированных временных сетях Петри. Проведена оценка состояний временной предикатной модели.
Ключевые слова: модель, сложный объект, интерпретация, сеть Петри, оценка состояний, земельный участок, нормативная денежная оценка