Configuration Synthesis and Refinement: an Approach to Simulation of Heterogeneous Distributed Systems: 3 = Синтез и уточнение конфигураций: подход к моделированию гетерогенных распределенных систем, 2000

Запропонований підхід спрямовано на підвищення ефективності розробки різнорідних розподілених систем. Він базується на взаємодії етапів синтезу координаційної структури з етапами імітаційного моделювання. Замість побудови імітаційної моделі з подальшою перевіркою усієї множини необхідних або бажаних властивостей, тепер синтезується загальна координаційна структура, яка гарантує виконання деякої підмножини вимог.

Stack Based Dynamic Languages for Intelligent Systems: 3 = Функциональные языки с динамическим стеком для интеллектуальных систем, 1999

Представлено основні конструкції та типи даних нової мови програмування ФОЛІ, наведено формальний опис його ядра. Розглянуто можливість використання ФОЛІ як внутрішньої мови високого рівня в інтелектуальних комп'ютерних системах.

Virtual environment to learn english language at distance: 2 = Віртуальне середовище для дистанційного навчання англійській мові, 2001

Запропоновано концепцію і структуру віртуального дидактичного середовища, призначеного для навчання та підтримки рівня комунікативної компетенції з англійської мови. Мультимедійні технології, які підтримують це середовище, дають можливість реалізувати навчання шляхом створення максимально наближеної до реальної розмовної ситуації та організації різноманітних способів комунікативної взаємодії.

Автоматизация экспертного определения значимости параметров технических систем: 4, 2000

Проаналізовано можливості розв'язання задач експертного визначення значущості параметрів технічних систем за допомогою відомих методів експертної оцінки. Описано програму реалізації нового, більш ефективного методу їх розв'язання.

Автоматизированная система анализа адаптации организма человека к нагрузке: 3, 1999

Розглянуто структуру, математичне та програмне забезпечення автоматизованої системи оцінки адаптації людини до навантаження. Описано алгоритм проведення дослідження та його результати.

Автоматизированная система многостороннего социопсихофизиологического исследования личности: 3, 1998

Розроблено автоматизовану систему багатоаспектного дослідження особистості (АСБДО) - гнучкий, поліфункціональний сучасний інструмент для розв'язання теоретичних і практичних задач діагностики, прогнозу та керування функціональним станом людини на базі синтезу міждисциплінарних (соціопсихофізіологічних) знань.

Автоматизированная система обработки информации и экспертных оценок при анализе общественно-политических процессов: 1 / В. Л. Косолапов, 1998

Розглянуто проблеми створення та практичного побудування автоматизованої системи обробки інформації та експертних оцінок при аналізі суспільно-політичних процесів. Наведено приклад конструювання інформаційного образу предметної області при проведенні політологічного аналізу та основні етапи обробки інформації для прийняття рішень.

Автоматный подход к обработке регулярных запросов в базах данных: 6, 1999

Запропоновано алгоритм поліноміальної складності для обробки регулярних запитів до баз даних, представлених орієнтованим позначеним графом. Основна ідея алгоритму полягає в знаходженні всіх простих шляхів у графі бази даних. Розмітка кожного з шляхів є ланцюжком, що допускається детермінованим автоматом, який розпізнає мову, представлену регулярним запитом.

Адаптивный протокол случайного множественного доступа с резервированием: 4, 1999

Запропоновано новий протокол випадкового множинного доступу до радіоканалу для пакетних радіомереж передачі даних, який включає в себе адаптивні процедури блочного резервування, що дають можливість суттєво збільшити пропускну здатність радіоканалу в широкому діапазоні значень трафіку. Досліджено дві модифікації цього протоколу. Отримано числові значення основних характеристик протоколів та визначено оптимальні системні параметри. Введено новий критерій оцінки ефективності протоколів випадкового множинного доступу та наведено порівняльну оцінку протоколів за цим критерієм.

Алгебраические представления позиционных систем счисления: 4, 1999

Розглянуто проблеми узагальненої теорії для теоретико-числових перетворень. Показано застосування цих перетворень до систем числення. Наведено приклади.

Алгоритм моделирования параболического объекта, заданного на непрямоугольной области: 4, 1999

Статтю присвячено розвитку спектральної теорії нестаціонарних систем керування на об'єкти, які описуються диференціальними рівняннями у часткових похідних. Розглянуто правила, які встановлюють відповідність між операціями у просторово-часовій та спектральній формі.

Алгоритм решения задач дискриминантного анализа с помощью мультипликативной обобщенной переменной: 3, 2001

Запропоновано новий підхід до розв'язання деяких задач дискримінантного аналізу з використанням узагальненої змінної, яка є оптимальною комбінацією ознак. Описано алгоритм розв'язання задач, наведено приклад, що ілюструє його роботу.

Алгоритмика и интеграция программистских знаний: алгебра, обучение, инструментарий: 2 / Г. Е. Цейтлин, 1998

Розглянуто сутність інтеграції теоретико-програмовних розділів дискретної математики; процесу навчання програмовим дисциплінам; безпаперової інтенсивної технології навчання та її інструментарію, що забезпечують підтримку учбового процесу.

Алгоритмы анализа магнитокардиосигнала: выявление ишемических повреждений сердца: 1, 2000

Запропоновано методи й алгоритми обробки магнітокардіографічних даних, що дозволяють вирішити завдання виявлення пацієнтів з ішемічною хворобою серця, які реалізовано у вигляді програмних блоків одноканального та багатоканального магнітокардіографів. Наведено результати просторового аналізу магнітного поля для пацієнтів, у яких наявність чи відсутність ішемічних пошкоджень підтверджено іншими методами.

База знаний резолюционного доказательства теорем в исчислении высказываний: 3, 1999

Засобами метамови нормальних форм понять формалізовано широко відомий фрагмент знань про резолюційне доведення теорем в обчисленні висловлювань. Запропонований опис ілюструє використання цієї метамови для подання прикладних систем досить високої складності.

Базовые технологии системной интеграции в интеллектуальных корпоративных сетях: 5-6, 2000

Розглянуто особливості системної інтеграції сучасних інформаційних технологій в рамках корпоративної мережі комп'ютерів. Запропоновано архітектуру віртуального мережного комп'ютера та системи адміністративного керування ресурсами мережі, орієнтовані на підвищення ступеня організації інформаційних систем.

Бессловарный поиск неисправностей - новый подход к диагностированию цифровых устройств: 3, 2001

Розглянуто задачу програмного пошуку компонентів цифрового пристрою, для виявлення його несправностей. Запропоновано двохетапну процедуру без використання словника несправностей. Вважаються заданими результати тестування (вхід-вихідна послідовність) і специфікація пристрою (компоненти, їх зв'язки та функції).

Вероятностные критерии достоверности при локализации источника магнитного поля: 3, 1999

Вирішено задачі визначення вірогідних критеріїв достовірності виявлення джерела магнітного поля і локалізації об'єкта при просторовому аналізі слабких магнітних полів. Наведено приклад розрахунку цих критеріїв для одного варіанта магнітометричної системи.

Восстановление, повторное использование и переработка программного обеспечения: 3, 1998

Подано основні положення інженерії утилізації програм - нового розділу інженерії програмування. Описано конструкції реалізованих інформаційно-програмних засобів.

Выбор вариантов реализации управляющих воздействий по критерию точности: 4, 2000

Запропоновано розв'язання задач оптимізації вибору варіанта вироблення значень параметрів керуючих впливів за критерієм точності значень як з обмеженнями часу, так і без них.