Синтез тестов с гарантированной полнотой для временных автоматов; Известия Томского политехнического университета [Известия ТПУ]; Т. 316, № 5: Управление, вычислительная техника и информатика

Синтез тестов с гарантированной полнотой для временных автоматов; Известия Томского политехнического университета [Известия ТПУ]; Т. 316, № 5: Управление, вычислительная техника и информатика

Détails bibliographiques
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 316, № 5: Управление, вычислительная техника и информатика.— 2010.— [С. 104-110]
Auteur principal:	Жигулин М. В.
Autres auteurs:	Дмитриев И. М., Евтушенко Н. В.
Résumé:	Заглавие с титульного листа Электронная версия печатной публикации Предложен алгоритм построения полного проверяющего теста для временного автомата относительно модели "черного ящика". Предполагается, что в проверяемом автомате известны только верхняя оценка числа состояний и величина максимальной конечной задержки в состоянии. Полный тест строится по автомату-спецификации без перебора проверяемых автоматов.
Langue:	russe
Publié:	2010
Collection:	Управление, вычислительная техника и информатика
Sujets:	временной конечный автомат задержка по времени полные проверяющие тесты электронный ресурс
Accès en ligne:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2010/v316/i5/20.pdf
Format:	Électronique Chapitre de livre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=187146

Documents similaires

Анализ и построение тестов цифровых программно-управляемых устройств
par: Чипулис В. П. Валерий Павлович
Publié: (Москва, Энергоатомиздат, 1992)

Применение теории автоматов для создания математической модели бортового ретранслятора; Глобальный научный потенциал; № 11 (56)
par: Савенко И. И. Игорь Игоревич
Publié: (2015)

Разработка подсистемы автоматизированного контроля и диагностики информационной сети: Заключительный отчет о НИР; Тема: х/д 10-117/75
Publié: (Томск, 1972)

Маркированная хаотическая последовательность чисел для систем измерения задержки сигналов; Измерительная техника; № 3
par: Беспалов Е. С.
Publié: (2003)

Влияние моментных напряжений на развитие стесненной деформации и разрушение композиции "покрытие-основа"; Известия вузов. Физика; Т. 56, № 7-2
Publié: (2013)

Т - группы
par: Шунков В. П. Владимир Петрович
Publié: (Новосибирск, Наука, 2000)

Наставление по стрелковому делу: 7,62-мм модернизированный автомат Калашникова (АКМ и АКМС)
Publié: (Москва, Воениздат, 1971)

Теория автоматов: учебно-методическое пособие
par: Буркатовская Ю. Б. Юлия Борисовна
Publié: (Томск, Изд-во ТПУ, 2010)

Процессорный подход при внедрении систем менеджмента качества в организации; Стандарты и качество; № 3
par: Свиткин М. Михаил
Publié: (2002)

Электронный домоуправ; Схемотехника; № 7
par: Заец Н.
Publié: (2003)

Установка оптической калибровки измерителя прозрачности атмосферы; Приборы и техника эксперимента; № 6
Publié: (2004)

Проектирование и исследование механизмов упаковочного автомата; Современные проблемы машиностроения
par: Гуров И. А.
Publié: (2024)

Способы повышения обусловленности матриц при решении систем разностных уравнений в задачах идентификации параметров динамических объектов; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 2 : Математика и механика. Физика
par: Боловин Е. В. Евгений Владимирович
Publié: (2013)

Человек и техника в освоении космоса
par: Новокшонов Ю. И. Юрий Иванович
Publié: (Москва, Знание, 1972)

Интеллектуальная квазибиологическая система (Индуктивный автомат)
par: Емельянов-Ярославский Л. Б. Леонид Борисович
Publié: (Москва, Наука, 1990)

Человек и вычислительная техника
Publié: (Киев, Наукова думка, 1971)

Основы алгебры логики и теории конечных автоматов: учебное пособие по курсу "Теоретические основы автоматического управления"
par: Набебин А. А. Алексей Александрович
Publié: (Москва, [Б. и.], 1979)

Установка для испытаний материалов с построением полных диаграмм деформирования; Проблемы прочности; № 5
Publié: (2004)

Синтез и тестирование дискретных систем: учебное пособие
par: Буркатовская Ю. Б. Юлия Борисовна
Publié: (Томск, Изд-во ТПУ, 2012)

Синтез и тестирование дискретных устройств: учебное пособие
par: Буркатовская Ю. Б. Юлия Борисовна
Publié: (Томск, Изд-во ТПУ, 2012)

Ignition of coal suspensions based on water of different quality; Coke and Chemistry; Vol. 59, iss. 11
par: Vershinina K. Yu. Kseniya Yurievna
Publié: (2016)

Методы и модели управления и контроля: межвузовский научно-технический сборник
Publié: (Рига, [б. и.], 1979)

Synthesis methods of regulating devices for systems with transportation lag; Технологии Microsoft в теории и практике программирования
par: Kochetygov I. S.
Publié: (2014)

Параболические прожекторы
par: Левитин И. Б.
Publié: (Ленинград, Госэнергоиздат, 1936)

Проектирование и исследование механизмов «пресса-автомата»; Современные проблемы машиностроения
par: Черченко В. К.
Publié: (2024)

Определение и анализ области состояний модели системы реального времени; Известия Томского политехнического университета [Известия ТПУ]; Т. 316, № 5: Управление, вычислительная техника и информатика
par: Погребной В. К. Владимир Кириллович
Publié: (2010)

Influence of the preparation of organic coal–water fuel on its ignition; Coke and Chemistry; Vol. 59, iss. 4
par: Vershinina K. Yu. Kseniya Yurievna
Publié: (2016)

Рекуррентный синтез тестов проверки комбинационных автоматов: [монография]
par: Скляревич А. Н. Акива Нухимович
Publié: (Рига, Зинатне, 1981)

Подземная разработка с высокой полнотой извлечения руд
par: Цыгалов М. Н. Михаил Николаевич
Publié: (Москва, Недра, 1985)

Численное моделирование зажигания частиц водоугольного топлива; Физика горения и взрыва; Т. 51, № 4
par: Кузнецов Г. В. Гений Владимирович
Publié: (2015)

Ignition of droplets of coal–water–oil mixtures based on coke and semicoke; Coke and Chemistry; Vol. 60, iss. 1
par: Vershinina K. Yu. Kseniya Yurievna
Publié: (2017)

Указатель сокращенных и полных названий научной и технической литературы
Publié: (Москва, Изд-во Академии наук СССР, 1957)

Разработка алгоритмов логического синтеза диагностируемых и функционально устойчивых дискретных устройств: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.01
par: Комаров Ю. М. Юрий Михайлович
Publié: (Томск, [Б. и.], 1978)

Модификация методов потоковой кластеризации для сегментации временных рядов в реальном времени; Известия Томского политехнического университета [Известия ТПУ]. Промышленная кибернетика; Т. 4, № 2
par: Кочегурова Е. А. Елена Алексеевна
Publié: (2026)

Информационные технологии в тайм-менеджменте; Информационные технологии в науке, управлении, социальной сфере и медицине; Ч. 2
par: Гуторова А. В.
Publié: (2014)

Человек среди автоматов
par: Иванов С. М. Сергей Михайлович
Publié: (Москва, Знание, 1969)

Человек среди автоматов
par: Иванов С. М. Сергей Михайлович
Publié: (Москва, Знание, 1982)

Численное и экспериментальное исследование предельных условий возгорания ткани, пропитанной горючей жидкостью, при локальном нагреве; Пожаровзрывобезопасность; Т. 22, № 1
Publié: (2013)

От затрат на качество - к управлению затратами; Методы менеджмента качества; № 4
par: Адлер Ю. П.
Publié: (2002)

Частотно-временной корреляционный анализ в задачах определения координат утечек в трубопроводах; Известия Томского политехнического университета [Известия ТПУ]; Т. 317, № 2: Математика и механика. Физика
par: Аврамчук В. С. Валерий Степанович
Publié: (2010)