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