THE METHOD OF RANKING EFFECTIVE PROJECT SOLUTIONS IN CONDITIONS OF INCOMPLETE CERTAINTY

Πηγή: Advanced Information Systems; Vol. 8 No. 2 (2024): Advanced Information Systems; 27-38
Современные информационные системы-Sučasnì ìnformacìjnì sistemi; Том 8 № 2 (2024): Сучасні інформаційні системи; 27-38
Сучасні інформаційні системи; Том 8 № 2 (2024): Сучасні інформаційні системи; 27-38

Θεματικοί όροι: ефективні варіанти, multi-criteria evaluation, effective options, підтримка прийняття проєктних рішень, design automation, інтервальний аналіз, теорія корисності, utility theory, interval analysis, автоматизація проєктування, support for making project decisions, багатокритеріальне оцінювання

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://ais.khpi.edu.ua/article/view/305462

Assertive verification of real-time device models with non-deterministic external events

Πηγή: Information and control systems at railway transport; Vol. 29 No. 1 (2024): Information and control systems at railway transport; 37-44
Информационно-управляющие системы на железнодорожном транспорте; Том 29 № 1 (2024): Інформаційно-керуючі системи на залізничному транспорті; 37-44
Інформаційно-керуючі системи на залізничному транспорті; Том 29 № 1 (2024): Інформаційно-керуючі системи на залізничному транспорті; 37-44

Θεματικοί όροι: верифікація, real time systems, системи реального часу, design automation, темпоральний граф переходів, simulation, verification, події, events, temporal state diagram, автоматизація проєктування, моделювання

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://jiks.kart.edu.ua/article/view/300988

Assertive verification of real-time device models with non-deterministic external events ; Асерційна верифікація моделей пристроїв реального часу з недетермінованими зовнішніми подіями

Συγγραφείς: Мірошник, Марина Анатоліївна, Пахомов , Юрій Васильович, Пшеничний, Кирило Юрійович, Шафранський , Андрій Вікторович

Πηγή: Information and control systems at railway transport; Vol. 29 No. 1 (2024): Information and control systems at railway transport; 37-44 ; Информационно-управляющие системы на железнодорожном транспорте; Том 29 № 1 (2024): Інформаційно-керуючі системи на залізничному транспорті; 37-44 ; Інформаційно-керуючі системи на залізничному транспорті; Том 29 № 1 (2024): Інформаційно-керуючі системи на залізничному транспорті; 37-44 ; 2413-3833 ; 1681-4886

Θεματικοί όροι: design automation, simulation, verification, real time systems, events, temporal state diagram, автоматизація проєктування, моделювання, верифікація, системи реального часу, події, темпоральний граф переходів

Περιγραφή αρχείου: application/pdf

Relation: http://jiks.kart.edu.ua/article/view/300988/293114; http://jiks.kart.edu.ua/article/view/300988

Διαθεσιμότητα: http://jiks.kart.edu.ua/article/view/300988

THE METHOD OF RANKING EFFECTIVE PROJECT SOLUTIONS IN CONDITIONS OF INCOMPLETE CERTAINTY ; Метод ранжування ефективних проєктних рішень в умовах неповної визначеності

Συγγραφείς: Bezkorovainyi , Volodymyr, Kolesnyk , Liudmyla, Gopejenko , Viktors, Kosenko , Viktor

Πηγή: Advanced Information Systems; Vol. 8 No. 2 (2024): Advanced Information Systems; 27-38 ; Современные информационные системы - Sučasnì ìnformacìjnì sistemi; Том 8 № 2 (2024): Advanced Information Systems; 27-38 ; Сучасні інформаційні системи; Том 8 № 2 (2024): Сучасні інформаційні системи; 27-38 ; 2522-9052

Θεματικοί όροι: автоматизація проєктування, багатокритеріальне оцінювання, ефективні варіанти, інтервальний аналіз, підтримка прийняття проєктних рішень, теорія корисності, design automation, multi-criteria evaluation, effective options, interval analysis, support for making project decisions, utility theory

Περιγραφή αρχείου: application/pdf

Relation: http://ais.khpi.edu.ua/article/view/305462/297067; http://ais.khpi.edu.ua/article/view/305462

Διαθεσιμότητα: http://ais.khpi.edu.ua/article/view/305462
https://doi.org/10.20998/2522-9052.2024.2.04

MATHEMATICAL MODELS FOR DETERMINING THE PARETO FRONT FOR BUILDING TECHNOLOGICAL PROCESSES OPTIONS UNDER THE CONDITIONS OF INTERVAL PRESENTATION OF LOCAL CRITERIA

Συγγραφείς: Mgbere, Dr. Chinwi

Πηγή: Innovative Technologies and Scientific Solutions for Industries; No. 2 (24) (2023): Innovative Technologies and Scientific Solutions for Industries; 16-26
Современное состояние научных исследований и технологий в промышленности; № 2 (24) (2023): Современное состояние научных исследований и технологий в промышленности; 16-26
Сучасний стан наукових досліджень та технологій в промисловості; № 2 (24) (2023): Сучасний стан наукових досліджень та технологій в промисловості; 16-26

Θεματικοί όροι: технологічні процеси, автоматизація проєктування, оптимізація, реінжиніринг, багатокритеріальне оцінювання, підтримка прийняття рішень, Парето-фронт, technological processes, design automation, optimization, reengineering, multi-criteria evaluation, decision support, Pareto front

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://journals.uran.ua/itssi/article/view/285493

COMBINED METHOD OF RANKING OPTIONS IN PROJECT DECISION SUPPORT SYSTEMS

Συγγραφείς: Beskorovainyi, V.

Πηγή: Сучасний стан наукових досліджень та технологій в промисловості, Iss 4 (14) (2020)
Innovative Technologies and Scientific Solutions for Industries; № 4 (14) (2020); 13-20
Современное состояние научных исследований и технологий в промышленности; № 4 (14) (2020); 13-20
Сучасний стан наукових досліджень та технологій в промисловості; № 4 (14) (2020); 13-20

Θεματικοί όροι: design automation, multicriteria evaluation, effective solutions, comparative identification, project decision support, utility theory, TA177.4-185, 02 engineering and technology, 01 natural sciences, Engineering economy, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, автоматизация проектирования, многокритериальная оценка, эффективные решения, компараторна идентификация, поддержка принятия проектных решений, теория полезности, автоматизація проєктування, багатокритеріальне оцінювання, ефективні рішення, компараторна ідентифікація, підтримка прийняття проєктних рішень, теорія корисності

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://journals.uran.ua/itssi/article/download/ITSSI.2020.14.013/220560
https://doaj.org/article/7006d51a7953455c8e873c1e30904247
http://skhid.kubg.edu.ua/index.php/2522-9818/article/view/ITSSI.2020.14.013
https://itssi-journal.com/index.php/ittsi/article/download/230/228
https://itssi-journal.com/index.php/ittsi/article/view/230
http://journals.uran.ua/itssi/article/view/ITSSI.2020.14.013

MATHEMATICAL MODELS FOR DETERMINING THE PARETO FRONT FOR BUILDING TECHNOLOGICAL PROCESSES OPTIONS UNDER THE CONDITIONS OF INTERVAL PRESENTATION OF LOCAL CRITERIA ; МАТЕМАТИЧНІ МОДЕЛІ ВИЗНАЧЕННЯ ПАРЕТО-ФРОНТУ ДЛЯ ВАРІАНТІВ ПОБУДОВИ ТЕХНОЛОГІЧНИХ ПРОЦЕСІВ В УМОВАХ ІНТЕРВАЛЬНОГО ПОДАННЯ ЛОКАЛЬНИХ КРИТЕРІЇВ

Συγγραφείς: Безкоровайний, Володимир, Колесник, Людмила, Mgbere, Dr. Chinwi

Πηγή: INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES; No. 2(24) (2023): Innovative Technologies and Scientific Solutions for Industries; 16-26 ; СОВРЕМЕННОЕ СОСТОЯНИЕ НАУЧНЫХ ИССЛЕДОВАНИЙ И ТЕХНОЛОГИЙ В ПРОМЫШЛЕННОСТИ; № 2(24) (2023): Сучасний стан наукових досліджень та технологій в промисловості; 16-26 ; СУЧАСНИЙ СТАН НАУКОВИХ ДОСЛІДЖЕНЬ ТА ТЕХНОЛОГІЙ В ПРОМИСЛОВОСТІ; № 2(24) (2023): Сучасний стан наукових досліджень та технологій в промисловості; 16-26 ; 2524-2296 ; 2522-9818

Θεματικοί όροι: technological processes, design automation, optimization, reengineering, multi-criteria evaluation, decision support, Pareto front, технологічні процеси, автоматизація проєктування, оптимізація, реінжиніринг, багатокритеріальне оцінювання, підтримка прийняття рішень, Парето-фронт

Περιγραφή αρχείου: application/pdf

Relation: https://itssi-journal.com/index.php/ittsi/article/view/386/354

Διαθεσιμότητα: https://itssi-journal.com/index.php/ittsi/article/view/386
https://doi.org/10.30837/ITSSI.2023.24.016

Програмне забезпечення для автоматизації проєктування веб-застосунків

Συνεισφορές: Стеценко, Інна Вячеславівна, ELAKPI

Θεματικοί όροι: application server, architecture, web server, вебсервер, Петрі-об'єкти, Petri objects, Petri nets, web application, автоматизація проєктування, мережі Петрі, імітаційне моделювання, база даних, design automation, сервер застосунків, simulation modeling, вебзастосунок, архітектура, database

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://ela.kpi.ua/handle/123456789/63869

Інтерактивна технологія виділення підмножин ефективних проєктних рішень

Συγγραφείς: Безкоровайний, В. В., Семенець, В. В., Драз, О. М.

Θεματικοί όροι: Автоматизація проєктування, багатокритеріальна оптимізація, ефективне проєктне рішення, функція корисності

Περιγραφή αρχείου: application/pdf

Relation: https://openarchive.nure.ua/handle/document/19350

Διαθεσιμότητα: https://openarchive.nure.ua/handle/document/19350

Методи підтримки прийняття рішень у системах проектування роботизованих ТП

Συγγραφείς: Коритченко, В. К.

Θεματικοί όροι: автоматизація проєктування, багатокритеріальний вибір, ефективне рішення, лексикографічна оптимізація, роботизований технологічний процес

Περιγραφή αρχείου: application/pdf

Relation: https://openarchive.nure.ua/handle/document/16552

Διαθεσιμότητα: https://openarchive.nure.ua/handle/document/16552