Словесные знаковые модели
словесные знаковые модели — это описания предметов, явлений, событий, процессов на естественных языках.
Например, гелиоцентрическая модель мира, которую предложил Коперник, словесно описывалась следующим образом:
- Земля вращается вокруг своей оси и вокруг Солнца;
- орбиты всех планет проходят вокруг Солнца.
Множество словесных знаковых моделей содержится в ваших школьных учебниках: в учебнике истории представлены модели исторических событий, в учебнике географии — модели географических объектов и природных процессов, в учебнике биологии — модели объектов животного и растительного мира.
Произведения художественной литературы — это тоже знаковые модели, так как они фиксируют внимание читателя на определённых сторонах человеческой жизни. Анализируя литературное произведение, вы выделяете в нём объекты и их свойства, отношения между героями, связи между событиями, проводите параллели с другими произведениями и т. п. Самое непосредственное отношение к понятию имеет такой литературный жанр, как басня. Смысл этого жанра состоит в переносе отношений между людьми на отношения между вымышленными персонажами, например животными.
Такие особенности естественного языка, как многозначность, использование слов в прямом и переносном значении, синонимия, омонимия и т. п., придают человеческому общению выразительность, эмоциональность, красочность. Вместе с тем наличие этих особенностей делает естественный язык непригодным для создания информационных моделей во многих сферах профессиональной деятельности (например, в системах «человек — компьютер»).
Математические знаковые модели
Основным языком информационного моделирования в науке является язык математики.
Информационные знаковые модели, построенные с использованием математических понятий и формул, называются математическими знаковыми моделями.
Язык математики представляет собой совокупность множества формальных языков; с некоторыми из них (алгебраическим, геометрическим) вы познакомились в школе, другие сможете узнать при дальнейшем обучении.
Язык алгебры позволяет формализовать функциональные зависимости между величинами, записав соотношения между количественными характеристиками объекта моделирования. В школьном курсе физики рассматривается много функциональных зависимостей, которые представляют собой математические знаковые модели изучаемых явлений или процессов.
Знаковая модель оптимизации расходов/доходов
С помощью языка алгебры логики строятся логические модели — формализуются (записываются в виде логических выражений) простые и сложные высказывания, выраженные на естественном языке. Путём построения логических удаётся решать логические задачи, создавать логические модели устройств и т. д.
Электрические схемы
Компьютерные математические модели
Многие процессы, происходящие в окружающем нас мире, описываются очень сложными математическими соотношениями (уравнениями, неравенствами, системами уравнений и неравенств). До появления компьютеров, обладающих высокой скоростью вычислений, у человека не было возможности проводить соответствующие вычисления, на счёт «вручную» уходило очень много времени.
В настоящее время самые сложные математические модели могут быть реализованы на компьютере. При этом используются такие средства, как:
— системы программирования;
— электронные таблицы;
— специализированные математические пакеты и программные средства для моделирования.
математические знаковые модели, реализованные с помощью систем программирования, электронных таблиц, специализированных математических пакетов и программных средств для моделирования, называются компьютерными математическими моделями.
Средства компьютерной графики позволяют визуализировать результаты расчётов, получаемых в процессе работы с компьютерными знаковыми моделями.
Особый интерес для компьютерного математического моделирования представляют сложные системы, элементы которых могут вести себя случайным образом. Примерами таких систем являются многочисленные системы массового обслуживания: билетные кассы, торговые предприятия, ремонтные мастерские, служба скорой помощи, транспортные потоки на городских дорогах и многие другие. Многим знакома ситуация, когда, придя в кассу, магазин, парикмахерскую, мы застаём там очередь. Приходится либо вставать в очередь и какое-то время ждать, либо уходить, т. е. покидать систему необслуженным. Возможны случаи, когда заявок на обслуживание в системе мало или совсем нет; в этом случае она работает с недогрузкой или простаивает. В системах массового обслуживания количество заявок на обслуживание, время ожидания и точное время выполнения заявки заранее предсказать нельзя — это случайные величины.
Имитационные знаковые модели воспроизводят поведение сложных систем, элементы которых могут вести себя случайным образом.
Имитационное моделирование — это искусственный эксперимент, при котором вместо проведения натурных испытаний с реальным оборудованием проводят опыты с помощью компьютерных моделей. Для получения необходимой информации осуществляется многократный «прогон» со случайными исходными данными, генерируемыми компьютером. В результате образуется такой же набор данных, который можно было бы получить при проведении опытов на реальном оборудовании или в реальной системе. Однако имитационное моделирование на компьютере осуществляется гораздо быстрее и обходится значительно дешевле, чем натурные эксперименты.
Ссылка на источник — https://sites.google.com/site/informatika9bosova/home/-1-2-znakovye-modeli