Анализ и синтез при создании ЭВМ. Концепция синтеза. Структура множества Q.
Рассмотрим общий подход к одновременному синтезу модели системы и способов её применения. Будем характеризовать систему на каждый момент времени tÎT n -ым вектором состояний x со следующими компонентами:
- компоненты, отражающие расположение в пространстве;
- компоненты, отражающие состояние агрегатов и подсистем, зоны воздействия, влияния, обмена и т.п..
В процессе функционирования в момент времени t ÎT вектор x принимает значение элемента из множества до допустимых значений X. T - допустимая длительность функционирования системы. Тогда процесс функционирования системы будем характеризовать парой элементов из множеств T и X, которую определим следующим образом.
Определение 2.1. Множество R = X×T (декартово произведение множеств X и T) есть множество допустимых значений ПВС системы, зон воздействия, обмена и т.п. в процессе решения целевой задачи.
На множестве R в процессе синтеза модели системы формируется множество требуемых ПВС системы, которое определим следующим образом.
Определение 2.2. Множество требуемых пространственно - временных состояний (ПВС) системы (объекта), зон воздействия, обмена и т.п. при решении целевой задачи Q ÌR называется районом сосредоточения основных усилий системы (РСОУ). (В данной статье это модель функционирования ПС. Программа в действии).
Q –данное множество есть модель действия в силу следующего. Объект существует в пространстве и времени. Движение есть изменение пространства и времени. Поэтому декартово произведение множеств требуемых пространственных и временных состояний определяет движение. Каково действие (проявление энергии), таково и движение.
|
|
|
Так как обычно процесс применения характеризуется, в первую очередь способом, то определим его и сравним с РСОУ.
Определение 2.3. Способ действий - это порядок и приемы использования системы для решения целевых задач. (Способ преобразований символов в памяти).
Базовые элементы способа действий.
- последовательность реализации возможностей системы, согласованной и объединенной целью функционирования (предназначением);
- район сосредоточения основных усилий системы;
- характер изменения ПВС системы.
Сопоставляя поэлементно определения РСОУ и Способа действий можно увидеть в этих понятиях общую сущность, при этом характеристики РСОУ носят конструктивный характер и всегда вычислимы.
На каждом элементе множества Q система выполняет "работу" с определенной производительностью, определение которой следующее.
Определение 2.4. Производительностью системы называется величина (функция), характеризующая способность решения определенного количества целевых задач системой в единицу времени. (Например, количество требуемых символов, преобразованных в памяти за единицу времени).
|
|
|
Производительность системы в области компьютерных технологий это базовая характеристика процессора ЭВМ. Производительность системы зависит от возможностей системы и механизмов реализации этих возможностей. Поэтому приведем соответствующие определения.
Определение 2.5. Возможности - это количественные и качественные показатели, характеризующие способность системы по выполнению определенных целевых задач за установленное время в конкретной обстановке. Количественно оцениваются вектором возможностей v(r) ÎV, где V ограниченное, замкнутое множество. (V- множество команд ЭВМ, ресурсы; в том числе и временные).
Особо необходимо рассмотреть вопрос определения компонент вектора возможностей, так как команды определяются как функции в виде правил, а не в виде графиков (как, например, в математическом анализе). Для этого необходимо использовать аппарат лямбда-исчисления [4].
Определение 2.6. Эффективность применения (ЭП) это свойство системы, которое характеризуется степенью реализации возможностей системы в процессе решения целевых задач. Оценивается величиной I ( показатель ЭП) с учётом затрат материальных средств, различных ресурсов и времени. (Второе базовое понятие). ( В статье показатель ЭП - требуемое количество требуемых символов, реализующее логическую последовательностью выполнения команд в памяти при функционировании целевой ПС).
|
|
|
Для существующих ЭВМ разработчик ПС «пишет» её в виде цепочки символов, реализующей логическую последовательностью выполнения команд в памяти при функционировании целевой ПС. Для такого класса систем эффективность применения (свойство ПС) характеризуется 2-мя состояниями: «решает» или «не решает» ПС поставленную задачу. Или если показатель ЭП I равен требуемому количеству требующихся символов, то задача решается, если I не равен, то задача не решается. При этом значение I обеспечивает требуемое количество, а как будет показано в следующем определении 2.7., множество правил исполнения команд ЭВМ(U) обеспечивает номенклатуру требующихся символов. На практике получается, что разработчик алгоритмически реализует целостность ПС и доверяет её (целостность ПС) памяти ЭВМ, которая способна реализовать ПС только в идеальных, расчётных условиях – как без выхода из строя аппаратной части, так и без целенаправленного изменения, как содержания, так и последовательности выполнения команд злоумышленником.
|
|
|
Естественно в такой постановке не рассматривать алгоритмические ошибки и некорректности на этапе разработки ПС.
Для достижения требуемого уровня ЭП должны существовать определённые механизмы реализации возможностей, заложенных в системе разработчиком. У ЭВМ эти механизмы характеризуются правилами выполнения команд, то есть отношениями команд и механизмами их исполнения. Правила выполнения команд в модели реализуются управлением.
Определение 2.7. Управление системой - это целенаправленное воздействие разработчика, руководителя системы на систему с целью обеспечения требуемой ЭП в различных условиях обстановки. Реализуется вектором управления u(r) ÎU, где U - замкнутое, ограниченное множество. (U - множество правил выполнения команд ЭВМ).
Как и в случае рассмотрения вектора возможностей необходимо рассмотреть вопрос определения компонент вектора управления, так как компоненты вектора управления определяются как функции в виде правил, а не в виде графиков (как, например, в математическом анализе). Для этого также необходимо использовать аппарат лямбда-исчисления [4].
Процессор ЭВМ на множестве требуемых пространственно-временных состояний памяти осуществляет требуемые преобразования требуемых символов. Поэтому естественно предположить, что система в каждой точке пространственной области Q "что-то делает" с определенной производительностью в соответствии со своим предназначением, характеризуемой функцией j(r). (То есть плотность распределения производительности системы в пространстве). Если с каждой точкой М определенной пространственной области связана некоторая скалярная или векторная величина, то говорят, что задано поле этой величины, соответственно, скалярное или векторное. Предположим, что система в процессе функционирования формирует некоторое поле эффективности I (Q), (интеграл – функция множества, по которому осуществляется интегрирование), где Q Ì R. Зная свойства поля и проинтегрировав его ППЭ j(r) по области Q можно получить результат действия системы по всей области Q (РСОУ). Поэтому применим понятие потенциала поля для определения свойств системы.
Определение 2.8. Функцию j(r)=F(u(r),v(r),r), где u(r), v(r), соответственно, вектора управления и возможностей, а r ÎQ, будем называть потенциалом поля эффективности (ППЭ) разрабатываемой системы (третье базовое понятие).
Конкретизацией ППЭ является процессор ЭВМ. ППЭ – это модель процессора. Базовой, определяющей характеристикой процессора является показатель производительности. То есть определённое количество преобразованных в памяти символов за определённое количество времени.
Из закона сохранения целостности следует, что кроме соответствующего набора символов, у каждой команды должен быть строго один итог работы процессора по преобразованию символов в памяти. А итог работы – показатель эффективности применения ЭВМ.Это необходимо для того, чтобы система команд удовлетворяла базовым свойствам формальной системы – это полнота, непротиворечивость, разрешимость и независимость аксиом.
Каждая команда это определённый набор символов – слово. Правило выполнения команды - это аксиома. Правилами вывода являются – правило подстановки и правило следования. Теоремами являются блоки программ и сами программы.
ППЭ в соответствии с требуемой пронумерованной последовательностью действий процессора по преобразованию памяти (множество Q) осуществляет преобразование состояний памяти ЭВМ в соответствии с написанной программой. Поэтому будем считать эту функцию моделью системы. В данном случае моделью ЭВМ является F(u(r),v(r),r), так как эта модель позволяет определить базовую, интегральную характеристику ЭВМ – это её производительность в зависимости от состояний программно-аппаратной среды. Она обладает свойством
j(r)dr = F(u(r),v(r),r)dr = I(Q), (2.1.),
где I(Q) –показатель ЭП системы, функция множества Q. В силу дискретности процессов протекающих в памяти ЭВМ 
F(u(r),v(r),r)dr = 
F 
(…) dr, так как Q= 
Q , Q 
Q 
= 0, где L длина упорядоченной, логической последовательности команд рассматриваемой ПС. Q -требуемая, занумерованная и размещённая в памяти ЭВМ, последовательность символов, реализующая i - ую команду, требуемой логической последовательности Q. Тогда из соотношений F (…) dr = I( Q ), I ( Q ) = I(Q) следует, что для реализации i-ой команды, указанной в ПС, необходимо осуществить преобразование в памяти I( Q )-го количества символов. Из этого следует, что все свойства i-ой команды должны удовлетворять следующему соотношению F (…) dr = I( Q ). Надо понимать, что эти два соотношения являются необходимым и достаточным условием реализации программы в памяти ЭВМ, так как с одной стороны, мы задаём количество символов, которые надо преобразовать в памяти, а с другой стороны через вектор u(r) задаём правило выполнение требуемо й команды на i-ом шаге. ППЭ есть отображение F :U ×V × RÞF, где область изменения производительности ПС, распределённой в пространстве и времени, а U = U, V = V.
При таком подходе требуемая потенциальная ЭП системы объединяет её ПВС и возможности в единое целое, направленные на достижение целевых установок, а разработчик системы получает инструмент для синтеза системы с требуемыми свойствами.
Известны два подхода к проектированию систем - это анализ и синтез [4].
При анализе (решение проблемы выбора) проектировщику выдают набор физических элементов и требуют предсказать возможный результата функционирования системы (некоторые выходные характеристики). То есть проектировщик сформирует один вариант системы, другой и так далее, анализирует результат функционирования каждого и выбирает тот вариант, который наиболее полно удовлетворяет требуемым условием.
При синтезе проектировщику дают набор выходных характеристик проектируемой системы и требуют определить количественный и качественный состав системы.
Для тех, кто достаточно глубоко изучал математику, между решением задачи Коши и краевой задачи для дифференциального уравнения такая же разница как между проблемой выбора и проблемой синтеза. То есть при анализе решается задача «от начала» и анализируется, что получится. При синтезе решается задача « от конца», желаемого результата; формируется система с требуемыми выходными характеристиками.
Синтез системы основан на установление разработчиком соответствия (условия замыкания) между моделью объекта в сложившейся ситуации и действием, изменяющим должным образом ситуацию в соответствии с предназначением системы. Изложим концепцию синтеза.
КОНЦЕПЦИЯ СИНТЕЗА
Модель Системы ↔ Условие ЗАМЫКАНИЯ ↔ Модель Действия
ЗАДАЧА. Дано. Множество возможных ситуаций (F×R). Множество возможных
действий (R = X×T).
Требуется определить. Условие замыкания.
Потенциал поля эффективности (ППЭ) системы- F(u(r),v(r),r)Î F; F- множество допустимых значений производительности; F: U×V×RÞF.
Количественно ситуация характеризуется результатом мгновенной деятельности системы (F(u(r),v(r),r)*Dr) на элементе D r области Q. В случае рассмотрения ПС результат мгновенной деятельности системы будет характеризоваться F (…) dr. Руководствуясь разработанным автором законом сохранения целостности, получим условие ЗАМЫКАНИЯ, "собирая" по всей области Q "результаты" мгновенной деятельности системы,
Условие замыкания{ F(u(r),v(r),r)dr = I(Q), (2.2.)
Модель действия Модель объекта Модель ситуации Результат замыкания
Структура множества Q является носителем возможностей системы и механизмов их реализации. Соотношение (2.2.)является алгебраической операцией, определённым образом связанной со свойствами несущего множества. Как известно, алгебраическая операция это отображение, сопоставляющее всякому упорядоченному набору n элементов данного множества определённый элемент этого же множества. Отображение f(r):Q ÞR обеспечивает формирование элементов rÎ R, удовлетворяющих уравнению синтеза модели и способов применения системы (2.2.), т.е. формирование множества требуемых ПВС QÌ R). Физически эта операция "фильтрует" элементы множества R с целью выбора таких элементов, которые несут свойства создаваемой целевой системы и тем самым формируют элементы множества QÌR. Применительно к нашей задаче наша модель программы «фильтрует» состояния памяти ЭВМ с целью формирования в памяти ЭВМ требуемой логической последовательности команд и соответствующих состояний памяти. При этом надо понимать то, что такая «фильтрация» осуществляет управление внешними устройствами ЭВМ.
6. Принцип системности. Задача А.
Принцип системности. Для синтеза модели системы и способов ее использования, обладающей показателем ЭП I(Q), необходимо и достаточно задать множество Q ÌR и функцию F(...), удовлетворяющих условию (2.1.)
А само соотношение (2.1.) целесообразно назвать уравнением синтеза, в общем случае с двумя неизвестными Q и F(...). Это уравнение формализует закон сохранения целостности. Новая трактовка проблемы синтеза системы порождает новый класс задач, решение которых и обеспечивает одновременный синтез модели и способов применения системы.
Задача А. Дано. Область из множества допустимых ПВС QÌR, множества допустимых состояний вектора возможностей V и вектора управления U, некоторое положительное значение показателя I(Q) (требуемое значение показателя ЭП).
Требуется определить функцию F(…), удовлетворяющую условию (2.1.).
Комментарий А. В данной задаче при известных
- логической последовательности команд,
- количестве преобразованных в памяти символов, реализующих ПС,
- множествах допустимых команд и ресурсов,
- множестве допустимых правил выполнения команд,
выбрать и обосновать требуемые команды и правила их выполнения, обеспечивающие требуемую производительность процессора.
7. Принцип системности. Задача Б.
Задача Б. Дано. Множество допустимых ПВС R, функция F(…), некоторое положительное некоторое положительное значение показателя I(Q).
Требуется определить область из множества допустимых ПВС QÌ R, удовлетворяющую условию (2.1.)
Комментарий Б. В данной задаче при известных
- количестве преобразованных в памяти символов, реализующих ПС,
- требуемых команд и ресурсов,
- требуемых допустимых правил выполнения команд,
выбрать и обосновать логическую последовательность выполнения команд.
8. Принцип системности. Задача В.
Задача В. Дано. Область из множества допустимых ПВС Q ÌR, множества допустимых состояний вектора возможностей V и вектора управления U, функция F(…).
Требуется определить вектор возможностей v(r)Î V и вектор управления u(r) Î U удовлетворяющих условию F(u(r),v(r),r)dr Þ 
.
Комментарий В. В данной задаче при известных
- логической последовательности выполнения команд,
- множестве допустимых команд и ресурсов,
- множестве допустимых правилах выполнения команд,
выбрать и обосновать требуемые команды и правила их выполнения, минимизирующие количество потребных преобразованных символов в памяти.
9. Принцип системности. Задача Г.
Задача Г. Дано. Множество допустимых ПВС R, функция F(…), вектора возможностей v(r)ÎV и управления u(r)Î U.
Требуется определить область из множества допустимых ПВС Q ÎR,
удовлетворяющую условию F(u(r),v(r),r)dr Þ 
.
Комментарий Г. В данной задаче при известных
- логической последовательности выполнения команд,
- множестве допустимых команд и ресурсов,
- множестве допустимых правилах выполнения команд,
выбрать и обосновать логическую последовательность команд, минимизирующих количество потребных преобразованных символов в памяти.
Такой подход к синтезу позволил конструктивно определить, что должны содержать и давать исследователю методология, методы и технология моделирования системы.
Дата добавления: 2016-01-05; просмотров: 32; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!