Cтраница 1
Задача формализации, т.е. выбора смысла, которым наделяются компоненты входного и выходного векторов, пока решается только человеком на основе практического опыта. Жестких рецептов формализации для нейронных сетей пока не создано. Рассмотрим, как выбирается смысл входных и выходных данных в наиболее распространенных случаях. [1]
Задача формализации конкретной системы массового обслуживания заключается в установлении типа данной системы, в выяснении количественных характеристик входящего потока требований и обслуживающих аппаратов и, наконец, в математическом представлении зависимостей характеристик эффективности обслуживания от характеристик входящего потока требований и обслуживающих аппаратов. [2]
Решение задачи формализации технологического процесса позволяет моделировать, а следовательно, и оценивать характеристики и параметры достаточно сложных процессов. [3]
Более спорной является задача формализации параметров и создания математических моделей комбинированного действия факторов. Многие специалисты в области физиологии и психологии полагают, что формальная система выдаст информацию такого произвольного характера, что она не будет представлять никакой ценности. И это предположение сделано не без оснований. [4]
В связи с задачей формализации записи тех характерных для сборочного оборудования логических операций, которые связаны с необходимостью автоматического реагирования на возможные отклонения от нормального течения технологического процесса, с возможными изменениями последовательности ( чередованиями) операций, с необходимостью изменения параметров одних операций в зависимости от результатов предшествующих им операций, и многими другими аналогичными функциями сборочного оборудования необходимо в добавление к ранее использовавшимся для построения операторных формул понятиям нелогических операторов Р, В и У и непроверяемых логических условий ( псевдо-конъюкция и псевдодизъюкция) ввести понятие логических операторов и соответственно проверяемых условий. [5]
Во второй главе приводятся постановка задачи формализации процессов принятия решений в многомерной динамической системе и методика декомпозиции иерархической системы управления по уровням и эшелонам. Обсуждаются методы проведения управленческих игр, по результатам которых удается уменьшить размерность задачи перебора возможных отклонений и способов их ликвидации. Рассматриваются модели информационного обеспечения руководителя при управлении организационными процессами и их координации. [6]
При автоматизации поиска документальной информации важнейшими являются задачи формализации содержания документа и запроса. При решении этих задач могут использоваться различные подходы. [7]
Разнообразие физических явлений в элементах цепей синусоидального тока усложняет задачу формализации методов анализа энергетических процессов. [8]
Разнообразие физических явлений в элементах цепей синусоидального тока усложняет задачу формализации методов анализа энергетических процессов. [9]
Одной из основных задач, возникающих при машинном расчете трансмиссий, является задача формализации кинематической схемы. Наиболее просто и естественно кинематическая схема трансмиссии может быть представлена в виде ориентированного графа. [10]
Разнообразие физических явлений, происходящих в элементах электрических цепей синусоидального тока, усложняет задачу формализации методов анализа этих цепей. [11]
Очевидно, что чем сложнее применяемые аппроксимирующие функции и чем шире класс этих функций, тем сложнее задача формализации метода и его реализации в САПР. Особенностью МКЭ является выбор аппроксимирующих функций для каждого КЭ в отдельности. Малые размеры КЭ позволяют использовать простые аппроксимирующие функции, причем одного и того же типа для всех КЭ определенной формы. [12]
Известно, что при проектировании не всегда существует взаимопонимание между постановщиками задач и программистами, которое является следствием недостаточного уровня формализованное расчета показателей в постановках задач. Этим объясняется актуальность задачи формализации расчета показателей. Одним из наиболее перспективных направлений создания формализованных методик является метод использования элементарных двудольных графов для каждого рассчитываемого показателя с заданием всех операций, необходимых для его получения. [13]
Как известно, достигнуть единообразия при индексировании в реальных условиях пока невозможно. Поэтому большое значение имеет задача формализации и автоматизации процесса индексирования. Конечно, полного соответствия этим достигнуть также нельзя, но обеспечить единообразие уже можно. [14]
Однако системы целенаправленного действия могут быть очень и очень - сложными, у них может быть много различных и даже противоречивых целей и они могут распадаться на множество подсистем целенаправленного действия. Хотя определенный успех в решении задачи формализации теории таких систем уже достигнут на первом этапе изучения так называемых иерархических систем, в этом направлении предстоит еще очень много сделать. [15]