Задание 2 - Расчет функциональных параметров схем (1132387)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Практическое задание №2.Расчет функциональных параметров схем.Общее описание заданияЗадание представляет вторую часть составного задания по анализу и классификациилогических схем. Основная цель указанного задания реализация алгоритмов извлеченияфункциональных параметров для заданной логической схемы. Задание выполняется наоснове программы, написанной при выполнении практического задания №1.Задание выполняется в той же папке в Dropbox, в которой выполнялось первоезадание. При этом обязательно должна быть сделана резервная копия первого задания,которая будет использоваться при проверке первого задания и на ее основе будетвыставлена оценка за первое задание.

При этом при выполнении второго заданияиспользуется тот же репозиторий Git, который использовался для выполнения первогозадания. Работа каждого студента, как и прежде, будет оцениваться в первую очередь потем commit-ам, которые он сделал. Так как это Ваш первый опыт парной работы сиспользованием системы контроля версий, рекомендуется, чтобы у Вас была локальнаякопия сделанной работы. Это позволит минимизировать риск потери работы принесогласованной работе с системой контроля версий.Распределение студентов по группам соответствует распределению для первогозадания.Для тестирования результатов выполнения практического задания на сайте кафедрыбудет выложен набор тестовых схем.

Кроме того, программа будет тестироваться наскрытом наборе схем.Результаты выполнения практического задания сопровождаются отчетом опроделанной работе, подробной инструкцией по сборке и запуске программы и makefileом.Любые вопросы по заданию присылать по электронной почте на следующий адрес:mikle.shupletsov@gmail.com.Тема письма имеет следующий формат: [318] [Фамилия Имя] [Вопрос].Модификация структур данных для хранения структурылогической схемы.Возможно, что при выполнении практического задания потребуется изменить(модифицировать или дополнить) структуры данных, которые были написаны привыполнении первого практического задания.

Предполагается, что указанныемодификации и дополнения будут сделаны на основе уже существующего кода, а ненаписаны с нуля. Если потребуется «абсолютно все переписать», то тогда в отчете должнобыть конструктивное описание (содержательный анализ) того, почему исходный коднельзя было модифицировать.Интеграция с пакетом для работы с BDD.Предполагается, что часть задания можно реализовать на базе двоичных решающихдиаграмм (BDD):http://en.wikipedia.org/wiki/Binary_decision_diagramДля этого необходимо в проект интегрировать пакет или библиотеку для работы с BDD.С основными пакетами и библиотеками для работы с BDD можно ознакомиться последующей ссылке:https://github.com/johnyf/tool_lists/blob/master/bdd.mdРекомендуемые к использованию библиотеки для работы с BDD:1.

http://sourceforge.net/projects/buddy/2. http://vlsi.colorado.edu/~fabio/CUDD/Функциональные параметры схемы.Предполагается, что в рамках задания каждая группа реализует алгоритмы расчетавыбранного ими набора функциональных параметров логической схемы.Функциональными параметрами считаются любые параметры, связанные сособенностями функционирования логической схемы и реализуемыми ею функциями.Например, особенности распределения существенных переменных, структура множествафункций, реализуемых в вершинах схемы, структура множества функций, реализуемыхподсхемами с заданным набором структурных ограничений и т.д. При этом этот набордолжен включать в себя как ряд обязательных параметров (у каждой группы наборобязательных параметров определяется индивидуально).

При этом поощряется реализацияалгоритмов расчета дополнительных параметров, которая будет оцениваться отдельно.Распределение обязательных параметров по группам:1. Группа №1:a. распределение числа существенных переменных по всем вершинам схемы(доля тех вершин, у которых число существенных переменных равнозаданному значению);b. распределение функций алгебры логики из предполных классов,реализуемых во входных конусах без ветвления выходов ширины три повсем вершинам логической схемы (доля тех вершин, у которых одинаковыйспектр предполных классов (спектром предполных классов назовем вектордлины пять (T0,T1,S,L,M), в котором на заданной позиции стоит 1, еслисреди конусов без ветвления выходов ширины три рассматриваемойвершины найдется конус, реализующий функцию и соответствующегопредполного класса, и 0 - иначе)).2.

Группа №2:a. распределение числа наблюдаемых выходов по всем вершинам схемы (долятех вершин, у которых число наблюдаемых выходов равно заданномузначению);b. распределение функций алгебры логики из предполных классов,реализуемых во входных конусах ширины три по всем вершинамлогической схемы (доля тех вершин, у которых одинаковый спектрпредполных классов (спектром предполных классов назовем вектор длиныпять (T0,T1,S,L,M), в котором на заданной позиции стоит 1, если средиконусов ширины три рассматриваемой вершины найдется конус,реализующий функцию и соответствующего предполного класса, и 0 иначе)).3. Группа №3:a. распределение весов существенности по всем переменным логическойсхемы (доля тех вершин от всего количества вершин в схеме, у которыхзаданная переменная является существенной);b.

спектр функций алгебры логики, реализуемых входными конусами безветвлений выходов ширины три (доля тех различных входных конусов безветвлений выходов, взятых по всем вершинам логической сети, которыереализуют заданную функцию алгебры логики от трех переменных).4. Группа №4:a. распределение весов наблюдаемости по всем выходам логической схемы(доля тех вершин от общего числа вершин, для которых заданный выходявляется наблюдаемым);b. спектр функций алгебры логики, реализуемых входными конусами ширинытри (доля тех различных входных конусов, взятых по всем вершинамлогической сети, которые реализуют заданную функцию алгебры логики оттрех переменных).5.

Группа №5:a. Распределение числа монотонных и инмонотонных существенныхпеременных по всем вершинам схемы (доля тех вершин, у которых числомонотонных и инмонотонных существенных переменных равно заданномузначению);b. распределение числа различных функций алгебры логики, реализуемых вовходных конусах без ветвлений выходов ширины три по всем вершинамлогической схемы (доля тех вершин, у которых число различных функцийалгебры логики реализуемых во входных конусах без ветвлений выходовширины три равно заданному значению).6. Группа №6:a. распределение весов монотонной и инмонотонной существенности по всемпеременным логической схемы (доля тех вершин от всего количествавершин в схеме, у которых заданная переменная является монотоннойсущественной переменной, и доля тех вершин от всего количества вершин всхеме, у которых заданная переменная является инмонотоннойсущественной переменной);b. Распределение числа различных функций алгебры логики, реализуемых вовходных конусах ширины три по всем вершинам логической схемы (долятех вершин, у которых число различных функций алгебры логикиреализуемых во входных конусах ширины три равно заданному значению).Каждая группа может дополнительно реализовать расчет любого количества параметров,представленных в Приложении 1, а также предложить и реализовать расчет параметров,которые не представлены в указанном приложении.

Реализация расчета дополнительныхпараметров будет оцениваться отдельно.Приложение 1.1. распределение числа существенных переменных по всем вершинам схемы (долятех вершин, у которых число существенных переменных равно заданномузначению);2. распределение числа наблюдаемых выходов по всем вершинам схемы (доля техвершин, у которых число наблюдаемых выходов равно заданному значению);3. распределение весов существенности по всем переменным логической схемы (долятех вершин от всего количества вершин в схеме, у которых заданная переменнаяявляется существенной);4. распределение весов наблюдаемости по всем выходам логической схемы (доля техвершин от общего числа вершин, для которых заданный выход являетсянаблюдаемым);5.

распределение числа монотонных и инмонотонных существенных переменных повсем вершинам схемы (доля тех вершин, у которых число монотонных иинмонотонных существенных переменных равно заданному значению);6. распределение весов монотонной и инмонотонной существенности по всемпеременным логической схемы (доля тех вершин от всего количества вершин всхеме, у которых заданная переменная является монотонной существеннойпеременной, и доля тех вершин от всего количества вершин в схеме, у которыхзаданная переменная является инмонотонной существенной переменной);7. распределение числа различных функций алгебры логики, реализуемых во входныхконусах ширины три по всем вершинам логической схемы (доля тех вершин, укоторых число различных функций алгебры логики реализуемых во входныхконусах ширины три равно заданному значению);8.

распределение числа различных функций алгебры логики, реализуемых во входныхконусах без ветвлений выходов ширины три по всем вершинам логической схемы(доля тех вершин, у которых число различных функций алгебры логикиреализуемых во входных конусах без ветвлений выходов ширины три равнозаданному значению);9. спектр функций алгебры логики, реализуемых входными конусами ширины три(доля тех различных входных конусов, взятых по всем вершинам логической сети,которые реализуют заданную функцию алгебры логики от трех переменных).10.

спектр функций алгебры логики, реализуемых входными конусами без ветвленийвыходов ширины три (доля тех различных входных конусов без ветвленийвыходов, взятых по всем вершинам логической сети, которые реализуют заданнуюфункцию алгебры логики от трех переменных).11.

Характеристики

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов учебной работы