Теория экспериментов с конечными автоматами

: Литература по курсу
[+]
Опубликован: 17.02.2011 | Доступ: свободный | Студентов: 367 / 35 | Оценка: 5.00 / 5.00 | Длительность: 25:24:00
ISBN: 978-5-9963-0268-0
Тема: Алгоритмы и дискретные структуры
Специальности: Математик
Теги: beta, автомат мили, автоматы, алгоритмы, анализ, асимптотическая устойчивость, генетические алгоритмы, диагностическая задача, запаздывания, компоненты, критерий существования, оценки длины, порожденная сеть, потоки, проверочный граф, программирование, процедуры, теория, функция выходов, хромосомы, элементы
  • 1.
    Агафонов В. Н.
    Спецификация программ: понятийные средства и их организации
    Новосибирск: Наука, Сиб. отд-е, 1990. — 224 с
  • 2.
    Агибалов Г. П., Юфат Я. Г.
    О простых экспериментах для линейных инициальных автоматов
    Автоматика и вычислительная техника. № 2. 1972. С. 17–19
  • 3.
    Аксенова Г. П., Согомонян Е. С.
    Синтез схем встроенного контроля для автоматов с памятью
    Автоматика и телемеханика. № 9. 1971. С. 170–179
  • 4.
    Алефельд Г., Херцбергер Ю.
    Введение в интервальные вычисления
    М.: Мир, 1987
  • 5.
    Батищев Д. И.
    Генетические алгоритмы решения экстремальных задач
    Воронеж. гос. техн. ун-т; Нижегородский гос. ун-т. — Воронеж, 1995
  • 6.
    Барашко А. С., Скобцов Ю. А., Сперанский Д. В.
    Моделирование и тестирование дискретных устройств
    Киев: Наукова думка, 1992. — 288 с
  • 7.
    Березин И. С., Жидков Н.П.
    Методы вычислений В 2-х т
    М.: Гос. изд-во физ.-мат. лит., 1960. Т. 2
  • 8.
    Барашко А. С., Богомолов А. М., Грунский И. С.
    Эксперименты с автоматами
    Киев: Наукова думка, 1973. — 144 с
  • 9.
    Богомолов А. М., Грунский И. С., Сперанский Д.В.
    Контроль и преобразования дискретных автоматов
    Киев: Наукова думка, 1975. — 176 с
  • 10.
    Богомолов А. М., Твердохлебов В. А.
    Диагностика сложных систем
    Киев: Наукова думка, 1974. — 128 с
  • 11.
    Богомолов А.С., Сперанский Д.В.
    Об одном оптимальном синхронизирующем эксперименте с линейными автоматами
    Известия РАН. Теория и системы управления. № 3. 2002. С. 64–70
  • 12.
    Богомолов А. С., Сперанский Д. В.
    Синхронизирующие эксперименты с интервальными линейными системами
    Автоматика и телемеханика. № 6. 2002. С. 166–178
  • 13.
    Богомолов А. С., Сперанский Д. В.
    Оптимальные синхронизирующие эксперименты с автоматами
    Автоматика и телемеханика. № 10. 2001. С. 203–208
  • 14.
    Болтянский В. Г.
    Оптимальное управление дискретными системами
    М.: Наука, 1973
  • 15.
    Вентцель Е. С.
    Элементы динамического программирования
    М.: Наука, 1964
  • 16.
    Визинг В. Г., Гольдберг М. К.
    О длине обхода сильно связного графа
    Кибернетика. № 1. 1969. С. 79–82
  • 17.
    Габасов Р., Кириллова Ф. М., Крахотко В. В.
    Теория управляемости линейных дискретных систем
    Определяющее уравнение Дифференциальные уравнения. Т. 8, № 5. 1972. С. 767–773
  • 18.
    Гилл А.
    Введение в теорию конечных автоматов
    М.: Наука, 1966. — 272 c
  • 19.
    Гилл А.
    Линейные последовательностные машины
    М.: Наука, 1974
  • 20.
    Глушков В. М.
    Абстрактная теория автоматов
    Успехи матем. наук. Т. 16, вып. 5 (101). 1961. С. 3–62
  • 21.
    Глушков В. М.
    Синтез цифровых автоматов
    М.: Физматгиз, 1962
  • 22.
    Грунский И. С.
    Анализ поведения конечных автоматов
    Луганск: Изд-во Луганск. гос. пед. ун-та, 2003. — 318 с
  • 23.
    Грунский И. С., Рубанович Ю. А.
    Об одном алгоритме построения выходных контрольных точек
    Автоматика и телемеханика. № 11. 1967. С. 145–150
  • 24.
    Гэри М., Джонсон Д.
    Вычислительные машины и труднорешаемые задачи
    М.: Мир, 1982. — 416 с
  • 25.
    Зыков А. А.
    Теория конечных графов, 1
    Новосибирск; Наука, 1969
  • 26.
    Калмыков С. А., Шокин Ю. И., Юлдашев З. Х.
    Методы интервального анализа
    Новосибирск: Наука, Сиб. Отд-е, 1986
  • 27.
    Колесов Н. В.
    Построение проверяющего теста для линейного конечного автомата
    Автоматика и телемеханика. № 2. 1982. С. 61–66
  • 28.
    Корбут А. А., Финкельштейн Ю. Ю.
    Дискретное программирование
    М.: Наука, 1969
  • 29.
    Корчинский А. П., Тоценко В. Г.
    Синтез автоматов оперативного контроля дискретных устройств с конечной памятью
    Автоматика и телемеханика. № 10. 1973. С. 184–193
  • 30.
    Алешин С. В., Кудрявцев В. Б., Подколзин А. С.
    Введение в теорию автоматов
    М.: Наука, 1985. — 320 с
  • 31.
    Куприянова Л. В., Самойлов В. Г., Сперанский Д. В.
    Интервальная арифметика над полем GF(p)
    Вычислительные технологии. Т. 7, № 6. 2002. С. 54–64
  • 32.
    Курейчик В. М.
    Генетические алгоритмы и их применение
    Таганрог: Изд-во ТРТУ, 2002
  • 33.
    Курош А. Г.
    Курс высшей алгебры
    М.: Наука, Главная ред. физ.-мат. лит., 1976
  • 34.
    Майника Э.
    Алгоритмы оптимизации на графах и сетях
    М.: Мир, 1981. — 454 с
  • 35.
    Мину М.
    Математическое программирование
    М.: Наука, 1980
  • 36.
    Мур Э.
    Умозрительные эксперименты с последовательностными машинами
    М.; Л., 1956. С. 179–210
  • 37.
    Основы технической диагностики
    Энергия, 1976. — 464 с
  • 38.
    Первозванский А. А.
    Курс теории автоматического управления
    М.: Наука, 1986
  • 39.
    Петренко А. Ф.
    Эксперименты над протокольными объектами
    Автоматика и вычислительная техника. № 1. 1987. С. 16–21
  • 40.
    Понтрягин Л. С.
    Математическая теория оптимальных процессов
    М.: Наука, 1976
  • 41.
    Болтянский В. Г. и др., Понтрягин Л. С.
    Математическая теория оптимальных процессов
    М.: Физматгиз, 1961
  • 42.
    Пропой А. И.
    Элементы теории оптимальных линейных процессов
    М.: Наука, 1973
  • 43.
    Сперанский Д. В.
    Автоматы существенно без потери информации
    Автоматика и телемеханика. № 10. 1971. С. 93–99
  • 44.
    Сперанский Д. В.
    О связи между устойчивостью и синхронизируемостью линейных автоматов над различными полями
    Автоматика и вычислительная техника. № 1. 2000. С. 63–75
  • 45.
    Сперанский Д. В.
    О тестировании линейных автоматов
    Автоматика и телемеханика. № 5. 2000. С. 157–165
  • 46.
    Сперанский Д. В.
    Об автоматах существенно без потери информации конечного порядка
    Автоматика и телемеханика. № 6. 1972. С.86–92
  • 47.
    Сперанский Д. В.
    Обобщенная синхронизация линейных последовательностных машин
    Кибернетика и системный анализ. № 3. 1998. С. 17–25
  • 48.
    Сперанский Д. В.
    Обобщенные автоматы без потери информации конечного порядка, II
    Кибернетика и системный анализ. № 4. 1994. С. 174–178
  • 49.
    Сперанский Д. В.
    Обобщенные автоматы без потери информации, I
    Кибернетика и системный анализ. № 3. 1994. С. 63–69
  • 50.
    Сперанский Д. В.
    Обобщенные линейные автоматы без потери информации
    Известия РАН. Теория и системы управления. № 1. 1998. С. 64–71
  • 51.
    Сперанский Д. В.
    Распознавание состояний нестационарных линейных автоматов
    Известия РАН. Теория и системы управления. № 6. 2000. С. 82–89
  • 52.
    Сперанский Д. В.
    Связь между устойчивостью и синхронизируемостью нестационарных линейных автоматов над различными полями
    Электронное моделирование. Т. 23, № 5. 2001. С. 22–32
  • 53.
    Сперанский Д. В.
    Синтез тестов с минимальным числом перепадов сигналов для линейных автоматов
    Автоматика и вычислительная техника. № 4. 2002. С. 70–78
  • 54.
    Сперанский Д. В.
    Синхронизация линейных последовательностных машин
    Автоматика и телемеханика. № 5. 1996. С. 141–149
  • 55.
    Сперанский Д. В.
    Установочные и диагностические последовательности для линейных автоматов
    Автоматика и телемеханика. № 5. 1997. С. 133–141
  • 56.
    Огнева М. В., Сперанский Д. В.
    Обобщенные установочные и диагностические эксперименты для линейных автоматов
    Автоматика и вычислительная техника. № 3. 2001. С. 3–13
  • 57.
    Самойлов В. Г., Сперанский Д. В.
    О диагностической задаче для линейных автоматов в интервальной постановке
    Информац.-керуючi системи на залiзничному транспортi. № 4. 2003. С. 117–119
  • 58.
    Сперанский Д. В., Сперанский И. Д.
    Об одной задаче для сети из линейных автоматов без потери информации
    Автоматика и телемеханика. № 1. 1999. С. 140–147
  • 59.
    Сперанский Д. В., Сперанский И. Д.
    Разрешающие возможности диагностических экспериментов с линейными автоматами
    Кибернетика и системный анализ. № 3. 2000. С. 62–65
  • 60.
    Сперанский Д. В., Сперанский И. Д.
    Эксперименты с билинейными системами
    Автоматика и телемеханика. № 6. 2000. С. 176–189
  • 61.
    Сперанский Д. В., Сперанский И. Д.
    Эксперименты с линейными дискретными системами
    Электронное моделирование. № 4. 1999. С. 64–73
  • 62.
    Спивак М. А.
    Введение в абстрактную теорию автоматов
    Саратов: Изд-во Сарат. ун-та, 1970
  • 63.
    Спивак М. А.
    Обобщенные задачи диагноза и установки для конечных автоматов
    Известия АН СССР, Технич. киб-ка. № 3. 1969. С. 82–87
  • 64.
    Стрейц В.
    Методы пространства состояний в теории линейных дискретных систем управления
    М.: Наука, 1985
  • 65.
    Твердохлебов В.А.
    Логические эксперименты с автоматами
    Саратов: Изд-во Сарат. ун-та, 1988. — 184 с
  • 66.
    Фараджев Р. Г.
    Линейные последовательностные машины
    М.: Сов. радио, 1965
  • 67.
    Хиббард Т. Н.
    Точные верхние границы длин минимальных экспериментов, определяющих заключительное состояние, для двух классов последовательных машин
    Кибернетический сборник. Вып. 2. 1966. С. 7–23
  • 68.
    Джонсон Ч., Хорн Р.
    Матричный анализ
    М.: Мир, 1989
  • 69.
    Яблонский С. В.
    Введение в дискретную математику
    М.: Наука, 1997. — 384 с
  • 70.
    Яблонский С. В.
    Надежность и контроль управляющих систем
    Математические вопросы кибернетики. Вып. 1. 1988. С. 5–25
  • 71.
    Янушевский Р. Т.
    Управление объектами с запаздыванием
    М.: Наука, 1978
  • 72.
    Bhattacharyya A.
    Checking experiments in sequential machines
    New York: J. Willy and Suns, 1989. — 155 p
  • 73.
    Breuer M., Friedman A.
    Diagnosis and reliable design of digital systems
    Computer Science Press. — 300 p
  • 74.
    Even S.
    On information lossles automata of finite order
    IEEE Trans. Elect. Comput. Vol. C-14, № 4. 1965. P. 561–569
  • 75.
    Ginzburg A.
    Algebraic Theory of Automata
    New York — London, Academic Press, 1968
  • 76.
    Huffman D. A.
    Canonical forms for information-lossless finite-state logical machines
    IRE Trans. Circuit Theory. Special supplement. Vol. CT-6. 1959. P. 41–59
  • 77.
    Hennye F. C.
    Finite-state models for logical machines
    New York, 1968
  • 78.
    Kohavi Z.
    Switching and finite automata theory
    New York: Mc Graw Hill, 1970. — 522 p
  • 79.
    Kohavi Z., Lavalle P.
    Design of sequential machines with fault detecting capabilities
    IEEE Frans. Electron Comput. V. 16. № 4. 1967. P. 171–184
  • 80.
    Lorens C. S.
    Invertible Boolean function
    IEEE Trans. Elect. Comput. EC-13, V. 5. 1964. P. 529–541
  • 81.
    Shary S. P.
    Algebraic approach to the linear static identification, tolerance and control problem, or One more application of Caucher arithmetic
    Reliable Computing. Vol. 2, № 1. 1996. P. 3–33
  • 82.
    Lee D., Yannakakis M.
    Principles and methods of testing finite-state machines/ – A survey /
    Proc. IEEE. V. 84. № 8. 1996. P. 1090–1123

Вопросы и ответы

вопросов: 0