Прежде чем обратиться к применению указанного метода, уместно упомянуть другой перспективный подход к выбору эмпирического метода, основывающийся на использовании аксиоматических методов.10 В действительности эта процедура означает отказ от поисков подлинного максимального решения. Она скорее определяет ряд условий приемлемости в форме аксиом, которые служат в качестве ограничений, сужающих диапазон возможных решений.11 Например, при выборе достаточно простого [c.453]
Аксиоматический метод математические доказательства элементы, множества, отношения, отображения числа матрицы комбинаторика конечные и бесконечные множества основные идеи математического анализа математика случайного элементы теории вероятностей основные понятия математической статистики роль математики в гуманитарных науках теоретические представления об информационных процессах в природе и обществе понятие информации процессы ее порождения, поиска, передачи и приема интерпретация сообщения социальная информация и ее особенности информационные процессы в культуре культурная коммуникация информатизация общества и [c.102]
Второй метод — "противоположно направлен", это своего рода обратный аксиоматический метод. Применяя его, обычно исходят из тех решений, которые выбраны на основе каких-то интуитивных соображений или формальных представлений о схемах, используемых в реальной практике, а лишь затем уже изучают те свойства, которым эти решения удовлетворяют (хотя это уже не является центральным моментом исследований). Здесь, однако, следует особо отметить, что граница, разделяющая эти два метода весьма и весьма расплывчата в том смысле, что очень часто второй метод естественно переходит в первый исследование свойств выбранного решения приводит к тому, что полученные свойства (или некоторые из них) становятся аксиомами, которые однозначно и определяют то самое решение, с которого процесс начинался. В этом смысле, о втором методе можно тоже достаточно естественно говорить как об аксиоматическом методе, не разделяя строго "прямой" и "обратный" аксиоматический методы. (Мы проиллюстрируем ниже применение аксиоматического метода еще на примере арбитражной схемы Нэша). [c.190]
АН СССР (1939). Окончил Московский университет (1925) и многие годы был в нем профессором. Основатель научных школ в области теории вероятностей, функционального анализа, построил широко известную систему аксиоматического обоснования теории вероятностей (1933), заложил основы теории марковских случайных процессов с непрерывным временем. В области прикладных исследований, связанных с экономикой, ему принадлежат крупные результаты в разработке методов статистического контроля качества продукции. Был иностранным членом многих зарубежных академий наук (Франция, Великобритания, США, Нидерланды, Польша и др.), награжден Государственной премией СССР (1944) и Ленинской премией (1965). [c.439]
Представляется возможным для поиска технических решений использовать развивающееся в настоящее время семантическое моделирование [3]. Под ним понимается исследование свойств объекта на основе представления знаний о нем с применением логических и лингвистических переменных и средств логического вывода. Методы семантического моделирования используют специальный концептуальный язык, формализующий аксиоматическое описание области поиска и обеспечивающий получение информации о техническом решении, принадлежащем этой области, логическими выводами. [c.151]
Оптимизация систем всегда связана с неопределенностью в формировании ОПК. Одним из методов редукции неопределенности при формировании ОПК является использование аксиоматического подхода, позволяющего выделить функциональный вид ОПК при выполнении ряда допущений относительно соизмеримости частных ПК (ЧПК). Другим методом является использование получаемой от лица, принимающего решение, информации для конкретизации структуры и значений параметров такого показателя. [c.130]
АКСИОМАТИЧЕСКИЙ МЕТОД—от греческого слова axioraa, что означает удостоенное, принятое предложение . Вся школьная геометрия строится на аксиомах Эвклида, из которых последовательно — от теоремы к теореме выводятся многообразные геометрические понятия и формулы. Так и любая научная теория в принципе может строиться на основе некоторого чис--ла положений, принятых заведомо правильными. Такое построение теорий называется аксиоматическим, очо распространено в точных науках. [c.12]
АВТОМАТИЗАЦИЯ ПРОГРАММИРОВАНИЯ ИЗ АВТОМАТИЗИРОВАННАЯ СИСТЕМА ПЛАНОВЫХ РАСЧЕТОВ (АСПР) 129 АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ (АСУ) 129 АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ ПРОИЗВОДСТВОМ (АСУП) 131 Автоматическое регулирование 19 Автоматические системы управления 129 АВТОНОМНАЯ МОДЕЛЬ 37 АГРЕГАТ 37 АГРЕГИРОВАНИЕ 37 АГРЕГИРОВАНИЕ В МЕЖОТРАСЛЕВОМ БАЛАНСЕ 75 Агрегированный продукт 75 АДАПТАЦИЯ 38 Адаптивные системы 38 Аддитивные величины 50 АДЕКВАТНОСТЬ МОДЕЛИ 38 Адрес 143 АДРЕСНЫЙ ПРИНЦИП ПОСТРОЕНИЯ КОМАНД 143 АКСЕЛЕРАТОР 89 АКСИОМАТИЧЕСКИЙ МЕТОД 12 АЛГОРИТМ (АЛГОРИФМ) 143 АЛГОРИТМИЧЕСКИЕ ЯЗЫКИ 144 АМПЛИФИКАЦИЯ 39 АНАЛИЗ СПРОСА И ПОТРЕБЛЕНИЯ 12 [c.156]
Можно показать, что из того, что размещение Xдоминирует по Лоренцу размещение Y, следует, что X предпочтительно с точки зрения S - вогнутой функции общественного благосостояния. Следовательно, между доминированием по Лоренцу и ранжированием с помощью S - вогнутой функции общественного благосостояния существует взаимнооднозначная связь. Это свойство показывает тот факт, что сравнимыми с точки зрения выбранной формы общественных предпочтений являются лишь распределения благ с непересекающимися обобщенными кривыми Лоренца. Следовательно, для того чтобы сравнимыми оказались любые два доступных размещения блага, необходимо наложить на функцию, представляющую общественные предпочтения, еще более жесткие требования. Такая более жесткая система требований находит применение в аксиоматическом методе построения индексов неравенства22. [c.95]
При исследовании решений кооперативных игр используются два базовых метода. Первый — это аксиоматический метод, когда желательные свойства решений формулируются в виде аксиом и исследуется вопрос существования решений, удовлетворяющих этим аксиомам. Такие исследования обычно приводят к так называемым характеризационным теоремам, то есть теоремам, описывающим определенное решение (или класс решений), являющееся единственным решением (или, соответственно, единственным классом решений), которое удовлетворяет введенным аксиомам. (Прекрасным примером здесь является только что определенное значение Шепли). Часто такие характеризационные теоремы могут иметь форму теорем существования, указывающих в явном (или неявном) виде решение, удовлетворяющее желаемым свойствам. В соответствии с этим методом, первичными являются свойства решений, и эти свойства используются как основной образующий блок для построения решений. [c.190]
Арбитражные схемы (или задачи о сделках, или задача торга5) представляют особый интерес. Не останавливаясь на них подробно, отметим, тем не менее, следующий важный момент. Одной из причин, по которой упомянутые игры называются "арбитражными схемами", является следующее. Как правило, для решения подобного вида игр используется аксиоматический метод, то есть формулируется ряд свойств, которым должно обладать решение таких игр. А значит, нахождение решения такой игры можно трактовать следующим образом "справедливое" распределение определяет некий беспристрастный арбитр, руководствуясь некоторыми правилами (сформулированными в виде аксиом). [c.201]
Коронным достижением аксиоматического подхода является теория совершенной конкуренции. Невзирая на то, что она была впервые предложена около двухсот лет назад, она ни разу не была превзойдена усовершенствован был только метод анализа. Теория утверждает, что при некоторых, вполне определенных обстоятельствах неограниченное стремление к удовлетворению собственных интересов приводит к оптимальному распределению ресурсов. Точка равновесия достигается, когда уровень производства компании таков, что предельные затраты равны рыночной цене товара, а каждый потребитель при покупке получает такое количество товара, что его общая предельная "полезность" равна его рыночной цене. Исследования показывают, что состояние равновесия максимизирует выгоды всех участников при условии, что ни один покупатель или продавец не может повлиять на рыночные цены. Именно этот способ рассуждении послужил теоретической основой для политики полной свободы действий — laissez faire, доминировавшей в девятнадцатом веке, а также служит основой современных представлений о "магической силе рынка". [c.27]
Одно их главных достоинств метода последовательного сужения области компромиссов заключается в том, что удается аксиоматически очертить класс задач многокритериального выбора, для которых в результате применение данного метода на каждом шаге сужения заведомо не будет удалено ни одно потенциально-оптимальное решение. Тем самым, набор аксиом четко указывает возможные границы его применимости. [c.14]
При отсутствии согласованности экспертов естественно разбить их на группы сходных по мнению. Это можно сделать различными методами статистики объектов нечисловой природы, относящимися к кластер-анализу, предварительно введя метрику в пространство мнений экспертов. Идея американского математика Джона Кемени об аксиоматическом введении метрик нашла многочисленных продолжателей. Однако методы кластер-анализа обычно являются эвристическими. В частности, невозможно с позиций статистической теории обосновать законность объединения двух кластеров в один. Имеется,важное исключение для независимых парных сравнений (люсианов) разработаны методы, позволяющие проверять возможность объединения кластеров как статистическую гипотезу. Это — еще один аргумент за то, чтобы рассматривать теорию люсианов как ядро математических методов экспертных оценок. [c.332]
Перейдем теперь к проблеме формулировки определений терминов, используемых в логистике Определение — это логический прием, позволяющий отличить один объект от другого путем описания его свойств, способа употребления, а также сформировать значение вновь вводимого или уже известного понятия, зафиксированного в естественном или научном языке Существуют различные виды опредечений, некоторые из которых рассмотрены ниже Фундаментальные понятия ряда наук (например, "прямая линия" в евклидовой геометрии) имеют так называемые неявные определения (аксиоматические и контекстуальные) Некоторыми известными зарубежными специалистами в области логистики ряд ее важных понятий (материальный поток, логистическая система и др ) рассматриваются по умолчанию как аксиоматические Например, в Терминологическом словаре Американского общества проблем управления производством и запасами нет определения термина материальный поток" Однако через этот термин определяется ряд других важных терминов, например "управление материалами" Другие наиболее распространенные виды определений относятся к явным Опреде ние, в котором объект выделяется из ряда других объектов путем описания способа его построения, использования и т п называется генетическим Примером генетического определения в настоящем словаре может служить опредетение термина "АВС-метод", в котором рассмотрена не только суть самого метода, но и приведен один из алгоритмов его использования Опредечение через родовое отличие называется классическим В таком определении значение объекта уточняется путем включения его в объем более широкого понятия Например, "логистическая система эшелонированная определяется в с товаре как специфическая [c.346]
В.Н.Дружинин выделяет три группы теоретических методов 1) дедуктивный (аксиоматический и гипотетико-дедуктивный), иначе — восхождение от общего к частному, от абстрактного к конкретному, в результате чего появляется возможность выявить закономерность, закон, теорию 2) индуктивный метод — обобщение фактов, восхождение от частного к общему, в результате чего появляется возможность построения классификации, выдвижения гипотезы 3) моделирование — конкретизация метода аналогий, трансдукции , умозаключения от частного к частному, когда в качестве аналога более сложного объекта берется более простой (доступный для исследования), в результате появляется модель объекта, процесса, состояния (см. там же, с. 13). [c.344]
Более точный метод формулировки логики дедуктивного доказательства обнаруживается в аксиоматическом (axiomati ), или математическом, подходе к теории учета. Основа теории создается в форме математических моделей, использующих матричную алгебру и символическую логику. Ограничения могут быть выражены в форме математических выражений. Следовательно, начав с базовых постулатов и правил логического вывода, можно формулировать теоремы, которые проверяются математическими выкладками. Таким образом, аксиоматический подход может обеспечить довольно точное (строгое) применение дедуктивного метода. [c.20]