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

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

Интересную мысль, по поводу отношения к искусственному интеллекту, высказал А. Эндрю: »Нельзя уйти от того факта, что вычислительная машина действительно является послушным исполнителем программы. Но когда ЭВМ и программа становятся достаточно сложными, поведение машины может оказаться практически непредсказуемым (хотя оно и предсказуемо в принципе). Поэтому не лишено смысла рассматривать машину, как устройство, принципиально способное к «новаторству».

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

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

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

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

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

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

 

5.1 Экспертные системы.

 

Сегодня ЭВМ сознательно используются как средство представления знаний. Однако сами ЭВМ содержат не знание, а информацию, то есть представление или модель знания.

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

 

 

 6. Программное обеспечение используемое в моделировании.

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

Цель – научить пользоваться простейшими методами вычислений с использованием современных информационных технологий. Наиболее подходящей для этой цели является одна из самых мощных и эффективных математических систем – MathCAD, которая занимает особое место среди множества таких систем (Matlab, Maple, Mathematica и др.).

 

6.1 Математические  пакеты. MathCad. Классы  решаемых задач. Виды операции, типы переменных и констант.

 

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

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

Расположение нетекстовых блоков в документе имеет принципиальное значение – слева направо и сверху вниз.

К основным элементам математических выражений MathCAD относятся типы данных, операторы, функции и управляющие структуры.

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

Оператор определяет:

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

Операнд – число или выражение, на которое действует оператор. Например, в выражении

5! + 3 число 3 и выражение 5! – операнды оператора + (плюс), а  число 5 операнд оператора факториал (!). После указания операндов операторы становятся исполняемыми по документу блоками. В Приложении 2 приведен список наиболее часто используемых операторов.

К типам данных относятся числовые константы, обычные и системные переменные, массивы (векторы и матрицы) и данные файлового типа.

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

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

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

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

одномерные (векторы);

двумерные (матрицы).

Порядковый номер элемента, который является его адресом, называется индексом.

Функция – выражение, согласно которому проводятся некоторые вычисления с аргументами и определяется его числовое значение.

Следует особо отметить разницу между аргументами и параметрами функции.

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

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

Функции в пакете MathCAD могут быть встроенные (см. Приложение 3), т. е. заблаговременно введенные разработчиками, и определенные пользователем.

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

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

 

 

Список используемой литературы:

1. С. Н. Колупаева. Математическое и  компьютерное моделирование. Учебное  пособие. – Томск, Школьный университет, 2008. – 208с.

2. А. В. Могилев, Н. И. Пак, Е. К. Хеннер. Информатика. Учебное пособие. – М.: Центр «Академия», 2000. – 816с.

3. Д. А. Поселов. Информатика. Энциклопедический  словарь. – М.: Педагогика-Пресс, 1994. 648с.