Заказать работу


Тип работы:
Предмет:
Язык работы:


Методы минимизации функции одной переменной

Работа №76875
Тип работыДипломные работы, ВКР
Предметматематика
Объем работы75
Год сдачи2016
Стоимость4790 руб.
ПУБЛИКУЕТСЯ ВПЕРВЫЕ
Просмотрено 4
Не подходит работа?

Узнай цену на написание

Введение
1. Методы минимизации функций одной переменной 6
1.1 Понятие оптимизации функций 6
1.1.1 Определение границ объекта оптимизации 7
1.1.2 Выбор управляемых переменных 8
1.1.3 Определение ограничений на управляемые переменные 8
1.1.4 Выбор числового критерия оптимизации 9
1.1.5 Формулировка математической задачи оптимизации 10
1.2 Постановка задачи на проектирование 15
2 Выбор средств разработки и проектирование программного средства 16
2.1 Выбор языка и среды программирования 16
2.2 Описание основных алгоритмов 24
2.2.1 Алгоритм оптимизации центральной силы 24
2.2.2 Гармонический поиск 24
2.2.3 Гравитационный поиск 27
2.3 Разработка структуры программы 30
2.3.1 Класс «TFunctionVariable» 33
2.3.2 Класс «TCustomFunction» 34
2.3.3 Класс «TCustomFunction» 35
2.3.4 Класс «TParticleBasedSearchEngine» 37
2.3.5 Класс «TCentralForceOptimizationEngine» 38
2.3.6 Класс «THarmonySearchEngine» 39
2.3.7 Класс «TGravitationalSearchEngine» 39
3 Анализ полученного решения 41
3.1 Описание работы программы 41
3.2 Сравнительный анализ рассмотренных методов 48
Заключение 50
Список использованной литературы 53
Приложение

Широкое внедрение вычислительной техники и систем управления во все сферы человеческой деятельности и усложнение задач, решаемых этими системами, требуют совершенствования существующих методов логического проектирования цифровых устройств и разработки новых. Логическое проектирование при этом понимается в широком смысле, включая не только статику систем, т.е. их структуру и функциональные связи, но и анализ динамики как на уровне структуры, а также на уровне переходных процессов, связанную с изменением временными характеристиками элементов и переменных. Поэтому исследования, направленные на развитие методов логического проектирования цифровых устройств, обеспечивающих упрощение процедуры проектирования, улучшение основных характеристик ЦУ, а также снижение времени и стоимости разработки никогда не потеряют своей актуальности. [1, 2]
Проблеме логического проектирования цифровых устройств посвящено большое число работ, большинство из них основано на представлении логических функций (ЛФ) в точках области их определении значениями логического 0 или 1.
В то же время со многими положительными сторонами такого представления оно имеет и ряд отрицательных, а именно при большом числе переменных, так как при возрастании числа переменных происходит обвальное увеличением количества точек области определения и, как следствие, затруднение в процедуре синтеза и анализа, связанное с решением объёмных совмещенных задач. Эти недостатки существенны не только при аналитических методах, но также при использований программных средств анализа и синтеза. [2, 12-15]
А так же многие исследователи пошли по пути нестандартных подходов к преобразованию и представлению логических функций, основанном на концепции многозначного алфавита, конечных логических
К предлагаемому нетрадиционному способу можно отнести представление функций одной переменной в форме обобщённых, когда значения функции в точках её области определения заданы не только значением логического 0 и 1, но и независимыми или зависимыми параметрами. В частности, к такой форме можно отнести неполное разложение Шеннона. Вместе с тем, коэффициенты, образуемые литералами переменных, по которым выполняется разложение, можно рассмотреть как координаты точек области определения, а остаточные функции — как параметра определяющие значения функции в этих точках. Такой подход ведёт к существенному уменьшению числа точек области определения, что служит облегчению процедуры логического проектирования цифровых устройств, учитывая, связанные с представлением и минимизацией функций, синтезом комбинационных схем и автоматов с памятью, решением задач динамики цифровых устройств, связанных с анализом состязаний в комбинационных схемах, а также нахождением булевых производных.
Цель работы — разработка методов и алгоритмов логического проектирования цифровых устройств, обеспечивающих упрощение процедуры и снижение времени проектирования, основанных на представлении и преобразовании функций одной переменной в обобщённой форме.
Поставленная цель работы предполагает решение следующих задач:
- провести анализ современного состояния методов логического проектирования цифровых устройств;
- разработать программное обеспечение для сравнения
эвристических методов минимизации функций.


Возникли сложности?

Нужна помощь преподавателя?

Помощь в написании студенческих
и аспирантских работ!


В дипломной работе выполнено теоретическое обобщение и получены новые решения научно-прикладных задач, которые состоят в развитии известных и разработке новых методов и алгоритмов анализа и синтеза цифровых устройств вычислительной техники и систем управления.
Предложен и исследован метод многоверсионной минимизации традиционных переключательных функций, основанный на сжатии области определения функции по комплементарным подмножествам с последующей минимизацией в каждой из полученных областей. В ходе исследования установлено, что при корректном выделении массива минтермов, которому соответствует простая импликанта минимально возможного ранга, номера точек, образующие такой массив в области определения, сжатой по одному из подмножеств переменных, совпадают с индексами минтермов, образующих массив в области определения, сжатой по комплементарному подмножеству переменных. Несовпадение результатов свидетельствует об ошибке, допущенной на этапе выделения правильных конфигураций, результатов их описания или процедуре минимизации.
Предложен и исследован метод анализа состязаний в комбинационных схемах, основанный на последовательном сжатии области определения функции по каждой из переменных. При этом установлено, что представление функций в форме ОЛФ в этом случае выступает как значительно большее, чем простое сокращение числа точек области определения, поскольку позволяет определить наличие или отсутствие состязаний по каждой из переменных непосредственно по характеру полученных значений функции в точках сжатой области определения.
При синтезе комбинационных схем (многоразрядных параллельных сравнивающих устройств), а также многофункциональных триггерных устройств представление функций в форме ОЛФ позволяет уменьшить число точек области определения, что упрощает процедуру проектирования за счёт
При проектировании конечных автоматов Мили, в частности, формирователей временных интервалов с перестраиваемыми параметрами выходных сигналов, основной проблемой является не собственно синтез автомата как такового, а нахождение оптимального по сложности представления функций выхода автомата. Представление функций в форме ОЛФ, обеспечило не только уменьшение числа точек области определения, что привело к упрощению процедуры проектирования, но и позволило оптимальным образом привязать режимы настройки формирователей к его состояниям, что обеспечило выбор оптимального варианта.
Проведенное компьютерное моделирование одного из вариантов программируемого интервального таймера с перестраиваемой длительностью тактов, подтвердило достоверность полученных результатов его синтеза.
При синтезе универсальных логических модулей с памятью, реализующего программируемый список функций от двух переменных, выполненного в виде триггера Эрла, представление функций в форме ОЛФ позволило выполнить оптимальное их размещение в точках области определения, которому соответствует минимальное число простых импликант, определяющих структуру УЛМ с памятью, исключив процедуру перебора.
Представление функций в форме ОЛФ дало возможность упростить инженерную методику нахождения частных, кратных и векторных булевых производных, используемых при моделировании неисправностей, декомпозиции булевых функций, задачи обнаружения статических и динамических ошибок в комбинационных схемах, и т.д., за счёт исключения аналитических представлений к связанных с ними преобразований.
Практическая ценность работы заключается в доведении полученных теоретических результатов до конкретных алгоритмов, методов, программ и схем цифровых устройств, проиллюстрированных примерами. Основные практические результаты сводятся к следующему:
- представление традиционных функций одной переменной в форме ОЛФ позволяет упростить процедуру минимизации, а разработанные программные средства сжатия области определения дают возможность использования их в пакетах систем автоматизированного проектирования;
- предложенный метод многовариантной минимизации функций одной переменной позволяет обеспечить контроль достоверности проведенных преобразований и минимальность полученных результатов.



1. Астелс, Дэвид; Миллер Гранвилл; Новак, Мирослав, Практическое руководство по экстремальному программированию, Пер. с англ. - М.: Издательский дом "Вильямс", 2008. - 320 с.: ил. - Парал. тит. англ
2. Баженова И. Ю. , Основы проектирования приложений баз данных, Издательства: Бином. Лаборатория знаний, Интернет-университет информационных технологий, 2008 г., , 328 стр.
3. Бибило П.Н. Синтез комбинационных ПЛМ-структур для СБИС. - Минск: Наука и техника, 1992. - 232с.
4. Биргер А.Г. Многозначное дедуктивное моделирование цифровых устройств // Автоматика и вычислительная техника. 1982. №4. С.77-82.
5. Бохманн Д., Постхоф X. Двоичные динамические системы.- М.: Энергоатомиздат, 1986,- 400с.
6. Введение в системы баз данных - СПб: Издательский дом "Вильямс", 2008. - 848 с.;
7. Вигерс Карл, Разработка требований к программному обеспечению, Пер, с англ. - М.:Издательско-торговый дом "Русская Редакция", 2007. -576с.: ил
8. Вигерс Карл, Разработка требований к программному обеспечению, Пер, с англ. - М.:Издательско-торговый дом "Русская Редакция", 2008. -576с.: ил
9. Виленкин Н.Я. Популярная комбинаторика.- М.: Наука, 1975. - 208 с.
10. Гашков С. Б., Э. А. Применко, М. А. Черепнев Криптографические методы защиты информации, М, Издательство: Академия, 2010 г., 304 стр.
11. Гвоздева Т. В., Б. А. Баллод, Проектирование информационных систем, М, Издательство: Феникс, 2009 г., 512 стр.
12. Глушков В.М. Некоторые проблемы синтеза цифровых автоматов /г Вычислительная математика и математическая физика, 1961, т.1, №3. — С. 371-411.
13. Глушков В.М. Об одном алгоритме синтеза конечных автоматов // Украинский математический журнал, 1960, т. 12, №2. - С. 147-156.
14. Глушков В.М. Об одном методе анализа абстрактных автоматов // ДАН УССР, 1960, т. 12, №9. - С. 1151-1154.
15. Глушков В.М. Синтез цифровых автоматов.- М.:Физматгиз, 1962.-476 с.
16. Голицына О. Л., И. И. Попов, Н. В. Максимов, Т. Л. Партыка, Информационные технологии, М, Издательство Инфра-М, 2009 г., 608 стр.
17. Гольдберг Е.И. Метод оптимальной реализации на ПЛМ цифровых устройств, описываемых многозначными функциями. - Дис.канд.техн.наук: 05.13.12.-Минск, Институт технической кибернетики АН Беларуси, 1995.177 с.
18. ГОСТ 34.601-90. Информационная технология.
Автоматизированные системы. Стадии создания
19. ГОСТ Р ИСО/МЭК 12207/99. Государственный стандарт РФ. Информационная технология. Процессы жизненного цикла информационных систем. Издание официальное. - М., 1999
20. Девятков В.В. Методы реализации конечных автоматов на сдвиговых, регистрах. - М.: Энергия, 1974. - 80 с.
21. Денисенко Е. Л. Иерархический синтез асинхронных автоматах на программируемых логических интегральных схемах (ПЛИС) с учетом, ограничений // УСиМ, 1997, №1/3, - С.72-77.
22. Денисенко Е.Л. Сеть параллельных автоматов // УСиМ, 1998, №3. -С. 3436.
23. Дж.Ф.Уэйкерли. Проектирование цифровых устройств. - М.:
Постмаркет, 2002. т. 1 - 544 е., т. II-528 с.
24. Дэвид Флэнаган. JavaScript. Подробное руководство: Учебник - М.: Символ Плюс, 2008. 243 - 249 с.
25. Емельянова Н. З., Партыка Т. Л., И. И. Попов, Проектирование информационных систем, М, Издательство: Форум, 2009 г., 432 стр.
26. Закревский А.Д. Алгоритмы синтеза дискретных автоматов. - Москва: Наука, 1971.-512 с.
27. Закревский А.Д. Логический синтез каскадных схем. - Москва: Наука, 1981.-416 с.
28. Илюшечкин В. М. , Основы использования и проектирования баз данных, М, Издательство Юрайт, 2010 г., 224 стр.
29. Коробкова E.H. О применении метода сжатия области определений функций одной переменной к нахождению булевых производных // Открытые информационные и компьютерные интегрированные технологии- Харьков: НАКУ. -2003. - Вып. 18.- С. 177-186.
30. Коробкова E.H. Приложение свойств обобщённых функций одной переменной к синтезу многофункциональных триггерных устройств // XVIII научные чтения. БГТУ им. В.Г. Шухова. Часть 6. - Белгород. - 2007. - С. 40-42.
31. Котляров В. П., Т. В. Коликова, Основы тестирования
программного обеспечения, Издательства: Интернет-университет
информационных технологий, Бином. Лаборатория знаний, 2009 г., 288 стр.
32. Кузин А. В., С. В. Левонисова, Базы данных, М, Издательство: Академия, 2008 г., 320 стр.
33. Леффингуелл Д., Уидриг Д, Принципы работы с требованиями к программному обеспечению, М.: ИД "Вильямс", 2008
34. Макарова Н.В Информатика: Учебник, М.: Финансы и
статистика, 2008. - 768 с
35. Меняев М.Ф, Информационные технологии управления: Книга 3: Системы управления организацией, М.: Омега-Л, 2007. - 464 с
36. Молчанов А. Ю., Системное программное обеспечение, М, Издательство: Питер, 2010 г., 400 стр.
37. Незнанов А. А., Программирование и алгоритмизация, М, Издательство: Академия, 2010 г., 304 стр.
38. Пирогов В. Ю., Информационные системы и базы данных. М, Организация и проектирование, Издательство: БХВ-Петербург, 2009 г.528 стр.
39. Реляционные базы данных: практические приемы оптимальных решений. - СПб.: БХВ-Петербург, 2009 - 400с.:ил;
40. Схемы алгоритмов, программ, данных и систем. Условные обозначения и правила выполнения. ГОСТ 19.701-90 (ИСО 5807-85) / Государственный комитет СССР по управлению качеством продукции и стандартам, 01.01.1992.
41. Фаулер М, Скотт К, UML в кратком изложении. Применение стандартного языка объектного моделирования, Пер. с англ. - М.:Мир, 2009. - 191 с., ил.
42. Чипига А. Ф., Информационная безопасность
автоматизированных систем, М, Издательство: Гелиос АРВ, 2010 г., 336 стр.
43. Чернышев Ю.О. Оптимизация вычислительных структур цело-численными методами теории потоков в сетях: дис. ... докт. техн. наук. / Ю.О. Чернышев. - Таганрог, 1979. - 429 с.
44. Чернов Н.И. Разработка основ теории логического синтеза компонентов СБИС в линейных пространствах: дис. ... докт. техн. наук. / Н.И. Чернов. - Таганрог, 2003.- 335 с.
45. Курейчик В.М. Адаптация на основе самообучения. / В.М. Курей¬чик, Б.К. Лебедев, О.Б. Лебедев, Ю.О. Чернышев. - Ростов н/Д: РГАС- ХМ ГОУ, 2004. - 146 с.
46. Поспелов Д.А. Логические методы анализа и синтеза схем; изд. 3¬е, перераб. и доп. / Д.А. Поспелов. - М.: Энергия, 1974. - 368 с.
47. Лебедев Б.К. Адаптация в САПР: монография. / Б.К. Лебедев. Таганрог: Изд-во ТРТУ, 1999. - 160 с.
48. Гольдберг Е.И. Метод оптимальной реализации на ПЛМ цифровых устройств, описываемых многозначными функциями.- Дис.канд.техн.наук: 05.13.12.-Минск, Институт технической кибернетики АН Беларуси, 1995.177 с.
49. Коробкова E.H. О применении метода сжатия области определений функций одной переменной к нахождению производных // Открытые информационные и компьютерные интегрированные технологии- Харьков: НАКУ. -2003. - Вып. 18.- С. 177-186.
50. Поттосин Ю.В. Методы минимизации числа состояний
дискретного автомата (обзор) // АиТ, 1971, №8. - С.78-93.
51. Поттосин Ю.В., Шестаков Е.А. Приближенные алгоритмы
параллельной декомпозиции автоматов // АВТ, 1981, №2. - С. 31-38.
52. Проектирование и диагностика компьютерных систем и сетей: Учебн. пособие /М.Ф.Бондаренко, Г.Ф.Кривуля, В.Г. Рябцев, С.А.Фрадков, В.И.Хаханов.- К: НМЦ ВО, 2000.- 306с.


Работу высылаем на протяжении 30 минут после оплаты.

Пожалуйста, укажите откуда вы узнали о сайте!


Подобные работы


© 2008-2021 Cервис помощи студентам в выполнении работ
.