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

[] : Монография / В.Б. Кудрявцев и др. ; Под ред. В.А. Садовничего. - Москва : Физматлит, 2006. - 160 с. : ил., табл. - Библиогр.: с. 152-156. - ISBN 5-9221-0727-5 : 175.00 р.

УДК

519.7^V3

ББК В18

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

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

Доп.точки доступа:
Кудрявцев, Валерий Борисович; Гасанов, Эльяр Эльдарович; Долотова, Оксана Александровна; Погосян, Грант Рафаелович; Садовничий, В.А. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В. В. Рыбин. - Москва : МАИ, 2013. - 159, [1] с. : ил., табл. - (Научная библиотека). - Библиогр.: с. 155-158. - Прил. : с. 133-154. - ISBN 978-5-4316-0157-6 : 1.00 р.

ГРНТИ

27.47

ББК В18

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

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