36271

Количественные и качественные методы описания систем

Доклад

Информатика, кибернетика и программирование

Методы описания систем классифицируются в порядке возрастания формализованности от качественных методов до количественного систематизирования. Между этими крайними классами методов имеются методы которые стремятся охватить оба этапа среди них: кибернетический подход к разработке адаптивных систем управления проектирования принятия решений информационный подход моделирования систем системно – структурный подход метод ситуационного моделирования и метод имитационного динамического моделирования. Качественные методы описания...

Русский

2013-09-21

58.5 KB

75 чел.

59 Количественные и качественные методы описания систем

Методы и модели описания информационных систем.

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

Качественные методы описания информационных систем.

    Качественные методы применяются, когда отсутствует описание закономерности систем в виде аналитических зависимостей.

    Одним из качественных методов называется метод мозговой атаки – это метод систематической тренировки творческого мышления нацеленный на открытие новых идей и достижений.

    Ещё один метод называется методом сценариев. Методы подготовки и согласования представлений о проблеме или анализируемом объекте, изложенных в письменном виде получили название сценариев. Первоначально этот метод предполагал подготовку текста, содержащего логическую последовательность событий или возможные варианты решения проблемы, развёрнутые во времени. На практике по типу сценариев разрабатываются различные прогнозы. Сценарий является предварительной информацией, на основе которой проводится работа по прогнозированию и разработке вариантов проекта.

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

    Метод делфи – это метод анализа сложных систем, с помощью экспертной оценки. Суть метода делфи заключается в следующем: в отличие от традиционного подхода к достижению согласованности мнений экспертов путём открытой дискуссии метод делфи предполагает полный анализ коллективных обсуждений. В методе прямые дебаты заменены тщательно разработанной программой последовательных индивидуальных опросов, проводимых в форме анкетирования.

    Метод дерева целей. Термин “дерево целей” подразумевает использование иерархической структуры, полученной путём разделения общей цели на отдельные составляющие.

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

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

    2) Метод отрицания и конструирования, базирующийся на идее, заключающейся в том, что на пути конструктивного прогресса стоят догмы и компромиссные ограничения, которые есть смысл отрицать. Исследовательно сформулировав некоторые предложения полезно заменить их на противоположные и использовать на проведение анализа.

    3) Метод морфологического ящика. Идея метода состоит в определении всех возможных параметров, от которых может зависеть решение проблемы и представлений этих параметров в виде матриц строк.

    При использовании морфологического подхода для моделирования информационных и организационных систем разрабатывают языки моделирования, которые применяют для порождения возможных ситуаций, а также возможных вариантов решения проблем. Примерами таких языков служат: язык ситуационного управления, а также языки структурно – лингвистического моделирования.

 Методики системного анализа.

 Методики, реализующие принципы системного анализа в конкретных условиях направлены на то, чтобы формализовать процесс исследования системы, а также процесс решения проблемы. Методика системного анализа разрабатывается и применяется в тех случаях, когда у исследователя нет достаточных сведений о системе, которые позволили бы выбрать адекватный метод формализованного представления системы. Общим для всех методик является формирование вариантов представления системы и выбор наилучшего варианта.

Количественные методы описания информационных систем.

    При создании и эксплуатации информационных систем требуется проводить многочисленные исследования и расчёты, которые связаны:

    1) с оценкой показателей, характеризующих различные свойства систем;

    2) с выбором оптимальной структуры системы;

    3) с выбором оптимальных значений её параметров.

    При проектировании информационных систем достаточно трудно определиться, какие явления считать основными, какие факторы – главными, т.к. в процессе функционирования одного и того же реального объекта можно получить различные математические описания, в зависимости от поставленной задачи. С учётом этого, математических моделей сложной информационной системы может быть сколь угодно много, поэтому все они определяются принятым уровнем абстрагирования. Наиболее пригодными являются следующие уровни абстрактного описания систем:

    1) символический или лингвистический;

    2) теоретико-множественный;

    3) абстрактно-алгебраический; 

    4) топологический;

    5) логико-математический;

    6) теоретико-информационный;

    7) динамический;

    8) эвристический.

    Условно первые четыре уровня относятся к высшим уровням описания систем, последние четыре уровня – к низшим уровням.

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

Понятие о высказывании на данном абстрактном языке означает, что имеется некоторое предложение (формула), построенное на правилах данного языка. Предполагается, что эта формула содержит варьируемые переменные, которые только при определенном их значении делают высказывание истинным.

Все высказывания делят обычно на два типа. К первому причисляют «термы» (имена предметов, члены предложения и т. д.) — высказывания, с помощью которых обозначают объекты исследования, а ко второму — «функторы» — высказывания, определяющие отношения между термами.

С помощью термов и функторов можно показать, как из лингвистического уровня абстрактного описания (уровня высшего ранга) как частный случай возникает теоретико-множественный уровень абстрагирования (уровень более низкого ранга).

Термы — некоторые множества, с помощью которых перечисляют элементы, или, иначе, подсистемы изучаемых систем, а функторы устанавливают характер отношений между введенными множествами. Множество образуется из элементов, обладающих некоторыми свойствами и находящимися в некоторых отношениях между собой и элементами других множеств. (Следовательно, автоматизированные системы управления (АСУ) вполне подходят под такого рода определение понятия «множество». Это доказывает, что построение сложных систем на теоретико-множественном уровне абстракции вполне уместно и целесообразно.

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

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

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

Понятие «автомат» (от греч. automatos — самодействующий) имеет следующие значения:

устройство, выполняющее некоторый процесс без непосредственного участия человека. В глубокой древности это часы, механические игрушки, со второй половины XVIII в. Широкое применение в промышленности для замены физического труда человека; в 40 — 50-х годах XX в. появились автоматы для выполнения некоторых видов умственного труда; автоматические вычислительные машины и другие кибернетические устройства. Применение автоматов значительно повышает производительность труда, скорость и точность выполнения операций. Освобождает человека от утомительного однообразного труда, для защиты человека от условий, опасных для жизни или вредных для здоровья. Автоматы используются там, где невозможно присутствие человека (высокая температура, давление, ускорение, вакуум и т. д.);

математическое понятие, математическая модель реальных (технических) автоматов. Абстрактно автомат можно представить как некоторое устройство («черный ящик»), имеющее конечное число входных и выходных каналов и некоторое множество внутренних состояний. На входные каналы извне поступают сигналы, и в зависимости от их значения и от того, в каком состоянии он находился, автомат переходит в следующее состояние и выдает сигналы на свои выходные каналы. С течением времени входные сигналы изменяются, соответственно изменяются и состояние автомата, и его выходные каналы. Таким образом, автомат функционирует во времени;

в узком смысле автомат употребляется для обозначения так называемых синхронных дискретных автоматов. Такие автоматы имеют конечные множества значений входных и выходных сигналов, называемых входным и выходным алфавитом. Время разбивается на промежутки одинаковой длительности (такты): на протяжении всего такта входной сигнал, состояние и выходной сигнал не изменяются. Изменения происходят только на границах тактов. Следовательно, время можно считать дискретным t=1,2, ...,n.

При любом процессе управления или регулирования, осуществляемом живым организмом или автоматически действующей машиной либо устройством, происходит переработка входной информации в выходную. Поэтому при теоретико-информационном уровне абстрактного описания систем информация выступает как свойство объектов и явлений (процессов) порождать многообразие состояний, которые посредством отражения передаются от одного объекта к другому и запечатлеваются в его структуре .

Отображение множества состояний источника во множество состояний носителя информации называется способом кодирования, а образ состояния при выбранном способе кодирования — кодом этого состояния.

Абстрагируясь от физической сущности носителей информации и рассматривая их как элементы некоторого абстрактного множества, а способ их расположения как отношение в этом множестве, приходят к абстрактному понятию кода информации как способа ее представления. При таком подходе код информации можно рассматривать как математическую модель, т. е. абстрактное множество с заданными на нем предикатами. Эти предикаты определяют тип элементов кода и расположение их друг относительно друга.

Предикат — одно из фундаментальных понятий математики — условие, сформулированное в терминах точного логико-математического языка. Предикат содержит обозначения для произвольных объектов некоторого класса (переменные). При замещении переменных именами объектов данного класса предикат задает точно определенное высказывание.

Динамический уровень абстрактного описания систем связан с представлением системы как некоторого объекта, куда в определенные моменты времени можно вводить вещество, энергию и информацию, а в другие моменты времени — выводить их, т. е. динамическая система наделяется свойством иметь «входы» и «выходы», причем процессы в них могут протекать как непрерывно, так и в дискретные моменты времени. Кроме этого, для динамических систем вводится понятие «состояние системы», характеризующее ее внутреннее свойство.

Эвристический уровень абстрактного описания систем предусматривает поиски удовлетворительного решения задач управления в связи с наличием в сложной системе человека. Эврика — это догадка, основанная на общем опыте решения родственных задач. Изучение интеллектуальной деятельности человека в процессе управления имеет очень важное значение.

Эвристика вообще — это прием, позволяющий сокращать количество просматриваемых вариантов при поиске решения задачи. Причем этот прием не гарантирует наилучшее решение.

Например, человек, играя в шахматы, пользуется эвристическими приемами выработки решетя, так как продумать весь ход игры с начала до конца практически невозможно из-за слишком большого числа вариантов игры (надо обдумать около 10120 вариантов). Если на один вариант затрачивать всего 10 с, а в году около 3*107 с, то при 8-часовой работе без выходных дней и отпуска человек способен просчитать в год не более (1/3*3*107)/10=106 вариантов. Следовательно, на перебор всех возможных вариантов шахматной партии понадобится одному человеку 10114лет.

Поэтому в настоящее время бурно развивается эвристическое программирование — программирование игровых ситуаций, доказательства теорем, перевода с одного языка на другой, дифференциальной диагностики, распознавания образов (звуковых, зрительных и т. д.).

Большое внимание сейчас уделяется созданию искусственного и гибридного интеллекта. При этом важное значение играют решение проблемы иерархически организованного перебора, создание и разработка методов отсечения заведомо невыгодных путей.

Таким образом, обзор уровней абстрактного описания систем показывает, что выбор подходящего метода формального описания при изучении той или иной реальной системы является всегда наиболее ответственным и трудным шагом в теоретико-системных построениях.


 

А также другие работы, которые могут Вас заинтересовать

80701. Synonymy 32.44 KB
  Synonyms are the words of the same part of speech different in their sound-form but similar in their meaning and interchangeable at least in one context. There are very few perfect synonyms. They usually differ in some aspect of their meaning — according to this they can be ideographic
80702. Antonymy (semantic opposition). Antonyms are words which express opposite or contrasting meanings 32.49 KB
  Antonyms are subdivided into. Gradable — represent the extremes of the quality. There are often adjectives that can be placed on the scale between them (hot-cold). Contradictory-complimentary — cannot exist without each other (dead-alive; leave-stay)3. Conversive — describe opposite attributes of the same situation (to buy-to sell — when one buys another sells)
80704. THE MORPHEMIC STRUCTURE OF THE WORD. TYPES OF MORPHEMES. ALLOMORPHS nd mening: they don’t possessed grmmticl mening. 30.83 KB
  The morpheme is the smallest meaningful unit of form. A form in these cases a recurring discrete unit of speech. Morphemes occur in speech only as constituent parts of words, not independently, although a word may consist of single morpheme. Even a cursory examination of the morphemic structure of English words reveals that they are composed of morphemes of different types: root-morphemes and affixational morphemes. Words that consist of a root and an affix are called derived words or derivatives and are produced by the process of word building known as affixation (or derivation).
80705. MORPHEMIC LEVEL OF ANALYSYS OF WORD-STRUCTURE 33.59 KB
  There are two levels of approach to the study of word- structure: the level of morphemic analysis and the level of derivational or word-formation analysis. Principles of morphemic analysis. In most cases the morphemic structure of words is transparent enough and individual morphemes clearly stand out within the word. The segmentation of words is generally carried out according to the method of Immediate and Ultimate Constituents.
80706. Lexicology as a branch of linguistics. Parts /branches of lexicology. The connection of lexicology with other branches of linguistics 32.51 KB
  Special lexicology – the lexicology of a particular language, i.e. the study and description of its vocabulary and vocabulary units, primarily words as the main units of language.; special lexicology is based on the principles worked out and laid down by general lexicology, a general theory of vocabulary. Special lexicology employs synchronic (q.v.) and diachronic (q.v.) approaches
80708. The word as an arbitrary and motivated sign. Naming. Types of motivation 34.58 KB
  The process of motivation depends on the inner form of the word. The inner form is central point in the lexical meaning which helps to get inside in to the features chosen as the basis of nomination. In linguistics the term MOTIVATION is used to denote the relationship
80709. Бухгалтерская отчетность 121.5 KB
  Бухгалтерская отчетность Адреса и сроки представления бухгалтерской отчетности Состав бухгалтерской отчетности Статистическая отчетность Срок хранения первичных документов Исправление бухгалтерских ошибок. Адреса и сроки представления отчетности Все организации за исключением бюджетных представляют годовую бухгалтерскую отчетность в соответствии с учредительными документами учредителям участникам организации или собственникам ее имущества а также территориальным органам государственной статистики по месту их регистрации...