http://dspace.nbuv.gov.ua:80/handle/123456789/44294 2026-04-05T17:46:01Z 2026-04-05T17:46:01Z http://dspace.nbuv.gov.ua:80/handle/123456789/44361 2013-06-17T07:54:46Z 2009-01-01T00:00:00Z

Авторы номера 1 за 2009 г.

2009-01-01T00:00:00Z Бабенко, Л.П. http://dspace.nbuv.gov.ua:80/handle/123456789/44316 2013-05-29T00:08:16Z 2009-01-01T00:00:00Z

Онтологический подход к спецификации свойств программных систем и их компонентов Бабенко, Л.П. Запропоновано новий підхід до організації життєвого циклу розробки програмних систем, орієнтований на максимально можливе використання готових рішень на всіх стадіях розробки нових програмних продуктів. Зазначений підхід ґрунтується на оригінальному механізмі спільного використання онтологій проблемних областей і онтологій, що відносяться до процесів програмної інженерії і типів готових рішень.; A new approach to the organization of life cycles of software systems is proposed that is oriented toward the maximally possible use of reusing assets at all stages of development of new software products. This approach is based on an original mechanism of sharing ontologies of problem domains (applications) and ontologies of software engineering and reusing assets.

2009-01-01T00:00:00Z Мащенко, С.О. http://dspace.nbuv.gov.ua:80/handle/123456789/44315 2013-05-29T00:08:54Z 2009-01-01T00:00:00Z

Индивидуально-оптимальные равновесия некооперативных игр в отношениях предпочтения Мащенко, С.О. Для гри, що задана відношеннями переваги гравців на множині ситуацій, розглядається принцип індивідуальної оптимальності, який є узагальненням принципів оптимальності за Нешем, Бержем та Парето. На його основі проводяться характеризація і дослідження стабільності різних типів рівноваг ігрових задач.; For a game specified on a set of situations by preference relations of players, the individual optimum principle is considered that is a generalization of Nesh, Berge, and Pareto optimum principles. On this basis, different types of equilibria and stability of game problems are characterized and investigated.

2009-01-01T00:00:00Z Стецюк, П.И. Лиховид, А.П. http://dspace.nbuv.gov.ua:80/handle/123456789/44314 2013-05-29T00:08:48Z 2009-01-01T00:00:00Z

О ЛП-ориентированных верхних оценках для взвешенного числа устойчивости графа Стецюк, П.И.; Лиховид, А.П. Розглядаються верхні оцінки для зваженого числа стійкості графа, які базуються на апроксимації багатокутника стійких множин за допомогою лінійних нерівностей для непарних циклів та p-коліс в графі. Побудовано алгоритми знаходження верхніх оцінок на основі розв’язку задачі лінійного програмування зі скінченним числом нерівностей, які отримані на основі алгоритму найкоротших шляхів в спеціальному графі. Наведено результати тестових експериментів, коли граф містить від декількох сотень до тисячі вершин.; Upper bounds are considered for the weighted stability number of a graph that are based on the approximation of the polytope of stable sets by linear inequalities for odd cycles and p-wheels in the graph. Algorithms are developed for finding upper bounds on the basis of solution of an LP-problem with a finite number of inequalities produced by the shortest path algorithm for a special graph. The results of test experiments are given for graphs with several hundred or thousand nodes.

2009-01-01T00:00:00Z