http://dspace.nbuv.gov.ua:80/handle/123456789/86730 2026-04-07T09:04:26Z http://dspace.nbuv.gov.ua:80/handle/123456789/86745 Проблема формування угрупувань агентів у задачах переслідування/утікання на площині Яловець, А.Л. Досліджуються особливості задачі формування угрупувань агентів. Виконується постановка задачі формування угрупувань, на основі якої пропонуються та досліджуються два методи (метод перебору та евристичний метод) рішення цієї задачі. Обґрунтовується можливість використання розроблених методів для рішення задач про призначення. 2014-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/86744 Схема параллельных вычислений максимальных контурных SH-напряжений на системе некруговых упругих включений в бесконечной упругой среде Панченко, Б.Е.; Сайко, И.Н. Исследован параллельный алгоритм численного решения стационарных задач теории упругости на примере взаимодействия SH-волн с системой упругих включений произвольного поперечного сечения. Численное решение краевой задачи сведено к системе интегральных уравнений с помощью интегрального представления амплитуды перемещения отраженного волнового поля. Параллельный алгоритм позволил исследовать ситуацию с увеличенным числом упругих включений-отражателей и увеличить точность получаемых величин. Алгоритм исследован и на MIMD-зависимость. Приведены новые уникальные результаты. 2014-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/86743 Программный симулятор реакций аэробной клетки на дисбаланс энергии Григорян, Р.Д.; Аксенова, Т.В.; Дериев, И.И. Разработан специализированный программно-моделирующий комплекс (МК) для симуляции основных эффектов, выявленных при функционировании автономных механизмов обеспечения баланса между скоростью синтеза (СС) и скоростью потребления (СП) молекул аденозинтрифосфата (АТФ) в виртуальной аэробной клетке (ВАК) при изменениях СП. Основа МК – это двухкомпонентная математическая модель (ММ) реакций митохондрий на дисбаланс между СП и СС. Один компонент ММ описывает зависимость быстрой биохимической регуляции СС при изменениях соотношения концентраций АДФ/АТФ, а второй компонент ММ связывает СС с тотальной площадью митохондрий ВАК. Интерфейс пользователя МК ориентирован на физиолога-исследователя и позволяет настраивать характеристики ВАК для проведения и анализа компьютерных экспериментов. Тестовые исследования выявили адекватность ММ к ВАК. МК является компонентом для включения в разрабатываемый программно-моделирующий комплекс, который будет симулировать физиологические и патологические реакции разномасштабных регуляторов энергетической мегасистемы человека. 2014-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/86742 Верификация программ: состояние, проблемы, экспериментальные результаты. II Максимец, А.Н. Рассматриваются алгоритмы поиска инвариантных соотношений в программах с простыми переменными, которые относятся к методам анализа потоков данных и верификации. Приводится краткий обзор таких методов и примеры для иллюстрации работы предлагаемых алгоритмов. 2014-01-01T00:00:00Z