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