Поисковый запрос: <.>U=007.5$<.> |
Общее количество найденных документов : 441
Показаны документы с 1 по 10 |
|
>1.
| Шалыто А.А.
Switch-технология. Алгоритмизация и программирование задач логического управления. - СПб: Наука. - 1998. - 626 с.: ил. - На рус.яз. - Российская Федерация. - ISBN 5-02-024840-1. - Тираж 1000 экз. ГРНТИ: 28.25 УДК: 007.52 Предметные рубрики: Автоматов теория
Аннотация: Излагается технология алгоритмизации и программирования задач логического управления на основе теории автоматов. Центральным понятием разрабатываемого подхода является понятие "состояние". Обоснован выбор графов переходов в качестве языка спецификаций. Предложено использовать многозначное кодирование и конструкции, аналогичные конструкции switch языка СИ, для программной реализации автоматов. Применение пентады (состояние - независимость от "глубокой" предыстории - система взаимосвязанных графов переходов - многозначное кодирование - конструкция switch) обеспечивает наглядность, структурность, вызываемость, вложенность, иерархичность, управляемость и наблюдаемость программ, а также их изоморфизм (изобразительную эквивалентность) со спецификациями, по которым программы формально строятся. Изложены методы программирования рассматриваемого класса задач на алгоритмических языках высокого уровня, ассемблерах, языках инструкций, функциональных и лестничных схем, используемых в промышленных (управляющих) компьютерах и программируемых логических контроллерах.
Держатели документа:
|
>2.
| Духнич Е.И.
Информационные основы и контроль работы цифровых автоматов: Учеб.пособие Лукьянов В.С., Андреев А.Е. - Волгоград. - 2001. - 55 с.: ил. - На рус.яз. - Российская Федерация. - В надзаг.: Волгоград. гос. техн. ун-т. . - ISBN 5-230-03875-6. - Тираж 250 экз. ГРНТИ: 28.25 УДК: 007.52 Предметные рубрики: Дискретные автоматы
Держатели документа:
|
>3.
| Институт физ.-техн. проблем,Москва. .
Методы анализа и оптимизации сложных систем: Сб. науч. тр Рос. АН, Ин-т физ.-техн.пробл;Под ред. Лупичева Л.Н. - М. - 1993. - 144 c.: ил. - На рус.яз. - Российская Федерация. - Тираж 600 экз. ГРНТИ: 28 УДК: 007.5 Предметные рубрики: Кибернетические системы
Перевод заглавия: Methods for the analysis and optimization of complex systems Аннотация: Сборник посвящен исследованию сложных кибернетических систем различного типа. Рассматриваются кооперативные эффекты в белковых макромолекулах, изучаются динамика восстановления информации в нейронных сетях и поверхностные осцилляции проводящих капель, описываются методы магнитного картирования сердца и бесконтактной медицинской диагностики состояния человека
Держатели документа:
|
>4.
| Агибалов Г.П.
Дискретные автоматы на полурешетках Под ред.А.С.Петрова. - Томск: Изд-во Том. ун-та. - 1993. - 227 с. - На рус.яз. - Российская Федерация. - В надзаг.:Томский гос.ун-т. - ISBN 5-7511-0528-1. - Тираж 500 экз. ГРНТИ: 28.25 УДК: 007.52 Предметные рубрики: Дискретные автоматы
Перевод заглавия: Discrete automata on semilattices Аннотация: В книге излагается математический аппарат для теории логического проектирования дискретных автоматов, основанный на полурешеточно упорядоченных алгебрах и позволяющий, в отличие от классического аппарата конечно-значной логики и конечно-автоматных функций, описывать поведение дискретного автомата не только в статике ( при фиксированном входном состоянии ), но и в динамике ( при асинхронной смене компонент входного состояния ), в том числе адекватно с разной степенью точности и неопределенности
Держатели документа:
|
>5.
| Тьюринг А.М.
Может ли машина мыслить?: С прил.ст.Дж.фон Неймана Общая и логическая теория автоматов Пер.с англ.Ю.А.Данилова. - Саратов: Ред.журн."Регуляр.и хаот.динамика": Изд-во Гос.учеб.-науч.центра "Колледж". - 1999. - 99 с. - На рус.яз. - Российская Федерация. - Имен.указ.:с.99. - ISBN 5-900-64184-8. - Тираж 1000 экз. ГРНТИ: 28.15; 28.25 УДК: 007.52 Предметные рубрики: Тьюринга машины
; Автоматов теория
Держатели документа:
|
>6.
| Евтушенко Н.
Решение уравнений в логическом синтезе: Препринт Вилла Т., Петренко А. - Томск. - 1999. - 27 с. - На рус.яз. - Российская Федерация. - Тираж не указ экз. ГРНТИ: 28.25 УДК: 007.52(04) Предметные рубрики: Конечные автоматы
Перевод заглавия: Equation solution in logical synthesis Аннотация: Работа посвящена решению фундаментальной проблемы декомпозиции конечных автоматов, т.е. расположению автомата в сеть других автоматов. Если часть сети известна, то задача декомпозиции сводится к решению автоматного неравенства A@X@!C или уравнения A@X
Держатели документа:
|
>7.
| Алексеев В.Б.
Элементы теории графов, схем и автоматов: Учеб. пособие по курсам "Дискрет. математика" и "Основы кибернетики" Ложкин С.А. - М. - 2000. - 60 с.: ил. - На рус.яз. - Российская Федерация. - В надзаг.:МГУ им.М.В.Ломоносова.иблиогр.:с.60 (9 назв.). - ISBN 5-89407-087-2. - Тираж 500 экз. ГРНТИ: 27.45.17; 28.15; 50.09.29 УДК: 519.17; 681.325.65; 007.52 Предметные рубрики: Графов теория
; Логические схемы
; Автоматов теория
Держатели документа:
|
>8.
| Пономарева А.Ю.
Оптимизация обобщенных автоматов с периодически меняющейся структурой Чирков М.К. - СПб. - 2000. - 91с. - На рус.яз. - Российская Федерация. - В надзаг.:С.-Петерб. гос. ун-т, НИИ мат. и механики им. В.И.Смирнова. . - ISBN 5-7997-0223-9. - Тираж 100 экз. ГРНТИ: 28.25.15 УДК: 007.52 Предметные рубрики: Конечные автоматы
Держатели документа:
|
>9.
| Лупал А.М.
Теория автоматов: Учеб.пособие. - СПб. - 2000. - 119 с. - На рус.яз. - Российская Федерация. - В надзаг.: С.-Петербург. гос. ун-т аэрокосм. приборостроения. . - ISBN 5-8088-0044-7. - Тираж 150 с. экз. ГРНТИ: 28.25 УДК: 007.52 Предметные рубрики: Автоматов теория
Держатели документа:
|
>10.
| Гуревич Ю.Я.
Системы управления движением в машинах-автоматах: Учеб.пособие. - М.: Изд-во МГОУ. - 2000. - 89 с.: ил. - На рус.яз. - Российская Федерация. - ISBN 5-7045-0504-X. - Тираж 50 экз. ГРНТИ: 50.43 УДК: 007.52 Предметные рубрики: Машины-автоматы
Держатели документа:
|
|
|
|