СЕВАСТОПОЛЬСКИЙ НАЦИОНАЛЬНЫЙ
ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ
НАУЧНАЯ БИБЛИОТЕКА
ИНФОРМАЦИОННО - БИБЛИОГРАФИЧЕСКИЙ ОТДЕЛ
Научно-вспомогательный список
Севастополь 2014
Аннотация: научно-вспомогательный список содержит 97 библиографических описаний книг и статей отечественных и зарубежных авторов. Данные источники информации будут полезны для студентов ВУЗов, преподавателей, аспирантов и специалистов в области цифровой техники.
Статьи
1. Амбарцумян, А. А. Метод прямого синтеза супервизора для структурированной дискретно-динамической системы / , // Автоматика и телемеханикаN 8. - С. 168-188.
Аннотация: Предлагается метод реализации супервизора для дискретно-событийной системы, структурированной особым образом. Такая ДСС имеет следующие отличительные особенности: генератор языка представлен набором конечных автоматов, языковая модель расширена новым типом событий, которые названы ожидаемыми., спецификация определена как последовательность команд управления. Основное преимущество предлагаемого метода заключается в том, что он использует структурные знания о потоке событий для того, чтобы построить супервизор. Таким образом, достигается линейная зависимость размера супервизора от размера начальных данных.
2. Амбарцумян, А. А. Управление технологическими процессами на основе событийных моделей I. Событийные модели процессов и структуры технологии / , // Автоматика и телемеханика№ 10. - С. 188-202.
3. Апраксин, Ю. К. Валидация протоколов распределенных систем, представленных конечно - автоматной моделью / , // Вісник СевНТУ : зб. наук. пр. / Севастоп. нац. техн. ун-т, Севастоп. нац. техн. ун-т; ред. Є. В. Пашков. - Севастополь : Вид-во Севастоп. нац. техн. ун-ту, 2012. - Вип. 125: Автоматизація процесів та управління. - С. 28-31.
Аннотация: Предлагается подход к валидации протоколов распределенных систем, представленных конечно - автоматной моделью. В качестве метода контроля корректного функционирования системы выбран анализ дерева достижимых глобальных состояний.
4. Апраксин, Ю. К. Исследование способов представления детерминированного конечного автомата / , , // Севастопольський національний технічний університет. Вісник СевНТУ : зб. наук. пр. - Севастополь : Вид-во Севастоп. нац. техн. ун-ту, 2010. - Вип. 101 : Інформатика, електроніка, зв'язок. - С. 65-68.
Аннотация: Исследуются различные способы представления детерминированного конечного автомата согласно критериям оптимальности: времени поиска перехода и затрат памяти на представление модели автомата.
5. Артемов, С. А. Конвертор для перевода проектов схем САПР ПЛИС в САПР БМК / // Изв. вузов. Электроника№2. - С. 57-63.
6. Баркалов, А. А. Модели устройства управления с общей памятью, ориентированные на ПЛИС / , , // Управляющие системы и машины: информационные технологии : междунар. науч. журн№ 5. - С. 46-50.
Аннотация: Предложены метод уменьшения аппаратурных затрат в логической схеме композиционного микропрограммного устройства управления, реализуемого в базисе CPLD.
7. Баркалов, А. А. Модификация системы адресации микрокоманд в устройстве управления с разделением кодов / , , // Кибернетика и системный анализ : междунар. науч.-теорет. журн№ 1. - С. 161-171.
8. Баркалов, А. А. Оптимизация схем композиционных микропрограммных устройств управления / , , // Кибернетика и системный анализ : Международный научно-теоретический журнал№ 1. - С. 179-188.
Аннотация: Предложено два метода адресации микрокоманд при интерпретации алгоритма управления композиционными микропрограммными устройствами управления (КМУУ). Метод уточненной адресации позволяет однозначно идентифицировать выходы операторных линейных цепей (ОЛЦ) минимальным числом адресных разрядов. Метод оптимальной адресации ориентированный на приведении классов псевдоэквивалентных ОЛЦ минимальным числом обобщенных интервалов кодирующего пространства.
9. Баркалов, А. А. Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС / , , // Кибернетика и системный анализ : Международный научно-теоретический журнал№ 5. - С. 180-186.
10. Баркалов, А. А. Реализация схемы устройства управления на FPGA / , , // Управляющие системы и машины: информационные технологии : междунар. науч. журн№ 1. - С. 42-45.
11. Баркалов, А. А. Синтез управляющего автомата по вертикализованной граф-схеме алгоритмов / , ёва, // Управляющие системы и машины№3. - С. 62-66.
12. Баркалов, А. А. Структурная декомпозиция как средство оптимизации схемы автомата Мили на ПЛИС / , , // Кибернетика и системный анализ : междунар. науч.-теорет. журн№ 2. - С. 177-187.
Аннотация: Предложены две модели схемы микропрограммного автомата Мили, основывающиеся на преобразовании кодов объектов. Методы синтеза ориентированы на ПЛИС типа FPGA, которые включают встроенные блоки памяти. Для уменьшения числа логических элементов в схеме автомата предложено уменьшать количество нерегулярных функций в его описании. Приведен пример синтеза и результаты исследований для метода, который основывается на преобразовании кодов наборов микроопераций в коды состояний автомата.
13. Беляев, М. А. О проектировании расширяемых и отказоустойчивых систем, реализующих паттерн MVVM в рамках инфраструктуры Microsoft. NET / , // Программная инженерия : теорет. и приклад. науч.-техн. журнN 9. - С. 17-23.
Аннотация: Анализируется принципиальная возможность применения идей автоматного программирования и базовых концепций паттерна MVVM для проектирования отказоустойчивых и легко расширяемых приложений с использованием средств, предоставляемых платформой , на примере программы, автоматизирующей некоторые функции работы с графами.
14. Богомолов, А. С. Оптимальные синхронизирующие эксперименты с линейными автоматами / // Автоматика и телемеханикаN 10. - С. 203-208.
15. Борисенко, А. А. Оценка помехоустойчивости унитарных кодов / , // Вісник Сумського державного університету. Серия, Технічні науки : науковий журналN 3. - С. 155-161.
Аннотация: В статье проведена оценка помехоустойчивости унитарных кодов по критерию вероятности необнаруживаемой ошибки.
16. Борисенко, О. А. Число і системи числення в електронних цифрових системах / // Вісник Сумського державного університету. Серия. Технічні науки : науковий журналN4. - С. 71-76.
17. Владыкин, А. А. Непроцедурный текстовый язык описания автоматных обработчиков XML-документов и его применение / , // Информационные технологии : Научно-технический и научно-производственный журналN 12. - С. 38-45.
18. Гжесь, Т. Алгоритмы кодирования внутренних состояний конечного автомата, ориентированные на снижение потребляемой мощности / Т. Гжесь, , // Известия ВУЗов. Сер, Радиоэлектроника : Науч.-техн. журнТом 53, № 6. - С. 46-55.
Аннотация: Предложены новые алгоритмы кодирования внутренних состояний конечного автомата, позволяющие снизить потребляемую мощность проектируемых последовательностных устройств. Представленные алгоритмы основаны на решении задачи минимизации активности переключения элементов памяти автомата, что непосредственно приводит к снижению потребляемой мощности. Предложены последовательный и итерационный алгоритмы кодирования внутренних состояний конечного автомата, нацеленные на снижение потребляемой мощности. Проведенные экспериментальные исследования подтверждают значительное снижение потребляемой мощности в устройствах, проектируемых с использованием описанных алгоритмов кодирования, по сравнению с известными подходами.
19. Гильгурт, С. Я. Реконфигурируемые вычислители. Аналитический обзор / // Электронное моделирование№ 4. - С. 49-72.
Аннотация: Проанализирован широкий круг вопросов, связанных с перспективным классом высоко-производительных цифровых устройств — реконфигурируемыми вычислителями на основе программируемых логических интегральных схем (ПЛИС). Проведен сравнительный анализ с другими классами присоединенных вычислителей, предназначенных для ускорения решения ресурсоемких задач на персональных компьютерах и в составе кластерных систем. Исследованы сложности, препятствующие распространению реконфигурируемых вычислителей, проанализированы пути их преодоления.
20. Гут, Р. Е. Оценка латентного времени обнаружения неисправности конечного автомата, контролируемого в режиме реального времени / , // Автоматика и телемеханикаN10. - С. 128-141.
21. Денисов, А. Н. Методология проектирования аппаратуры по технологии БМК-ПЛИС-БМК / // Известия ВУЗов. Сер, Электроника : Науч.-техн. журналN 5. - С. 85-87.
22. Дросте, М. Взвешенные автоматы и взвешенная логика на бесконечных словах / М. Дросте, Г. Рахонис // Известия ВУЗов. Сер, МатематикаN 1. - С. 34-58.
Аннотация: Вводятся взвешенные автоматы над бесконечными словами с принимающим условием Мюллера. Показывается, что поведение таких автоматов совпадает с семантикой взвешенных ограниченных высказываний монадической логики второго порядка, и устанавливается эквивалентность взвешенных автоматов Мюллера и Бюхи над некоторыми полукольцами.
23. Ильин, В. Н. Методика оценки основных параметров цифровых устройств на ПЛИС на ранних этапах проектирования с использованием двухуровневого макромоделирования / , // Информационные технологии : Научно-технический и научно-производственный журнал№ 7. - С. 39-46.
24. Ильин, В. П. Технологии вычислительного программирования / , // Программирование : Журнал издается под руковод. Отделения математических наук РАНN 4. - С. 53-72.
Аннотация: Обсуждаются проблемы, стоящие перед вычислительным программированием сегодня и в связи с грядущим переходом к использованию экзафлопcного оборудования. В качестве основы изложения рассматривается жизненный цикл математического моделирования и связанные с ним общие задачи, которые решаются при разработке моделей. Это направление является и всегда будет одним из главных потребителей вычислительных ресурсов. Изучение его подходов и методов позволяет сформулировать основные направления целесообразного развития, обусловленные необходимостью формирования технологий вычислительного программирования.
25. Калитин, Д. В. Проектирование параллельных декомпозиций управляющих автоматов в k-значных логиках / // Информационные технологии : Научно-технический и научно-производственный журналN 7. - С. 60-64.
26. Капитонова, Ю. В. Теория автоматов, автоматизация проектирования и некоторые проблемы информатики / , // Кибернетика и системный анализ : Международный научно-теоретический журналN5. - С. 3-7.
27. Климович, А. С. Минимизация конечных автоматов Мили путем склеивания двух внутренних состояний / , // Изв. РАН. Теория и системы управления : журн. издается под рук. Отд-ния энергетики, машиностроения, механики и процессов упр. РАНN 2. - С. 79-91.
Аннотация: Рассматривается задача минимизации конечных автоматов типа Мили, которая часто встречается при синтезе цифровых устройств на программируемых логических интегральных схемах. Особенностью предлагаемого подхода является использование операции склеивания двух состояний, а также представление конечного автомата в виде списка переходов. Описаны случаи образования состояний ожидания в результате склеивания двух состояний. Представлены алгоритмы минимизации числа внутренних состояний, числа переходов и входных переменных конечных автоматов типа Мили. Результаты экспериментальных исследований показали, что использование предлагаемого метода при реализации конечных автоматов на программируемых логических интегральных схемах позволяет уменьшить стоимость реализации в среднем в 1.31 раза, а в наилучшем случае – в 3 раза. В заключение указываются актуальные направления дальнейших исследований методов минимизации конечных автоматов.
28. Климович, А. С. Минимизация неполностью определенных конечных автоматов Мили путем склеивания двух внутренних состояний / , // Известия РАН. Серия, Теория и системы управленияN 3. - С. 74-84.
Аннотация: Рассмотрен эвристический метод минимизации конечных автоматов типа Мили с неопределенными значениями выходных переменных, основанный на использовании операции склеивания двух состояний. Приведены необходимые и достаточные условия возможности склеивания двух состояний, а также образования состояний ожидания. Представлены алгоритмы нахождения множества пар состояний, допускающих склеивание, выбора наилучшей пары, склеивания двух состояний, а также минимизации числа переходов и входных переменных конечного автомата. Предложенный метод позволяет сократить число внутренних состояний конечных автоматов в среднем в 1.22 раза, а в отдельных случаях – в 2.75 раза. Среднее сокращение числа переходов конечного состояния составляет 1.32 раза, а в отдельных случаях – 2.27 раза. Сравнение предложенного подхода с известной программой STAMINA показывает, что рассматриваемый метод не уменьшает число состояний конечных автоматов, однако позволяет существенно сократить число переходов, в среднем в 1.55 раза, а в отдельных случаях – в 3.92 раза.
29. Климович, А. С. Преобразование автомата типа Мили в автомат типа Мура путем расщепления внутренних состояний / , // Изв. РАН. Теория и системы управления : журн. издается под рук. Отд-ния энергетики, машиностроения, механики и процессов упр. РАНN 6. - С. 70-79.
Аннотация: Рассматривается задача преобразования автомата типа Мили в эквивалентный автомат типа Мура. Данная задача часто встречается в практике инженерного проектирования, когда необходимо исключить непосредственную зависимость значений выходных переменных от изменения значений входных переменных. Особенностью предлагаемого подхода является использование операции расщепления внутренних состояний конечного автомата, а также представление конечного автомата в виде списка переходов. Результаты экспериментальных исследований показывают, что при переходе от автоматов типа Мили к автоматам типа Мура число внутренних состояний увеличивается в среднем в 1.96 раза, а число переходов – в 2.05 раза; стоимость реализации автоматов типа Мура с помощью индустриального пакета приблизительно в 2 раза больше, чем автоматов Мили. Указываются актуальные направления исследований методов минимизации и синтеза автоматов типа Мура.
30. Козаченко, В. Высокопроизводительные модульные системы в управлении электроприводами / В. Козаченко, А. Жарков, Д. Алямкин // Электроника: наука, технология, бизнесN 8. - С. 84-89.
31. Крывый, С. Л. Конечные автоматы в информационных технологиях / // Кибернетика и системный анализ : междунар. науч.-теорет. журнN 5. - С. 3-20.
Аннотация: Приведен короткий обзор применения теории конечных автоматов в некоторых современных отраслях компьютерных наук и технология. В частности, рассматриваются сферы применения конечных автоматов в компьютерной алгебре, сетях Петри, биологии, верификации.
32. Лохов, А. Система CATAPULT c SYNTHESIS: C++- FPGA / А. Лохов, И. Селиванов // Электроника: Наука. Технология. БизнесС. 48-49.
33. Мартюгин, П. В. Нижняя оценка длины кратчайших бережно синхронизирующих слов / // Известия ВУЗов. Сер, МатематикаN 1. - С. 59-68.
Аннотация: Вводится понятие бережной синхронизируемости для частичных конечных автоматов, которое является естественным обобщением понятия синхронизируемости для полных конечных автоматов. Указывается нижняя оценка величины порога бережной синхронизации для автоматов с данным числом состояний.
34. Музыченко, О. Н. Синтез логических схем модульного контроля в унитарных позиционных двоичных кодах / // Автоматика и телемеханикаN3. - С. 158-173.
35. Никитин, Ю. А. Анализ конечного автомата для синтеза частот с помощью функций целочисленного аргумента / // Известия ВУЗов. Сер, ПриборостроениеТом 53, N 5. - С. 25-29.
36. Ожиганов, А. А. Метод разработки web-приложений на основе систем иерархических конечных автоматов / , // Известия ВУЗов. Сер, ПриборостроениеТом 53, N 10. - С. 89-90.
Аннотация: Предлагается метод разработки web-приложений, позволяющий на основе задания формально верифицируемой модели иерархическими конечными автоматами обеспечить однозначное соответствие ей работающего приложения.
37. Палагин, А. В. Опыт проектирования цифровых устройств на базе ПЛИС с использованием HDL-технологии / , , // Управляющие системы и машины№6. - С. 11-20.
Аннотация: Рассмотрены вопросы проектирования цифровых устройств на ПЛИС с использованием HDL-технологии в системе ISE Foundation abhvs Xilinx. Приведены перечень основных инструментальных средств и общий алгоритм проектирования. Проанализированы возможности системы при выполнении проектных процедур. в качестве примера рассматривается разработка медианного фильтра.
38. Палагин, А. В. О проектировании реконфигурируемых устройств на основе программируемых логических интегральных схем / , // Электронное моделированиеТ.28, №4. - С. 65-74.
39. Перекрест, А. А. Преимущества использования сопроцессоров на базе ПЛИС FPGA / // Электроника: наука, технология, бизнес№6. - С. 110-113.
40. Поляков, В. И. Преобразование моделей алгоритмов / , // Известия ВУЗов. Сер, ПриборостроениеТом 55, № 10. - С. 41-46.
Аннотация: Рассматриваются преобразования регулярных выражений в конечные автоматы и обратные преобразования, относящиеся к теории алгоритмов и автоматов. Приведены преобразования этих моделей в блок-схемы и обратно.
41. Применение микроконтроллеров для синтеза цифровых конечных автоматов / , , и др. // Известия ВУЗов. Сер. Электроника : Науч.-техн. журналN5. - С. 40-44.
42. Применение эволюционного программирования на основе обучающих примеров для генерации конечных автоматов, управляющих объектами со сложным поведением / [и др.] // Известия РАН. Серия, Теория и системы управленияN 3. - С. 85-100.
Аннотация: Для генерации автоматов управления объектами со сложным поведением предлагается применять эволюционное программирование. При этом вместо известного подхода, в котором оценка качества управляющего автомата производится на основе моделирования, занимающего обычно большое время, используется подход, в котором выполняется сравнение поведения автоматов с поведением, обеспечиваемым за счет управления человеком. Особенность рассматриваемого подхода состоит в том, что он позволяет работать с объектами управления, имеющими не только дискретные, но и непрерывные параметры. Применение подхода иллюстрируется на примере создания автомата, управляющего моделью самолета в режиме “мертвая петля”.
43. Притыкин, Ю. Л. Почти периодичность, конечно-автоматные преобразования и вопросы эффективности / // Известия ВУЗов. Сер, МатематикаN 1. - С. 74-87.
Аннотация: Вводится класс существенно почти периодических последовательностей таких, что некоторый их суффикс почти периодичен (т. е. равномерно рекуррентен). Класс обобщенно почти периодических последовательностей включает в себя класс существенно почти периодических последовательностей, и доказывается, что это включение строгое. Доказывается, что класс существенно почти периодических последовательностей замкнут относительно преобразований, осуществляемых конечными автоматами и конечными преобразователями. Более того, также доказывается эффективный вариант этого утверждения. В заключение рассматриваются некоторые алгоритмические вопросы, связанные с почти периодичностью.
44. Русаков, Д. М. Алгоритм проверки включения схем в алгебраической модели программ с константами / // Программирование : Журнал издается под руковод. Отделения математических наук РАНN6. - С. 3-13.
45. Семеренко, В. П. Систолическая реализация конечных автоматов / // Оптико-електронні інформаційно-енергетичні технології : міжнародний науково-технічний журналN2. - С. 154-162.
46. Скобелев, В. Г. Автоматы над конечным кольцом: неподвижные точки автоматных отображений / // Доповіді Національної Академії наук України : Науково-теоретичний журналN 6. - С. 57-59.
Аннотация: Охарактеризовано множество неподвижных точек для автоматных отображений, которые реализуют инициальные автоматы Мили и Мура над произвольным конечным коммутативно-ассоциативным кольцом с единицей. Установлены критерии, при которых эти множества не являются пустыми, а также достаточные условия, при которых эти множества являются бесконечными.
47. Скобелев, В. В. Анализ free-running автомата над конечным кольцом / // Системні дослідження та інформаційні технології : Міжнародний науково-технічний журналN 3. - С. 130-142.
Аннотация: Исследован аналог над конечным кольцом хаотической динамической free-running системы. С позиции теории автоматов охарактеризована структура исследуемой модели. Решены задачи параметрической идентификации и идентификации начального состояния. Охарактеризована структура множества неподвижных точек словарной функции, реализуемой инициальным автоматом.
48. Скобелев, В. В. Анализ семейств хэш-функций, определяемых автоматами над конечным кольцом / // Кибернетика и системный анализ : междунар. науч.-теорет. журнN 2. - С. 56-65.
49. Скобелев, В. В. Моделирование автоматов над конечным кольцом автоматами с конечной памятью / // Проблемы управления и информатики : Международный научно-технический журналN 3. - С. 114-122.
50. Скобелев, В. В. О сложности анализа автоматов над конечным кольцом / , // Кибернетика и системный анализ : Международный научно-теоретический журналN 4. - С. 17-30.
Аннотация: Исследована общая схема, предназначенная для вычисления оценок, базирующихся на мощности подмножеств заданного множества автоматов над конечным коммутативно-ассоциативным кольцом с единицей. Предложена схема решения систем полиноминальных уравнений, базирующихся на классах ассоциируемых элементов кольца. Установлена цепочка общих характеристик автоматов над этим кольцом.
51. Соловьев, В. В. Изменение числа разрядов кода внутренних состояний при минимизации потребляемой мощности конечных автоматов / // Радиотехника и электроника : Журнал Российской Академии НаукТом 57, N 6. - С. 705-712.
Аннотация: Рассмотрены два эвристических метода кодирования внутренних состояний конечных автоматов для снижения потребляемой мощности: в первом подходе предполагается постоянное значение длины кода внутренних состояний, во втором подходе число разрядов кода изменяется от минимального значения до момента, когда увеличение разрядности кода не приводит к снижению потребляемой мощности. Показано, что второй подход отличается малой вычислительной мощностью, что допускает его использование для конечных автоматов с большим числом состояний. Экспериментально доказано, что первый метод позволяет снизить потребляемую мощность конечных автоматов по сравнению с алгоритмом NOVA в среднем на 39% (для отдельных примеров – на 68%); а второй метод, по сравнению с первым позволяет в отдельных случаях снизить потребляемую мощность на 34%. Даны рекомендации для практического использования каждого метода, определены перспективные направления дальнейших исследований в данной области.
52. Соловьев, В. В. Использование совмещенной модели автоматов Мили и Мура при реализации конечных автоматов на программируемых логических интегральных схемах / // Радиотехника и электроника : Журнал Российской Академии НаукТом 58, N 2. - С. 192-198.
Аннотация: Рассмотрена задача синтеза конечных автоматов на программируемых логических интегральных схемах (ПЛИС), особенностью которой является использование значений выходных переменных в качестве кода или части кода внутренних состояний. Для решения поставленной задачи использована совмещенная модель автоматов Мили и Мура. Главным отличием предлагаемого подхода от известных является то, что исходный конечный автомат не подвергается никаким преобразованиям, связанным с увеличением числа внутренних состояний и числа переходов конечного автомата. Приведены необходимые условия для возможности использования значений выходных переменных в качестве кода внутренних состояний конечного автомата. Представлен метод синтеза совмещенной модели AC автоматов Мили и Мура. Отражены основные результаты исследований, а также указано на возможные направления дальнейших исследований в области разработки новых структурных моделей конечных автоматов.
53. Соловьев, В. В. Минимизация конечных автоматов Мили путем склеивания внутренних состояний / // Радиотехника и электроника : Журнал Российской Академии НаукТом 56, N 2. - С. 227-235.
Аннотация: Рассмотрена задача минимизации конечных автоматов типа Мили, которая часто встречается при синтезе цифровых устройств на программируемых логических интегральных схемах. Особенностью предлагаемого подхода является использование операции склеивания двух состояний, а также представление конечного автомата в виде списка переходов. Приведены условия идентичности функционирования и детерминированности поведения конечного автомата при склеивании состояний. Рассмотрены случаи образования состояний ожидания в результате склеивания двух состояний. Представлены алгоритмы минимизации числа внутренних состояний, путей переходов и входных переменных конечных автоматов Мили. Отмечены особенности применения предлагаемого метода.
54. Соловьев, В. В. Расщепление внутренних состояний для снижения числа аргументов функций конечных автоматов / // Изв. РАН. Теория и системы управления№5. - С. 113-119.
55. Соловьев, В. В. Расщепление внутренних состояний для снижения числа аргументов функций конечных автоматов / // Изв. РАН. Теория и системы управления№5. - С. 113-119.
56. Ушкар, М. Н. Концептуальное проектирование "систем на кристалле" / // Радиотехника№8. - С. 44-49.
57. Ходырев, В. Этапы разработки устройства на ПЛИС / В. Ходырев // Радио№4. - С. 23-25.
Аннотация: Программируемые логические интегральные схемы (ПЛИС) уже давно и широко применяют для создания сложных электронных систем. Недавно подобная система на стандартных логических микросхемах малой и средней степени интеграции могла занимать несколько стоек. Сегодня ее функциональный эквивалент на ПЛИС умещается на одной печатной плате. Проектируют и отлаживают устройства на ПЛИС с помощью компьютерных автоматизированных систем проектирования (САПР), что значительно сокращает сроки разработки. Автор статьи рассказывает о порядке разработки "прошивок" ПЛИС одной из распространенных серий.
58. Цыбин, С. Интерфейсная ПЛИС повышенной надежности / С. Цыбин, А. Быстрицкий // Электроника: наука, технология, бизнес№7. - С. 60-65.
59. Цыганов, А. В. Генетический алгоритм для задачи вершинной минимизации недетерминированных конечных автоматов / // Программные продукты и системы : науч.- практ. издN 4. - С. 132-137.
Аннотация: Задача вершинной минимизации недетерминированных конечных автоматов является известной вычислительно трудной задачей комбинторной оптимизации. Для ее решения предложено большое количество точных и приближенных методов. Все известные точные алгоритмы являются переборными, поэтому часто на практике их невозможно применить даже для сравнительно небольших автоматов. В статье рассматривается новый эвристический алгоритм для задачи вершинной минимизации недетерминированных конечных автоматов, основанный на сочетании классического алгоритма Камеды-Вейнера и генетического алгоритма.
60. Цыганов, А. В. Исследование статистических свойств алгоритмов минимизации недетерминированных конечных автоматов с использованием программы REFAM / , , // Программные продукты и системы : науч.- практ. издN 4. - С. 137-141.
61. Червяков, Н. И. Реализация высокоэффективной модулярной цифровой обработки сигналов на основе программируемых логических интегральных схем / // Нейрокомпьютеры: разработка, применение№10. - С. 24-36.
62. Шумский, А. Е. Метод аккомодации к дефектам в конечных автоматах / , // Автоматика и телемеханикаN 5. - С. 122-132.
Аннотация: Рассматривается задача аккомодации к дефектам в управляемых системах, описываемых моделью конечного автомата. Решение задачи связывается с формированием управления, обеспечивающего полную развязку от вызываемых дефектами воздействий. Формулируются условия существования и предлагаются расчетные соотношения для нахождения закона управления.
Книги
6П2.15К4
А 224
63. "Автоматы, гибридные и управляющие машины", Всесоюз. совещ. по автомат. упр. (техн. кибернетике) (4 ; 1968 г. ; Тбилиси).
4-е Всесоюзное совещание по автоматическому управлению (технической кибернетике) "Автоматы, гибридные и управляющие машины", 30 сент.-5 окт., 1968 г. [Текст] : тр. совещ. / АН СССР, Нац. ком. СССР по автомат. упр. ; ред.: , . - М. : Наука, 19с.
519.713
А 24
64. Агибалов, Г. П. Декомпозиция конечных автоматов [Текст] / , . - Томск : Изд-во Томск. гос. ун-та им. , 19с.
681.322.001.63(075)
А 77
65. Апраксин, Ю. К. Основы теории и проектирования цифровых автоматов : учеб. пособие для вузов / . - Севастополь : [Изд-во Севастоп. гос. техн. ун-та], 20с.
6П2.15К42
Б 241
66. Баранов, С. И. Синтез микропрограммных автоматов [Текст] / . - Л. : Энергия. Ленингр. отд-ние, 19с.
621.38.049.771.14
Б 241
67. Баранов, С. И. Цифровые устройства на программируемых БИС с матричной структурой [Текст] / . - М. : Радио и связь, 19с.
621.316.925
Б 447
68. Беляев, А. В. Вторичная коммутация в распределительных устройствах, оснащенных цифровыми РЗА [Текст] . Ч. 1 / . - М. : Энергопрогресс : Энергетик, 20с.
621.316.925
Б 447
69. Беляев, А. В. Вторичная коммутация в распределительных устройствах, оснащенных цифровыми РЗА [Текст] . Ч. 2 / . - М. : Энергопрогресс : Энергетик, 20с.
519.1(075)
Б 81
70. Бондаренко, М. Ф. Комп'ютерна дискретна математика : навч. посіб. для студ. вищ. навч. закл., яки навчаються за напрямом "Комп'ютерні науки" / , Н. В. Білоус, . - Харків : Компанія СМІТ, 20с.
Аннотация: В підручнику викладено основні розділи дискретної математики. Теоретичний матеріал проілюстровано прикладами з різних областей знань. Наведено велику кількість вправ і задач для набуття практичного досвіду.
519.713
Б 875
71. Брауэр, В. Введение в теорию конечных автоматов [Текст] / В. Брауэр; Пер. с нем. , Ред. . - М. : Радио и связь, 19c.
621.38(075)
Б 91
72. Буняк, А. Електроніка та мікросхемотехніка : навч. посіб. для студ. техн. вищ. закл. / А. Буняк. - К. ; Тернопіль : Астон, 20с.
Аннотация: У навчальному посібнику розглянуті принципи дії, характеристика та параметри напівпровідникових прикладів, транзисторних підсилювачів, імпульсних, логічних та цифрових устаткувань Їх можливості проілюстровані на наведених прикладах. Досліджені галузі використання цих устаткувань. На їх основі будуються інтегральні схеми, які широко використовуються у наукових дослідженнях та інженерній практиці. Детально описані алгоритми математичних основ для побудови різних класів електронних устаткувань. Їх можливості проілюстровані на наведених прикладах. Досліджені галузі використання цих устаткувань. Видання призначене для студентів вузів, що навчаються за професійним спрямуванням 6.0925 "Автоматизація та комп'ютерно-інтегровані технології" і споріднених спеціальностей. Може бути корисне для інших напрямків підготовки та для інженерно-технічних працівників, які зайняті розробленням, виробництвом, експлуатацією та ремонтом електронної техніки.
519.1(075.8)
Г 657
73. Гончарова, Г. А. Элементы дискретной математики [Текст] : учеб. пособие для студ. учреждений сред. проф. образования, обуч. по спец. информатики и вычислительной техники / , . - М. : Форум : Инфра - М, 20с.
621.38.049.771.14(075)
Г 91
74. Грушвицкий, Р. Проектирование систем на микросхемах программируемой логики : учеб. пособие / Р. Грушвицкий, А. Мурсаев, Е. Угрюмов. - СПб. : БХВ - Петербург, 20с.
Аннотация: В книге систематически изложены основные архитектурные и системотехнические особенности современных больших интегральных микросхем с программируемой структурой всех ведущих производителей, в том числе особенности реконфигурируемых систем на кристалле. Рассмотрены методология маршруты проектирования и специфика основных этапов создания проектов на ИСПС с ориентацией на использование систем автоматизированного проектирования. Представлены распространенные языки описания цифровых устройств и их место в процессе проектирования. Для студентов, аспирантов, преподавателей, инженеров-разработчиков.
519.1(075.8)
Д 395
75. Дехтярь, М. И. Лекции по дискретной математике [Текст] : учеб. пособие / . - М. : ИНТУИТ : БИНОМ. ЛЗ, 20с.
519.1(075)
Д 676
76. Донской, В. И. Дискретная математика [Текст] : учеб. пособие / . - Симферополь : СОНАТ, 20с.
621.38.049.77.001.63
З-882
77. Зотов, В. Ю. Проектирование цифровых устройств на основе ПЛИС фирмы XILINX в САПР WebPACK ISE / . - М. : Горячая линия - Телеком, 20с.
Аннотация: Рассмотрен процесс создания исходного описания разрабатываемого устройства в схемотехнической и алгоритмической форме. Дан краткий справочник по унифицированным библиотекам схемотехнического редактора, включённый ввиде приложения, позволяет разработчикам использовать наиболее привычный способ представления проекта. Обзор шаблонов VHDL облегчает изучение этого языка описания аппаратуры и ускоряет создание законченных VHDL - описаний проектов. Материал изложенный в книге может быть использован в процессе самостоятельного освоения системы проектирования Foundation ISE фирмы Xilinx. Для инженерно-технических работников, может быть полезна студентам и аспирантам, специализирующимся в области цифровых систем.
519.713(075)
К 265
78. Карпов, Ю. Г. Теория автоматов : учеб. для студ. вузов, обуч. по напр. "Информатика и вычислительная техника" по спец. "Вычислительные машины, комплексы, системы и сети", "Информатика и вычислительная техника" / . - М. и др. : Питер, 20с.
Аннотация: В этом учебнике практическое использован6ие моделей не является частной иллюстрацией теоретических результатов - наоборот, автор постарался практические проблемы проектирования и анализа систем сделать отправной точкой. а формальный аппарат - средством систематического решения этих проблем. В каждом разделе книги важное внимание уделено вопросам абстрагирования и адекватной интерпретации и реализации результатов аналитических преобразований.
Имеются экземпляры 1
519.681
К 736
79. Котов, В. Е. Теория схем программ [Текст] / , . - М. : Наука, 19c.
519.713
К 889
80. Кудрявцев, В. Б. Введение в теорию автоматов [Текст] / , , . - М. : Наука, 19c.
004.2(075.8)
К 89
81. Кузин, А. В. Архитектура ЭВМ и вычислительных систем [Текст] : учеб. для студ. учреждений сред. проф. образования, обуч. по группе спец. 220200 "Автоматизация и управление" / , . - М. : Форум : Инфра - М, 20с.
519.67
К 896
82. Кук, Д. Компьютерная математика [Текст] : пер. с англ. / Д. Кук, Г. Бейз; Пер. . - М. : Наука, 19с.
Аннотация: На основе фундаментальных понятий математики, введенных в начале, математически строго описывается ряд проблем и дается их решение. Изложение, где это возможно, носит строгий математический характер. Доказательства утверждений проводятся на конструктивном уровне. Дается большое количество примеров и упражнений, результаты которых, как правило, используются в дальнейшем. Для студентов, аспирантов и научных работников, занимающихся вопросами компьютерной математики и ее приложениями.
6П2.15В2
М 147
83. Майоров, С. А. Принципы организации цифровых машин / , . - Л. : Машиностроение. Ленингр. отд-ние, 19с.
519.1(075.8)
М 166
84. Макоха, А. Н. Дискретная математика [Текст] : учеб. пособие для студ. вузов, обуч. по напр. подготовки бакалавров и магистров 511600 - "Прикладные математика и физика" / , , . - М. : Физматиздат, 20с.
Аннотация: Учебное пособие содержит традиционные разделы дискретной математики и алгебраические и теоретико-числовые основы модулярного кодирования.
Имеются экземпляры всего 4
519.7(075.8)
М 34
85. Математичні основи теорії телекомунікаційних систем [Текст] : підруч. для студ. вищ. навч. закл., які навч. за напрямом "Телекомунікації" / Ред. . - Харків : Компанія СМІТ, 20с.
Аннотация: Учебник посвящен преподаванию основных структурных и функциональных математических моделей и методов, которые составляют основу теории коммуникационных систем. Для студентов и аспирантов вузов.
681.3.066(075)
М 761
86. Молчанов, А. Ю. Системное программное обеспечение [Текст] : лаборатор. практикум / . - М. и др. : Питер, 20с.
Аннотация: В книге рассматриваются базисные теоретические основы, необходимые для построения компиляторов, основные технологические приемы и методы их реализации. Приведены различные варианты заданий для выполнения лабораторного практикума по курсу "Системное программное обеспечение" , а также примеры выполнения этих заданий. В каждом примере подробно рассматриваются все особенности его выполнения, как на этапе подготовки необходимой математической базы, так и на этапе программной реализации.
621.38.049.77(083)
Н 58
87. Нефедов, А. В. Зарубежные интегральные микросхемы для промышленной электронной аппаратуры [Текст] : справочник / , , ; ред. . - М. : Энергоатомиздат, 19с.
681.322(075)
Н 76
88. Новоселов, В. Г. Прикладная теория цифровых автоматов с вариантами схем индивидуальных заданий [Текст] : учеб. пособие для студ. : в 3-х ч. / , , ; Севастоп. приборостроит. ин-т, Учеб.-метод. каб. по высш. образованию. - К. : Изд-во Учеб.-метод. каб. по высш. образованию, 1
Ч. 1 : Проектирование комбинационных схемс.
681.322(075)
Н 76
89. Новоселов, В. Г. Прикладная теория цифровых автоматов [Текст] : учеб. пособие для студ. спец. "Компьютерная инженерия" : в 3-х ч. / ; Севастоп. гос. техн. ун-т. - Севастополь : Изд-во Севастоп. гос. техн. ун-та, 1
Ч. 2 : Диагностика схемс.
681.322(075)
Н 76
90. Новоселов, В. Г. Прикладная теория цифровых автоматов [Текст] : учеб. пособие для студ. спец. "Вычислительные машины, комплексы, системы и сети" : в 3-х ч. / ; Севастоп. приборостроит. ин-т, Ин-т систем. исслед. образования. - К. : Изд-во Ин-та систем. исслед. образования, 1
Ч. 3-4 : Синхронные и асинхронные цифровые автоматы с памятьюс.
519.713(075.8)
П 254
91. Пентус, А. Е. Математическая теория формальных языков [Текст] : учеб. пособие / , . - М. : ИНТУИТ : БИНОМ. ЛЗ, 20с.
Аннотация: Учебник посвящён классическому разделу математической лингвистики и теоретической информатики - теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью. Для студентов, аспирантов и преподавателей математических, компьютерных и лингвистических специальностей.
Имеются экземпляры всего 4
621.38.049.77(075)
П 907
92. Пухальский, Г. И. Цифровые устройства : учеб. пособие для студ. техн. спец. вузов / , . - СПб. : Политехника, 19с.
Аннотация: Изложены основы теории переключательных функций и цифровых автоматов, позволяющие простейшими методами решать задачи проектирования цифровых устройств на интегральных схемах (ИС). Даны оригинальные математические методы анализа и синтеза автоматов, основанные на операторах переходов и решений систем логических уравнений. Приведено полное аналитическое описание нескольких сот отечественных и зарубежных ИС. Приложения ориентированы на быстрый поиск цоколевки и параметров интересующей ИС по её отечественному и зарубежному обозначению.
621.38.049.77(075.8)
Р 98
93. Рябенький, В. М. Цифрова схемотехніка [Текст] : навч. посіб. для студ. вищ. навч. закл. / , , . - Львів : Новий світ - 2000, 20с.
6
С 28
94. Севастопольский государственный технический университет.
Разработка контролирующей и обучающей системы "ОККАМ" на ПЭВМ по прикладной теории цифровых автоматов [Текст] : отчет о НИР : № (отсутствует) / Севастоп. гос. техн. ун-т ; рук. работы .
6П2.15А7
С 755
95. Срибнер, Л. А. Программируемые устройства автоматики / . - К. : Техніка, 19с.
621.38.049.77
С 799
96. Стешенко, В. Б. ПЛИС фирмы ALTERA: проектирование устройств обработки сигналов / . - М. : ДОДЕКА, 20,[2] с.
6П2.15К4
Ч-651
97. Чирков, М. К. Основы общей теории конечных автоматов [Текст] / ; Ленингр. гос. ун-т им. . - Л. : Изд-во Ленингр. гос. ун-та, 19с.
Просмотрено:
СК разделы 519.1; 519.6; 519.7;621.; 681.322.
Периодические издания:
1. Автоматика и телемеханика
2. Вісник СевНТУ : зб. наук. пр.
3. Вісник Сумського державного університету. Серия, Технічні науки
4. Доповіді Національної Академії наук України
5. Известия ВУЗов. Сер, Математика
6. Известия ВУЗов. Сер, Приборостроение
7. Известия ВУЗов. Сер, Радиоэлектроника
8. Изв. вузов. Электроника
9. Известия РАН. Серия, Теория и системы управления
10. Информационные технологии
11. Кибернетика и системный анализ
12. Нейрокомпьютеры: разработка, применение
13. Оптико-електронні інформаційно-енергетичні технології
14. Проблемы управления и информатики
15. Программирование
16. Программная инженерия
17. Программные продукты и системы
18. Радио
19. Радиотехника
20. Радиотехника и электроника
21. Системні дослідження та інформаційні технології
22. Управляющие системы и машины: информационные технологии
23. Электроника: Наука. Технология. Бизнес
24. Электронное моделирование
Составитель: вед. библиограф
