Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Искусственный интеллект
→
Искусственный интеллект, 2008
→
Перегляд Искусственный интеллект, 2008 за темою

Перегляд Искусственный интеллект, 2008 за темою "Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем"

Результати 1-20 з 35

Наступна сторінка

Автоматический метод оперативного построения абстракций при верификации формальных моделей асинхронных систем

Колчин, А.В. (2008)

Предложен метод построения точных абстракций «на лету» и его использование в верификации формальных моделей. Метод основан на том, что каждое пройденное состояние модели характеризуется неполным набором атрибутов, при ...
Алгоритм построения модели сцены для одноканальной системы видеонаблюдения

Ламовский, Д.В.; Садыхов, Р.Х. (2008)

Описан алгоритм калибровки камеры одноканальной системы видеонаблюдения, позволяющий определить модель сцены на основании минимального количества числовых параметров. Представленная модель отличается простотой калибровки ...
Архитектура семейства реконфигурируемых вычислительных систем на основе ПЛИС

Каляев, И.А.; Левин, И.И.; Семерников, Е.А. (2008)

В статье приводится описание архитектуры и принципов построения семейства реконфигурируемых вычислительных систем с динамически перестраиваемой архитектурой на основе ПЛИС производительностью до 6 Тфлопс, создаваемого в ...
Возможности применения среды мультитрансляции в качестве компилятора компиляторов

Чернухин, Ю.В.; Поленов, М.Ю.; Левченко, Д.В. (2008)

Рассматривается подход к применению разработанной ранее среды многоязыковой трансляции моделей – Мультитранслятора для конверсии программных проектов с одних языков программирования высокого уровня в проекты на других ...
Выделение набора информативных признаков на основе эволюционного поиска с кластеризацией

Субботин, С.А.; Олейник, А.А. (2008)

Решается задача поиска наиболее информативной комбинации признаков с помощью методов эволюционной оптимизации. Предложен метод эволюционного поиска с кластеризацией признаков. Проведены эксперименты по выделению ...
Доказательное проектирование алгоритмов функционирования реактивных систем

Чеботарев, А.Н.; Головинский, А.Л. (2008)

Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы, возникающие при проектировании реактивных ...
Интерпретатор методов потокового анализа программ в специализированном банке знаний о преобразованиях программ

Князева, М.А.; Москалев, И.И. (2008)

Интерпретатор методов потокового анализа является основной частью подсистемы потокового анализа в специализированном банке знаний о преобразованиях программ (СБкЗ_ПП). Данная подсистема осуществляет интерпретацию методов ...
Коэффициентная методика с изменяемыми весовыми коэффициентами

Долгов, А.И.; Мартыненко, А.Ф.; Преснухин, В.В. (2008)

Викладені наукові основи синтезу коефіцієнтних методик, які широко використовуються з огляду на їх простоту і прийнятну точність отримуваних результатів при розв’язанні задач оцінки (у тому числі рейтингової) об’єктів ...
Метод предельных обобщений – эффективный принцип работы вычислительного интеллекта

Прокопчук, Ю.А. (2008)

В статье предложен эффективный метод решения интеллектуальных логических и вычислительных задач. В основе метода лежит построение полной модели знаний многоуровневого описания действительности, которая обладает предельными ...
Метод решения гамильтоновой задачи коммивояжера

Гаращенко, И.В.; Морозов, А.В.; Панишев, А.В. (2008)

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

Горелова, Г.В.; Мельник, Э.В. (2008)

Предложен основанный на когнитивном моделировании, планировании эксперимента, моделях вероятностных задач принятия решений метод исследования структур и обоснования решений по выбору структуры отказоустойчивых распределенных ...
О миварно-матричном подходе к решению задач поиска минимального разреза и коммивояжера в целях снижения вычислительной сложности

Варламов, О.О. (2008)

В статье показаны некоторые возможности нового миварно-матричного подхода к решению задач на графах и гиперграфах. Миварно-матричный подход основывается на отказе от полного перебора и построения специальных матриц, ...
О некоторых применениях парадоксального способа суммирования непрерывных дробей

Шмойлов, В.И. (2008)

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

Доценко, В.А. (2008)

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

Паклин, Н.Б. (2008)

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

Луц, Л.В. (2008)

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

Трунов, Г.Л.; Коваленко, А.Г. (2008)

В статье предлагается вариант параллельно-конвейерной организации вычислений при аппаратной реализации решения задачи умножения матрицы на поток векторов на реконфигурируемых вычислительных системах (РВС).
Підвищення ефективності паралельного розв’язання лінійної задачі Коші на основі методу рекурсивного множення матриць

Назарова, І.А. (2008)

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

Бандура, О.Ю.; Головинский, А.Л.; Рябчун, С.Г. (2008)

Исследованы общие концепции высокопроизводительной дисковой подсистемы как непременной составной части суперкомпьютеров кластерной архитектуры, а также рассмотрено ее построение в составе кластерного комплекса СКИТ.
Построение суперкомпьютера кластерной архитектуры без использования сети Ethernet

Горенко, C.А.; Головинский, А.Л.; Рябчун, С.Г. (2008)

Исследованы общие концепции управления высокопроизводительной кластерной вычислительной системой без использования сети Ethernet, а также рассмотрена возможность практической реализации такого управления.

Результати 1-20 з 35

Наступна сторінка

Пошук

Розширений пошук

Перегляд

Вся бібліотека
Розділ

Перегляд Искусственный интеллект, 2008 за темою "Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем"

Репозиторій DSpace/Manakin

Перегляд Искусственный интеллект, 2008 за темою "Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем"

Пошук

Перегляд

Вся бібліотека

Розділ

Мій обліковий запис