Cтраница 2
В этой связи одно из центральных мест в теории экономической эффективности занимает вопрос методологии расчета. Однако ранее было указано, что для этого надо знать конечный объект расчета. Таким объектом принято считать АСУ, ограниченную конкретными техническими параметрами, предусмотренными проектом для данного хозяйственного звена управления. [16]
Кроме того, ИПО обязательно должна включать определение основных показателей СЧМ и сравнение их с требуемыми. Это положение базируется на выполнении одного из основных инженерно-психологических требований, согласно которому конечным объектом оптимизации при создании и применении СЧМ являются характеристики работы не человека или техники в отдельности, а соответствующие характеристики СЧМ в целом. [17]
При разработке стандартов необходимо учитывать все основные элементы ( факторы), влияющие на конечный объект стандартизации. Для сокращения трудоемкости работ по стандартизации элементы, незначительно влияющие на основной объект, не учитывают. При стандартизации рассматривают систему характеристик и требований к комплексу взаимосвязанных материальных и нематериальных элементов. При этом требования к элементам определяются исходя из требований к основному объекту стандартизации. [18]
При разработке стандартов необходимо учитывать все основные элементы ( факторы), влияющие на конечный объект стандартизации. Для сокращения трудоемкости работ по стандартизации элементы, незначительно влияющие па основной объект, не учитывают. При стандартизации рассматривают систему характеристик и требований к комплексу взаимосвязанных материальных и нематериальных элементов. При этом требования к элементам определяются исходя из требований к основному объекту стандартизации. [19]
Важно лишь понимать, что, обращаясь к теории вероятностейж мы прибегаем к значительно более грубой релятивизации. Реальное истолкование вероятностных результатов всегда статистическое, и оценки ошибок, получающихся при применении вероятностных результатов к конечным объектам, значительно грубее, чем в развиваемом нами изложении теории информации. [20]
Утверждению плана должна предшествовать оценка научно-технического уровня планируемой разработки ( ведомственная или вневедомственная - в зависимости от ее важности) с ориентацией на уровень техники в перспективе, определенный при выборе основных направлений развития науки и техники. При такой ориентации в ходе разработки будут неизбежно создаваться и использоваться новые изобретения, повышающие эффективность и конкурентоспособность конечного объекта. [21]
Имеется много вариаций на эту тему. Так, мы можем сосредоточить свое внимание на тех морфизмах из Л, У которых фиксирован исходный объект, или на тех, у которых фиксирован конечный объект. [22]
Поскольку эти операции имеют дело с бесконечными объектами ( функциями или множествами), они как будто лежат в стороне даже от нашего неформального понятия вычислимости, которое, очевидно, применяется к конечным объектам. Тем не менее, каю мы убедимся, индекс функции ФхФу эффективно находится по-индексам х и у. В следующих примерах и упражнениях мы увидим, что многие другие операции являются эффективными, если их рассматривать как операции над индексами затраги - ваемых объектов. [23]
По степени завершенности технологического цикла производства продукта В. Б. Ивашкевич предложил разделять объекты калькулирования на промежуточные и конечные. Промежуточными объектами калькулирования являются полуфабрикаты, продукты переделов и фаз производства, продукты на отдельных технологических процессах. Конечными объектами калькулирования считаются виды продукции, работ и услуг, товарные полуфабрикаты [ 59, с. Главное назначение калькулирования - исчисление себестоимости конечных продуктов, как правило, входящих в товарную продукцию социалистического предприятия, реже - в его валовую продукцию. Промежуточные калькуляции являются вспомогательными. Они используются в интересах оперативного управления и для повышения точности конечных калькуляций. [24]
Во многих областях математики возникают проблемы общего характера, для которых имеет смысл неформальное понятие разрешимости. Обычно такие проблемы касаются конечных объектов некоторой конкретной области. В этом случае понятию разрешимости того или иного свойства, касающегося этих объектов, можно придать точный смысл, используя подходящую кодировку натуральными числами. [25]
Если в 50 - е годы усилия А. Н. Колмогорова направлены на использование понятий теории информации в других областях математики, то в 60 - е годы он предпринимает реконструкцию самой теории информации - реконструкцию на алгоритмической основе. В двух основополагающих статьях, опубликованных в 1965 и 1969 гг. в журнале Проблемы передачи информации, Андрей Николаевич создает новую область математики - алгоритмическую теорию информации. Центральным в этой теории является понятие сложности конечного объекта при фиксированном ( алгоритмическом) способе его описания; эта сложность определяется вполне естественно - как минимальный объем описания. Теорема Колмогорова устанавливает, что среди всевозможных алгоритмических способов описания существуют оптимальные - те, для которых сложности описываемых объектов оказываются сравнительно небольшими; хотя оптимальный способ и неединствен, для заданных двух оптимальных способов соответствующие им сложности отличаются не более чем на аддитивную константу. [26]
Проблема нахождения разрешающей процедуры для данного класса вопросов называется проблемой разрешения этого класса. В отличие от вопроса, является ли данная последовательность формул доказательством ( решаемого исследованием рассматриваемого конечного объекта), для ответа на вопрос, является ли данная формула теоремой, приходится производить рассмотрения, выходящие за пределы данного объекта. В силу указанных обстоятельств для формальных теорий приобретает особое значение проблема разрешения для доказуемости, которую часто и называют просто проблемой разрешения данной теории. Теория, проблема разрешения которой решается в положительную сторону, называется разрешимой, в противном случае теория называется неразрешимой. Примером разрешимой теории является исчисление высказываний: поскольку формула исчисления высказываний является теоремой тогда и только тогда, когда она - тавтология, метод истинностных таблиц дает эффективную процедуру разрешения. [27]
Согласно СМ4 ( Ь) из 4.3, нам поэтому достаточно показать, что ( Ли 1 1 р) является слабой эквивалентностью и расслоением. Таким образом, мы доказали, что ( /, р) является расслоением в смысле Кана. Чтобы доказать второе утверждение, мы должны показать, что ( /, р) обладает свойством правого поднятия относительно вложений и: К - L конечных объектов. В действительности достаточно ограничиться случаем, когда L - стандартный симплекс и / С - его граница. [28]
Пусть имеется нек-рый напас конечных объектов и условие, для к-рого интуитивно ясно, что капов бы ни был объект из данного запаса, относительно этого объекта можно выяснить, удовлетворяет ли он или нет этому условию. Далее последовательно производятся акты произвольного выбора объектов, пока не будет найден объект удовлетворяющий условию. Этот объект объявляется следующим членом реализации данной свободно становящейся последовательности. Для доказательства теорем о континууме ннтуиционисты рассматривают, напр. Относительно свободно становящихся последовательностей имеет смысл высказывать лишь такие предложения, истинностное значение к-рых может быть установлено на основании исследования конечного числа первых членов реализации и к-рое не меняется, как бы далеко ни продолжалась эта реализация. [29]
В устройстве предусмотрено три вида телеуправления: индивидуальное, групповое и маршрутное. При индивидуальном управлении каждый объект управления выбирается самостоятельно. В режиме группового управления команды управления последовательно посылают по произвольно-выбранной группе объектов. Маршрутное телеуправление заключается в управлении группой объектов, объединенных признаком маршрута и задаваемых по начальному и конечному объекту, Объекты маршрута набирают автоматически по заранее определенной программе. [30]