voprosy_po_imep_2011.doc | 25kb. | 12.01.2012 17:25 | скачать |
n2.doc | 10456kb. | 14.01.2012 16:34 | скачать |
n3.doc | 10454kb. | 14.01.2012 16:13 | скачать |
Понятия «Системы» образуют 4 группы: первую группу составляют наиболее общие определения системы как комплекса элементов, находящихся во взаимодействии. Вторая группа определений отражает точку зрения кибернетики, согласно которой выделяются входы и выходы системы. Третью группу составляют определения системы, связывающие её с целенаправленной активностью. Четвертую группу определений системы выводят через указание признаков, которыми должен обладать объект, чтобы его можно было отнести к категории «система». Система — это объективное единство закономерно связанных друг с другом предметов, явлений, сведений, а также знании о природе, обществе и т. п. Каждый объект, чтобы его можно было считать системой, должен обладать четырьмя основными свойствами или признаками (целостностью и делимостью, наличием устойчивых связей, организацией и эмерджентностью). Если говорить о моделировании, то в его основе лежит рассмотрение объекта (некоторого устойчивого образования, которое выделяется из окружающей среды в определенный промежуток времени в определенной пространственной области) как системы. То есть просходят процессы возникновения,изменения и исчезновения объекта. При этом моделирование процесса функционирования системы называется имитацией. |
Понятие модели является ключевым в общей теории систем. Моделирование как мощный, а часто и единственный метод исследования подразумевает замещение реального объекта другим - материальным или идеальным. Моделирование, в таком случае, представляет собой процесс построения, изучения и применения моделей. Главная особенность моделирования состоит в том, что это метод опосредованного познания при помощи объектов-заменителей. Модель выступает как инструмент познания, который исследователь ставит между собой и объектом с целью изучения последнего, т.е. объект рассматривается как бы через "призму" его модельного представления. Процесс моделирования,таким образом, включает в себя три элемента: субъект исследования (исследователь), объект исследования, модель. Для понимания сущности моделирования важно не упускать из виду, что моделирование – не единственный источник знаний об объекте. Процесс моделирования "погружен" в более общий процесс познания. Это обстоятельство должно учитываться не только на этапе построения модели, но и на завершеющей стадии, когда происходит объединение и обобщение результатов исследования, получаемых на основе многообразных средств познания. |
Аналогия – это суждение об определенном свойстве различных предметов и явлений. Свойства любой системы не изолированы друг от друга, а тесно взаимосвязаны. При этом изменение любого существенного признака обычно сказывается на других признаках. Если 2 объекта(оригинал и модель) обладают определенной совокупностью общих свойств и один из объектов(модель) обладает еще нек-оторым св-ойством, то и другой объект должен обладать этим же св-вом. Модель – созданный челом объект любой природы (материальной \умозрит-ой), к-ый воспроизводит оригинал т.о., что изучение природы модели способно дать нов достоверную инфо об оригинале. Модель отличается от оригинала: оригинал обладает бесконеч кол-м св-в, а модель д. воспроиз-ть фиксированный набор св-в оригинала, к-ый нужен для исслед-ия. Пример: пусть объекты А и В характеризуются опред-ым набором св-в. И пусть объект В имеет еще одно св-во. Пользуясь аналогией м. предположить, что объект А также имеет это св-во. Система харак-ся 6 осн признаками: 1) система д.б. разделима на составные подсистемы, к-ые также м.б. декомпозированы до элементов. Элемент-неделим. 2)наличие устойчивых связей м\у элементами, к-ые д.б. намного сильнее, чем связи этих элементов с др объектами. 3)существование организации, или структуры в системе. 4)наличие системного эффекта-появление у системы нов св-ва, к-ое не было присуще ни одному элементу до соединения в систему. 5)наличие цели функционирования (сист. эффект должен соотв-ть цели), а также ограничений, к-ые накладываются на систему. 6)наличие окружающей среды (система взаимод-т с окруж средой ч\з входы и выходы) Видим, что св-ва взаимосвязаны в системе. Следовательно, если оригинал и модель обладают одними совокупностями опред-ых св-в и модель обладает еще некоторым св-ом (по-видимому связанным с остальной сов-тью св-в), то и оригинал облад-т этим св-ом. Однако выводы, основанные на аналогии, не явл-ся абсолютно достоверными и нуждаются в проверке. |
Отношения между экспериментом и моделью могут выразиться: Эксперимент явл источником И. д/моделирования. С другой стороны, модель диктует какой именно эксперимент следует проводить. Модель явл источником эксперимента. Взаимодействие эксперимента и модели заключается в том, что не только опыт явл критерием, но и сама постановка эксперимента диктуется моделью, т.к. вытекает из необходимости ее проверки и уточнения. В этом смысле модель м. Трактовать модель как вопрос, задаваемый исследователем природы. Всякий вопрос состоит из 2 составляющих: утверждающий, вопрошающий. Утверждающая часть назыв-ся предпосылкой вопроса – это знание, делающее вопрос возможной. Предпосылка м/б верной, ошибочной или недостаточной д/постановки вопроса. ![]() ![]() произведен опыт: ![]() требуется оценить вектор параметров имеем статистическую выборку: f(x) ![]() ![]() ищем наиболее верную оценку этой функции. Вывод: при разных предпосылках вопрос совершенно разного комплекса по построению модели. Экспериментальной работой занимается дисциплина «Планирование эксперимента».(при min затратах получить max результат.) |
«Черным ящиком» называют систему внутренне содержание которого наблюдателю неизвестна, а доступны только вход и выход. Выбор этих входов и выходов и есть утверждающая часть модели, которая и будет определять организационную модель. Конечная цель – построение матем модели объекта, т.е. матем оператора А, связывающего выход с входом ![]() ![]() ![]() ![]() ![]() Решением задачи «черным ящиком» называют идентификации системы в широком смысле. Основная задача – определение структуры системы, т.е. определение общего вида матем оператора, связ вход с выходом. 2-я задача – определение синтезов параметров. Это задача определения конкретных решений параметров, связывающий вход с выходом. Идентификацию в узком смысле называют «серым ящиком». Предполагается точно известная структура системы и необходимо определить лишь ее неизвестный параментр по результатам эксперимента. (МНК предназначен для серого ящика, т.к. мы должны точно знать функцию). Многие прикладные задачи можно свести к задаче «серого ящика», использую матем системы. Понимание эксперимента зависит от того, какая информация может быть получена из эксперимента системы. Надо построить математическую модель, которая отражала бы зависимость ![]() ![]() ![]() ![]() Описание функционирования черного ящика сводится к соотношению между x и y – между откликами . Пример: Y=(x) ![]() Метод наименьших квадратов; степенной полином ![]() ![]() ![]() 1,2,3,4,5,6 2,4,6,8,10,12 (n)=2*n 7->7 2n+(n-1)(n-2)(n-3)(n-4)(n-5)(n-6) 78->734 Осн. проблема - Это выбор структуры, модели, описывающий черный ящик. Трудность выбора математического выражения, определяющего структуру системы существенно зависит от априорного знания системы. |
Имитационное моделирование является мощным инструментом исследования сложных экономических систем. Естественно, что и сами имитационные модели оказываются достаточно сложными как с точки зрения заложенного в них математического аппарата, так и в плане машинной реализации. При этом сложность любой моджели определяется двумя факторами: - сложностью исследуемого объекта-оригинала; - точностью, предъявляемой к результатам расчетов. Использование машинного эксперимента, как средства решения сложных прикладных проблем, несмотря на присущие каждой конкретной задаче специфику, имеет ряд общих черт (этапов). Каждому из этапов присущи собственные приемы, методы, технологии. Отметим, что все эти этапы носят ярко выраженный творческий характер и требуют от разработчика модели особой подготовки. После того как имитационная модель реализована на ЭВМ, исследователь должен выполнить последовательность следующих этапов (их часто называют технологическими): - испытание модели; - исследование свойств модели; - планирование имитационного эксперимента; - эксплуатация модели ( проведение расчетов). ![]() |
![]() Физическое моделирование - моделируемый объект или процесс воспроизводится исходя из соотношения подобия, вытекающего из схожести физических явлений. Используются физ модели, элементы к-ых подобны натуральным объектам исследования, но имеют иной масштаб (н-р, макет самолета). Физ модели могут иметь вид полномасштабных макетов (н-р, авиационные тренажеры). Физ модели конкретны, очень наглядны, часто их можно даже потрогать руками. Физ мод-ие прим-ся для мод-ия сложных объектов исслед-я, не имеющих точного матем-го описания. При физ модел-ии для иссл-я процесса порой используют процесс другой физич природы, к-ый описывается аналогичными матем-ми зависимостями. Математическое моделирование – процесс установления соответствия реальной системе S мат модели M и исследование этой модели, позволяющее получить хар-ки реальной системы. Применение мат модел-ния позволяет иссл-ть объекты, реальные эксперименты над которыми затруднены или невозможны. Аналит-е моделирование - процессы функц-ия элем-в записываются в виде мат-х соотношений (алгебр-х, интегральных, диффер-х, логич-х и т.д.). Мат. модель может вообще не содержать в явном виде искомых величин. Ее необходимо преобразовать в систему соотношений относ-но искомых величин, допускающую получение нужного результата чисто анал-ми методами. Под этим понимается получения явных формул вида <искомая величина> =<аналитическое выражение>, либо получение урав-й известного вида, решение которых также известно. В некоторых случаях возможно качественное исследование модели, при котором в явном виде можно найти лишь некоторые свойства решения. Компьютерное моделирование – метод решения задач анализа или синтеза сложной системы на основе использования ее компьютерной модели. Численное мод-е использует методы вычис-й матем-ки и позволяет получить лишь приближенные решения. Решение задачи бывает менее полным, чем в анал-м мод-и. Иногда оно сводится к небольшому числу частных случаев. Принципиальный недостаток численного мод-я закл-ся в том, что роль такого мощного инструмента исслед-я как компьютер сводится лишь к автом-й реализации выбранного численного метода. Моделирующий алгоритм в большей степени отражает именно численный метод, чем особенности модели. Поэтому при смене численного метода приходится заново перерабатывать алгоритм моделирования. Имит-е мод-ие - воспроизведение на ЭВМ (имитация) процесса функц-я исследуемой системы с соблюдением логической и временной послед-ти реальных событий. Для имит- мод-я характерно воспроизведение событий, происходящих в системе (описываемых моделью) с сохр их логической структуры и временной последовательности. Оно позволяет узнать данные о состоянии системы или отдельных ее элементов в опред-е моменты времени. Имитационное моделирование аналогично экспериментальному исследованию процессов на реальном объекте. |
![]() Аналит-е моделирование - процессы функц-ия элем-в записываются в виде мат-х соотношений (алгебр-х, интегральных, диффер-х, логич-х и т.д.). Мат. модель может вообще не содержать в явном виде искомых величин. Ее необходимо преобразовать в систему соотношений относ-но искомых величин, допускающую получение нужного результата чисто анал-ми методами. Под этим понимается получения явных формул вида <искомая величина> =<аналитическое выражение>, либо получение урав-й известного вида, решение которых также известно. В некоторых случаях возможно качественное исследование модели, при котором в явном виде можно найти лишь некоторые свойства решения. Численное мод-е использует методы вычис-й матем-ки и позволяет получить лишь приближенные решения. Решение задачи бывает менее полным, чем в анал-м мод-и. Принципиальный недостаток численного мод-я закл-ся в автом-й реализации выбранного численного метода. Моделирующий алгоритм в большей степени отражает именно численный метод, чем особенности модели. Поэтому при смене численного метода приходится заново перерабатывать алгоритм моделирования. Имит-е мод-ие - воспроизведение на ЭВМ (имитация) процесса функц-я исследуемой системы с соблюдением логической и временной послед-ти реальных событий. Для имит- мод-я характерно воспроизведение событий, происходящих в системе (описываемых моделью) с сохр их логической структуры и временной последовательности. Оно позволяет узнать данные о состоянии системы или отдельных ее элементов в опред-е моменты времени. Имитационное моделирование аналогично экспериментальному исследованию процессов на реальном объекте, т.е. на натуре. |
Пусть требуется получить значения случайной величины X, распределенной в интервале (a;b) с плотностью вероятности f(x). Стандартный метод моделирования основан на том, что интегральная функция распределения ![]() Тогда случайную величину X с произвольной плотностью распределения f(x) можно рассчитать по следующему алгоритму, графическое решение смотрите на рисунке 1: 1. Необходимо сгенерировать случайную величину r (значение случайной величины R), равномерно распределенную в интервале (0;1).а 2. Приравнять сгенерированное случайное число известной функции распределения F(X) и получить уравнение ![]() 3. Решая уравнение X=F-1(r), находим искомое значение X. Такой способ получения случайных величин называется методом обратных функций. Графическое решение . ![]() |
|
При моделировании процессов и сист.исп-ся 3 вида случ.объектов. 1.сл.величины, 2.сл.события, 3.сл.процессы. Случайная величина , имеющая квазиравномерное распределение в интервале [0,1], принимает значения ![]() ![]() Математическое ожидание и дисперсия квазиравномерной СВ соответственно имеют вид: M()=1/2 ![]() Таким образом, МО квазиравномерной случайной величины совпадает с математическим ожиданием равномерной случайной последовательности интервала [0,1], а дисперсия отличается множителем (2n + 1) / (2n – 1), который при достаточно больших n близок к единице. На ЭВМ невозможно получить идеальную последовательность случайных чисел, т.к. можно оперировать только с конечным множеством чисел, и для получения значений х случайной величины используют формулы; поэтому такие последовательности называют псевдослучайными. Способы получ.квазир.сл.чисел:1.при помощи спец.таблиц, 2.при помощи физич.датчиков (рулетки,ген.шумов и др). 3. Спец.прогр.датчики получения квазиравн.случ.чисел. |
Экспоненциальное или показательное распределение — абсолютно непрерывное распределение, моделирующее время между двумя последовательными свершениями одного и того же события. Случайная величина X имеет экспоненциальное распределение с параметром ? > 0, если её плотность имеет вид ![]() Функция экспоненциального распределения: ![]() Алгоритм формирования значений случайной величины, распределенной по экспоненциальному закону: 1.Вводятся исходные значения: количество генерируемых величин N (не менее 100) и математическое ожидание экспоненциального закона распределения (THETA); 2.Обнуляется переменная К для подсчета количества генерируемых случайных величин; 3.Генератор псевдослучайных чисел формирует число; 4.Вычисляется случайная величина по формуле 2.7; 5.Значение величины выводится на печать; 6.Значение счётчика случайных величин увеличивается на единицу; 7.Процедура формирования случайных величин повторяется до тех пор, пока не будет получено заданное количество. |
При моделировании процессов и сист.исп-ся 3 вида случ.объектов. 1.сл.величины, 2.сл.события, 3.сл.процессы. Сл.величина-сл.время, сл.события-работоспос.сист. в сл.момент времени сл.события. Всегда необходима выработка случ.чисел. 1.кол-во выр-х чисел должно быть достаточно большим. Возможность создания им.модели оч.сильно зависит от наличия экон и простых способов получения чисел. Получение случ.чисел [0,1]; (0,1); (0,1]. Способы получения. Пусть ?Ђ (0,1]-равном.распр.случ.величина. xЂ(a,b]-любой интервал. X=a+(b-a)?-перераспред. ![]() ![]() ![]() ![]() ![]() |
Одной из первых арифметических процедур, использованных для вычисления последовательностей равномерно распределенных псевдослучайных чисел, был метод серединных квадратов. В этом методе, предложенным фон Нейманом и Метрополисом в 1946 г.,каждое новое число в последовательности получалось взятием средних m цифр из числа, полученного возведением в квадрат первоначального m-значного числа. Метод серединных квадратов состоит из следующих шагов: 1.взять произвольное четырехзначное число. 2.возвести его в квадрат и,если нужно,добавить слева нули до восьмизначного числа. 3. Взять четыре цифры из середины в качестве первого случайного числа. 4.возвести в квадрат четырехзначное число, полученное на щаге 3 (опять при необходимости добавляя слева нули до восьмизначного числа). 5.повторять шаги 3 и 4 до получения необходимого количества случайных чисел. Алгоритм получения последовательности случайных чисел методом серединных квадратов сводится к следующему: Пусть имеется 2n-разрядное число, меньше 1: ![]() Возведем его в квадрат: ![]() а затем возьмем средние 2n разрядов: ![]() которые и будут очередным числом. Например: ![]() ![]() ![]() Суть метода: предыдущее случайное число возводится в квадрат, а затем из результата извлекаются средние цифры. К сожалению этот метод трудно проанализировать,он работает сравнительно медленно и не дает статистически удовлетворительных результатов.так,например,корреляцию между первым числом и длиной неповторяющейся последовательности (называемой периодом) заранее оценить очень трудно. Весьма часто последовательность случайных числе может оказаться слишком короткой (или,что хуже,в ней может отсутствовать случайность). Прежняя популярность данного метода простотой описания и легкостью понимания. Можно указать еще такие недостатки: 1. Если какой-нибудь член последовательности окажется равным нулю, то все последующие члены также будут нулями, 2. Последовательности имеют тенденцию "зацикливаться", т. е. в конце концов, образуют цикл, который повторяется бесконечное число раз. Свойство "зацикливаться" присуще всем последовательностям, построенных по рекуррентной формуле xi+1=f(xi). |
Три варианта получения последовательностей чисел: 1) таблица случайных чисел. Объем любой таблицы конечен, и сколько-нибудь сложные расчеты с ее помощью невозможны. Через некоторое время приходится повторяться. Кроме того, обычно обнаруживались те или иные отклонения от случайности. 2) физические датчики случайных чисел. Основной недостаток - нестабильность, непредсказуемые отклонения от заданного распределения (обычно - равномерного). 3) расчетный. В простейшем случае каждый следующий член последовательности рассчитывается по предыдущему. В настоящее время применяется именно третий вариант. Он не соответствует интуитивному представлению о случайности. Расчетный путь получения последовательности псевдослучайных чисел противоречит интуиции и подходу к определению случайности на основе теории алгоритмов, развитому акад. А.Н. Колмогоровым. Но во многих прикладных задачах он работает. Методу статистических испытаний посвящена обширная литература Время от времени обнаруживаются недостатки у популярных датчиков псевдослучайных чисел. Так, например, в середине 1980-х годов выяснилось, что для одного из наиболее известных датчиков три последовательных значения связаны линейной зависимостью ![]() Итоги.Во многих случаях решаемая методом статистических испытаний задача сводится к оценке вероятности попадания в некоторую область в многомерном пространстве фиксированной размерности. Тогда из чисто математических соображений теории чисел следует, что с помощью датчиков псевдослучайных чисел поставленная задача решается корректно. В других случаях приходится рассматривать вероятности попадания в области в пространствах переменной размерности. Типичным примером является ситуация, когда на каждом шагу проводится проверка, и по ее результатам либо остаемся в данном пространстве, либо переходим в пространство большей размерности. |
Конгруэнтный метод представляет собой арифметическую процедуру для генерирования конечной последовательности равномерно распределенных чисел. С использованием нескольких рекуррентных формул было построено множество конгруэтнных алгоритмов. В основе каждого из них лежит фундаментальное понятие конгруэнтности (два целых числа A и B конгруэнтны(сравнимы) по модулю m(где m-целое число) тогда и только тогда, когда существует такое целое число k, что A-B=km, т.е если разность A-B делится на m и если числа А и В дают одинаковые остатки при делении на абсолютную величину числа m. Это определение записывается как A=B(mod m) и читается «A конгруэнтно В по модулю m» ) Основная формула мультипликативного конгруэнтного метода имеет вид : Хi+1=aX1 (mod m), где a и m – неотрицательные целые числа. Согласно этому выражению, мы должны взять последнее случайное число Хi , умножить его на постоянный коэффициент а и взять модуль полученного числа по m. Поэтому для генерирования последовательности чисел Хi нам необходимы начальные данные Х0 , множитель а и модуль m. Любой генератор псевдослучайных чисел может дать лишь конечное множество целых случайных чисел, после которого последовательность начинает повторяться. Период, или длина последовательности, Р зависит от вычислительной машины и от выбранного модуля, а статистические свойства полученной последовательности зависят от выбора начального значения и множителя. Выбрать а, Х0 и m следует так, чтобы обеспечить максимальный период и минимальную корреляцию между генерируемыми числами. |
Смешанный метод Сначала выбирается значение m. Чтобы получить длинный период и высокую плотность величин xi в интервале [0, 1], величина m должна иметь большое значение. Самым удачным выбором является m=2b, где b – число битов в слове задействованного компьютера. Работа этих генераторов основана на использовании формулы: xi+1 = (a xi + C) (mod m), . С вычислительной точки зрения смешанный метод генерации последовательности неотрицательных целых чисел сложнее мультипликативного на одну операцию сложения, но при этом возможность выбора дополнительного параметра позволяет уменьшить возможную корреляцию получаемых чисел. Однако экспериментальная проверка качества генерируемой последовательности чисел на основе этой формулы является сложнее. Грин, Смит и Клем предложили аддитивный конгруэнтный метод. Он основан на использовании рекуррентной формулы . ![]() При X0=0 и X1=1 этот приводит к особому случаю, называемому последовательностью Фибоначчи. |
Сумма сл.величин если они независ др от др и распред равн на [0,1] подчинятется треугольному распр-ю. Di=?i-?i-1 ![]() Берем распределение этих разностей, строим гистограммы и с помощью x2 проверяем соответствие треугольному знакому. Проверяем, в силу каких причин ошибки. Если гипотеза треуг распр-я отклоняется, то числа статистически независимы. |
1. Отрезок апериодичности Периодом T и длиной отрезка апериодичности датчика называются наименьшие из величин, удовлетворяющие ![]() ![]() Чем больше T и L, тем лучше датчик (особенно L). Как определить их: 1) Берем V – достаточно большое число (обычно ![]() 2) Генерируем ![]() 3) Генерируем ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() 4) Генерируем ![]() ![]() ![]() 2. Равномерность Должно быть p(x)=1 для ![]() Проверка: 1) Берем ![]() ![]() 2) Находим ![]() 3) Для каждого числа xiопределяем, в какой интервал оно попало: ![]() и заполняем массив ![]() ![]() 4) По значениям этого массива строим гистограмму (для наглядности). Используем критерий ![]() ![]() 5) Выбираем уровень значимости ![]() ![]() ![]() ![]() 3. Некоррелированность Генерируем ![]() Вычисляем ![]() Вычисляем ![]() Проверяем для всех k ![]() Если да, то «данные эксперимента не противоречат гипотезе о равномерности случайных чисел», иначе – «противоречат». Здесь ![]() ![]() ![]() |
Если мы моделируем на осн.сл.чисел,то обязаны гарантировать,что датчики обладают всеми необходимыми свойствами. Необходимо проверять не сам датчик,а ту последовательность,которая будет исследоваться. Проверяем: 1.соотв-е получ.посл-ти заданному закону распр-я, 2.провести тесты на случайность отсутствия статистич.связи м\у последовательными n (n>=1) числами. Это делается с исп-ем критериев случайности. Обычно случ.посл-ти проверяют при помощи неск.тестов,которые идут др.за др. Если послед-ть ведет себя удовл-но отно-но тестов t1, t2…tk, то нет никакой уверенности, что она выдержит tk+1, поэтому нужно исп-ть как можно больше тестов (не меньше 6). Проверка гипотезы по принадлежности равн.распр-ю с исп-ем статистич.моментов (оперативная проверка). Св-ва идеального равн.распр-ия: m=1/2, ![]() ![]() |
Самый надежный метод проверки исп.критериев согласия. ![]() 1.критерий x2 Пирсона. (наглядный и маломощный). Достаточно мощный для большого количества наблюдений. N=3,3 lg n+1 правило Старджесса. Проверка попадания числа в i-й интервал. I-целая часть [N-?]+1. ![]() ![]() ![]() ![]() |
| | |