28 Кибернетика
Д9-06/31894
815. Введение в криптографию: Курс лекций / Романьков
В.А. - Омск: ОмГУ, 2006. — 150 с. — Библиогр.: 22 назв. —
ISBN 5-7779-0755-5.
Изложены математические основы криптографии и описан ряд
криптографических схем и протоколов, имеющих важное теоретическое значение и
широкое практическое применение.
М/50403 № 10
816. Верификация комбинированных логик знаний,
действий и времени в моделях / Гаранина Н.О., Шилов Н.В. // Систем.
информатика: Сб. науч. тр. / РАН. СО. Ин-т систем информатики. — 2006. — Вып.
10: Методы и модели современного программирования: Сб. науч. тр. — С. 114-173.
— Библиогр.: 53 назв.
Обсуждена применимость комбинированных логик для
спецификации и верификации сложных систем. Дан обзор современного состояния
исследований по проблеме проверки моделей для комбинаций пропозициональных
программных логик и логик знаний.
М/50403 № 10
817. Клеточно-автоматные модели пространственной
динамики / Бандман О.Л. // Систем. информатика: Сб. науч. тр. / РАН. СО. Ин-т
систем информатики. — 2006. — Вып. 10: Методы и модели современного
программирования: Сб. науч. тр. — С. 59-113. — Библиогр.: 57 назв.
Приведены результаты исследований по клеточно-автоматному
моделированию пространственной динамики. Дан подробный анализ состояния дел в
этой новой области информатики. Введен формальный аппарат представления
клеточно-автоматных алгоритмов (алгоритм параллельных подстановок), рассмотрены
изучаемые клеточно-автоматные модели и их применения. Изложены методы
композиции клеточных автоматов, описаны вычислительные свойства
клеточно-автоматных моделей. Изложение проиллюстрировано примерами клеточно-автоматного
моделирования физических, химических и биологических процессов.
Д9-06/32149
818. Нейрокомпьютерные технологии в системах защиты
информации / Евдокимов А.А. - Невинномысск: СевКавГТУ, 2006. — 200 с. —
Библиогр.: 128 назв. — ISBN 5-89571-098-0.
Особое внимание уделено оригинальным методам и алгоритмам
построения динамических систем пролонгированной безопасности и
сверхпроизводительных криптографических вычислителей высокой надежности.
М/57178 № 26
819. Нейрокомпьютеры в биометрических системах / Под
ред. А.И. Галушкина. - М.: Радиотехника, 2007. — 192 с. — (Нейрокомпьютеры и их
применение / Под ред. А.И. Галушкина;
Кн. 26). — Библиогр.: в конце гл. — ISBN 588070-122-0.
Рассмотрены перспективные направления применения
нейрокомпьютеров в биометрических системах идентификации личности,
распознавания и восстановления изображений по отдельным признакам.
М/57178 № 25
820. Нейрокомпьютеры в прикладных задачах обработки
изображений: Учебное пособие / Под ред. А.Н. Балухто,
А.И. Галушкина. - М.: Радиотехника, 2007. — 128 с. — (Нейрокомпьютеры и их
применение / Под ред. А.И. Галушкина;
Кн. 25). — Библиогр.: в конце гл. — ISBN 5-88070-123-9.
Рассмотрены нейросетевые алгоритмы решения типовых задач
обработки цифровых изображений: фильтрации и сегментации; сжатия и кодирования
видеоряда; распознавания, классификации и обнаружения различных объектов
трехмерной визуализации сцен в системах машинной графики; а также вопросы
аппаратной реализации нейрокомпьютеров для обработки изображений.
У2403
821. Особенности архитектуры экспертных систем для
решения задач выбора / Лазарсон Э.В. // Приборы и системы. Управление,
контроль, диагностика. — 2007. — № 2. —
С. 16-17. — Библиогр.: 6 назв.
В качестве формализмов знаний о проблемных областях задач
выбора предложено использовать продукционные правила, таблицы соответствий или
их комбинации. Описана архитектура гибридной ЭС, использующей достоинства обеих
форм представления знаний. Реализация данной архитектуры позволяет значительно
сократить трудоемкость создания объектно-ориентированных ЭС для
рассматриваемого класса задач.
М/50403 № 10
822. Представление знаний в Интернете и семантическое
программирование / Манцивода А.В., Малых А.А. // Систем. информатика: Сб. науч.
тр. / РАН. СО. Ин-т систем информатики. — 2006. — Вып. 10: Методы и модели
современного программирования: Сб. науч. тр. — С. 174-242. — Библиогр.: 60
назв.
Рассмотрены логические методы представления и обработки
знаний в Internet, учитывающие специфику глобальной информационной среды:
открытость и агрессивность, отсутствие централизованного управления, огромный
объем хранящейся информации, непрерывные изменения в среде и ее хаотичное
развитие. Большое внимание уделено методам метаописаний информационных
ресурсов, а также применению продвинутых логических средств. Представлен обзор
текущего состояния данной проблемы, определены основные критерии оценки систем
обработки знаний в Internet, а также предложен подход к данной проблеме,
основанный на теории семантического программирования.
|
