http://dspace.nbuv.gov.ua:80/handle/123456789/320 Tue, 07 Apr 2026 04:53:06 GMT 2026-04-07T04:53:06Z http://dspace.nbuv.gov.ua:80/bitstream/id/144833/ http://dspace.nbuv.gov.ua:80/handle/123456789/320 http://dspace.nbuv.gov.ua:80/handle/123456789/2606 Автоматизация этапов разработки и эксплуатации имитационных моделей транспортных систем Максимей, И.В.; Сукач, Е.И.; Ерофеева, Е.А.; Гируц, П.В. Рассматриваются принципы формализации транспортных систем, функционирующих в условиях случайных воздействий, приведена структура специализированного комплекса автоматизации имитационного моделирования транспортных систем и технология его использования при решении задач исследования функционирования различных транспортных сред.-------------------; Розглядаються принципи формалiзацii транспортних систем, якi функцiонiрують в умовах iмовiрних дiй, приведена структура спецiалiзаванного комплексу автоматизацiï імітаційного моделювання транспортних систем i технологiя його використання при розв’язуваннi задач дослiдження функцiонiровання рiзних транспортних середовищ.---------------; The principles of the formalization of transport system which functions in conditions of random influences are considered, the structure of a specialized complex of automation of the imitation modeling of transport systems and its usage technology for solving the problems of functioning of various transport spheres are included. Tue, 01 Jan 2008 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/2606 2008-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/2605 Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов Дорошенко, А.Е.; Яценко, Е.А. Предложен подход к формализованной разработке параллельных программ на основе использования онтологий и аппарата алгебры алгоритмов. С помощью онтологии описываются основные объекты разрабатываемой программы из выбранной предметной области – данные, функции и взаимосвязи между функциями. Дальнейшее проектирование приложения осуществляется в разработанном интегрированном инструментарии проектирования и генерации программ, основывающемся на системах алгоритмических алгебр. Подход проиллюстрирован на примере разработки параллельной MPI-программы сортировки.----------------; Запропоновано підхід до формалізованої розробки паралельних програм на основі використання онтологій та апарату алгебри алгоритмів. За допомогою онтології описуються основні об’єкти розроблюваної програми з обраної предметної області – дані, функції та взаємозв’язки між функціями. Подальше проектування програми виконується в розробленому інтегрованому інструментарії проектування і генерації програм, який ґрунтується на системах алгоритмічних алгебр. Підхід проілюстрований на прикладі розробки паралельної MPI програми сортування.--------------; An approach to formalized development of parallel programs using ontologies and algebra-algorithmic facilities is proposed. Ontology gives opportunity to describe the skeleton of the program representing main objects in the given subject domain – data, functions and relations between functions. Once the skeleton of the program has been built, further development can be done in automated manner with the Integrated toolkit for Design and Synthesis developed by the authors, which is based on using algorithmic algebras facilities. The application of the approach is illustrated with an example of developing parallel MPI program in the subject domain of sorting algorithms. Tue, 01 Jan 2008 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/2605 2008-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/2604 Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных Акуловский, В.Г. Предложены подходы к контролю корректности алгоритмов на основе анализа специфицируемых данных и подходы к оптимизации последовательных алгоритмов в результате преобразования потоков данных.--------------; Запропоновано підходи до контролю коректності алгоритмів на підставі аналізу даних, що специфікуються і підходи до оптимізації послідовних алгоритмів у результаті перетворення потоків даних.------------; The approaches to the control of a correctness of algorithms, over the analysis of the data which are specified also approaches to optimization of consecutive algorithms as a result of transformation of streams of the data are offered. Tue, 01 Jan 2008 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/2604 2008-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/2603 Метод формування нечіткого логічного висновку із залученням експертного комітету Теленик, С.Ф.; Бідюк, П.І.; Коршевнюк, Л.О.; Хмелюк, В.С. У роботі розглянуто використання методів експертних оцінок та нечіткої логіки для розв’язання задач прийняття рішень та моделювання складних економічних і соціальних систем. Запропоновано підхід на основі системи нечіткого логічного виведення із зваженою істинністю, що забезпечує врахування індивідуальних вагових коефіцієнтів критеріїв оцінювання об’єктів для кожного експерта при застосуванні експертним комітетом єдиної бази правил системи нечіткого логічного висновку.--------------; В работе рассмотрено использование методов экспертных оценок и нечеткой логики для задач принятия решений и моделирования сложных экономических и социальных систем. Предложен подход, основанный на системе нечеткого логического вывода с взвешенной истинностью, который учитывает индивидуальные весовые коэффициенты критериев оценки объектов для каждого эксперта при применении экспертным комитетом единой базы правил системы нечеткого логического вывода.---------------; This article examines the use of expert judgments methods and fuzzy logic for decision-making and complex economical and social systems modeling problem solving. An approach was suggested to using a validity weighted fuzzy logic output system to ensure that individual weighting coefficients of assessment criterions for every expert are taken into consideration when utilized by the commission of experts of integrated rules base of fuzzy logic deduction system. Tue, 01 Jan 2008 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/2603 2008-01-01T00:00:00Z