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