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

w10=
Найдено документов в текущей БД: 61
   З973
   Б907

    Численные методы линейного программирования
[Текст] : (специальные задачи) / В.А. Булавский, Р.А. Звягина; Под ред. Л.В. Канторовича. - Москва : Наука, 1977. - 367 с. : ил. - (Экономико-математическая библиотека). - Библиогр.: с. 362-367 . - 1.40 р.
УДК

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

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

Доп.точки доступа:
Звягина, Р.А.; Яковлева, М.А.
Экземпляры всего: 2
ИВМ-Фонд (2)
Свободны: ИВМ-Фонд (2)
   З973.2
   П78

    Проблемы спецификации и верификации параллельных систем = Problems of specification and verification of concurrent systems
[Текст] : сб. научн.тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. Ершова ; Под ред. Непомнящего В.А. - Новосибирск : [б. и.], 1995. - 237 с. : ил. - Библиогр. в конце ст. - ISBN 5-7623-1069-8 : 50.00 р.
УДК

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

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

    Кибернетический сборник
[Текст] : Новая серия. Вып. 28. Сб. ст. 1988-1989 гг. / Пер. с англ.; Сост. О.Б. Лупанов, О.М.Касим-заде. - Москва : Мир, 1991. - 206 с. : ил. - Библиогр: в конце ст.%ISSN 0234-1921. - 7.00 р.
УДК

Аннотация: Продолжение известной серии сборников, начатой издательством ы 1965 г. В данном сборнике содержатся оригинальные работы по современным проблемам теоретической кибернетики и ее приложениям. Большой интерес у читателей вызовут статьи по алгоритмам бисекции графов, нестандартным приложениям теоремы Рамсея, сложности булевых функций, общей теории комбинаторных структур. Среди авторов - известные специалисты: М.Яннакакис, А.Хакен, Дж. Рейф, С.А.Кук (США) и др. Для научных работников, инженеров-исследователей, аспирантов и студентов университетов.

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

    Оценочные системы в задачах теории управления.
[Текст] : самаркандский гос.ун-т им. Алишера Навои / Н.Е. Кирин, И.Исраилов; РПод ред.В.И.Зубова. - Ташкент : Фан, 1990. - 156 с. : Ил + табл. - ISBN 5-648-00978-X, . - 1.50 р.
УДК

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

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

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

    Кибернетический сборник. Новая серия
[Текст] : Сб. статей. Вып.27 / Пер. с англ.; под ред. О.Б.Лупанова, О.М.Касим-заде. - Москва : Мир, 1990. - 200 с. : ил + табл. - Библиогр: в конце ст.%ISSN 0234-1921. - 2.50 р.
УДК

Аннотация: Продолжение известной серии сборников, начатой издательством в 1965 г. В данном выпуске содержатся оригинальные и обзорные работы зарубежных ученых по актуальным проблемам теоретической кибернетики и ее приложениям. Большой интерес вызовут статьи К.Пападимитриу и др. о построении геодезических и Р.Тарьяна и др. о сверхбыстрых алгоритмах триангуляции. Применению новых методов перечислительной комбинаторики посвящена статья Ж.Вьенно. Включены также работы по теории сложности, алгебраическим схемам отношений и обзор по методам преобразования многоуровневых изображений в двухуровневые. Среди авторов - специалисты из Канады, США, Франции. Для научных работников, инженеров-исследователей, аспирантов и студентов университетов.

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

    Нейроинтеллект: от нейрона к нейрокомпьютеру
[Текст] : монография / Е.Н. Соколов, Г.Г.Вайткявичюс; Отв.ред. П.В.Симонов. - Москва : Наука, 1989. - 238 с. : ил. - ISBN 5-02-006640-0. - 1.00 р.
УДК

Кл.слова (ненормированные):
программирование

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

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

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

    Алгебра и логика
[Текст] : сборник научных трудов. Т.30. 6. - Новосибирск : ИМ СО РАН, 1991. - 772 с. - , ISSN ISSN 0373-9252). - Библиогр: в конце статей. - 3.00 р.
УДК

Аннотация: "Алгебра и логика" публикует работы, доложенные на заседаниях одноименного семинара при Институте математики Сибирского отделения Академии наук СССР.

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

    Кибернетический сборник. Новая серия
[Текст] : Сб.науч.переводов. 23 / Под ред.О.Б.Лупанова. - Москва : Мир, 1986. - 190 с. : ил + табл. - Библиогр: с.186-187. - 2.10 р.
УДК

Аннотация: Продолжение серии, начатой издательством "Мир" в 1965 г. В выпуске содержатся обзорные статьи и оригинальные работы известных зарубежных ученых по наиболее актуальным проблемам теоретической кибернетики. Большой интерес представляют статьи Х.Уильямса, Г.Миллера и др. (США) по вопросам тестирования простоты чисел, И.Филотти (США) по алгоритмической теории графов. Для научных работников, инженеров-исследователей, аспирантов и студентов, занимающихся и интересующихся теоретической кибернетикой и ее приложениями.

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

    Кибернетический сборник
[Текст] : Новая серия: Сб. ст. Вып.24 / Пер. с англ.; под ред. О.Б. Лупанова. - Москва : Мир, 1987. - 229 с. + табл. - Библиогр: в конце ст. - 2.60 р.
УДК

Кл.слова (ненормированные):
теоретическая кибернетика

Аннотация: Продолжение серии, начатой издательством "Мир" в 1965 г. В данном выпуске большой интерес представляет обзор Д. Ли и Ф. Препараты (США) основных результатов по вычислительной геометрии. Специалистов по комбинаторике, теории кодирования, дискретного анализа, алгебры и др. заинтересует цикл статей по сильно регулярным графам и частичным геометриям, написанных К. Юбо (Бельгия), А. Браувером и Й. ван Линтом (США). Включены также небольшие статьи Л. Вэльянта, Х. Коэна и Х. Ленстры (США) по теории сложности и теории графов. Для научных работников, инженеров-исследователей, аспирантов и студентов, занимающихся и интересующихся теоретической кибернетикой и ее приложениями.

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

Кибернетический сборник   Вып. 20
[Текст] : новая серия: сборник переводов / под ред. О.Б.Лупанова. - Москва : Мир. : пер. с англ. - 1983. - 224 с. : ил. - Библиогр. в конце ст. - 2.10 р.
ГРНТИ
УДК
ББК З811я43 + В18я43

Аннотация: Продолжение серии, начатой издательством "Мир" в 1965 г. В выпуске содержатся обзорные статьи и оригинальные работы известных зарубежных ученых по наиболее актуальным проблемам теоретической кибернетики. Большой интерес представляют статьи Д.Маллера и Ф.Препараты по проблемам вычислительной геометрии, Г.Льюиса по теории сложности вычислений и цикл работ по сложности вычисления многочленов (Ф.Штрассен, К.Шнорр и др.). Для научных работников, инженеров-исследователей, аспирантов и студентов, занимающихся и интересующихся теоретической кибернетикой и ее приложениями

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

    Автоматизированные системы научных исследований, обучения и управления в вузах
[Текст] : межвузовский сборник научных трудов / Министерство высшего и среднего специального образования РСФСР ; Новосибирский государственный университет им. Ленинского комсомола. - Новосибирск : Новосибирский государственный университет, 1985. - 164 с. : ил + табл. - Библиогр. в конце ст. . - 0.75 р.
УДК
ББК Ч481.27 + З973

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

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

    Задачи управления и моделирования в динамических системах
[Текст] : сб.ст. / АН СССР УНЦ. - Свердловск : Уральский научный центр АН СССР, 1984. - 90 с. : ил. - Библиогр: в конце ст. - 1.10 р.
УДК

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

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

    Математические проблемы в биологии
[Текст] : Сб. ст. / Под ред. Р. Беллмана; Пер. с англ. под ред. С.В. Фомина. - Пер. изд.: Mathematical problems in the biological sciences. - Москва : Мир, 1966. - 278 с. : ил. - Библиогр. в конце ст. - 1.11 р.
УДК
ББК Е

Аннотация: Книга содержит материалы 14-го симпозиума по прикладной матетматике, проведенного Американским математическим обществом. Гарантией высокого научного уровня книги является не только подбор авторов докладов (Мур, Голомб, Ледли, Калаба, Улам и др.), но и имя ее редактора Р. Беллмана, известного своими выдающимися исследованиями по динамическому программированию. Используемый математический аппарат весьма разнообразен - от элементов математической статистики до математической логики, динамического программирования, теории конечных и бесконечных автоматов, теории случайных процессов, исследований операций и т.д. Широка и биологическая тематика: процессы, происходящие в центральной нервной системе, передача генетической информации, вопросы медицинской диагностики и пр. Книга, несомнено, будет интересна как биологам, так и математикам различных специальностей, включая студентов старших курсов соответствующих учебных заведений.

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

    Математическая теория борьбы за существование
[Текст] : монография / В. Вольтерра; Пер.с франц. О.Н.Бондаренко ; Под ред. и с послесл. Ю.М.Свирежева. - Москва : Наука, 1976. - 286 с. : ил. - Библиогр.: с.284-286. - 1.25 р.
ГРНТИ
УДК
ББК Е081с21


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

    Теория полезности для принятия решений
[Текст] : монография / П.С. Фишберн; Пер. с англ. В.Н.Воробьёвой и А.Я.Кируты ; Под ред. Н.Н.Воробьёва. - Перевод издания Peter C.Fishburn "Utility theory for decision making". - Москва : Наука. Главная редакция физико-математической литературы, 1978. - 352 с. : ил. - (Экономико-математическая библиотека). - 1.70 р.
УДК
ББК У018.511.244,0 + У.в611.3


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

    Статистическое моделирование в технико-экономических системах (управление разработками)
[Текст] : монография / Д.И. Голенко, С.Е.% Лившиц. - Ленинград : ЛГУ им. А.А.Жданова, 1977. - 264 с. : 23 ил + 15 табл. - Библиогр.: с.259-262. - В надзаг.: Мин-во высшего и среднего спец.образования РСФСР. - 0.95 р.
УДК

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

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

Доп.точки доступа:
Лившиц, С.Е.; Кеслер, С.Ш.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З-96
   З915

    Лекции по теории управления
[Текст] : Учебное пособие / В.И. Зубов. - Москва : Наука, 1975. - 494 с. - Библиогр.: с. 495 . - 1.21 р.
УДК
ББК З-96

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

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

    Математические модели в управлении производством
[Текст] : монография / А.А. Первозванский. - Москва : Наука, 1975. - 615 с. : ил. - Библиогр: с.606-615. - 2.64 р.
УДК

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

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

    Элементы теории оптимальных дискретных процессов
[Текст] : монография / А.И. Пропой; Ред. Н.Н. Моисеев. - Москва : Наука, 1973. - 256 с. : ил. - (Оптимизация и исследование операций). - Библиогр.: с. 241-253. - Предм. указ.: с. 254-255. - 0.88 р.
УДК

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

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

    Сборник задач по программированию на алгоритмических языках
[Текст] : Учеб.пособ.для студентов втузов / А.М. Бухтияров, Г.Д.Фролов; Под ред.Н.А.Криницкого. - Москва : Наука. Главная редакция физико-математической литературы, 1978. - 239 с. + табл. - Библиогр: с.237. - 0.50 р.
УДК

Аннотация: В сборнике приводятся задачи по программированию на алгоритмических языках ФОРТРАН-IY и АЛГОЛ-60 -языках, ориентированных на современный парк вычислительных машин. Структура задачника токова, что перед каждым разделом приводится теоретическая справка по языку (все необходимые сведения для данного раздела). Задачник рассчитан на изучение алгоритмических языков в вузах и втузах. Может также использоваться программистами со средним образованием.

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

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