Полное описание
>
Sanchez, A. Formal specification and synthesis of procedural controllers for process systems / A.Sanchez. - London [etc.] : Springer, 1996. - XXIV,221 p. p. : ill. - (Lecture notes in control and information sciences ; 212). - ISBN 3-540-76021-0 : 350000 р. - Текст : непосредственный.
Библиогр.:с207-216.Указ.:с.219-221
| ГРНТИ | УДК | |
| 50.09.47 | 004.312.46 |
Рубрики:
Контроллеры
>
Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
Свободны: ХР (1), (2)
Копия:
Analusis and optimization of systems:state and frequency domain approaches for infinite-dimensional systems : Proc.of the 10th intern.conf.Sophia-Antipolis,June 9-12,1992 / сост.ed.by R. F. Curtain, 1993. - 648 p. - Текст : непосредственный.Liu D. Dynamical systems with saturation nonlinearities : Analysis and design / D.Liu,A.N.Michel, 1994. - XIV,191 p. p. - Текст : непосредственный.System modelling and optimization : Proc.of the 16th IFIP-TC7 conf.,Compiegne,France,July 5-9 1993 / IFIP-TC7, 1994. - XIX,976 p. p. - Текст : непосредственный.Advanced technologies for air traffic flow management : Proc.of an intern.Seminar organized by DLR,Bonn,Apr.1994 / Dt.Forschungsanstalt f@:ur Luft- und Raumfahrt(DLR), 1994. - VIII,224 p. p. - Текст : непосредственный.Gawronski W. Balanced control of flexible structures / W.Gawronski, 1996. - XIV,262 p. p. - Текст : непосредственный.Sanchez A. Formal specification and synthesis of procedural controllers for process systems / A.Sanchez, 1996. - XXIV,221 p. p. - Текст : непосредственный.Recent advances in control and optimization of manufacturing systems / сост.ed. G. Yin, сост.ed. Q. Zhang, 1996. - 222 p. - Текст : непосредственный.Lectures prepared at the colloquium on automatic control,Bologna,10 June,1996 / Colloquium on automatic control (1996 ; Bologna) , 1996. - X,226 p. p. - Текст : непосредственный.Stabilization of flexible structure:Proc. of the 3 rd working conf., Jan. 1989, Montpellier / сост.ed. J. P. Zelesio, 1990. - 327 p. - Текст : непосредственный.Foundation of adaptive control / сост.ed. P. V. Kokotovic, 1991. - VIII,525 p. p. - Текст : непосредственный.Topics and stochastic systems : Modelling, estimation and adaptive control. / сост.ed. L. Gerenser, сост.ed. P. E. Caines, 1991. - 401 p. - Текст : непосредственный.Control theory of distributed parameter systems and applications : Proc. of the IFIP WG 7.2 working conf. Shanghai, May 6-9, 1990 / сост.ed. X. Li, 1991. - VIII,219 p. p. - Текст : непосредственный.Mehrmann V.L. autonomous linear quadratic control problem:Theory a.numerical solution / V.L.Mehrmann, 1991. - 176 p. - Текст : непосредственный. Mechanics and control : Proc.of the 3rd workshop on control mechnics in honor of the 65th birthday of George Leitmann,Jan.22-24,1990,Los.Angeles(Ca) / Ed. J. M. Skowronski, 1991. - IV,497 p. p. - Текст : непосредственный.Mustafa D. Minimum entropy H control / D.Mustafa,K.Glover, 1990. - 144 p. - Текст : непосредственный.Dynamic games in economic analysis : Proc.of the 4th intern.symp.on differential games and applications,Aug.9-10,1990,Helsinki / Ed.: R. P. Hamalainen, H. K. Ehtamo, 1991. - XIII,311 p. p. - Текст : непосредственный.Advanced methods in adaptive control for industrial applications : Papers from a joint Czechoslovak-UK seminar on advanced methods in adaptive control for industrial applications, May 14-16, 1990, Praha / сост.ed. K. Warwick, 1991. - 331 p. - Текст : непосредственный.High-resolution methods in underwater acoustics / сост.ed. M. Bouvet, сост.ed. G. Bienvenu, 1991. - V,129 p. p. - Текст : непосредственный.Differential games: developments in modelling and computation : Proc.of the 4th intern.symp.on diff.games and applicationsAug.9-10,1990,Helsinki / ed.: R. P. Hamalainen, H. K. Ehtamo, 1991. - 292 p. - Текст : непосредственный.Aplevich J.D. Implicit linear systems / J.D.Aplevich, 1991. - XI,176 p. p. - Текст : непосредственный.
Показать все результатыПрограммное обеспечение NCOS. Операционная система NCOS1. Протокольный контроллер связи типа BASIC / ВЦП. - 237 с. - Текст : непосредственный.SYSMAC. Программируемые контроллеры С20К/С28К/С40К : Руководство по установке системы / ВЦП. - 63 с. - Текст : непосредственный.Измерительная, регулирующая и смазывающая аппаратура / НПВО Машмир. - 27 с. - Текст : непосредственный.Гидравлическое, пневматическое, контрольно-измерительное и регулирующее оборудование / НПВО. - 17 с. - Текст : непосредственный.Пневматическое,гидравлическое,контрольно-измерительное,регулирующее оборудование / НПВО Машмир. - 19 с. - Текст : непосредственный.Перспективы использования пневматических устройств / НПВО. - 19 с. - Текст : непосредственный.Программный регулятор с микропроцессорным управлением : Руководство по эксплуатации / ВЦП. - 52 c. - Текст : непосредственный.Плата контроллера накопителя на жестком магнитном диске WDXT-GEN2 PLUS : Инструкция по установке платы / ВЦП. - Текст : непосредственный.Устройство OZ/Guardian корпорации Трай-Дэйтэ / ВЦП. - 16 c. - Текст : непосредственный.Инструкция GEK-61679A (соответствует GEK-40421) : Сб. инструкций процессора DLC / ВЦП. - 108 с. - Текст : непосредственный.Контроллер случайных вибраций 1209 / ВЦП. - 138 с. - Текст : непосредственный.Техническое описание платы контроллера соединений / ВЦП. - 30 c. - Текст : непосредственный.Преобразователи измерительной справки для встроенного тестирования печатных плат / ВЦП. - 64 c. - Текст : непосредственный.Конвертер для устройства тестирования плат / ВЦП. - 34 c. - Текст : непосредственный.Попов Б.Н. Методы проектирования и аппаратная реализация цифровых регуляторов для систем управления быстропротекающими процессами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Б. Н. Попов, 1991. - 16 с. - Текст : непосредственный.Кузьмин А.К. Исследование и разработка методики формальной верификации процессов переработки информации в схемах цифровых устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. К. Кузьмин, 1990. - 12 с. - Текст : непосредственный.Рустамов К.А. Основы построения стабилизирующих финитных регуляторов промышленного назначения : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / К. А. Рустамов, 1991. - 32 с. - Текст : непосредственный.Еремеев Г.В. Анализ и параметрический синтез дискретных устройств фазовой синхронизации с учетом их статистических и нелинейных свойств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Г. В. Еремеев, 1992. - 22 с. - Текст : непосредственный.Абделелах К.М. Синтез регуляторов систем управления на основе минимизации функционала невязки : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / К. М. Абделелах, 1992. - 12 с. - Текст : непосредственный.Карпов В.С. Принципы построения и синтез быстродействующих регуляторов для промышленных объектов при наличии запаздывания:На прим.объектов в машиностроит.,хим.и др.отраслях нар.хоз-ва : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / В. С. Карпов, 1992. - 39 с. - Текст : непосредственный.
Показать все результатыИнструкция по эксплуатации монтажного контроллера NV-A500 фирмы Matsushita / ВЦП. - 64 c. - Текст : непосредственный.Описание контроллера МР-12ST / ВЦП. - 70 c. - Текст : непосредственный.Козяев Ю.М. Дополнительные контроллеры для съема информации с блоков АЦП / Ю.М.Козяев,М.Ю.Матвеев, 1995. - 7 c. - Текст : непосредственный.Data communication ICs.High-level serial communications.Controller extended (HSCX).SAB 82525;SAB 82526;SAF 82525;SAF 82526 : user's manual, 1994. - 135 p. - Текст : непосредственный.82365SL PC card interface controller(PCIC), 1992. - 71 p. - Текст : непосредственный.Data communication ICs : Enhanced serial communication controller ESCC2 SAB 82532.User's man., 1993. - 222 p. - Текст : непосредственный.Свечкарев В.П. Объектные контроллеры систем автоматизации : Учеб. пособие / В.П.Свечкарев,И.В.Попов, 1997. - 98 с. - Текст : непосредственный.Sanchez A. Formal specification and synthesis of procedural controllers for process systems / A.Sanchez, 1996. - XXIV,221 p. p. - Текст : непосредственный.Васильев А.Н. Специализированный контроллер для обработки амплитудной информации на установке ПРОЗА-М / А. Н. Васильев, А. М. Давиденко, П. А. Семенов, 1999. - 5 с. - Текст : непосредственный.VanderWiel S.P. compiler-assisted data prefetch controller / S.P.VanderWiel,D.J.Lilja, 1999. - 22 p. - Текст : непосредственный.Цветков А.А. Вспомогательный программируемый контроллер Крейта / А.А.Цветков, 1990. - 9 с. - Текст : непосредственный.Knowledge-based system diagnosis, supervision, and control / ed. Tzafestas, 1989. - XII, 305 p. мкф. - Текст : непосредственный.Сергеев С.В. Использование контроллера Крейта КАМАК КК009 под управлением операционной системы WINDOWS-95 / С.В. Сергеев, А.С. Сергеев, 2000. - 6 p. - Текст : непосредственный.Базылев С.Н. Системный контроллер шины VME / С.Н.Базылев,В.А.Смирнов, 1991. - 6 с. - Текст : непосредственный.Квашнин А.Н. Контроллер последовательного мультиплексного канала связи / А. Н. Квашнин, В. В. Конюхов, А. Д. Хильченко, 1991. - 20 с. - Текст : непосредственный.Авдеев В.А. Компьютеры: шины, контроллеры, периферийные устройства : Учеб. пособие / В.А.Авдеев,В.Ф.Гузик, 2001. - 479 с. - Текст : непосредственный.Тихонов А.А. Программы работы с различными типами контроллеров крейтов САМАС для ПК IBM РС / А.А.Тихонов, 1990. - 10 с. - Текст : непосредственный.Макаров В.П. Система TSTEP подготовки программ для программируемых контроллеров / В.П.Макаров,П.М.Никулин, 1991. - 23 с. - Текст : непосредственный.Новиков Л.В. Контролеры магистрали VME: устройства ввода-вывода и хранения информации / Л.В.Новиков, 1989. - 20 c. - Текст : непосредственный.Буянов Э.Г. Автономный каркасный контроллер АКК-19 / Э. Г. Буянов, М. Ю. Матвеев, С. А. Суходольский, 1990. - 11 с. - Текст : непосредственный.
Показать все результатыЗайдман С.А. Разработка и оптимизация технологии изготовления многоуровневых коммутационных плат на большеразмерных металлодиэлектрических подложках : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.27.06 / С. А. Зайдман, 1992. - 25 с. - Текст : непосредственный.Программируемые контроллеры PLC-2/20, PLC-2/30 : Руководство по сборке и установке / ВЦП. - 175 c. - Текст : непосредственный.Закревский Л.А. Синтез и диагностика контролепригодных микропрограммных устройств управления : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Л. А. Закревский, 1994. - 16 с. - Текст : непосредственный.Лабутин Ю.К. Разработка системы автоматизированного проектирования управляющих программ для промышленных контроллеров : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / Ю. К. Лабутин, 1994. - 16 с. - Текст : непосредственный.Красильникова Л.В. Автоматизация проектирования систем логического управления параллельными процессами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / Л. В. Красильникова, 1994. - 18 с. - Текст : непосредственный.Бакланов С.Б. Полупроводниковые коммутирующие устройства на основе элементов с отрицательным дифференциальным сопротивлением : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / С. Б. Бакланов, 1994. - 23 с. - Текст : непосредственный.Ахметов Р.Р. Системы отладки промышленных контроллеров : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Р. Р. Ахметов, 1996. - 16 с. - Текст : непосредственный.Сальников С.Н. Измерительно-вычислительный комплекс для диагностики управляющих программируемых логических контроллеров : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.11.16 / С. Н. Сальников, 1996. - 17 с. - Текст : непосредственный.Зотов И.В. Аппаратно-алгоритмические средства реализации параллельных алгоритмов логического управления в микропрограммных мультимикроконтроллерах : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / И. В. Зотов, 1998. - 19 с. - Текст : непосредственный.Колосков В.А. Основы теории и принципы построения отказоустойчивых самоорганизующихся логических мультимикроконтроллеров : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.05 / В. А. Колосков, 1998. - 48 с. - Текст : непосредственный.Вяткин В.В. Разработка и исследование событийных методов реализации алгоритмов логического управления : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.14 / В. В. Вяткин, 1998. - 32 с. - Текст : непосредственный.Алексеев А.В. Гибкая система разработки программ управления для промышленных контроллеров : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.14 / А. В. Алексеев, 1999. - 20 с. - Текст : непосредственный.Медведева М.В. Алгоритмы и устройства клеточной самоорганизации программопереноса отказоустойчивого мультимикроконтроллера : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / М. В. Медведева, 1999. - 24 с. - Текст : непосредственный.Миневич Л.М. Аппаратные и алгоритмические средства самосинхронизации мультимикроконтроллеров : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / Л. М. Миневич, 1999. - 24 с. - Текст : непосредственный.Милостная И.И. Переключение тонких пленок NbN и YBaCuO импульсами тока и лазерного излучения : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:01.04.03 / И. И. Милостная, 1999. - 18 с. - Текст : непосредственный.Сердин О.В. Повышение надежности и производительности программируемых логических контроллеров : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / О. В. Сердин, 1999. - 20 с. - Текст : непосредственный.Чеклецов К.М. Методы и модели проектирования программируемых контроллеров для задач управления технологическими процессами и оборудованием : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05,05.13.13 / К. М. Чеклецов, 2000. - 23 с. - Текст : непосредственный.Медведев А.В. Континуально-логические алгоритмы и устройства клеточной самоорганизации мультимикроконтроллера с программируемым резервом : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / А. В. Медведев, 2000. - 24 с. - Текст : непосредственный.Эка Нараен Чапагайн.Математическое и программное обеспечение поддержки принятия решений при выборе структур микроконтроллерных систем : Автореферат диссертации на соискание ученой степени канд. техн.наук: 05.13.11 / Эка Нараен Чапагайн, 2001. - 20 с. - Текст : непосредственный.Гореликов С.Х. IBM PC. Дисковая система: контроллеры, накопители и их обслуживание / С.Х.Гореликов, 1993. - 183 c. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽