4.5.2.4.ГЛОССАРИЙ
Валидация модели – процесс логического доказательства соответствия модели объекту путём вывода из её соотношений наперёд известных закономерностей, присущих объекту.
Верификация модели – процесс проверки соответствия результатов моделирования эмпирическим данным об объекте, сопровождающийся анализом и объяснением причин наблюдаемых расхождений.
Входная переменная – переменная, значение которой присваивается перед началом вычислительного эксперимента и остаётся неизменным вплоть до его завершения.
Выходная переменная – переменная, значение которой в момент начала вычислительного эксперимента не определено, а по завершении используется в целях интерпретации либо в качестве исходных данных другой модели.
Вычислительный эксперимент – этап решения практической задачи с помощью имитационной модели, состоящий в её решении (процедурном выполнении) при заданных значениях переменных, имитирующих заданные условия функционирования моделируемого объекта.
Динамическое программирование – раздел математического программирования, изучающий методы поиска оптимального пути на сетях.
Имитационная модель – математическая модель, не содержащая соотношений, выражающих цель её эксплуатации и ориентированная на постановку компьютерных экспериментов, цель которых, как правило, не вполне известна разработчику.
Интерфейс модели – совокупность тех входных и выходных переменных модели, через которые она взаимодействует с другими моделями в процессе её эксплуатации.
Исчисление предикатов – формальная система, широко используемая для представления логических законов, связывающих объекты исследования с отношениями между этими объектами. Применяется в системах искусственного интеллекта.
В исчислении предикатов употребляются следующие символы:
предметные переменные, соответствующие объектам исследования теории;
предикатные переменные, соответствующие произвольным отношениям между объектами;
знаки логических операций: конъюнкции, дизъюнкции, импликации, отрицания;
кванторы всеобщности и существования
скобки (для определения последовательности логических операций и определения области действия кванторов).
Коллекция моделей – множество моделей, соответствующих одному и тому же объекту и имеющих один и тот же интерфейс, но различающихся степенью детальности, требуемыми затратами вычислительных ресурсов, границами выполнения основного предположения имитационного моделирования, потребностью в информации для параметрической идентификации и т.д. В зависимости от цели компьютерного эксперимента перед его началом выбирают подходящие экземпляры из коллекций моделей, используемых в данном эксперименте.
Комплиментарные блага – блага, рост спроса на одно из которых при прочих равных условиях приводит к росту спроса на другое в определённой пропорции.
Макроэкономическая модель – экономико-математическая модель, в которой субъекты принятия экономических решений представлены агрегированно, а различия между ними не отражены.
Математическое программирование – раздел математики, изучающий методы поиска экстремумов на множествах, заданных системами уравнений или неравенств.
Матрица Гессе – квадратная матрица, соответствующая функции вида f(x) = 0 в заданной точке x*, где x = (xj) – вектор переменных, состоящая из компонентов
Матрица Якоби – матрица, соответствующая решению системы уравнений вида f(x)=0, где x = (xj) – вектор переменных, f(x) = (fi(x)) – вектор-функцияˆ, по следующим правилам: строки соответствуют уравнениям, столбцы – переменным, компоненты матрицы равны
Микроэкономическая модель – экономико-математическая модель, явно отражающая субъектов принятия экономических решений.
Невязка – минимальная величина, на которую нужно изменить одну из сторон равенства (или неравенства) при заданных значениях его переменных, чтобы обратить его в истинное утверждение.
Основное предположение имитационного моделирования – непроверяемое предположение, на котором основывается методология имитационного моделирования. В соответствии с ним при выполнении ряда условий:
если некоторая модель достаточно точно описывает некоторое представительное подмножество возможных состояний объекта;
можно указать некоторые границы значений переменных, в которых заключено данное подмножество;
нет оснований считать, что связи между переменными в этих границах могут различаться,
предполагается, что имитационная модель описывает все возможные состояния объекта в этих границах.
Отладка имитационной модели – процесс выявления ошибок, возникших на этапе программирования имитационной модели.
Параметр – числовая величина, остающаяся неизменной в конкретном варианте модели.
Параметрическая идентификация – процесс определения значений параметров математической модели, наилучшим (в том или ином смысле) образом согласующихся с имеющимися эмпирическими данными.
Переменная состояния – переменная имитационной модели, значение которой в начале компьютерного эксперимента не определено и которая не используется по его завершении.
Поток данных – понятие, содержание которого определяется ролью конкретных переменных модели (входные, выходные либо переменные состояния) в конкретном компьютерном эксперименте.
Производственная функция – способ представления технологии производства в форме математической зависимости выпуска одного или более видов продукции от затрат одного или более видов ресурсов.
Символьная переменная – переменная, значение которой является последовательностью символов, не интерпретируемых как число.
Субмодель – понятие, применяемое к модели, используемой в качестве составляющего элемента более сложной модели.
Субституционарные блага – блага, рост спроса на одно из которых при прочих равных условиях приводит к сокращению спроса на другое в определённой пропорции.
Теоретическая модель – математическая модель, представляющая моделируемый объект в общем виде, без конкретизации числовых значений переменных. Используется для теоретического исследования свойств моделирования объекта путём доказательства утверждений о свойствах объекта, вытекающих из соотношений модели и постулируемых требований к ним.
Управляемая переменная – переменная управляемой подсистемы кибернетической системы, находящаяся в зависимости от некоторых переменных управляющей подсистемы, реализующей заданную цель управления.
Факторная модель – математическая модель, ставящая исследуемую переменную или множество переменных в зависимость от переменных, отражающих, как предполагается, факторы исследуемого явления.
Формализм – формальная система, используемая в качестве средства представления знаний. Формализм предоставляет лингвистические (языковые) и процедурные средства для представления знаний.
Формальная система (символьная система, знаковая система) – система, определяемая алфавитом, синтаксисом (правилами построения формул из символов алфавита), аксиоматикой (множеством формул, считающихся теоремами a priori) и правилами вывода новых теорем.
Формально-логическая модель – математическая модель, описывающая связи между символьными переменными с помощью изобразительных средств исчисления предикатов.
Числовая модель – математическая модель, всем параметрам и переменным которой присвоены числовые значения. Используется для исследования количественных связей между явлениями, отображаемыми моделью.
Числовая переменная – переменная, принимающая значения из множества действительных чисел или некоторого его подмножества.
Экзогенная переменная – а) переменная имитационной модели, значение которой задаётся исследователем; б) независимая переменная эконометрической модели.
Эксплуатация модели – процесс использования математической модели в практической деятельности (например, в процессе изучения объекта моделирования или в обосновании управленческих решений).
Эмпирическая модель – числовая модель, при разработке которой использованы данные, собранные в результате наблюдения исследуемого объекта (в экономике – данные бухгалтерского учёта, статистической отчётности, выборочных или сплошных обследований).
Эндогенная переменная – а) переменная имитационной модели, значение которой определяется в процессе вычислительного эксперимента; б) зависимая переменная эконометрической модели. |