У роботі наведено аналіз основних положень і досягнень сучасного генерувального програмування, сформульовані нові напрями його розвитку щодо систематизації і удосконалення базових засобів подання програмних систем, ...
Зпропонована маштабована паралельна реалізація алгоритму побудови діаграми Вороного на площині. Описано процес розробки алгоритму та програмування з використанням бібліотеки Intel Threading Building Blocks (TBB). Проведене ...
Пропонується підхід до керування синтезом нейронних мереж. Розглядається керування синтезом нейронних мереж з використанням комутаційного елемента, а саме етапи проектування та керування мережею з такою архітектурою. ...
Предложен подход к формализации некоторых аспектов архитектурного этапа разработки алгоритмов, в рамках которого решаются задачи представления алгоритма в виде совокупности подсистем, спецификации данных, обрабатываемых ...
В рамках расширенной алгебры алгоритмов предложен подход к формализации данных. Рассмотрены свойства формализованных данных и некоторые аспекты декомпозиции Д-операторов.
Работа посвящена проблеме создания программ, решающих задачи, которые связаны со знаниями о внешней среде и использующих эти знания. Такие программы называются интеллектуальными приме-нительно к определению интеллекта, ...
На основі інтегрованого інтенсіонально-екстенсіонального підходу до побудови логічних та програмних систем вивчаються композиційно-номінативні модальні та темпоральні логіки реномінативного, кванторного, кванторно-екваційного ...
Рассмотрены современные парадигмы метода Дельфи, оперирующие множеством различных экспертных точек зрения на предметную область принимаемого решения. Они реализуют обратные связи между новыми экспертными мнениями, ...