НОУ ИНТУИТ | Литература | Теория экспериментов с конечными автоматами

Вам нравится? Нравится 3 студентам

| Поделиться |

Поддержать программу

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.

Checking experiments in sequential machines

New York: J. Willy and Suns, 1989. — 155 p
73.

Diagnosis and reliable design of digital systems

Computer Science Press. — 300 p
74.

On information lossles automata of finite order

IEEE Trans. Elect. Comput. Vol. C-14, № 4. 1965. P. 561–569
75.

Algebraic Theory of Automata

New York — London, Academic Press, 1968
76.

Canonical forms for information-lossless finite-state logical machines

IRE Trans. Circuit Theory. Special supplement. Vol. CT-6. 1959. P. 41–59
77.

Finite-state models for logical machines

New York, 1968
78.

Switching and finite automata theory

New York: Mc Graw Hill, 1970. — 522 p
79.

Design of sequential machines with fault detecting capabilities

IEEE Frans. Electron Comput. V. 16. № 4. 1967. P. 171–184
80.

Invertible Boolean function

IEEE Trans. Elect. Comput. EC-13, V. 5. 1964. P. 529–541
81.

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.

Principles and methods of testing finite-state machines/ – A survey /

Proc. IEEE. V. 84. № 8. 1996. P. 1090–1123

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

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

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

Студенты

Авторизоваться

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

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

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

Студенты