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

Творошенко, І. С.; Кучеренко, Є. І.; Анопрієнко, Т. В.

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

dc.contributor.author	Творошенко, І. С.
dc.contributor.author	Кучеренко, Є. І.
dc.contributor.author	Анопрієнко, Т. В.
dc.date.accessioned	2019-10-21T09:53:10Z
dc.date.available	2019-10-21T09:53:10Z
dc.date.issued	2016
dc.description.abstract	Проаналізовано питання щодо моделювання та оцінювання станів складних об’єктів із застосуванням формальної логіки. Побудовано часову предикатну модель процесів грошової оцінки сільськогосподарських угідь. Запропоновано правила інтерпретації розробленої моделі із застосуванням інструментального засобу моделювання та аналізу взаємодіючих процесів на розширених інтегрованих часових мережах Петрі. Проведено оцінювання станів часової предикатної моделі.	uk_UA
dc.identifier.citation	Кучеренко Є. І. Моделювання та оцінювання станів складних об’єктів із застосуванням формальної логіки / Є. І. Кучеренко, І. С. Творошенко, Т. В. Анопрієнко // Системи обробки інформації. – 2016. – № 2(139). – С. 76–82.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/9965
dc.language.iso	uk	uk_UA
dc.publisher	Харківський університет повітряних сил	uk_UA
dc.relation.ispartofseries	2;139
dc.subject	нормативна грошова оцінка	uk_UA
dc.subject	складний об’єкт	uk_UA
dc.subject	інтерпретація	uk_UA
dc.subject	мережа Петрі	uk_UA
dc.subject	оцінювання станів	uk_UA
dc.subject	земельна ділянка	uk_UA
dc.title	Моделювання та оцінювання станів складних об’єктів із застосуванням формальної логіки	uk_UA
dc.title.alternative	Modeling and estimating the state of complex objects using formal logic	uk_UA
dc.title.alternative	Modelyuvannya ta ocinyuvannya staniv skladnih ob’yektiv iz zastosuvannyam formalnoyi logiki	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication