Сводный каталог книг

[Текст] / Н.Н. Астафьев; Отв.ред.И.И.Еремин;АН СССР,Урал. отд-ние,Ин-т математики и механики. - Москва : Наука, 1991. - 136 с. : ил + табл. - Библиогр.: с.132-133. - ISBN 02-000114-7 : 1.70 р.

УДК

519.85

Аннотация: В монографии рассматриваются вопросы двойственности и конечномерной аппроксимации для задач бесконечномерного линейного программирования. Исследуется класс задач с разрывом в двойственности и предлагается процедура двойственной регуляризации для задач линейного, выпуклого и полубесконечного линейного программирования. Для специалистов по математическому программированию.Duality and finite-dimensional approximation in infinite-dimensional linear programming are studied. On this basis a ckass of problems with a duality gar is considered and a dual regularization method is suggest for linear and convex programs and for semi-infinite linear programs. This book is for mathematical programming specialists and for everybody interested in the optimization theory.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / А.А. Грешилов. - Москва : Радио и связь, 1991. - 320 с. : ил., табл. - Библиогр.: с. 313-314. - ISBN 5-256-00729-7 : 4.80 р., 4.80 р.

ГРНТИ	27.47
УДК	681.3.06.001.92	519.85

ББК З-816.661,2я + З 81

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 2
ИВМ-Фонд (1), ИХХТ-АБ (1)
Свободны: ИВМ-Фонд (1), ИХХТ-АБ (1)

[Текст] : монография / А.Ф. Дедков. - Москва : Наука, 1989. - 198 с. - (Библиотечка программиста ; вып.58). - Библиогр: с.197-198.%ISBN 5-02-013968-8. -

УДК	519.85%ББК 22.18

Аннотация: Практическое введение в два перспективных направления современного программирования: технику программирования с использованием концепции абстрактных типов данных и распределенное программирование в сетях ЭВМ. Изложение ведется на основе языка АТ-Паскаль, представляющего собой расширение языка Паскаль средствами работы с абстрактными типами данных и средствами взаимодействия распределенных процессов, и иллюстрируется рядом примеров. Кратко рассмотрены также аналогичные языковые средства языков Ада и Модула-2. Для научных работников, инженеров, может быть полезна студентам.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44 ИВМ-Фонд
Свободных экз. нет

[Текст] : монография / З.И. Бурман, Г.А.% Артюхин. - Москва : Машиностроение, 1988. - 254 с. : ил + табл. - Библиогр: с.249-251.%ISBN 5-217-00011-2. - 1.30 р.

УДК	519.85%ББК 32.974

Аннотация: Изложена методология создания программного обеспечения для численной реализации на ЭВМ матричных алгоритмов решения разнообразных задач механики и физики и, в частности, матричных алгоритмов метода конечных элементов. Описываются структура и принципы функционирования системы матричного программного обеспечения (СМПО), а также методология создания на ее основе пакетов прикладных программ. Приведены примеры использования СМПО в различных областях техники. Для инженерно-технических работников, занятых прочностными расчетами в различных отраслях промышленности и строительстве.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Артюхин, Г.А.; Зархин, Б.Я.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В.С.Танаев ; Под ред. А.Д.Закревского; АН БССР, Ин-т техн. кибернетики. - Минск : Наука и техника, 1987. - 180 с. : ил + 20 см. - Библиогр: с.180-181. - 1.30 р.

УДК

519.85

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Учебное пособие / В.Г. Карманов. - Издание пятое, исправленное. - Москва : ФИЗМАТЛИТ, 2000. - 264 с. - Библиогр.: с. 260. - ISBN 5-9221-0068-8 : 75.00 р.

УДК	519.85%ББК 22.18

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : труды школы-семинара / XIII Байкальская международная школа-семинар (2 - 8 июля 2005 г. ; Иркутск / Северобайкальск). - Иркутск : ИСЭМ СО РАН. : научное издание. - 2005. - 648 с. - Библиогр. в конце ст. . - ISBN 5-93908-031-6 : 86.00 р.

УДК

517.988

519.85

519.86

519.87

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
XIII Байкальская международная школа-семинар(2 - 8 июля 2005 г. ; Иркутск / Северобайкальск)
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебное пособие / В.Е. Кондрашов; Ин-т стратег. стабильности Минатома РФ. - Москва : Мир, 2002. - 350 с. : ил. - Алф. указ. команд и операторов: с. 334-342. - ISBN 5-03-003457-7 : 232.80 р.

УДК

519.85

ББК З973.203.4-018.21 + В19с512

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Королев, Сергей Борисович
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)

[Текст] : труды школы-семинара / XIII Байкальская международная школа-семинар (2 - 8 июля 2005 г. ; Иркутск / Северобайкальск). - Иркутск : ИСЭМ СО РАН. : научное издание. - 2005. - 244 с. - Библиогр. в конце ст. . - ISBN 5-93908-033-2 : 86.00 р.

УДК

517.988

519.85

519.86

519.87

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
XIII Байкальская международная школа-семинар(2 - 8 июля 2005 г. ; Иркутск / Северобайкальск)
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : труды школы-семинара / XIII Байкальская международная школа-семинар (2 - 8 июля 2005 г. ; Иркутск / Северобайкальск). - Иркутск : ИСЭМ СО РАН. : научное издание. - 2005. - 228 с. : ил. - Библиогр. в конце ст. . - ISBN 5-93908-030-8 : 86.00 р.

УДК

517.988

519.85

519.86

519.87

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
XIII Байкальская международная школа-семинар(2 - 8 июля 2005 г. ; Иркутск / Северобайкальск)
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : труды школы-семинара / XIII Байкальская международная школа-семинар (2 - 8 июля 2005 г. ; Иркутск / Северобайкальск). - Иркутск : ИСЭМ СО РАН. : научное издание. - 2005. - 119 с. - Библиогр. в конце ст. . - ISBN 5-93908-033-2 : 86.00 р.

УДК

517.988

519.85

519.86

519.87

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
XIII Байкальская международная школа-семинар(2 - 8 июля 2005 г. ; Иркутск / Северобайкальск)
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : труды школы-семинара / XIII Байкальская международная школа-семинар (2 - 8 июля 2005 г. ; Иркутск / Северобайкальск). - Иркутск : ИСЭМ СО РАН. : научное издание. - 2005. - 244 с. : ил. - Библиогр. в конце ст. . - ISBN 5-93908-035-9 : 86.00 р.

УДК

517.988

519.85

519.86

519.87

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
XIII Байкальская международная школа-семинар(2 - 8 июля 2005 г. ; Иркутск / Северобайкальск)
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / Я. Д. Сергеев, Д. Е. Квасов. - Москва : Физматлит, 2008. - 351 с. : ил., табл. - Библиогр.: с. 310-333. - Предм. указ.: с. 348-351. - В надзаг.: Библиотека Нижегородского государственного университета им.Н.И.Лобачевского. - ISBN 978-5-9221-1032-7 : 124.87 р., 124.87 р.

ГРНТИ	27.47
УДК	519.85	519.65

ББК В173.1

Аннотация: Книга посвящена теоретически актуальным и практически важным вопросам разработки теории численных методов решения широкого класса задач глобальной оптимизации. Книга дает введение в предмет и обобщает ряд последних научных достижений авторов, развивающих традиции Нижегородской школы глобальной оптимизации. Исследования авторов по этой тематике неоднократно поддерживались грантами Российского фонда фундаментальных исследований, а также Советом по грантам Президента РФ для государственной поддержки ведущих научных школ, Итальянским фондом фундаментальных исследований и международным проектом "Российско-Итальянский университет". Результаты исследований, вошедшие в книгу, были опубликованы в ведущих международных научных журналах и используются более чем в 20 странах мира. Для широкого круга научных и инженерных работников, аспирантов и студентов, интересующихся теоретическими и прикладными аспектами глобальной оптимизации.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Квасов, Д.Е.
Экземпляры всего: 2
ИВМ-Фонд (1), ЦНБ-АБ (1)
Свободны: ИВМ-Фонд (1), ЦНБ-АБ (1)

[Текст] : монография / А. В. Пантелеев. - Москва : МАИ-Принт, 2009. - 159 с. : ил. - (Научная библиотека). - Библиогр.: с. 156-159. - ISBN 978-5-7035-2115-1 : Б. ц.

УДК

519.85

ББК В173

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] = Tools and techniques of programm construction : сборник научных трудов / под ред. В.Н. Касьянова. - Новосибирск : Институт систем информатики им. А.П. Ершова СО РАН, 2007. - 225, [2] с. : ил. ; 21 см. - (Конструирование и оптимизация программ). - Библиогр. в конце ст. - 180.00 р.

ГРНТИ	27.47
УДК	519.85^V3

ББК З973.2

Аннотация: Является пятнадцатым в серии сборников , издаваемых Институтом систем информатики имени А.П.Ершова СО РАН. Описывает проблемы интеллектуализации и качества систем информатики. Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Касьянов, Виктор Николаевич \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебное пособие / В. Н. Вагин [и др.] ; под ред. В. Н. Вагина, Д. А. Поспелова. - Изд. 2-е, испр. и доп. - Москва : ФИЗМАТЛИТ, 2008. - 712 с. ; 22 . - Предм. указ.: с. 679-710. - Библиогр.: с. 648-678. - 1500 экз. - ISBN 978-5-9221-0962-8 (в пер.) : 815.00 р.
Допущено Министерством образования Российской Федерации в качестве учебного пособие для вузов по специальностям "Прикладнаяматематика и информатика", "Информатика и вычислительная техника" и специальностям "Прикладная информатика" (по направлениям) и "Прикладная математика и информатиака"

ГРНТИ	28.23
УДК	519.85^V3

ББК З 813я73

Аннотация: Рассмотрены методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах разнообразного назначения. Приведены методы дедуктивного вывода на графовых структурах. Описаны как традиционные, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приведены основы теории аргументации и методы абдуктивного вывода. Рассмотрены основные особенности построения систем обучения и принятия решений и предоставляются задания обучения "без учителя" и "с учителем". Изложены индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Во 2-е издание добавлены главы об исчислении изречений и об исчислении предикатов первого порядка, а также о работе с реальными "зашумленными" базами данных в задаче индуктивного формирования понятий.


Доп.точки доступа:
Вагин, Вадим Николаевич; Головина, Елена Юрьевна; Загорянская, Анастасия Анатольевна; Фомина, Марина Владимировна; Вагин, Вадим Николаевич \ред.\; Поспелов, Д. А. \ред.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)