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

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

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

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

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

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

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

Сенченко, А.С.; Рубан, Н.Н. (2009)

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

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

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

Гильгурт, С.Я. (2009)

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

Каленчук-Порханова, А.А.; Вакал, Л.П. (2009)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ковалев, Н.А. (2009)

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

Абасова, С.Э.; Абдуллаев, С.Г. (2009)

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

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

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

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

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

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

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

Денисенко, П.Н. (2009)

У роботi побудовано алгебраїчний алгоритм для обчислення в системах комп’ютерної алгебри алгебраїчного многочлену yn порядку n e N. Цей многочлен – апроксимацiя розв’язку y = y(x), x e [a,b] iнтегрального рiвняння ...
Оптимизация метода Питасси вычисления свертки

Терещенко, А.Н. (2009)

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

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

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

Пошук

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

Перегляд

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

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

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

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

Пошук

Перегляд

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

Розділ

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