Информационная модель задачи.
Граница между вербальными, математическими и информационные моделями может быть проведена весьма условно. Вполне возможно считать информационные модели подклассом математических моделей. Однако, в рамках информатики как самостоятельной науки, отдельной от математики, физики, лингвистики и других наук, выделение информационных моделей в отдельный класс является целесообразным.
Отметим, что существуют и иные подходы к классификации абстрактных моделей; общепринятая точка зрения здесь ещё не установилась. В частности, есть тенденция резкого расширения содержания понятия "информационная модель", при котором информационное моделирование включает в себя и вербальные, и математические модели.
Компьютерное математическое моделирование связано с информатикой технологически; использование компьютеров и соответствующих технологий обработки информации стало неотъемлемой и необходимой стороной работы физика, инженера, экономиста, эколога, проектировщика ЭВМ и т.д. Неформализованные вербальные модели не имеют столь явно выраженной привязки к информатике.
В рамках нашего исследования под информационной моделью задач мы будем понимать сетевую модель, основанную на формализме сетей Петри. Сетевая модель состоит из опорной и ультра сети. Опорная сеть есть модель задачи, построенная на основе анализа условия задачи. Ультра сеть позволяет проанализировать технологию или методику решения данного класса задач. Такая модель задачи позволяет выбрать наиболее эффективную технологию для решения задач. В классической триады "модель-алгоритм программа", под программой понимали программу написанную на языке программирования высокого уровня. В нашей методике понятие программы в этой схеме трактуется более широко. Это может быть технология, схема решения задачи с использованием прикладных программ.
Для уточнения всех этих понятий и самого механизма построения информационной модели задач рассмотрим следующий пример более подробно.
Пример. Построим информационную модель операционной системы ЭВМ (Чечкин А. В.)
Рис.1. Сетевая модель операционной системы ЭВМ
В предметной области изображены следующие опорные множества:
р1 - множество возможных модулей ЭВМ, т.е. физических (аппаратных) структур ЭВМ, отражающих наличие процессоров, коммутаторов, общей оперативной памяти, совокупности селекторных и мультиплексорных каналов, устройств ввода-вывода, внешних запоминающих устройств и т.д.;
р2 - множество возможных отношений между модулями ЭВМ, т.е. организаций процесса функционирования ЭВМ, отражающих доступность отдельных процессоров, возможность одновременного решения нескольких задач на отдельных процессорах, допустимость и ограниченность длины очереди задач, характер перераспределения задач по свободным и исправным процессорам и отправки задач в очередь, характер управления процессорами, очередью и т.д.;
р3 - множество возможных входящих потоков задач в ЭВМ, связанных, например, с одновременным управлением несколькими динамическими объектами, с обработкой систематически поступающих сведений и т.д.;
p4 - множество возможных состояний ЭВМ в целом с учетом имеющихся модулей ЭВМ и отношений между модулями, т.е. частей ЭВМ, которые отражены в опорных множествах р1, р2.
Опорное множество р1 будем математически моделировать нагруженным мультиграфом Х1 в котором вершины соответствуют всем возможным модулям ЭВМ, дуги соответствуют физическим связям между модулями. Нагрузками вершин и дуг являются типы модулей и связей. Элементом х1 множества Х1 является подграф.
Педагогические условия взаимодействия семьи и дошкольного образовательного
учреждения
За многовековую историю человечества сложились две ветви воспитания подрастающего поколения: семейное и общественное. Сегодня уже не ведется спор о том, что важнее в становлении личности: семья или общественное воспитание (детский сад, школа, другие образовательные учреждения). Современная наука ед ...
Калейдоскоп различных верований, законно сосуществующих в
одном социальном пространстве
В США на деле существует свобода вероисповедания. Религии большие и маленькие и многие секты и культы, а также клубы, со своими кредо и символикой повсеместны, особенно в больших городах, как Нью Йорк, Чикаго или Сан-франциско. В академической среде сильна группа либералов, т.е. так называемых неза ...
Роль научного руководителя в
организации научно-исследовательской работы студентов
Большую роль в организации НИРС играет руководитель. Иногда даже небольших изменений, которые он вносит в организацию труда, оказывается достаточно, чтобы при тех же людских и материальных ресурсов улучшить научные показатели. Руководитель должен быть, во-первых, талантливым ученым, создающим идеи, ...