Л 36 Левин, Виталий Ильич. Введение в динамическую теорию конечных автоматов [Текст] / В. И. Левин ; Академия наук Латвийской ССР Институт электроники и вычислительной техники. - Рига : Зинатне, 1975. - 376 с. : рис., табл. ; 21.5см. - Лит.: с. 363-368. - Предм. указ.: с. 369-371. - 2000 экз.. - (в пер.) : 1.67 р.
Кл.слова (ненормированные): бесконечная логика -- безкінцева логіка -- эквивалентные преобразования -- еквівалентні перетворення -- конечные автоваты без памяти -- кінцеві автомати без пам'яті -- динамика конечных автоматов -- динаміка кінцевих автоматів -- метод декомпозиции -- метод декомпозиції -- метод эквивалентных схем -- метод еквівалентних схем -- входные воздействия кратности -- вхідні впливи кратності -- обнаружение ошибок -- виявлення помилок -- устранение ошибок -- усунення помилок -- квазистатический анализ конечного автомата -- квазістатичний аналіз кінцевого автомату -- численные процедуры -- численні процедури -- алгебра логики -- алгебра логіки -- итеративный динамический анализ -- ітеративний динамічний аналіз -- декомпозиція Аннотация: Методы анализа динамики конечных автоматов и в некоторой степени - методов синтеза автоматов с заданной динамикой. Доп.точки доступа: Академия наук Латвийской ССР Институт электроники и вычислительной техники ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
К 48 Клемин, Алексей Иванович . Расчет надежности ядерных энергетических установок. Марковская модель [Текст] : научное издание / А. С. Клемин, В. С. Емельянов, В. Б. Морзов. - Москва : Энергоиздат, 1982. - 207 с. : рис., табл. ; 22см. - Библиогр.: с. 201-204(79 назв.). - 1800 экз.. - 0.75 р. Рубрики: Ядерные энергетические установки Кл.слова (ненормированные): ЭВОЛЮЦИЯ ТЕХНИЧЕСКИХ СИСТЕМ -- ОЦЕНКИ НАДЕЖНОСТИ -- СТАТИСТИЧЕСКЯ ЛИНЕАРИЗАЦИЯ -- СТРУКТУРНОЕ СТРОЕНИЕ ЯЭУ -- МЕТОД ДЕКОМПОЗИЦИИ -- АЛГОРИТМ ПОСТРОЕНИЯ МАТРИЦЫ Доп.точки доступа: Емельянов, В. С.; Морзов, В. Б. ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |