Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Зона пошуку
у знайденому
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>S=Автоматів теорія<.>
Загальна кількість знайдених документів : 8
Показані документи с 1 за 8
1.
681.5:519.713
Б87


    Брауэр, Вильфрид.
    Введение в теорию конечных автоматов [] = Automaten - Theorie. Eine Einfuhrung in die Theorie endlicher Automaten / В. Брауэр ; пер. с нем. К. В. Рудакова ; под ред. Ю. И. Журавлева. - М. : Радио и связь, 1987. - 392 с. : рис. - Лит.: с. 373-386. - Предм. указ.: с. 387-390. - 2.10 р.
УДК
ББК 32.815
Рубрики: Автоматів теорія--Практичні посібники
   
Кл.слова (ненормовані):
методы доказательств -- методи доведення -- автоматы Мили -- автомати Мілі -- автоматы Мура -- автомати Мура -- частичные автоматы Мили -- часткові автомати Мілі -- автоматы Робина - Скотта -- автомати Рабіна - Скотта -- преобразования автоматов -- перетворення автоматів -- схемы Янова -- схеми Янова -- графы Майхилла -- графи Майхіла -- двуленточные автоматы Элго - Мезея -- двострічкові автомати Елго - Мезея -- двуленточные автоматы Элго - Эйленберга - Шефердсона -- двострічкові автомати Елго - Ейленберга - Шефердсона -- двуленточные автоматы Рабина - Скотта -- двострічкові автомати Рабіна - Скота
Анотація: Модели теории конечных автоматов и более сложные модели многоленточных автоматов, конечные преобразователи.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Рудаков, К. В. \пер.\; Журавлев, Ю. И. \ред.\
Примірників всього: 2
ВВ (1), ЧЗ (1)
Свободны: ВВ (1), ЧЗ (1)
Знайти схожі

2.
519.713:519.714
А97


    Ачасова, Светлана Михайловна.
    Алгоритмы синтеза автоматов на программируемых матрицах [] / С. М. Ачасова ; под ред. О. Л. Бандман. - М. : Радио и связь, 1987. - 136 с. : рис. - Лит.: с. 130-131. - 0.55 р.
УДК
ББК 32.815
Рубрики: Автоматів теорія--Наукові видання
   
Кл.слова (ненормовані):
логические преобразователи -- логічні перетворювачі -- логические матрицы -- логічні матриці -- булевые функции -- бульові функції -- матрический синтез -- матричний синтез -- булевые пространства -- бульові простори -- синтез структуры -- представление структуры -- представлення структури -- приближенная минимизация -- наближена мінімізація -- экономическое кодирование -- економічне кодування -- противогоночное кодирование -- протигінне кодування
Анотація: Решение задач логического синтеза, практическая часть - алгоритмы для автоматизированного проектирования больших интегральных схем.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Бандман, О. Л. \ред.\
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

3.
681.5:681.5.013
Л36


    Левин, Виталий Ильич.
    Статистический надежностный синтез автоматов [] / В. И. Левин ; Акад. наук Латвийской ССР, Ин-т электроники и вычисл. техники. - Рига : Зинатне, 1974. - 292 с. : рис., табл. - Лит.: с. 270-275. - Предм. указ.: с. 276-278. - 1.29 р.
УДК
ББК 32.815
Рубрики: Автоматів теорія--Наукові видання
   Дискретні автоматичні системи--Наукові видання

   
Кл.слова (ненормовані):
теория конечных автоматов -- теорія кінцевих автоматів -- синтез конечных автоматов -- синтез кінцевих автоматів -- восстановление правильного сигнала -- відновлення правильного сигналу -- дискретные устройства -- дискретні пристрої -- предельная достижимая надежность -- гранично досягнута надійність -- асимптотический метод оценки ошибок -- асимптотичний метод оцінки помилок -- интеграл Лапласа -- інтеграл Лапласа -- отношение правдоподобности -- відношення правдоподібності -- проверка гипотезы -- перевірка гіпотези -- характеристика восстановления элемента -- характеристика відновлення елемента -- функция Дирихле -- функція Діріхле -- структурная схема индикатора -- структурна схема індикатора
Анотація: Использование избыточности в дискретных устройствах автоматики и вычислительной техники.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Академия наук Латвийской ССР Институт электроники и вычислительной техники
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

4.
681.5
Л78


    Лоренц, Айвар Арвидович.
    Синтез надежных вероятностных автоматов [] / А. А. Лоренц ; Акад. наук Латвийской ССР, Ин-т электроники и вычисл. техники. - Рига : Зинатне, 1975. - 168 с. : рис. - Лит.: с. 165-167. - Предм. указ.: с. 168. - 0.54 р.
УДК
ББК 32.815
Рубрики: Автоматів теорія--Наукові видання
   
Кл.слова (ненормовані):
преобразователи -- перетворювачі -- бистохастические матрицы -- бістохастичні матриці -- случайные величины -- випадкові величини -- бинарные структуры -- бінарні структури -- биноминальное распределение -- біномінальне розподілення -- методы структурного синтеза -- методи структурного синтизу -- эргодические свойства матриц -- ергодичні властивості матриць -- предельные величины -- граничні величини -- неравенство Чебышева-Гаусса -- нерівність Чебишева-Гаусса -- генераторы вероятностных распределений -- генератори ймовірних розподілень -- случайные сигналы -- випадкові сигнали
Анотація: Синтез надежных вероятностных автоматов из ненадежных датчиков случайных сигналов и детерминированных элементов автоматнополного базиса.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Академия наук Латвийской ССР Институт электроники и вычислительной техники
Примірників всього: 1
ФОНД (1)
Свободны: ФОНД (1)
Знайти схожі

5.
681.51:004
Л36


    Левин, Виталий Ильич.
    Введение в динамическую теорию конечных автоматов [] / В. И. Левин ; Акад. наук Латв. ССР, Ин-т электроники и вычисл. техники. - Рига : Зинатне, 1975. - 376 с. : рис., табл. - Лит.: с. 363-368. - Предм. указ.: с. 369-371. - 1.67 р.
УДК
ББК 32.815
Рубрики: Автоматів теорія--Наукові видання
   
Кл.слова (ненормовані):
бесконечная логика -- безкінцева логіка -- эквивалентные преобразования -- еквівалентні перетворення -- конечные автоваты без памяти -- кінцеві автомати без пам'яті -- динамика конечных автоматов -- динаміка кінцевих автоматів -- метод декомпозиции -- метод декомпозиції -- метод эквивалентных схем -- метод еквівалентних схем -- входные воздействия кратности -- вхідні впливи кратності -- обнаружение ошибок -- виявлення помилок -- устранение ошибок -- усунення помилок -- квазистатический анализ конечного автомата -- квазістатичний аналіз кінцевого автомату -- численные процедуры -- численні процедури -- алгебра логики -- алгебра логіки -- итеративный динамический анализ -- ітеративний динамічний аналіз -- декомпозиція
Анотація: Методы анализа динамики конечных автоматов и в некоторой степени - методов синтеза автоматов с заданной динамикой.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Академия наук Латвийской ССР Институт электроники и вычислительной техники
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

6.
007:681.5
Р12


    Рабинович, Авраам Нахимович.
    Как машина стала автоматом [] / А. Н. Рабинович. - К. : Техніка, 1976. - 152 с. : рис. - 0.30 р.
УДК
ББК 32.815
Рубрики: Автоматів теорія--Популярні видання
   
Кл.слова (ненормовані):
развитие машин -- розвиток машин -- датчик -- преобразователь -- перетворювач -- исчисление высказываний -- обчислення висловів -- алгебра логики -- алгебра логіки -- запоминающие устройства -- запам'ятовуючі пристрої -- программное управление -- програмне управління -- автоматические линии -- автоматичні лінії -- комплексная автоматизация -- комплексна автоматизація -- усилители мощности -- підсилювачі потужності -- распознавание образов -- розпізнання образів
Анотація: Металлообрабатывающие и другие автоматы, принципы и особенности их действия, функции человека в производственном процессе.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

7.
681.5:681.5.012:681.5.013
Ч-65


    Чирков, Михаил Константинович.
    Основы общей теории конечных автоматов [] / М. К. Чирков ; Ленингр. Ордена Ленина и Ордена Труд. Красного Знамени гос. ун-т им. А. А. Жданова. - Л. : Изд-во Ленингр. ун-та, 1975. - 279 с. : рис., табл. - Лит.: с. 271-273. - 1.64 р.
УДК
ББК 32.815
Рубрики: Автоматів теорія--Практичні посібники
   
Кл.слова (ненормовані):
конечные автоматы -- кінцеві автомати -- вероятностные автоматные отображения -- ймовірні автоматичні відображення -- способы задания автоматов -- способи задання автоматів -- детерминированные автоматные отображения -- детермініровані автоматні відображення -- эквивалентность вероятностных автоматов -- еквівалентність ймовірних автоматів -- представление событий -- представлення подій -- алгебра событий -- алгебра подій -- регулярность событий -- регулярність подій -- теорема Клини -- теорема Кліні -- абстрактный анализ -- абстрактний аналіз -- минимизация автоматов -- мінімізація автоматів -- структурный анализ -- структурний аналіз -- синтез автоматов -- синтез автоматів -- алгебра логики -- алгебра логіки -- минимизация функций -- мінімізація функцій -- надежностный анализ -- надійністний аналіз
Анотація: Вопросы абстрактной и структурной теории вполне определенных и не полностью определенных вероятностных конечных автоматов.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Ленинградский Ордена Ленина и Ордена Трудового Красного Знамени государственный университет им. А. А. Жданова
Примірників всього: 1
ФОНД (1)
Свободны: ФОНД (1)
Знайти схожі

8.
681.5.011
Б82


    Борисенко, Олексій Андрійович.
    Керуючі системи [] : навч. посібник / О. А. Борисенко ; М-во освіти і науки України, Сум. держ. ун-т. - К. : ЦУЛ, 2004. - 216 с. : рис., табл. - Дод.: с. 179-209. - Бібліогр.: с. 210-212. - ISBN 966-8253-97-3 : 19.00 грн
УДК
ББК 32.965-01я73
Рубрики: Автоматів теорія--Навчальні видання для вищої школи
   Кібернетика--Навчальні видання для вищої школи

   
Кл.слова (ненормовані):
принципи керування -- принципы управления -- системи автоматичного керування -- системы автоматического управления -- керуючі автомати -- регулируемые автоматы -- синтез схем керування -- синтез схем управления -- автоматичне керування -- автоматическое управление -- мікропрограмні автомати -- микропрограммные автоматы -- програмовані логічні пристрої -- программируемые логические приспособления -- програмовані логічні контролери -- программируемые логические контроллеры -- мікропроцесорна система захисту -- микропроцессорная система защиты -- діагностика електрообладнання агрегатів -- диагностика электрооборудовния агрегатов -- рудотермічна піч -- рудотермическая печь
Анотація: Основні понятя і принципи теорії керування та побудови керуючих автоматів та машин зі схемами, мікропрограмними та програмованими способами керування.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Міністерство освіти і науки України; Сумський державний університет
Примірників всього: 3
ВВ (2), ФОНД (1)
Свободны: ВВ (2), ФОНД (1)
Знайти схожі

 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)