Новые поступления (книга в стадии обработки) Богомолов, А. М. Автоматные модели и рекурсивный конструктивизм [Текст] : учеб. пособие для студ. мех.-матем. фак. и фак. прикл. матем. ун-тов / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов. - Саратов : Изд-во Сарат. ун-та, 1992. - 72 с. ; 21см. - ISBN 5-292-01592-Х : 18.00 р.
Рубрики: Математика--Математическая кибернетика Кл.слова (ненормированные): теория автоматов -- алгебра логики -- эквивалентность -- формулы -- рекурсия -- рекурсивный конструктивизм Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Сытник, А. А. Твердохлебов, В. А. |
Новые поступления (книга в стадии обработки) Твердохлебов, В. А. Логические эксперименты с автоматами [Текст] / В.А.Твердохлебов;Под ред.А.М.Богомолова. - Саратов : Изд-во Сарат. ун-та, 1988. - 184 с. : ил. ; 20см. - 1.50 р.
Рубрики: Математика--Теория вероятностей Кл.слова (ненормированные): теория вероятностей -- детерминированные автоматы -- алгоритм -- машина Тьюринга -- распознавание автоматов Аннотация: Изложены результаты исследований по построению общей аксиоматической теории распознавания автоматов,включающей распознавание автоматов с магазиннной памятью,линейно-ограниченных автоматов и машин Тьюринга.Показывается алгоритмическая неразрешимость рассматриваемого класса задач и исследуется проблематика построения частных методов распознавания автоматов.Пердлагается схема логико-математического конструирования методов распознавания автоматов в конечных семействах автоматов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Автоматизация учета в народном хозяйстве [Текст] : сборник / О. В. Голосов [и др.] ; ред.: О. В. Голосов, В. А. Твердохлебов, Э. А. Чернин ; Всесоюз. гос. проектно-технолог. ин-т по механизации учета и вычислит. работ, Сарат. фил. (Саратов). - Саратов : Приволжское книжное изд-во, 1977. - 79 с. : ил. ; 20 см. - 0.22 р.
Рубрики: Учет и отчетность--Бухгалтерский учет Кл.слова (ненормированные): ЭКОНОМИЧЕСКИЕ МЕТОДЫ -- ПОВЫШЕНИЕ ЭФФЕКТИВНОСТИ -- ОБРАБОТКА ИНФОРМАЦИИ -- ВЫЧИСЛИТЕЛЬНЫЕ УСТАНОВКИ -- МЕХАНИЗАЦИЯ ОБРАБОТКИ -- МЕТОДИКА РАСЧЕТА Аннотация: Сборник содержит работы как прикладного, так и теоретического характера, посвященные основным задачам механизации и автоматизации учета на базе современной вычислительной техники. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Голосов, О. В. Чернина, Т. Б. Чернин, Э. А. Брискин, Э. А. Чистяков, Л. С. Голосов, О. В. Твердохлебов, В. А. Чернин, Э. А. |
Новые поступления (книга в стадии обработки) Богомолов, А. М. Диагностика сложных систем [Текст] : научное издание / А. М. Богомолов, В. А. Твердохлебов ; отв. ред. В. С. Королюк ; Ин-т прикл. математики и механики (Киев). - Киев : Наукова думка, 1974. - 128 с. : рис., граф. ; 21 см. - Библиогр.: с. 126-127. - 0.88 р.
Рубрики: Автоматика--Сложные системы Кл.слова (ненормированные): АВТОМАТИЧЕСКИЙ АНАЛИЗ -- СЛОЖНЫЕ СИСТЕМЫ -- ЭЛЕМЕНТЫ АЛГЕБРЫ -- БИНАРНЫЕ ОТНОШЕНИЯ -- ПОСТРОЕНИЯ ТЕСТОВ -- ДИАГНОСТИЧЕСКИЙ ТЕСТ Аннотация: Рассматриваются вопросы теории диагноза и контроля сложных систем. Алгоритмизация процессов контроля и диагноза исследуется алгебраическими методами и методами теории автоматов. Дан оригинальный и перспективный подход к решению задач контроля и диагноза сложных систем. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Твердохлебов, В. А. Королюк, В. С. |
Новые поступления (книга в стадии обработки) Человек. Машина. Среда [Текст] : монография / А. Ф. Резчиков [и др.] ; под ред. А. Ф. Резчикова ; Ин-т пробл. точ. механики и упр. - Саратов : ИЦ "Наука", 2013. - 196 с. ; 29 см. - Библиогр.: с. 196-195 (39 назв.). - ISBN 978-5-9999-1849-9 : 150.00 р.
Рубрики: Автоматика--Системы автоматического управления Кл.слова (ненормированные): ЧЕЛОВЕКО-МАШИННЫЕ СИСТЕМЫ -- УПРАВЛЕНИЕ В ЧЕЛОВЕКО-МАШИННЫХ СИСТЕМАХ -- ПРОГНОЗИРОВАНИЕ АВАРИЙНЫХ СИТУАЦИЙ -- СИСТЕМЫ АВТОМАТИЗИРОВАННОГО УПРАВЛЕНИЯ -- БЕЗОПАСНОСТЬ ЧЕЛОВЕКО-МАШИННЫХ СИСТЕМ Аннотация: Современные сложные человеко-машинные, эргатические и крупномасштабные системы должны не только успешно выполнять свое предназначение, но также быть надежными и безопасными. Для повышения научного и технологического обеспечения таких систем требуется постоянное развитие принципов, концепций и технологий при их проектировании и эксплуатации. Для достижения надежности и безопасности систем «человек-машина-среда» предложены концепции и технологии, которые могут быть эффективно распространены на такие сложные системы как авиационный, железнодорожный, автомобильный, трубопроводный и другой транспорт, на потенциально опасные промышленные производства, энергетику и т. д. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Резчиков, А. Ф. Твердохлебов, В. А. Иващенко, В. А. Кушников, В. А. Домнич, В. С. Резчиков, А. Ф. |
Новые поступления (книга в стадии обработки) Критические ситуации в человеко-машинных системах [Текст] : монография / А. Ф. Резчиков [и др.] ; под общ. ред. А. Ф. Резчикова ; Ин-т пробл. точ. механики и упр. (Саратов). - Саратов : ИЦ "Наука", 2015. - 244 с. ; 29 см. - Библиогр.: с. 238-243 (98 назв.). - ISBN 978-5-9999-2325-7 : 150.00 р.
Рубрики: Вычислительная техника--Искусственный интеллект Кл.слова (ненормированные): ЧЕЛОВЕКО-МАШИННЫЕ СИСТЕМЫ -- НАДЕЖНОСТЬ СИСТЕМ -- БЕЗОПАСНОСТЬ СИСТЕМ -- АВИАЦИОННО-ТРАНСПОРТНАЯ СИСТЕМА -- БЕЗОПАСНОСТЬ ПОЛЕТОВ -- СИСТЕМЫ АВТОМАТИЗИРОВАННОГО УПРАВЛЕНИЯ -- ЭЛЕКТРОПОТРЕБЛЕНИЕ -- КРИТИЧЕСКИЕ СИТУАЦИИ -- ВРЕДНЫЕ ВЕЩЕСТВА -- АТМОСФЕРНЫЕ ВЫБРОСЫ -- ГИДРООПОРЫ -- ОКРУЖАЮЩАЯ СРЕДА -- ЗАГРЯЗНЕНИЯ ОКРУЖАЮЩЕЙ СРЕДЫ Аннотация: Современные сложные человеко-машинные, эргатические и крупномасштабные системы должны не только успешно выполнять свое предназначение, но также быть надежными и безопасными. Для повышения научного и технологического обеспечения таких систем требуется постоянное развитие принципов, концепций и технологий при их проектировании и эксплуатации. Для достижения надежности и безопасности таких систем предложены концепции и технологии, которые могут быть эффективно распространены на такие сложные системы как авиационный, железнодорожный, автомобильный, трубопроводный и другой транспорт, на потенциально опасные промышленные производства, энергетику и т. д. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Резчиков, А. Ф. Твердохлебов, В. А. Иващенко, В. А. Кушников, В. А. Мутин, О. О. Богомолов А. С., Лапковский, Р. Ю. Филимонюк, Л. Ю. Епифанов, А. С. Кушникова, Е. В. Колоколов, М. В. Тупиков, Д. В. Шоломов, К. И. Адамович, К. Ю. Резчиков, А. Ф. |
Новые поступления (книга в стадии обработки) Твердохлебов, В. А. Методы приближенных вычислений [Текст] : пособие по курсу "Вычисл. техника в инж. и экон. расчетах" / В. А. Твердохлебов ; Саратовский политехн. ин-т. - Саратов : Изд-во Сарат. ун-та, 1972. - 67 с. : ил. ; 20 см. - Библиогр.: с. 67 (12 назв.). - 0.12 р.
Рубрики: Математика--Вычислительная математика Кл.слова (ненормированные): ПРИБЛИЖЕННЫЕ ВЕЛИЧИНЫ -- ИНТЕРПОЛИРОВАНИЕ -- ПРИБЛИЖЕНИЕ ФУНКЦИЙ -- ЧИСЛЕННОЕ ДИФФЕРЕНЦИРОВАНИЕ -- ЧИСЛЕННОЕ ИНТЕГРИРОВАНИЕ -- СТЕПЕННЫЕ РАДЫ -- ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ -- УРАВНЕНИЯ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ -- ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ -- ВАРИАЦИОННЫЕ МЕТОДЫ -- МЕТОД МОНТЕ-КАРЛО Аннотация: В данном пособии изложены некоторые вопросы основных разделов вычислительной математики, рекомендованные программой по курсу "Вычислительная техника в инженерных и экономических расчетах", утвержденной в 1970 г. Отдельные разделы обладают автономностью, что позволяет использовать пособие при другом, меньшем, объеме представления данного раздела программы. Следует отметить, что хотя общая теория не получила в пособии широкого представления, все рассмотренные вопросы изложены достаточно строго. Для каждого раздела указана литература, содержащая примеры. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |