Предварительная версия программы секционных заседаний IX Международной конференции “Интеллектуальные системы и компьютерные науки”

Конференция проходит при поддержке РФФИ и LSI Logic Corp (США)

Москва, МГУ, Главное Здание, мехмат факультет, 23-27 октября 2006 г.

Секция "Математическая кибернетика"

Понедельник 23 октября. Ауд 14-08.

Твердохлебов В.А. Рекуррентно-автоматные характеристики динамических систем

Уваров Д.В. О сложности кратных диагностических экспериментов для подмножеств состояний автомата

Майлыбаева Г.А. Коммуникационная сложность протоколов доступа к данным без раскрытия запроса

Галатенко А.В. Автоматные модели защищенных компьютерных систем

Кучеренко Н.С. О сложности поиска идентичных объектов для случайных баз данных

Лавриненко А.В.Точное значение сложности угадывания одного множества сверхслов

Кузюрин Н.Н. Вероятностный анализ различных шельфовых алгоритмов упаковки прямоугольников в полосу

Самоненко И.Ю. Об отношении границ на состояниях конечного автомата

Вторник 24 октября. Ауд 14-08

Ушчумлич Ш.М. (Сербия) О сложности алгоритмов анализа и синтеза автоматов.

Пытьев Ю.П., Фаломкина О.В. Неопределенные нечеткие модели и их применения.

Килибарда Г.. Об универсальных однородных ловушках.

Miyakawa M. (Япония) Graphical Compositions of Semirigid Equivalence Relations.

Пантелеев П.А. Об отличимости автоматов при искажениях на входе.

Захаров В.А. К вопросу об обфускации конечных автоматов.

Летуновский А. О выразимости константных автоматов суперпозициями.

Сытник А.В. Об одном алгоритме для нахождения приближённого решения задачи о рюкзаке.

Будников Ю.А. О мощности ребер гиперграфа.

Мамонтов А.И. О проблеме полноты в функциональной системе линейных полиномов с рациональными коэффициентами.

Чупаева И.Ю. Anticommutative Groebner Bases in Algebraic Geometry. Analysis of Geometrical Theorems in Coordinate-Free Form.

Пономаренко А.В. Оптимизация универсального тестирования поведения автоматов.

Среда 25 октября. Ауд 14-08

Miyakawa M. (Япония) Tsukuba University of Technology Variable Selection Criteria in Efficient Decision Trees Construction.

Тихончев М.Ю. (Украина) Распознавание графов с отмеченными вершинами конечным автоматом.

Богомолов С.А. О структурной идентификации автоматов.

Грунская В.И. (Украина) Отличимость геометрических лабиринтов.

Марценюк М.А. Матричное представление нечеткой логики.

Харин Ю.С., Ярмола А.Н. (Белоруссия) Псевдослучайные последовательности на основе INAR-модели и их свойства.

Волков Н.Ю. Об автоматной модели преследования.

Зобнин А.И. Вопросы конечности дифференциальных стандартных базисов.

Семенов А.С. Критерии Бухбергера и тривиальные сизигии.

Четверг 26 октября. Ауд 14-08

Pogosyan G.R. (Япония) International Christian University Study of Clones Irreducible by Means of Lattice Operations.

Уварова Т.Д. Случай произвольной частоты запросов в задаче поиска по маске.

Салий В.Н. Параметрическая отказоустойчивость и оптимизация в графовых моделях дискретных систем.

Лялин И.В. Решение автоматных уравнений.

Черепов А.Н. О сложности приближения непрерывных функций детерминированными функциями с задержкой.

Шуткин Ю.С. Поиск частых подпоследовательностей.

Шуткин Ю. Реализация булевых функций с помощью информационных графов.

Цеховая Т.В. Статистические свойства оценки вариограммы гауссовского случайного процесса.

Халов Е.А. Четкие одномерные многопараметрические функции принадлежности систем нечеткого вывода.

Секция "Распознавание и анализ образов"

Понедельник 23 октября. Ауд. 12-06

Муратова Е.А., Янковская А.Е. Формирование и оптимизация базы данных и знаний для диагностики состояний коммуникативного стресса

Семенов А.В. Применение факторного анализа для систем биометрической идентификации

Андрианов Д.Е. Методы обработки информации о пространственно распределенных объектах

Расторгуев В.В. Применение технологии углубленного анализа данных (data mining) для построения системы информационного мониторинга риска атеросклеротических заболеваний населения России

Кочкаров А.А., Кочкаров Р.А. Параллельные алгоритмы поиска решений оптимизационных задач на масштабно-инвариантных графах большой размерности

Кузичев А.С. Программа Колмогорова и секвенциальные интеллектуальные системы

Перевалов Д.С. Использование матриц сравнений в задаче поиска по эталону.

Веснин Е.Н., Царев В.А. Оптимизация процесса обработки данных в системах распознавания буквенно-цифровых меток движущихся объектов.

Кулеев Р.Ф., Фофанов В.Б. Сегментация зон интереса на основе случайного расстояния изображений

Дичковская С.А., Кравцов М.К. Исследование полиномиальных алгоритмов решения четырехиндексной аксиальной проблемы выбора

Окуловский Ю.С. A model and implementation of universal engine for neural systems

Вторник 24 октября. ауд.13-11

Шоломов Л.А. Энтропия и информация нечетких текстов

Zelmat M. Fuzzy logic control system design for separators

Осокин В.В. Асимптотика сложности разбиения булевого куба на подкубы

Орлов А.А. Выделение полосовых образов заданного профиля на цифровых изображениях

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

Чуличков А.И. Множества, оценивающие параметр формы сигнала

Мондрус О.В., Соболев К.С. Синтез оптимального прибора в задачах нелинейной редукции измерения

Исматова Х.Р. (Азербайджан) Распознавание и интерпретация изображений в условиях априорной неопределенности

Татузов А.Л. Моделирование запоминания элементарных математических фактов с помощью нейронных сетей

Yong L. (Китай) Development of an ITS for self-instructing of Chinese hieroglyph

Курбанов Ф.И. (Азербайджан) А–тестовая система и оценка знания с помощью метрических функций в пространстве F чисел

Среда 25 октября. ауд. 12-13

Половников В.С. Критерий нелинейной однослойности нейронных схем

Перепелица В.А., Тебуева Ф.Б. Методы нелинейной динамики в моделировании эволюции солнечной активности применение нечеткой логики в системе оценки кадрового потенциала

Жизняков А.Л., Фомин А.А. Исследование алгоритмов измерения шума на основе вейвлет преобразования

Гринченко С.Н. О моделировании биологических систем (на основе поисково-оптимизационного подхода)

Попов В.Ю. О проблеме расшифровки ДНК гибридизацией

Колесник Ю.А., Порохня В.М. Интелектуальные системы выбора сценариев экономического роста страны на основе интеллектуального и потенциального капитала нации

Хачумов В.М. Логические элементы на нейронах

Фаломкин И.И. Адаптивный морфологический алгоритм анализа и интерпретации изображений

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

Никитин К.В. Рекуррентные нейронные сети в задачах распознавания образов

Четверг 26 октября. ауд.16-10

Рогов А.А. Применение методов теории распознавания для анализа петроглифов Карелии

Плаксин М.А. Принятие решений методом анализа иерархий: как сократить экспертоемкость?

Зиновьев А.А. Рост эффективности идентификации по модели Вольтерра при увеличении количества гармоник во входном сигнале

Жукова С.В. Сравнительный анализ методов обработки выходных сигналов хаотической нейронной сети

Васис О.С., Крамин А.А. Автоматизация информационных потоков кролиководческой фермы на базе технологии RFID

Жизняков А. Вейвлет-преобразование изображений с нецелым параметром сжатия

Кузьмин Д.М. К вопросу о применении распознавания образов к оценкам состояния дорожного полотна

Спиридонов К.Н. Применение мультифрактального анализа при изучении петроглифов Карелии

Секция "Технологии синтеза интеллектуальных систем"

Понедельник 23 октября. ауд. 16-16

Красилов А.А. Введение в автоматический синтез программ

Пучков А.Ю. Оптимизация поэтапного распределения средств в слабо структурированных задачах

Назаров М.Н. Параллельный доступ к данным без раскрытия запроса

Аносов В.Д., Нестеренко А.Ю. Схема асимметричного шифрования, основанная на отечественных криптографических примитивах

Пономарев Д.Ю. Исследование некоторых характеристик сетей массового обслуживания

Исмагилов Н.А. Объектно-структурный подход в проектировании программных систем

Зайцев Е.И. O разработке и использовании программных агентов в распределенных интеллектуальных системах

Павлов С.В. (Украина) Общие подходы к классификации инфокоммуникационных услуг

Шаповалова Н.А., Шматко А.Д. Анализ бизнес-процессов компании на основе использования инструментальных cредств

Малинина К.О. База данных и программный комплекс электронной энциклопедии по экологии

Скробов А.Л. Генетические алгоритмы создания CoreWars-бойцов

Хлызов А.В. Динамически настраиваемые web-ориентированные информационные системы

Вторник 24 октября. ауд. 12-13

Чижова И.А. Интеллектуальные системы для прогнозно-металлогенического анализа перспективных площадей

Грибова В.В. СИСТЕМА АВТОМАТИЧЕСКОГО ОЦЕНИВАНИЯ ПОЛЬЗОВАТЕЛЬСКОГО ИНТЕРФЕЙСА, УПРАВЛЯЕМАЯ БАЗОЙ ЗНАНИЙ

Гаврилова Т.А. Ontologies for computer science research

Ахремчик О.Л. Построение таксономии «Элементы> для интеллектуальных систем автоматизированного проектирования

Котиков В.И. Разработка классификационного куба знаний для нового класса информационных систем электронных информотек

Гадиатулин Р.А. Оболочка экспертных систем XG# 1.0: подход к автоматизированному извлечению онтологий и их применению в компоненте объяснения программное обеспечение для инвестиционного бизнес-проектирования

Куливец С.Г. Проектирование и разработка интеллектуальной системы управления финансами предприятия с применением инструментов нечеткой логики и искусственного интеллекта

Архипов Е.С., Рабчевский Е.А. Проектирование экспертных систем технической поддержки на основе онтологий

Среда 25 октября. ауд. 12-06

de La Fortelle A. (Франция). Belief Propagation Algorithm for Traffic Prediction

Chittayasothorn S. (Индия) Bitemporal Multi-level Secured Database for Intelligence Applications

Артемьева И.Л., Рештаненко Н.В. Расширяемая интеллектуальная интернет система по химии

Иващенко М.В. Формирование экстенсионала базы знаний и выработка решений в интеллектуальных автоматизированных обучающих комплексах для подготовки операторов АСУТП

Гарифуллина Ю.В. Разработка когнитивной модели пользователя

Ермолаев Б.А. Управление интерфейсом приложений Microsoft office на основе объектной модели

Борчук Л.Е. О модели асимптотической оценки ресурсоемкости реляционного запроса

Буй Д.Б., Кахута Н.Д. (Украина) Теоретико-множественные конструкции полного образа, ограничения, конфинальности и совместности в основаниях реляционных баз данных

Дорошенко А.Н. (Украина) Аппаратная поддержка процессором выполнения шифрованного кода

Григорьев Р.Д., Красилов А. Автоматический синтез программ в Интеллсист

Четверг 26 октября. ауд. 13-27

Тебуева Ф., Шенкао Т.М. Алгоритмы с оценками для дискретной задачи сегментации

Шестаков М.А. Заметка об организации решения задач в Интеллсист

Миронов А.М. Верификация функциональных программ

Проворова А.Л. О синтезе синхронизирующих деревьев

Корниенко Т.Я. О существовании решения модели динамики возрастной структуры популяции

Плескач В.Л. Онтологический анализ как средство интеллектуализации поисковых механизмов на рынке информационных услуг

Котов С.С., Сергушичева М.А., Сорокин С.И., Швецов А.Н. Инструментальный программный комплекс для проектирования мультиагентных систем.

Князева М.А. Интернет-система, моделирующая процесс преобразования программ, управляемый знаниями

Бандурин Н.., Игнатьев В.А. Комплекс программ для решения систем нелинейных интегро-дифференциальных уравнений (ИДУ), содержащих производные и интегралы дробного порядка

Баранович А.Е. K-гиперпространство семиотико-хроматических гипертопографов как универсальная модель представления фактографических знаний

Секция "Приложения теории интеллектуальных систем"

Понедельник 23 октября. Ауд 12-09

Сапунов С.В. (Украина) Анализ графов с помеченными вершинами

Портнов К.В. Использование модифицированных генетических алгоритмов в задаче распределения ресурсов

Башкин В.А. О параметризованном построении подобия ресурсов в сетях Петри

Макатов В. Автоматизация распределения учебной нагрузки на кафедре

Дьяконов Г.Н., Машков А.В., Якимов В.Н. ВЕРБАЛЬНЫЕ Компоненты NFL-континуума как структура и система

Яппаров Р.В. Интеллект и ЭВМ

Ермаков С.А. Использование нечеткой математики для анализа защищенности информационных систем

Шарапов А.А. GRID-агенты самоконфигурации системы обмена сообщениями

Баклановский М.В., Корнев Д.В. Искусственный интеллект в Ghostgrid

Шерменев А.М. General Physics Institute Two-waves interactions in cylinder

Вторник 24 октября. Ауд. 15-04, (13-20)

Гераськина Ю.Г. Об автоматной модели самоочищения легких

Козловский В.А., Толмачевская Л.А. Эксперименты с автоматами в алгебраически определенных классах

Волченков М.П. О решении задачи слежения за динамическими объектами в условиях помех

Айдаров Ю.Р. Применение генетических алгоритмов для анализа криптографических протоколов

Рогова К.А. Информационно – поисковая система «Петроглифы Карелии»

Малиновская О.Л. Архитектура системы VITA-II для прототипирования учебных курсов on-line на основе онтологий

Бендерская Е.Н . Нейросетевое обучение с подкреплением для моделирования поведения конкурентов в экономических играх

Спицына Н.В. О верхней оценке R-различающих и разделяющих последовательностей для наблюдаемых автоматов

Михалев А.В. Agent-based Non-line-of-sight Geolocation of Emitters

Бородакий В.Ю. Исследование работы системы передачи сообщений с помощью имитационной модели

Мельников Б.., Мельникова Е.А. Некоторые вопросы кластеризации ситуаций в алгоритмах реального времени

Трифонова Е.Е. О логическом подходе к синтезу технологических процессов

Пытьев Ю. П., Зубюк А. В. Случайная и нечеткая морфология (эмпирическое восстановление модели, идентификация)

Среда 25 октября. Ауд 12-09.

Джашеева Ф.М. Использование агрегирования в методах нелинейной динамики для анализа и прогнозирования временных рядов

Примаков Д.А. Концепция конструирования и реализации диагностической системы в клинической иммунологии на основе экспертных знаний

Колупаева С.Н. Математическая модель и комплекс программ для исследования процессов пластической деформации в ГЦК материалах

Карпук А.А. (Белоруссия) Математические модели и алгоритмы клиринга межбанковских платежей

Бандурин Н.Г., Худаяров Б.А. Моделирование Флаттера вязкоупругих пластин и цилиндрических панелей

Нурматова Е.В. Нейросетевые агенты в аппаратно-программной системе контроля роторного оборудования

Варфоломеев А.Г., Марахтанов А.Г. Применение многоагентных систем для моделирования процесса обучения студентов

Яничкина Е.В. Особенности применения радиально-базисных нейронных сетей для решения краевых задач математической физики

Царев Ф.Н., Шалыто А.А. Применение автоматного программирования при моделировании одного класса мультиагентных систем

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

Аникин М.А., Брейман А.Д. Пространство интероперабельности в одноранговых средах

Макатов В.З. (Казахстан) Ротация и объединение потоков в задаче автоматизированного управления рабочим учебным планом

Четверг 26 октября. Ауд 12-09.

Мельников Б.Ф., Тарасова Е.Г. Специальные методы принятия решений для разработки экспертных систем в области микробиологии

Григорьева Н.С. Метод построения расписания для задачи минимизации максимального запаздывания

Пудовкина М.А. Об одном обобщении взаимной корреляции и автокорреляции булевых функций

Ковтуненко А.С., Низамова Г.Ф. Функциональная модель интеллектуальной системы составления расписания учебных занятий

Поплавский В.Б. On determinant expansion and minor rank function of matrices over arbitrary Boolean algebra

Скобелев В.Г. (Украина) Вариация стайного управления группой объектов

Golubitsky O..Bounds and algebraic algorithms in differential algebra: the ordinary case

Донченко В.С. (Украина) Fuzzy sets in the plural model of uncertainties: statisical interpretation

Парамонов А.И. (Украина) Об одном подходе к построению модели контекста