Проблемы математического моделирования в предметных областях

Рассмотрим следующую классификацию математических моделей.

а) Модели прогноза или расчетные модели без управления.

Их можно разделить на стационарные и динамические.

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

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

б) Оптимизационные модели

Их так же разбивают на стационарные и динамические. Стационарные модели используются на уровне проектирования различных технологических систем. Динамические – как на уровне проектирования, так и, главным образом, для оптимального управления различными процессами – технологическими, экономическими и др.

В задачах оптимизации имеется два направления. К первому относятся детерминированные задачи. Вся входная информация в них является полностью определяемой.

Второе направление относится к стохастическим процессам. В этих задачах некоторые параметры носят случайный характер или содержат элемент неопределенности. Многие задачи оптимизации автоматических устройств, например, содержат параметры в виде случайных помех с некоторыми вероятностными характеристиками.

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

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

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

Различают три вида математических моделей теории оптимального управления[4] . К первому виду относятся дискретные модели оптимального управления. Традиционно такие модели называют моделями динамического программирования. Широко известен метод динамического программирования Беллмана. Ко второму типу относятся модели, описываемые задачам Коши для систем обыкновенных дифференциальных уравнений. Их часто называют моделями оптимального управления системами с сосредоточенными параметрами. Третий вид моделей описывается краевыми задачами, как для обыкновенных дифференциальных уравнений, так и для уравнений в частных производных. Такие модели называют моделями оптимального управления системами с распределенными параметрами.

в) Кибернетические модели

Этот тип моделей используется для анализа конфликтных ситуаций.

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

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

О кибернетическом моделировании и моделировании мыслительной деятельности человека.

3)Особенности кибернетического моделирования.

Кибернетика (от греческого kybernetike – искусство управления) – наука о самоуправляющихся машинах, в частности о машинах с электронным управлением[1] . Основатель ее, американский ученый Норберт Винер, в 1948 показал, что человеческий мозг действует наподобие электронных вычислительных машин с двоичной системой исчисления. Можно определить кибернетику как науку, изучающую системы любой природы, способные воспринимать, хранить и перерабатывать информацию для целей управления.[1] Понятия кибернетическое моделирование, искусственный интеллект, нейроматематика, о которых речь пойдет ниже, тесно связаны с математическим моделированием и не мыслимы без него. Кибернетика широко пользуется методом математического моделирования и стремится к получению конкретных результатов, позволяющих анализировать и синтезировать изучаемые системы.

В современном научном знании весьма широко распространена тенденция построения кибернетических моделей объектов самых различных классов.

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

Широкое использование кибернетического моделирования позволяет рассматривать этот «логико-методологический» феномен как неотъемлемый элемент «интеллектуального климата» современной науки». В этой связи говорят об особом «кибернетическом стиле мышления», о «кибернетизации» научного знания.

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

Характеризуя процесс кибернетического моделирования[3] , обращают внимание на следующие обстоятельства. Модель, будучи аналогом исследуемого явления, никогда не может достигнуть степени сложности последнего. При построении модели прибегают к известным упрощениям, цель которых - стремление отобразить не весь объект, а с максимальной полнотой охарактеризовать некоторый его «срез». Задача заключается в том, чтобы путем введения ряда упрощающих допущений выделить важные для исследования свойства. Создавая кибернетические модели, выделяют информационно-управленческие свойства. Все иные сторон этого объекта остаются вне рассмотрения.

Анализируя процесс приложения кибернетического моделирования в различных областях знания, можно заметить расширение сферы применения кибернетических моделей: использование в науках о мозге, в социологии, в искусстве, в ряде технических наук. В частности, в современной измерительной технике нашли приложение информационные модели[4] . Возникшая на их основе информационная теория измерения и измерительных устройств - это новый подраздел современной прикладной метрологии.

4)Моделирование мыслительной деятельности человека.

Использование ЭВМ в моделировании деятельности мозга позволяет отражать процессы в их динамике, но у этого метода в данном приложении есть свои сильные и слабые стороны. Наряду с общими чертами, присущими мозгу и моделирующему его работу устройству, такими, как:1)материальность 2)закономерный характер всех процессов 3)общность некоторых форм движения материи 4)отражение 5)принадлежность к классу самоорганизующихся динамических систем, в которых заложены:

а) принцип обратной связи

б) структурно-функциональная аналогия

в) способность накапливать информацию[4]

есть существенные отличия, такие как:

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

Процесс отражения в мозге человека проявляется в субъективно-сознательном восприятии внешних воздействий. Мышление возникает в результате взаимодействия субъекта познания с объектом в условиях социальной среды; В языке человека и машины. Язык человека носит понятийный характер.

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

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

Согласно определению Мак-Каллока и Питтса формальный нейрон[1] -это элемент, обладающий следующими свойствами:

Он работает по принципу «все или ничего»;

Он может находиться в одном из двух устойчивых состояний;

Для возбуждения нейрона необходимо возбудить некоторое количество сигналов, не зависящих от предыдущего состояния нейрона;

Имеет место задержка прохождения сигналов в синапсах в течение некоторого времени  ;

Имеются два вида входов: возбуждающие и тормозящие;

Порог возбуждения предполагается неизменным;

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

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

Существующие модели, имитирующие деятельность мозга (Ферли, Кларка, Неймана, Комбертсона, Уолтера, Джоржа, Шеннона, Аттли, Берля и других) отвлечены от качественной специфики естественных нейронов. Однако с точки зрения изучения функциональной стороны деятельности мозга это оказывается несущественным.

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

не все функции и специфические свойства учитываются

отвлечение от социального, нейродинамического характера.

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

Проблемы экспертных систем, искусственного интеллекта и нейросетей.

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

Особое место среди экспертных систем занимают системы искусственного интеллекта. Проблема искусственного интеллекта занимает очень большое место в практике сознания и использования вычислительной техники. С ней связано много вопросов и чисто гносеологического характера. Академик Н.Н. Моисеев[19] писал, что сам термин «искусственный интеллект» – не более чем лингвистический нонсенс, и правильно было бы говорить об имитационных системах, понятием которых прежде всего и связан рациональный смысл денного термина. В узком смысле под искусственным интеллектом понимаются технические средства и логика программирования, принципиально упрощающая все процедуры общения с ЭВМ. Моисеев считает, что ни сегодня, ни в обозримом будущем, нет и не будет никаких оснований говорить о возможности появления искусственных систем, которые представляли бы новую, более совершенную форму организации материи. Нет никаких оснований считать, что машина сама по себе превратится в свехрчеловека и «отменит» человечество в качестве пройденного, «устаревшего» уровня организации сознания и материи. Знаменитый Терминатор останется продуктом фантастики. Моисеев уверен, что вычислительная техника и средства искусственного интеллекта, как бы они не развивались в дальнейшем, все равно по прежнему будут оставаться плодом человеческого разума и рук и по прежнему будут служить целям человека.

Заключение

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

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