С тем чтобы определить, по какому именно критерию построен действующий ПС, рассмотрим некоторые счета в ракурсе какие именно ОХД они призваны собой обозначать. Оговоримся, что в связи с невозможностью, как это будет видно из дальнейшего, полной формализации материала, отдельные характеристики окажутся неполными, хотя и достаточными для выводов. [c.314]
Блок логических выводов и диагноза — основной модуль, выполняющий сначала факторный анализ, результаты которого затем используются для логического анализа и оформления диагноза. Диагноз получают на основании формализации знаний экспертов и логического [c.122]
Это направление, однако, столкнулось с рядом принципиальных трудностей. В частности, инженеры знаний должны были извлекать их у очень квалифицированных экспертов, которые, вообще говоря, не стремились поделиться информацией. Знания - большая ценность, и передавать их, чтобы помочь создать себе легко тиражируемую замену и. в конечном счете, обесценить себя как специалист стремился далеко не каждый. Но даже и при наличии соответствующего желания, эксперт не всегда мог внятно сформулировать те правила, которыми он пользуется при подготовке экспертного заключения. Очень многое в его работе связано с интуитивными качественными оценками, распознаванием ситуации в целом, то есть с не формализуемыми процедурами (мы знаем, что это как раз та ситуация, в которой особенно отчетливо проявляются преимущества нейросетевого подхода). Но даже если все трудности оказывались преодоленными достоинства построенной экспертной системы оказывались не абсолютными поскольку именно явная формализация правил вывода, а не компьютерная система сама по себе представляла основную ценность. В этом смысле весьма показателен [c.167]
Нейронные сети выглядят предпочтительнее экспертных систем, позволяя одновременно анализировать множество в общем случае неточных и неполных параметров и не требуя при этом явной формализации правил вывода. Однако, объяснение тех или иных рекомендаций, полученных с помощью нейросетевого анализа, является требованием, которое обычно предъявляют специалисты, желающие использовать нейросетевые технологии. На первый взгляд здесь-то и находится их слабое место. Действительно, в такой области обработки информации, как извлечение знаний, нейронные сети стали применяться только относительно недавно. Это еще одна сфера, в которой доселе господствовал только традиционный искусственный интеллект. Рассмотрим ее более подробно. [c.168]
Уточнение размеров площадей в формулярах-образцах при различных форматах приведет к экономии бумаги и увеличит количество документов, которые можно подвергнуть унификации на основе единой модели. Из проведенного анализа действующих стандартов на формуляры-образцы можно сделать два основных вывода. Во-первых, необходимо совершенствовать действующие формуляры-образцы, повышая степень их формализации и уточняя состав охватываемых реквизитов и их площадь, а также создавать на подобных принципах формуляры-образцы для других систем документации. Во-вторых, [c.109]
Столь длинное предисловие обусловлено тем, что автор придерживается сформулированного принципа в настоящей статье. Будут указываться доводы и за и против , но когда нетерпеливый читатель будет уже готов проглотить готовый рецепт-вывод типа плюсы перевешивают минусы или наоборот, то такой читатель будет разочарован — никакого итога подведено не будет. К этому надо привыкнуть. Зачем же такая наука — воскликнет разочарованный читатель. Затем, что на практике всегда есть дополнительные обстоятельства, которые, быть может, весьма косвенно связаны с изучаемым явлением, но существенны для определенного выбора между за и против в данной конкретной ситуации. Формализация же таких дополнительных обстоятельств, накладываемых на данную теорию, практически невозможна. Это соображение объясняет, например, почему теоретическая экономика не может быть сведена к своему математическому инструментарию в той же степени, как это удается сделать в теоретической физике. [c.296]
ФОРМАЛИЗАЦИЯ. В науке имеет огромное значение точность, строгость выражения мыслей. Если мы хотим сделать правильный вывод из некоторых фактов, то должны абсолютно точно знать, в чем состоят эти факты и как они взаимосвязаны или относятся друг к другу. Между тем обычный язык характеризуется многозначностью. Так, при слове ключ один подумает про ключ от квартиры, другие вспомнят ключ за околицей, третьи — телеграфный ключ, четвертые — скрипичный или басовый ключ и т. д. [c.31]
Очевидно, что экономико-математическому моделированию с целью формализации и вывода расчетов на ЭВМ должны в первую очередь подвергаться те задачи подсистемы ТЭП, которые предусматриваются как автоматизируемые. К таким задачам относится задача составления плана по труду и заработной плате в ежегодно составляемом годовом техпромфинплане предприятия. В настоящее время матричная модель техпромфинплана в общем виде разработана достаточно полно. Однако представляется необходимой более детальная проработка отдельных разделов его с учетом особенностей конкретных отраслей промышленности, в первую очередь плана по труду и заработной плате. Актуальность такой проработки подтверждается также тем, что в настоящее время в состав директивных показателей предприятия введен показатель роста производительности труда, что предъявляет повы-100 [c.100]
Должностные обязанности. Осуществляет руководство разработкой и внедрением проектов совершенствования управления производством на основе использования совокупности экономико-математических методов, современных технических средств (электронно-вычислительных машин, средств связи, устройств отображения информации и др.) и элементов теории экономической кибернетики. Организует проведение исследований системы управления, порядка и методов планирования и регулирования производства с целью определения возможности их формализации и целесообразности перевода на ЭВМ, а также изучение проблем обслуживания автоматизированных систем управления предприятия и его подразделений. Участвует в составлении технических заданий по созданию АСУП и отдельных ее подсистем. Обеспечивает подготовку планов проектирования и внедрения АСУП и контроль за их выполнением, постановку задач, их алгоритмизацию, увязку организационного и технического обеспечения всех подсистем АСУП, создание и внедрение типовых блоков. Организует работу по совершенствованию документооборота на предприятии (определение входных и выходных документов, порядка их ввода и вывода, приема и переформирования, передачи по каналам связи, оптимизации документов, рационализации содержания и построения документов, удовлетворяющих требованиям АСУП и удобствам для работы соответствующих исполнителей), проектированию технологических схем обработки информации по всем задачам АСУП и технологических процессов обработки информации на ЭВМ. Осуществляет руководство разработкой инструкций, методических и нормативных материалов, связанных с информационным обеспечением АСУП (кодирование сырья, материа- [c.65]
Аттестация — более сложный процесс, чем оценка, хотя бы потому, что он предполагает определенную формализацию, вовлеченность большего количества участников, обязательный надзор со стороны руководства и службы управления персоналом, выводы по итогам аттестации. Кроме того, аттестация практически всегда вызывает опасения и негативные эмоции персонала. [c.183]
Однако в связи с отмеченными выше существенными ограничениями, лежащими в основе формализации игры, далеко не все реальные ситуации допускают такую формализацию, а полученные выводы в реальных ситуациях выглядят зачастую банальными (например, направить все ресурсы на наиболее эффективные операции) и могут требовать корректировки с позиций здравого смысла, диверсификации видов деятельности и т.д. Это снижает практическую эффективность игрового подхода в реальной деятельности. [c.164]
Опишем подробно схему простых процентов для финансовых событий. Потоки платежей исследуем в последующих главах. Основное внимание уделим именно процессу формализации схемы простых процентов, т.е. того, каким образом получаются, выводятся правила преобразования (приведения) событий и условия их эквивалентности. [c.151]
При изучении публичного управления используются различные общенаучные и специальные методы и методики. Среди научных методов важное значение имеют анализ и синтез. С их помощью, например, выделяются ветви государственной власти (законодательная, исполнительная, судебная и др.), создаются синтезированные понятия государственного аппарата (в широком смысле), публичного коллектива, публичной власти, муниципального образования, местного самоуправления. Применяются логический метод (с его помощью делаются различные умозаключения, например, о принципе законности в управлении), метод формализации (он помогает, например, создавать различные классификации), сравнительный метод (позволяет сопоставлять возможности разных способов публичного управления), количественные методы (в том числе статистические, свидетельствующие о составе аппарата управления), метод прогнозирования (например, вывод о возможном отпочковании новых ветвей власти), экстра- [c.78]
Мы рассмотрим каждый из них по порядку. Но такой метод изложения не должен порождать представления, будто эти факторы, строго говоря, независимы друг от друга. Например, то, в какой пропорции увеличение эффективного спроса разделяется в своем действии между увеличением объема производства и ростом цен, может сказываться и на характере связи между количеством денег и величиной эффективного спроса. Точно так же и различие в пропорциях, в которых меняется вознаграждение различных факторов, может влиять на отношение между количеством денег и величиной эффективного спроса. Цель нашего анализа отнюдь не в том, чтобы создать такую механику или такую шаблонную схему операций, которая автоматически выдавала бы безошибочный ответ, а в том, чтобы обеспечить себя методом для систематического и планомерного изучения ряда проблем. Поэтому после установления предварительных выводов путем последовательной изоляции одного за другим усложняющих факторов мы теперь должны вернуться к нашей исходной позиции и учесть, насколько это возможно, вероятные взаимодействия всех этих факторов. Именно такова природа экономического мышления. Любой другой способ применения формальных принципов познания (без которых, однако, мы заблудились бы, как в лесу) привел бы нас к ошибкам. Крупный дефект формализации экономического анализа с помощью псевдоматематической символики, вроде той, что представлена в VI настоящей главы, в том именно и состоит, что все эти построения явным образом исходят из допущения о строгой независимости введенных в анализ факторов и они теряют всю свою доказательность и значение с отпадением этой гипотезы. Между тем, когда мы не ограничиваемся механическими манипуляциями, а знаем постоянно, что делаем и что значат употребляемые нами слова, мы можем держать про себя "в уме" необходимые оговорки и коррективы, которые мы позже должны будем внести но мы никак не можем таким же образом на протяжении нескольких страниц алгебраических выкладок держать "в уме" сложные частные производные, а это все равно, как если бы все они обращались в нуль. Слишком большая доля современной "математической экономии" представляет собой, по существу, простую мешанину, столь же неточную, как и те первоначальные допущения, на которых она основывается, причем авторы получают возможность забывать о сложных отношениях и взаимосвязях действительного мира, замыкаясь в лабиринте претенциозных и бесполезных символов. [c.129]
Первая попытка математической формализации задачи построения оптимального календарного плана обработки деталей применительно к наиболее простому частному случаю была осуществлена в 1950 г. С. А. Соколицыным. Автором данной работы в 1951 г. был внесен ряд уточнений в полученные С. А. Соколицыным выводы по определению очередности обработки (запуска) деталей, исходя из условий обеспечения минимальных перерывов в работе станка. Эти выводы применительно к случаю обработки деталей с одинаковыми технологическими маршрутами стали справедливы для любого количества операций и при занятости на них не только по одному, но и по нескольку станков-дублеров. [c.140]
Для технического и математического обеспечения автоматизированных систем проектирования следует решить проблемы широкого внедрения принципов цифрового кодирования геометрической информации и методов обратного преобразования информации в чертежно-графическую разработки математических моделей, методики инженерно-технических и экономических расчетов, используемых в НИР и ОКР, и создания алгоритмов с программами их решения на ЭВМ систематизации математической формализации норм, правил, ТУ, ГОСТов на проектирование для использования их в САПР создания кодированных каталогов изделий, узлов, деталей, материалов, процессов составления кодированных каталогов научно-технической и патентной информации с выводом на копировальные устройства организации автоматизированных архивов, чертежей, справочной и нормативной документации формирования комплексных программ конструирования изделий, их узлов и элементов на базе синтеза частных программ инженерных расчетов выбора и обоснования критериев для принятия оптимальных решений на разных этапах НИР и ОКР алгоритмизации процессов НИ-ОКР, применения эвристических методов и программированных моделей мышления разработчиков разработки методов автоматизации распознавания образов для считывания графической и текстовой информации создания языков для общения ученого и инженера с машиной разработки комплексов технических средств САПР и АСНИ. [c.122]
Работы на всех перечисленных этапах имеют смысл, если они завершаются внедрением результатов исследований в практику управления. На завершающем этапе от исследователя требуется умение убедительно аргументировать и наглядно формулировать полученные им выводы. Он должен уметь отделить те результаты исследований, к-рые могут быть непосредственно внедрены, от тех, к-рыс должны быть уточнены в процессе дальнейшей работы, уметь интерпретировать полученные им результаты. Часто результатом исследования может быть не само решение, а лишь определ. соображения по структуре процесса управления и др. качеств, выводы, полученные с помощью анализа операц. модели. Следует помнить, что задача исследователя операции подготовить решение, а не принять его. Руководитель, ответственный за решение, должен учитывать, помимо рекомендаций исследователя операций, основанных на количеств, оценках, и др. факторы, не поддающиеся формализации, поскольку операц. модель никогда не бывает достаточной для окончат, решения реальной задачи. [c.74]
Базаров (Руднев) В. (1874—1939) — русский и советский экономист, философ, публицист, участвовал в переводе на русский язык Капитала К. Маркса. Выдвинул идею применения метода моделирования, допускающего математическую формализацию и обработку. В советский период проявил себя как специалист в области перспективного планирования. Открытый им принцип затухающей кривой (замедление темпов экономического роста по мере преодоления разрухи) он связывал с особенностями восстановительного процесса в стране, но уже в 1923—1924 гг. сделал вывод о необходимости перестройки народного хозяйства на новых технических организационных и социальных основах еще до завершения восстановительного процесса. [c.4]
С целью формализации будем считать, что рассматривается описанная в 1а, гл. V, схема (В, 5)-рынка, где В = (Вп) - банковский счет и S = (Sn) - интересующий договаривающиеся стороны актив. (Если считать, что рассматриваемый актив является одной из компонент d-мерного вектора рисковых активов, то в предположениях безарбитражности это ничего не изменит в последующих выводах.) [c.166]
Один из важнейших выводов методического характера гласил, что пункты согласования имеют большее значение, чем предполагалось. Поэтому в будущих проектах необходимо обеспечивать большую формализацию и обязательность. В одном подразделении рабочая группа для выполнения своих собственных целей сформулировала в BS рамочные условия, которые должно было выполнить руководство компании Prints. В этом подразделении из-за нехватки времени обсуждение состоялось лишь после завершения работы над BS в комитете по управлению, так что процесс обратной и прямой связи не был организован оптимально. В данном случае проблем не возникло, поскольку управление не усмотрело сложностей в выполнении требований подразделения, однако в другой ситуации эти действия могли привести к значительному замедлению проекта. [c.285]
Неточность моделей может возникать из-за неверно проведенной декомпозиции общей задачи управления, излишней идеализации модели сложного процесса, разрыва существенных связей в технологическом комплексе, линеаризации, дискретизации, замены фактических характеристик оборудования паспортными, нарушения допущений, принятых при выводе уравнений (стационарности, изотер-мичности, однородности и т.д.). Ввиду большой сложности объекта, существенной нелинейности, трудностей формализации, наличия различных субъективных критериев и ограничений могут применяться нечеткие модели. [c.8]
При решении задач в детерминированной постановке с ростом сложности и размерности модели возникают большие проблемы с устойчивостью оптимизационных задач. Сам процесс оптимизации подразумевает вывод системы на определенные предельные ограничения. В этой ситуации даже незначительные колебания второстепенных параметров (например, температуры) могут привести к потере режима. На практике диспетчерской службы не придерживаются этих границ с такой точностью - до второго, третьего знака после запятой, да и многие ограничения чаще всего являются мягкими , допускающими их незначительное нарушение. Просто расширить эти ограничения нельзя - процедура оптимизации тут же доведет режим до новых границ, и проблема устойчивости останется. Поэтому только представление ряда ограничений как нечетких дает возможность получать устойчивое решение в условиях погрешности информации и нечеткости производственных ограничений с указанием снижения степени допустимости этого режима, т.е. в виде функций принадлежности. Постановка задачи в нечеткой форме также значительно снижает возможность получения несовместимых решений при расчете и оптимизации. Принципиальным недостатком детерминированных моделей систем является отсутствие эффективных методов сравнения различных возможных моделей по назначению модели, ее погрешности и адекватности допущений, положенных в ее основу. Построение моделей в рамках нечеткого подхода позволяет сравнивать модели и придавать точный смысл таким понятиям как значимый и пре-небрежимый . Появляется возможность формализации неточных знаний о предметной области внесения в модель сведений о неполноте информации. [c.10]
Смотреть страницы где упоминается термин Формализация вывода
: [c.53] [c.422] [c.16] [c.274] [c.139]Смотреть главы в:
Вариационные принципы механики сплошной среды -> Формализация вывода