Cтраница 2
Если принятое предложение изменяет технические нормы и расценки, организация, применявшая предложение, обязана ввести новые нормы и расценки одновременно с началом применения предложения. [16]
Идея доказательства состоит в расширении поля F до F ( t) путем присоединения к нему примитивного корня 5 степени р из 1 и применении предложения 15.4, а затем возвращении к исходному полю F с помощью следствия 15.1 с. Тот факт, что степень [ F ( t): F ] взаимно проста с р, несколько раз используется в доказательстве. [17]
Если [ F ] mtlVi ] - цикл на V, то, как в лемме 4.2, [ M F ] Smi [ Krw ] Применение предложения 2.6 ( d) завершает доказательство. [18]
По предложениям, использование которых снижает себестоимость продукции, подсчет экономии производится путем сопоставления плановой калькуляции себестоимости продукции до применения предложения с плановой калькуляцией себестоимости продукции, определенной с учетом применения предложения. При этом новая калькуляция составляется по тем же ценам, но на основе новых технических норм, вводимых в связи с применением предложения. [19]
Размер вознаграждения за рационализаторское предложение, не создающее экономии, определяется в зависимости от его действительной ценности с учетом технического и иного положительного эффекта, создаваемого предложением, и объема применения предложения. Но оно не может быть менее 10 рублей и более 5000 рублей за одно рационализаторское предложение. [20]
Размер вознаграждения за рационализаторское предложение, не создающее экономии, определяется в зависимости от его действительной ценности с учетом технического и иного положительного эффекта, создаваемого предложением, и объема применения предложения, однако оно не может быть менее 10 руб, и более 5 000 руб. за одно рационализаторское предложение. [21]
Оно считается применимым для конкретизации выражения вида К ( - -, если это последнее может быть отождествлено с левой частью предложения при нек-рых значениях входящих в нее свободных переменных. Применение предложения состоит в замене конкретизируемого выражения на правую часть предложения, в к-рой свободные переменные замещены их значениями. Для вычисления значения функции предложения рассматриваются последовательно, и применяется первое из них, оказавшееся подходящим. Этот процесс повторяется, пока в объект работы входят знаки К. [22]
Всякий раз, как рекурсивный вызов процедуры вычислить приводит к неуспеху, процесс вычислений возвращается к ПРОСМОТРУ и продолжается с того предложения С, которое использовалось последним. Поскольку применение предложения С не привело к успешному завершению, пролог-система должна для продолжения вычислений попробовать альтернативное предложение. В действительности система аннулирует результаты части вычислений, приведших к неуспеху, и осуществляет возврат в ту точку ( предложение С), в которой эта неуспешная ветвь начиналась. Когда процедура осуществляет возврат в некоторую точку, все конкретизации переменных, сделанные после этой точки, аннулируются. [23]
Перерасчет экономии может производиться в случае, когда изменяется объем использования предложения. Перерасчет экономик i по рационализаторским предложениям может быть произведен в случае превышения фактического объема применения предложения против объема ( планового), принятого при первоначальном расчете экономии в первые два года использования предложения с момента его внедрения. Перерасчет экономии за изобретения в случае увеличения объема его применения против объема ( планового), принятого при первоначальном расчете годовой экономии, может производиться ежегодно на протяжении первых пяти лет использования изобретения. [24]
По предложениям, снижающим или устраняющим брак продукции, годовая экономия определяется в размере разницы стоимости забракованных изделий до применения предложения и после его применения. Стоимость забракованных изделий определяется, исходя из данных о потерях по браку за последние 6 месяцев до применения предложения. Учету подлежит брак только по тем причинам, которые устраняются предложением автора. [25]
По предложениям, использование которых снижает себестоимость продукции, подсчет экономии производится путем сопоставления плановой калькуляции себестоимости продукции до применения предложения с плановой калькуляцией себестоимости продукции, определенной с учетом применения предложения. При этом новая калькуляция составляется по тем же ценам, но на основе новых технических норм, вводимых в связи с применением предложения. [26]
Чтобы узнать коэффициенты класса в Aid, достаточно вычислить индексы пересечения со всеми двойственными классами. Этот базис часто более удобен, чем полученный с помощью представления / как грассманова расслоения над Р ( пример 14.7.12 ( Ь)) и применения предложения 14.6.5. Этими обозначениями пользовался Мартинелли. [27]
Остальная часть вознаграждения выплачивается в двухмесячный срок после окончания первого года применения предложения. Если во втором году объем использования предложения возрастет, то вознаграждение доплачивается в пределах до 5000 руб. ( в зависимости от увеличения экономии) также в двухмесячный срок по окончании второго года применения предложения. [28]
Обычно, кроме случайных погрешностей, на точность измерения могут влиять систематические погрешности. Измерения должны проводиться так, чтобы систематических погрешностей не было. В дальнейшем при применении предложений и выводов, вытекающих из теорий погрешностей, и обработке результатов наблюдения будем полагать, что ряды измерений не содержат систематических погрешностей, а также из них исключены грубые погрешности. [29]
Описанные римановы конструкции побуждают к изучению аналогичных теорем существования для геодезических лучей и прямых в сильно причинных пространственно-временных многообразиях. С точки зрения общей теории относительности желательно иметь конструкции, годные не только для глобально гиперболических подмножеств пространственно-временных многообразий, но также и для сильно причинных пространств. Однако если предполагать только сильную причинность, то в общем случае оказывается неверным утверждение о том, что причинно связанные точки можно соединить максимальным геодезическим сегментом. Поэтому для лоренцевых многообразий нужен чуть более слабый, чем для полных римановых многообразий принцип построения максимальных геодезических. Именно в сильно причинном пространстве-времени предельные кривые последовательностей почти максимальных кривых являются максимальными, а значит, п геодезическими. Сильная причинность нужна для того, чтобы обеспечить полунепрерывность сверху длины дуги в С - топологии на кривых, а также и возможность применения предложения 2.21. В разд. [30]