http://dspace.nbuv.gov.ua:80/handle/123456789/115169 2026-04-13T11:32:50Z 2026-04-13T11:32:50Z Кузнецов, Н.Ю. Шумская, А.А. Хомяк, О.Н. http://dspace.nbuv.gov.ua:80/handle/123456789/115807 2017-04-14T00:02:21Z 2014-01-01T00:00:00Z

Ускоренное моделирование функционального отказа s - t-сети с восстановлением Кузнецов, Н.Ю.; Шумская, А.А.; Хомяк, О.Н. Рассмотрена s - t-сеть с высоконадежными ребрами с восстановлением и с переменными внешними нагрузками. Предложен метод ускоренного моделирования вероятности функциональной отказа, когда располагаемая мощность сети становится меньше требуемой. Найдены условия, гарантирующие ограниченность относительной погрешности оценки с ростом надежности ребер. Численный пример иллюстрирует эффективность предложенного метода.; Розглянуто s - t-мережу з високонадійними ребрами з відновленням та зі змінним зовнішнім навантаженням. Запропоновано метод прискореного моделювання ймовірності функціональної відмови, коли наявна потужність мережі стає меншою за ту, що вимагається. Знайдено умови, які гарантують обмеженість відносної похибки оцінки зі зростанням надійності ребер. Чисельний приклад ілюструє ефективність запропонованого методу.; The s - t-network with highly reliable edges with repair and variable external load is considered. A fast simulation method is proposed, which allows evaluating the probability of functional failure when the real capacity of the network is less than the required capacity. It is proved that under some weak conditions the estimate has a bounded relative error as edges reliability increases. The numerical example illustrates the efficiency of the method.

2014-01-01T00:00:00Z Шлезингер, М.И. Водолазский, Е.В. Яковенко, В.М. http://dspace.nbuv.gov.ua:80/handle/123456789/115806 2017-04-13T00:02:50Z 2014-01-01T00:00:00Z

Распознавание сходства многоугольников в усиленной хаусдорфовой метрике Шлезингер, М.И.; Водолазский, Е.В.; Яковенко, В.М. Описан алгоритм распознавания сходства многоугольников в метрике Фреше. Для заданных m-угольника, n-угольника и числа ε алгоритм определяет, превышает ли расстояние между ними порог ε. Известные алгоритмы решают эту задачу за время, линейно зависящее от (mxn)log(mxn), предлагаемый алгоритм — за время порядка (mxn).; Описано алгоритм для розпізнавання схожості двох многокутників у метриці Фреше. Для заданих двох многокутників і числа ε алгоритм визначає, чи відстань між многокутниками більша ε. Відомі алгоритми розв’язують цю задачу за час, що лінійно залежить від (mxn)log(mxn). Описаний алгоритм розв’зує задачу за час порядку (mxn).; An algorithm for testing the similarity of two polygons in the Frechet metric is described. For any two given polygons and a number ε, the algorithm determines whether the distance between them is greater than ε. For the known algorithms, it takes time that linearly depends on to solve this problem. For the proposed algorithm, it takes a time of order of (mxn).

2014-01-01T00:00:00Z Иваненко, П.А. Дорошенко, А.Е. http://dspace.nbuv.gov.ua:80/handle/123456789/115805 2017-04-13T00:02:47Z 2014-01-01T00:00:00Z

Метод автоматической генерации автотюнеров для параллельных программ Иваненко, П.А.; Дорошенко, А.Е. Представлена формальная модель метода автоматизированной настройки параллельных приложений (автотюнинга). Описана программная реализация этой модели в виде гибкой системы программных средств для автоматической генерации автотюнеров, которая основана на системе переписывания термов и использовании экспертных знаний в качестве источника оптимизационных преобразований.; Представлено формальну модель методу автоматичного налаштування паралельних програм (автотюнінгу). Описано програмну реалізацію цієї моделі у вигляді гнучкої системи програмних засобів для автоматичної генерації автотюнерів, яка ґрунтується на системі переписування термів та використанні експертних знань як джерела оптимізаційних перетворень.; The paper introduces a formal model of the method of automated adjustment of parallel applications (autotuning). The program implementation of this model is described in the form of a flexible software framework for automatic generation of autotuners, which utilizes term rewriting system and expert knowledge as a source of optimizing transformations.

2014-01-01T00:00:00Z Лаврищева, Е.М. http://dspace.nbuv.gov.ua:80/handle/123456789/115804 2017-04-13T00:02:37Z 2014-01-01T00:00:00Z

Развитие отечественной технологии программирования Лаврищева, Е.М. Рассмотрена эволюция развития технологий компьютерных систем по пути автоматизации и создания сборочных линий. Приведены основные положения, объекты технологии программирования и сборки сложных систем из готовых ресурсов (модулей, объектов, компонентов и сервисов), которые конфигурируются в вариантные структуры программной системы по соответствующим линиям на фабриках программ.; Розглянуто еволюцію розвитку технологій комп’ютерних систем. Технологія розвивається шляхом автоматизації і представлення складальних ліній, актуальних і сьогодні. Динаміка розвитку технологій комп’ютерних систем зробила значний крок вперед в плані вдосконалення методів виробництва систем з готових ресурсів (модулів, об’єктів, компонентів і сервісів). Нові системи збираються з готових ресурсів і конфігуруються у варіантні структури програмної системи на фабриці програм.; The author considers the evolution of the development of the technologies of computer systems on the way of automation and presentation of assembling lines. The author presents the principal provisions, objects of the technology of programming, and composition of complex systems using ready resources (modules, objects, components, and services), which are configured into variant structures of systems on program factory.

2014-01-01T00:00:00Z