Автоматизация проектирования специализированных устройств генерации полных комбинаторных перестановок элементов символьной строки

• Автор: Соболев, Сергей Сергеевич
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 2012
• Место защиты: Воронеж
• Количество страниц: 132 с. : ил.

Содержание
Введение
1. Анализ средств автоматизированного проектирования устройств генерации полных комбинаторных и возможности их применения для обеспечения безопасности распределенных СУБД.
1.1. Современное состояние и развитие микрокомпонентной базы устройств генерации комбинаторных перестановок.
1.2. Проектирование устройств генерации комбинаторных перестановок на основе функциональных блоков.
1.3. Применение генерации полных комбинаторных перестановок в сфере информационной безопасности. Постановка задачи.
2. Методика проектирования и математическое обеспечение моделирования генерации полных комбинаторных перестановок с отсевом недопустимых перестановок.
2.1. Методика проектирования специализированных устройств генерации полных комбинаторных перестановок
2.2. Метод генерации поведенческого описания, ЩЬописания и тестового окружения для блока генерации перестановок

2.3. Математическое обеспечение генерации полных комбинаторных перестановок.

2.3.1. Алгоритм генерации полных комбинаторных перестановок с применением циклического сдвига
2.3.2. Локализация неподвижных точек и алгоритм их отсева при комбинаторной генерации перестановок.
2.3.3. Локализация инволюций и алгоритм их отсева при комбинаторной генерации перестановок.
3. Моделирование генерации перестановок на системном уровне и ЯТЬуровне.
3.1. Моделирование генерации перестановок на системном уровне
3.2. Моделирование генерации перестановок на ЯТЬуровне
4. Структура и функциональность программного комплекса и оценка эффективности
4.1. Особенности разработанного программного обеспечения и его внедрения в САПР специализированных устройств генерации комбинаторных перестановок
4.2. Оценка эффективности разработанного программного комплекса 1 Основные результаты работы
Список литературы


Целью исследования является разработка средств проектирования: методики, моделей, методов и алгоритмов для специализированных устройств генерации полных комбинаторных перестановок элементов символьной строки. Методы исследования. В качестве теоретической и методологической основы диссертационного исследования использованы элементы теории автоматизированного проектирования, множеств, дискретной математики, методы и средства структурно-функционального моделирования, технологии объектно-ориентированного и событийно-ориентированного программирования, а также мета-программирования. Практическая значимость и результаты внедрения. Практическая значимость работы заключается в улучшении качества проектных работ и сокращении жизненного цикла проектирования специализированных устройств генерации полных комбинаторных перестановок за счет внедрения аппаратно-программных средств. На основе предложенных методов, математических моделей и алгоритмов разработано программное обеспечение. Оно внедрено в ЗАО НПП «РЕЛЭКС» (г. Воронеж) с экономическим эффектом 5 тыс. Информационные системы и технологии», а также аспирантов и докторантов по специальности - Системы автоматизации проектирования). Полученные средства позволяют снизить трудоемкость, сократить время разработки и минимизировать риск субъективных ошибок при проектировании специатизированных устройств генерации комбинаторных перестановок элементов символьной строки. Соответствие паспорту специальности. САПР, разработка и исследование моделей, алгоритмов и методов для синтеза и анализа проектных решений, включая конструкторские и технологические решения в САПР и АСТПП. Апробация работы. Проблемы управления, передачи и обработки информации» (Саратову), Международной научно-практической конференции «Молодежь и наука: реальность и будущее» (Невинномыск, ), Всероссийской конференции с элементами научной школы для молодежи «Математическое моделирование в технике и технологии» (Воронеж, ), Международной научно-практической конференции «Современные проблемы гуманитарных и естественных наук» (). Публикации результатов работы. По теме диссертации опубликовано работ, в том числе 6 статей в изданиях Перечня, определенного ВАК Минобрнауки России, 1 монография, 1 свидетельство об официальной регистрации программ для ЭВМ, а также 1 патент на изобретение. Личное участие заключается в определении цели и задач работы [1-3, -], в выполнении научно-технических исследований [-], разработке и анализе моделей [4, 5, , , ], разработке алгоритмов [-], разработке методики проектирования [6, 7, , , ], программной реализации [9] и аппаратной реализации [8]. Структура и объём работы. Диссертация состоит из введения, четырех глав, заключения, изложенных на 9 страницах, включающих в себя список литературы из 4 наименований, рисунков и таблиц. Бурное развитие электронной промышленности является одной из важнейших тенденций в современном обществе. Успехи в области микроэлектроники определяют прогресс любого государства в целом и находят свое отражение в науке, технике и даже в повседневной жизни. Наиболее значительные изменения в микроэлектронике и в радиоэлектронной индустрии в целом произошли именно в последнее десятилетие: быстрое сокращение проектных норм вследствие развития полупроводниковых технологий привело к возможности размещения десятков и сотен миллионов транзисторов на одном кристалле, и вследствие, интегрировать на один кристалл, помимо процессорного ядра, большое количество сложнофункциональных (СФ) узлов. В результате, появились все предпосылки к созданию интегральных схем нового поколения, сочетающих в себе преимущества традиционных заказных изделий класса ASIC, микросхем программируемой логики и интегрирующих широкий диапазон системных ресурсов для большей функциональности. Такой класс микросхем был отнесен к группе изделий системного уровня интеграции (SLI, System Level Integration) []. Преимуществами такого подхода стали повышение производительности, снижение энергопотребления, уменьшение цены и физических размеров конечного изделия.