Опубликован: 17.02.2011 | Доступ: свободный | Студентов: 346 / 26 | Оценка: 5.00 / 5.00 | Длительность: 25:24:00
ISBN: 978-5-9963-0268-0
Специальности: Математик
  • 1.
    Агафонов В. Н.
    Спецификация программ: понятийные средства и их организации
  • 2.
    Агибалов Г. П., Юфат Я. Г.
    О простых экспериментах для линейных инициальных автоматов
  • 3.
    Аксенова Г. П., Согомонян Е. С.
    Синтез схем встроенного контроля для автоматов с памятью
  • 4.
    Алефельд Г., Херцбергер Ю.
    Введение в интервальные вычисления
  • 5.
    Батищев Д. И.
    Генетические алгоритмы решения экстремальных задач
  • 6.
    Барашко А. С., Скобцов Ю. А., Сперанский Д. В.
    Моделирование и тестирование дискретных устройств
  • 7.
    Березин И. С., Жидков Н.П.
    Методы вычислений В 2-х т
  • 8.
    Барашко А. С., Богомолов А. М., Грунский И. С.
    Эксперименты с автоматами
  • 9.
    Богомолов А. М., Грунский И. С., Сперанский Д.В.
    Контроль и преобразования дискретных автоматов
  • 10.
    Богомолов А. М., Твердохлебов В. А.
    Диагностика сложных систем
  • 11.
    Богомолов А.С., Сперанский Д.В.
    Об одном оптимальном синхронизирующем эксперименте с линейными автоматами
  • 12.
    Богомолов А. С., Сперанский Д. В.
    Синхронизирующие эксперименты с интервальными линейными системами
  • 13.
    Богомолов А. С., Сперанский Д. В.
    Оптимальные синхронизирующие эксперименты с автоматами
  • 14.
    Болтянский В. Г.
    Оптимальное управление дискретными системами
  • 15.
    Вентцель Е. С.
    Элементы динамического программирования
  • 16.
    Визинг В. Г., Гольдберг М. К.
    О длине обхода сильно связного графа
  • 17.
    Габасов Р., Кириллова Ф. М., Крахотко В. В.
    Теория управляемости линейных дискретных систем
  • 18.
    Гилл А.
    Введение в теорию конечных автоматов
  • 19.
    Гилл А.
    Линейные последовательностные машины
  • 20.
    Глушков В. М.
    Абстрактная теория автоматов
  • 21.
    Глушков В. М.
    Синтез цифровых автоматов
  • 22.
    Грунский И. С.
    Анализ поведения конечных автоматов
  • 23.
    Грунский И. С., Рубанович Ю. А.
    Об одном алгоритме построения выходных контрольных точек
  • 24.
    Гэри М., Джонсон Д.
    Вычислительные машины и труднорешаемые задачи
  • 25.
    Зыков А. А.
    Теория конечных графов, 1
  • 26.
    Калмыков С. А., Шокин Ю. И., Юлдашев З. Х.
    Методы интервального анализа
  • 27.
    Колесов Н. В.
    Построение проверяющего теста для линейного конечного автомата
  • 28.
    Корбут А. А., Финкельштейн Ю. Ю.
    Дискретное программирование
  • 29.
    Корчинский А. П., Тоценко В. Г.
    Синтез автоматов оперативного контроля дискретных устройств с конечной памятью
  • 30.
    Алешин С. В., Кудрявцев В. Б., Подколзин А. С.
    Введение в теорию автоматов
  • 31.
    Куприянова Л. В., Самойлов В. Г., Сперанский Д. В.
    Интервальная арифметика над полем GF(p)
  • 32.
    Курейчик В. М.
    Генетические алгоритмы и их применение
  • 33.
    Курош А. Г.
    Курс высшей алгебры
  • 34.
    Майника Э.
    Алгоритмы оптимизации на графах и сетях
  • 35.
    Мину М.
    Математическое программирование
  • 36.
    Мур Э.
    Умозрительные эксперименты с последовательностными машинами
  • 37.
    Основы технической диагностики
  • 38.
    Первозванский А. А.
    Курс теории автоматического управления
  • 39.
    Петренко А. Ф.
    Эксперименты над протокольными объектами
  • 40.
    Понтрягин Л. С.
    Математическая теория оптимальных процессов
  • 41.
    Болтянский В. Г. и др., Понтрягин Л. С.
    Математическая теория оптимальных процессов
  • 42.
    Пропой А. И.
    Элементы теории оптимальных линейных процессов
  • 43.
    Сперанский Д. В.
    Автоматы существенно без потери информации
  • 44.
    Сперанский Д. В.
    О связи между устойчивостью и синхронизируемостью линейных автоматов над различными полями
  • 45.
    Сперанский Д. В.
    О тестировании линейных автоматов
  • 46.
    Сперанский Д. В.
    Об автоматах существенно без потери информации конечного порядка
  • 47.
    Сперанский Д. В.
    Обобщенная синхронизация линейных последовательностных машин
  • 48.
    Сперанский Д. В.
    Обобщенные автоматы без потери информации конечного порядка, II
  • 49.
    Сперанский Д. В.
    Обобщенные автоматы без потери информации, I
  • 50.
    Сперанский Д. В.
    Обобщенные линейные автоматы без потери информации
  • 51.
    Сперанский Д. В.
    Распознавание состояний нестационарных линейных автоматов
  • 52.
    Сперанский Д. В.
    Связь между устойчивостью и синхронизируемостью нестационарных линейных автоматов над различными полями
  • 53.
    Сперанский Д. В.
    Синтез тестов с минимальным числом перепадов сигналов для линейных автоматов
  • 54.
    Сперанский Д. В.
    Синхронизация линейных последовательностных машин
  • 55.
    Сперанский Д. В.
    Установочные и диагностические последовательности для линейных автоматов
  • 56.
    Огнева М. В., Сперанский Д. В.
    Обобщенные установочные и диагностические эксперименты для линейных автоматов
  • 57.
    Самойлов В. Г., Сперанский Д. В.
    О диагностической задаче для линейных автоматов в интервальной постановке
  • 58.
    Сперанский Д. В., Сперанский И. Д.
    Об одной задаче для сети из линейных автоматов без потери информации
  • 59.
    Сперанский Д. В., Сперанский И. Д.
    Разрешающие возможности диагностических экспериментов с линейными автоматами
  • 60.
    Сперанский Д. В., Сперанский И. Д.
    Эксперименты с билинейными системами
  • 61.
    Сперанский Д. В., Сперанский И. Д.
    Эксперименты с линейными дискретными системами
  • 62.
    Спивак М. А.
    Введение в абстрактную теорию автоматов
  • 63.
    Спивак М. А.
    Обобщенные задачи диагноза и установки для конечных автоматов
  • 64.
    Стрейц В.
    Методы пространства состояний в теории линейных дискретных систем управления
  • 65.
    Твердохлебов В.А.
    Логические эксперименты с автоматами
  • 66.
    Фараджев Р. Г.
    Линейные последовательностные машины
  • 67.
    Хиббард Т. Н.
    Точные верхние границы длин минимальных экспериментов, определяющих заключительное состояние, для двух классов последовательных машин
  • 68.
    Джонсон Ч., Хорн Р.
    Матричный анализ
  • 69.
    Яблонский С. В.
    Введение в дискретную математику
  • 70.
    Яблонский С. В.
    Надежность и контроль управляющих систем
  • 71.
    Янушевский Р. Т.
    Управление объектами с запаздыванием
  • 72.
    Bhattacharyya A.
    Checking experiments in sequential machines
  • 73.
    Breuer M., Friedman A.
    Diagnosis and reliable design of digital systems
  • 74.
    Even S.
    On information lossles automata of finite order
  • 75.
    Ginzburg A.
    Algebraic Theory of Automata
  • 76.
    Huffman D. A.
    Canonical forms for information-lossless finite-state logical machines
  • 77.
    Hennye F. C.
    Finite-state models for logical machines
  • 78.
    Kohavi Z.
    Switching and finite automata theory
  • 79.
    Kohavi Z., Lavalle P.
    Design of sequential machines with fault detecting capabilities
  • 80.
    Lorens C. S.
    Invertible Boolean function
  • 81.
    Shary S. P.
    Algebraic approach to the linear static identification, tolerance and control problem, or One more application of Caucher arithmetic
  • 82.
    Lee D., Yannakakis M.
    Principles and methods of testing finite-state machines/ – A survey /
Олег Корсак
Олег Корсак
Латвия, Рига
Денис Свитач
Денис Свитач
Россия, Красноярск, Сибирский Государственный Аэрокосмический Университет, 2009