О. В. Казарин; Моск центр непрерывного математ образования. М. Мцнмо, 2009. 464 с. Серия монографий "Научные проблемы безопасности и противодействия терроризму" / под общ ред. В. А. Садовничего, В. П
| Вид материала | Указатель |
- Высшее профессиональное образование основы противодействия терроризму, 3919.89kb.
- Концепция противодействия терроризму в Российской Федерации. Утверждена Президентом, 213.22kb.
- Центр биоэтики, 510.11kb.
- Концепция противодействия терроризму в Российской Федерации Опубликовано 20 октября, 236.76kb.
- Концепция противодействия терроризму в российской федерации, 219.46kb.
- Концепция противодействия терроризму в российской федерации, 219.96kb.
- Учебная программа «Организация безопасности жизнедеятельности, предупреждения чрезвычайных, 109.03kb.
- Хабаровск Под общей редакцией доктора сельскохозяйственных наук Н. В. Выводцева Хабаровск, 3694.25kb.
- Тезаурусный анализ, 1304.84kb.
- Российская академия наук Кольский научный центр Институт экономических проблем, 3200.11kb.
Аннотированный указатель
| - ПРОГРАММНЫЕ СРЕДСТВА | ||
| 1 | 004.4 К 14 | Казарин, О.В. Методология защиты программного обеспечения : [монография] / О. В. Казарин ; Моск. центр непрерывного математ. образования. - М. : МЦНМО, 2009. - 464 с. - (Серия монографий "Научные проблемы безопасности и противодействия терроризму" / под общ. ред. В. А. Садовничего, В. П. Шерстюка). - ISBN 978-5-94057-584-9 : 250 р. 1экз. Рассмотрены теоретические и прикладные аспекты проблемы защиты программного обеспечения от различного рода злоумышленных действий. Особое внимание уделено моделям и методам создания доказуемо защищенных программ для применения в компьютерных системах с высоким оценочным уровнем доверия. Совокупность исследуемых моделей и методов защиты рассматривается в рамках общей методологии, основанной на единой аксиоматике и понятийной базе и учитывающей жизненный цикл создания и применения современного программного обеспечения, универсальные модели угроз безопасности и разрушающих программных средств. |
| - Связь компьютеров. Сети ЭВМ. Вычислительные сети | ||
| 2 | 004.7 В 55 | Вишневский, В.М. Энциклопедия WiMAX. Путь к 4G : [монография] / В. М. Вишневский, С. Л. Портной, И. В. Шахнович. - М. : Техносфера, 2010. - 470 с. - (Мир связи). - ISBN 978-5-94836-223-6 : 500 р. экз. Описаны принципы построения, логическая и физическая структура беспроводных сетей передачи данных городского/регионального масштаба. Рассказано о беспроводных сетях IEEE 802.11, включая mesh-сети. Описана архитектура и принципы организации WiMAX-сетей (впервые в отечественной литературе). Детально изложена технология радиодоступа IEEE 802.16, включая мобильные сети (IEEE 802.16е). Описаны сотовые сети стандартов 3G и LTE (также впервые в отечественной литературе), а также технологии широкополосного цифрового теле- и радиовещания (DVB и DAB). Изложены принципы технологии MIMO. Приведены примеры реализации региональных WiMAX-сетей. Изложены теоретические основы передачи информации (теоремы Шеннона, Котельникова, Найквиста), методы кодирования и модуляции в беспроводных сетях. В целом монография представляет собой уникальное справочное пособие по основным на сегодня технологиям широкополосного беспроводного доступа, охватывающего вопросы от архитектуры сетей до аппаратной реализации устройств и принципов сертификации оборудования. |
| - ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ | ||
| 3 | 004.8 Б 63 | Бионические информационные системы и их практические применения / под ред. Л. А. Зинченко, В. М. Курейчика, В. Г. Редько. - М. : Физматлит, 2011. - 286 с. - (Проблемы искусственного интеллекта). - ISBN 978-5-9221-1302-1 : 288 р. 1экз. Книга посвящена информационным системам, основанным на бионических принципах, реализованных в виде методов вычислительного интеллекта. Многие излагаемые результаты являются новыми, включают анализ современного состояния ряда разделов вычислительного интеллекта и получены в течение последних нескольких лет. Также рассматриваются вопросы практического применения этих методов для решения задач автоматизированного проектирования САПР микро- и наносистем и вычислительных сетей и разработке интеллектуальных информационных систем и систем поддержки принятия решений. |
| | ||
| 4 | 004.8 Б 63 | Биоинспирированные методы оптимизации : [монография] / Л. А. Гладков [и др.]. - М. : Физматлит, 2009. - 380 с. - ISBN 978-5-9221-1101-0 : 250 р. 1экз. Представлен триединый подход к построению искусственных интеллектуальных иерархических систем, основанный на современных исследованиях в таких областях науки об искусственном [интеллекте], как гомеостатика, синергетика и эволюционное моделирование. Описаны способы построения иерархических искусственных интеллектуальных систем для решения оптимизационных задач принятия решений на графах. |
| | ||
| 5 | 004.8 Д 78 | ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания / сост. О. М. Аншаков, Е. Ф. Фабрикантова ; под общ. ред. О. М. Аншакова. - М. : URSS : Либроком, 2009. - 430 c. - ISBN 978-5-397-00636-1 : 687 р. 50 к. 1экз. Представлены теоретические основания формализации правдоподобных рассуждений, используемых в ДСМ-методе автоматического порождения гипотез. Этот метод развивает средствами современной логики идеи Д. С. Милля об индукции и идеи Ч. С. Пирса об абдукции, кроме того, ДСМ-метод использует принцип фальсификации К. Р. Поппера как средство отбрасывания нерелевантных гипотез. Главным результатом, представленным в книге, является формализация эвристики типа "индукция + аналогия + абдукция", которая образует синтез этих познавательных процедур. Его формализацией являются правдоподобные рассуждения типа ДСМ. ДСМ-рассуждения, включающие контекстно-зависимую индукцию с контролируемыми выводами, являются весомым аргументом против антииндуктивизма К. Р. Поппера. Кроме того, ДСМ-рассуждения являются существенной частью ДСМ-метода автоматического порождения гипотез - оригинальной технологии и методологии интеллектуального анализа данных. |
| | ||
| 6 | 004.8 О-74 | Осипов, Г.С. Методы искусственного интеллекта : [монография] / Г. С. Осипов. - М. : Физматлит, 2011. - 295 с. - ISBN 978-5-9221-1323-6 : 282 р. 48 к. 1экз. Изложение основных методов искусственного интеллекта: методов представления знаний, методов моделирования поведения, методов обучения и приобретения знаний интеллектуальными системами. |
| - Прикладные информационные (компьютерные) технологии | ||
| 7 | 004.9 Ш 37 | Шевчук, В.П. Моделирование метрологических характеристик интеллектуальных измерительных приборов и систем / В. П. Шевчук. - М. : Физматлит, 2011. - 319 с. - (Математика. Прикладная математика). - ISBN 978-5-9221-1314-4 : 361 р. 58 к. 1экз. Предлагается классифицировать информационно-измерительные и управляющие системы по типу уравнения измерения критерия управления. Приведены основные уравнения обобщенных технико-экономических критериев управления. Предложены математические модели физических процессов формирования систематической методической динамической составляющей погрешности измерения в аналоговых, цифровых и программно-аппаратных измерительных каналах и системах. Подробно рассмотрены модели метрологических характеристик виртуальных приборов и характеристик информативности интеллектуальных измерительных систем. Исследованы метрологические свойства конкретных виртуальных приборов и алгоритмов визуализации процессов измерения. |
| - Математика | ||
| 8 | 51 М 34 | Математическое просвещение : третья сер. Вып. 13 / Моск. центр непрерывного математ. образования ; редкол.: В. О. Бугаенко [и др.]. - М. : Изд-во МЦНМО, 2009. - 190 с. - ISBN 978-5-94057-486-6 : 130 р. 1экз. В сборниках серии «Математическое просвещение» публикуются материалы о проблемах современной математики, изложенные на доступном для широкой аудитории уровне, заметки по истории математики, обсуждаются проблемы математического образования. |
| - Фундаментальные и общие проблемы математики. Основания математики, математическая логика | ||
| 9 | 510 Б 90 | Будущее прикладной математики : лекции для молодых исследователей : поиски и открытия / [под ред. Г. Г. Малинецкого]. - М. : URSS, 2009. - 635 с. - ISBN 978-5-397-00638-5 : 875 р. 1экз. Представлены лекции ряда ведущих специалистов в области прикладной математики, которые были прочитаны на III ежегодной школе для студентов, аспирантов и молодых исследователей в Институте прикладной математики им. М. В. Келдыша РАН. Спектр тем, обсуждаемых в книге, очень широк. Это проблемы турбулентности и системы с запаздыванием, космические программы нового поколения и прогноз динамики нефтегазового сектора, сетевая безопасность и система ГРИД. Многие темы рассмотрены ясно, наглядно и популярно впервые. Среди них - технологии беспроводной связи с хаотическим носителем, проблемы клеточных автоматов, новые парадигмы вычислений. |
| - Теория чисел. Арифметика. Элементарная, алгебраическая и др. теории чисел | ||
| 10 | 511 С 19 | Сапоженко, А.А. Проблема Дедекинда и метод граничных функционалов / А. А. Сапоженко. - М. : Физматлит, 2009. - 150 с. - ISBN 978-5-9221-1117-1 : 180 р. 1экз. Излагается асимптотическое решение известной проблемы Дедекинда о числе монотонных булевых функций, а также метод граничных функционалов, предназначенный для решения задач подобного типа. Проблема имеет более чем вековую историю, начавшуюся с работы Р. Дедекинда 1897 г., в которой было найдено число элементов дистрибутивной свободной структуры с четырьмя образующими, или, что то же самое, число монотонных булевых функций, зависящих от четырех переменных. С начала 1950-х годов проблема привлекла большой интерес специалистов в области алгебры логики и кибернетики и способствовала развитию методов решения перечислительных задач. |
| - Алгебра | ||
| 11 | 512 В 76 | Воскресенский, В.Е. Бирациональная геометрия линейных алгебраических групп / В. Е. Воскресенский ; Моск. центр непрерывного математ. образования. - М. : МЦНМО, 2009. - 403 с. - ISBN 978-5-94057-522-1 : 320 р. 1экз. Книга посвящена бирациональной геометрии линейных алгебраических групп - разделу математики, лежащему на стыке теории чисел и алгебраической геометрии. Эта теория, возникшая в конце 60-х годов XX века, имеет на своем счету целый ряд первоклассных результатов. В книге рассмотрены такие вопросы, как формы и когомологии Галуа, группы Пикара и Брауэра многообразий, бирациональные инварианты линейных алгебраических групп, числа Тамагавы, проективные торические многообразия, R-эквивалентность в линейных алгебраических группах, инварианты конечных групп преобразований. |
| | ||
| 12 | 512 Г 32 | Гельфанд И.М. Коммутативные нормированные кольца / И. М. Гельфанд, Д. А. Райков, Г. Е. Шилов. - М. : Физматлит, 2011. - 256 с. - (Классика и современность. Математика). - ISBN 978-5-9221-1331-1 : 200 р. 1экз. Излагается теория коммутативных нормированных колец с ее применениями к анализу и топологии. В конце книги в виде приложения воспроизведена статья И. М. Гельфанда и М. А. Наймарка "Нормированные кольца с инволюцией и их представления", могущая служить введением в теорию некоммутативных нормированных колец с инволюцией. |
| | ||
| 13 | 512 К 64 | Конвей, Дж.Х. О кватернионах и октавах, об их геометрии, арифметике и симметриях = On quaternions and octonions: their geometry, arithmetic, and symmetry : [монография] / Конвей Дж.Х., Д. Смит ; Моск. центр непрерывного математ. образования ; пер. с англ. С. М. Львовского под ред. В. В. Доценко. - М. : Изд-во МЦНМО, 2009. - 182 с. - ISBN 1-56881-134-9 (англ.) : 150 р. - ISBN 978-5-94057-517-7 : 150 р. 1экз. Посвящена самым разнообразным геометрическим и арифметическим свойствам алгебр кватернионов и октав (чисел Кэли). В числе прочего, излагаются общая теория композиционных алгебр и теория тройственности, рассказывается о связи октав с лупами Муфанг, изучаются свойства кватернионных и октавных аналогов гауссовых целых чисел. Значительная часть материала книги не была до сих пор отражена в литературе на русском языке. |
| | ||
| 14 | 512 П 84 | Прохоров, Ю.Г. Особенности алгебраических многообразий / Ю. Г. Прохоров ; Моск. центр непрерывного математ. образования. - М. : Изд-во МЦНМО, 2009. - 127 с. - ISBN 978-5-94057-428-6 : 70 р. 1экз. Посвящена важному разделу алгебраической геометрии - теории особенностей алгебраических многообразий. Она состоит из двух практически независимых друг от друга частей. В первой части обсуждается доказательство теоремы о разрешении особенностей, ослабленной версии знаменитой теоремы Хиронаки. Здесь автор следует в основном работе Богомолова и Пантева. Вторая часть представляет собой введение в теорию особенностей комплексных алгебраических поверхностей. Обсуждаются рациональные особенности, деформации особенностей, критерии стягиваемости, введение в теорию минимальных моделей. |
| - ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ | ||
| 15 | 514.7 С 30 | Семинар по суперсимметриям. Т. 1 : Алгебра и анализ : основные факты / [под ред. Д. Лейтеса и с доп. В. В. Молоткова] / И. Н. Бернштейн [и др.] ; Моск. центр непрерывного математ. образования. - М. : Изд-во МЦНМО, 2011. - 410 с. - ISBN 978-5-94057-850-5 (т. 1) : 300 р. 1экз. Теория суперсимметрий - относительно новое направление в математике. Идеи суперсимметрии, появившиеся, чтобы разрешить долго казавшиеся неразрешимыми некоторые проблемы теоретической физики, быстро выросли в теорию супермногообразий- богатый сплав дифференциальной и алгебраической геометрий с собственными глубокими и пока малоисследованными проблемами. Изложены основаны линейной алгебры в суперпространствах и дифференцииальной и алгебраической геометрий на супермногообразиях., АЛГЕБРА; супермногообразия; ЛИНЕЙНАЯ АЛГЕБРА; суперпространства; лемма Шура; алгебры ЛИ; аффинная геометрия; топология Зарисского; векторные поля; ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ; ИНТЕГРИРОВАНИЕ; градуированные алгебры; группы Брауэра; теория суперсимметрий; суперсимметрии; топология Зарисского; ряд Тейлора; формула Тейлора; супералгебры Клиффорда-Вейля; ГЕОМЕТРИЯ |
| - Теория функций | ||
| 16 | 517.5 Н 32 | Насыров, Ф.С. Локальные времена, симметричные интегралы и стохастический анализ / Ф. С. Насыров. - М. : Физматлит, 2011. - 211 с. - ISBN 978-5-9221-1337-3 : 200 р. 1экз. Посвящена применению методов теории функций вещественной переменной и теории дифференциальных уравнений в стохастическом анализе. Материал охватывает общую теорию локальных времен для детерминированных функций, теорию симметричных интегралов, и теорию детерминированных аналогов стохастических дифференциальных уравнений. Предложены новые методы нахождения решений стохастических дифференциальных уравнений. Приведено решение задачи оптимальной фильтрации нелинейных одномерных диффузионных процессов, рассмотрена задача оптимального управления диффузионным процессом с потраекторным целевым функционалом. |
| - Дифференциальные, интегральные и другие функциональные уравнения. Конечные разности. Функциональный анализ | ||
| 17 | 517.9 А 22 | Автоволновые процессы в нелинейных средах с диффузией : [монография] / Е. Ф. Мищенко [и др.]. - М. : Физматлит, 2010. - 399 с. - ISBN 978-5-9221-1217-8 : 192 р. 1экз. Предпринимается попытка создания единой теории диссипативных структур Тьюринга-Пригожина для систем параболических и гиперболических уравнений с малой диффузией. Для этого развиваются специальные асимптотические методы исследования проблем существования и устойчивости высокомодовых стационарных режимов в сингулярно возмущенных системах, позволяющие получить весьма тонкие утверждения о неограниченном росте количества устойчивых диссипативных структур (как стационарных, так и периодических по времени) при уменьшении коэффициентов диффузии и при фиксированных прочих параметрах. Вырабатываются общие представления о характере автоволновых процессов в нелинейных средах с малой диффузией на основе систематического анализа феномена буферности, высокомодовых аттракторов и диффузионного хаоса. Рассматриваются приложения из радиофизики, механики, экологии, нелинейной оптики и теории горения. |
| | ||
| 18 | 517.9 В 75 | Воропаева, Н.В. Геометрическая декомпозиция сингулярно возмущенных систем : [монография] / Н. В. Воропаева, В. А. Соболев. - М. : Физматлит, 2009. - 255 с. - ISBN 978-5-9221-1166-9 : 220 р. 1экз. Посвящена исследованию дифференциальных уравнений с малыми параметрами при производных. Такие системы возникают при моделировании широкого круга процессов с резко различающимися темпами составляющих движения. Для анализа таких систем предлагается применять метод декомпозиции, основанный на теории интегральных многообразий быстрых и медленных движений. Развитый в книге математический аппарат применяется для исследования задач динамики и управления. |
| | ||
| 19 | 517.9 К 59 | Козлов, В.В. Асимптотики решений сильно нелинейных систем дифференциальных уравнений / В. В. Козлов, С. Д. Фурта ; . - Изд. 2-е, испр. и доп. - М. ; Ижевск : Регуляр. и хаот. динамика : Ижев. ин-т компьютер. исслед., 2009. - 311 с. - ISBN 978-5-93972-739-6 : 198 р. 1экз. Книга посвящена проблеме построения некоторых классов решений систем обыкновенных дифференциальных уравнений. Для этой цели разработана процедура построения решений в виде рядов, которые аналогичны рядам, используемым в первом методе Ляпунова. Особое место в книге отведено асимптотическим решениям, стремящимся к положениям равновесия при неограниченном возрастании или убывании независимой переменной. При этом рассматривается так называемый сильно нелинейный случай, когда существование таких решений невозможно вывести, основываясь лишь на анализе системы первого приближения. Книга иллюстрируется большим количеством конкретных примеров, в которых наличие частных решений того или иного класса свидетельствует о некоторых особенностях динамического поведения системы. |
| | ||
| 20 | 517.9 О-79 | Осцилляционный метод Штурма в спектральных задачах / Ю. В. Покорный [и др.]. - М. : Физматлит, 2009. - 191 с. - ISBN 978-5-9221-1190-4 : 177 р. 1экз. Книга посвящена изложению новых математических методов, развитых для доказательства осцилляционности спектра стилтьесовской струны. Главное направление развития классических методов - разработка математического анализа (на базе интеграла Стилтьеса) для функций с разрывным аргументом, аналогично - для функций с ветвящимся аргументом, определенных на геометрических графах. |
| | ||
| 21 | 517.9 С 54 | Соболев, В.А. Редукция моделей и критические явления в макрокинетике : [монография] / В. А. Соболев, Е. А. Щепакина. - М. : Физматлит, 2010. - 319 с. - ISBN 978-5-9221-1269-7 : 220 р. 1экз. Монография посвящена изложению методов исследования задач макроскопической кинетики, основанных на геометрической теории сингулярных возмущений. Математический аппарат, излагаемый в книге, используется для развития с единых позиций основополагающих идей Н.Н. Семенова, относящихся к методу квазистационарных концентраций и методов теории теплового воспламенения и применяется к исследованию конкретных нелинейных задач химической кинетики, биофизики, лазерной физики. Книга не требует глубокой математической подготовки - необходимые сведения приведены в основном в виде готовых рецептов. |
| - Анализ | ||
| 22 | 517 И 93 | Итоги науки и техники : [геометрия] / Всерос. ин-т науч. и техн. информации ; [гл. ред. Р. В. Гамкрелидзе]. - М. : ВИНИТИ, 2009. - 255 с. - (Серия "Современная математика и ее приложения : темат. обзоры" ; т. 123 / науч. ред. сер. Р. В. Гамкрелидзе). - 124 р. 21 к. 1экз. н.ч.з. 697948 Том посвящен геометрии приводимых дифференциальных систем. |