В статті розглянуто відомі методи оцінки неоднорідності паралельних обчислювальних систем, зокрема, систем розподільної обробки даних (СРОД). Приведені можливі напрямки покращення кількісно-якісних оцінок неоднорідності ...
Можливості сучасної обчислювальної техніки дають змогу переходити до чисельно-аналітичного розв’язування широких класів наукових та прикладних задач недосяжної раніше складності. Але таке поширення області ...
Дается исторический обзор и основная библиография по развитию и использованию компьютерной алгебры в Институте прикладной математики имени М.В. Келдыша Российской академии наук, одном из ведущих и первых ...
Розроблено макроекономічну модель трансформаційного напрямку для розрахунків показників оновлення фондів, зміни запасів природних ресурсів та оцінки забруднення навколишнього середовища з використанням ...
Аналізуються інформаційні потоки в регіональних адміністративних центрах. Розглядається комплексне використання аналітичних та імітаційних моделей для оцінки ефективності систем управління регіонального ...
Стаття присвячена деяким положенням, які запропонував академік В.М. Глушков, та їх подальшому розвитку в роботах
автора статті. Зокрема, це стосується прогнозування розвитку обчислювальних засобів, ЗДАС, критеріїв ...
Предложены основные концептуальные положения подхода к созданию (выбору) распределенных баз данных информационно-поисковых систем с ориентацией на применение инструментальных средств информационной поддержки. ...
Аналізуються різні форми взаємодії сучасних систем автоматизації міркувань (САМ) з іншими програмними засобами розв’язання математичних задач. Сучасні САМ розглянуто з точки зору їх складу. На основі проведеного ...
В настоящей работе результаты из первых двух частей представленного исследования оформлены в математически законченную цепь доказательств. С этой целью доказана теорема, основополагающая для всего ...
Решается проблема построения эффективных целеориентированных секвенциальных исчислений для классической логики первого порядка (без равенства). Приводятся результаты об их корректности и полноте. Устанавливается ...
Предложен нейросетевой подход к корреляции сообщений о неисправностях в глобальной сети ЭВМ с динамической маршрутизацией. Рассмотрены модель глобальной сети ЭВМ и типичные сценарии неисправностей. Показаны ...
В цій роботі представлено, як можна побудувати секвенціальні числення без структурних правил (але з допустимими структурними правилами) для довільних пропозиційних скінченнозначних логік з визначником ...
Статья посвящена результатам, полученным в рамках интеграции алгебры алгоритмики и современных объектно-ориентированных средств. Рассмотрены средства построения семейств алгоритмических алгебр, ассоциированных ...