
- •Последовательность проектирования асоиу.
- •Информационно-логическая модель
- •Модели описания и анализа потоков информации на основе графов
- •Распределение модулей и подсистем по процессорам и задачам.
- •Замена программ аппаратуры.
- •Распределение модулей и подсистем по процессорам.
- •Управление хранилищами данных.
- •Управление пограничными ситуациями
- •Распространённые архитектуры систем.
Модели описания и анализа потоков информации на основе графов
Основным носителем информации в организационных системах-документ. Документы как для системы в целом так и в рамках отдельных подсистем можно разделить на входные, выходные и промежуточные. Между документами основными отношениями часто являются отношения вхождения и порядка. Отношения вхождения означает, что некоторый документ Хj формируется на основе документов (Xj1, Xj2,…Xjk). Отношение порядков- Xj->Xi означает что документ Xi сформируется тогда когда сформируется документ Xj. ………но и движением элементов документов. Говоря об элементах потоков информации будем иметь ввиду все вышеперечисленное. Элементом потока информации можно поставить в соответствии вершину графов. Две вершины Xi и Xj соединяются дугой идущей от Xi идущей к Xj, если Xi является входом для Xj, т.е. включается в него или обязательно для его формирования. Полученный граф называют информационным графом. Матрицу смежности его будем обозначать как А, состоящую из элементов Aj. Можно использовать строгие процедуры обработки. Будем последовательно находить степени матрицы смежности А^2, A^3…., A^n до тех пор пока не окажется что A^n<>нулевой матрицы, A^n+1=нулевой матрицы. Такая ситуация возможна, если информационный граф не имеет замкнутых контуров. В противном случае нулевая матрица не будет получена никогда и показатели того, что есть контуры будет неравенство нулевой матрицы матрицы A^N, где N-число вершин. Определяется матрица достижимости Асуммарное=сумме I от 1 до n * A^N. Такая матрица будет содержать ненулевые значения для всех пар прямо или косвенно зависящих друг от друга элементов. На основе матрицы достижимости и матрицы A^i (i=1..n) анализируют формальные свойства:
Порядок элементов Пj для Xj. Называется длина наибольшего элемента, связывающего j элемент с некоторым i элементом. Формально он определяется следующим образом:
Посмотреть у хлама.
Бj(k)=сумма i посмотреть у хлама.
Скопировать этот момент…
Порядок информационного графа n=maxПj. Если для числа n справедливо соотношение глянуть у хлама. Такая схема называется n-тактной .
Признаком контура является появление ненулевых элементов на главной диагонали любой из матриц A^к. наличие контура свидетельствует либо об ошибки в обследовании , либо о неправильно спроектированном документобороте. В любом случае необходим содержательный анализ с целью устранения контура.
Равенство нулю суммы элементов ||aij|| говорит о СПРОСИТЬ У ХЛАМА.
Равенство нулю элементов итой строки матрицы смежности говорит о том что элемент икс итое является выходным.
Если при некотором i и для некоторого элемента Xi сумма соответствующей строки и соответствующего столбца матрицы смежности =0 , то этот элемент к рассматриваемой схеме вообще не имеет отношения.
Если событие не синхронизируется, такие объекты не могут быть связаны в одну нить управления. Следует отличать полностью независимые объекты, которые не только выполняются независимо, но и не обмениваются данными в процессе работы. Например Ворд и Винамп. Полностью независимые системы удобны тем, что их можно поместить на разные аппаратные устройства исключив при этом затраты на коммуникации. Асинхронные объекты могут выполняться и на одном устройстве. Если оно имеет систему прерываний и поддерживает режим разделения времени. Часто необходимость следует непосредственно из постановки задач. Например: обработка информации о банковской карте осуществляется в банкомате. Или обработка информации о координатах может осуществляется на устройстве оснащенном GPS приемником.