Cтраница 3
В ГДР новые правила дорожного движения введены с 1978 г. В них не предусмотрено коренных изменений политики ограничений скоростей. Кроме снижения числа ДТП, получен эффект экономии топлива, повышения пропускной способности. [31]
Алпарова были выработаны новые правила. [32]
Затем обсуждаются некоторые новые правила вывода, связанные с резолюцией. Для m - дизъюнктов определяется вариант резолюции, называемый m - резолюцией, а также определяются m - абстракции. Они отображают множество m - дизъюнктов А на более простое множество В, такое что шфезолюционные доказательства из А отображаются на имеющие подобные структуры m - резолюционные доказательства из В. Преимущество т-аб-стракций состоит в том, что они сохраняют гораздо больше информации о структуре доказательства, чем обычные абстракции. И как следствие имеются простые полные стратегии доказательства теорем, основанные на m - абстракциях. Имеются также стратегии, использующие несколько m - абстракций одновременно, что соответствует одновременному применению нескольких аналогий. Таким образом, мы получаем сильно ограничивающую поиск стратегию, которая не имеет известных аналогов для обычной резолюции и обычных абстракций. Все предлагаемые стратегии, основанные на m - абстракциях, полны. [33]
Мы должны также определить новые правила для, а именно ( а, Ф) ( Ф, а) Ф, чтобы можно было определить знаки произвольных арифметических выражений, включающих как сложение, так и умножение. [34]
В настоящее время действуют новые Правила, см. стр. [35]
В настоящее время действуют новые Правила, си. [36]
В настоящее время действуют новые Правила, см. 3 том Справочника. [37]
С 1982 г. введены новые Правила пользования электрической и тедловой энергией, предусматривающие нормирование потребления реактивной мощности непосредственно в именованных единицах, а не в отно - - сительных, каковыми являются cosq и tgq. Значения Qai и Q32 рассчитываются энергоснабжающей организацией по специальной методике и на каждый год указываются в договоре на пользование электрической энергией. [38]
В настоящее время действуют новые Правила технической эксплуатации и безопасности обслуживания электроустановок промышленных предприятий, см. 3 том Справочника. [39]
В 3-ем издании учтены новые Правила устройства электроустановок и Правила технической эксплуатации электростанций и сетей. [40]
Они должны также соблюдать новые правила эксплуатации установок ( технические и организационные) при том, что законодательство вполне может еще более ужесточиться. [41]
В настоящее время действуют новые Правила охраны поверхностных вод от загрязнения сточными водами, утвержденные 15 июля 1961 г. Министерством здравоохранения СССР по согласованию с Госпланом СССР № 372 - 61, в Справочнике не приводятся. [42]
В книге последовательно применяются новые правила международной номенклатуры ШРАС. [43]
Во второе издание сборника включены новые правила и инструкции, утвержденные Госгортехнадзором СССР в 1970 г.: Правила устройства и безопасной эксплуатации сосудов, работающих под давлением, Правила устройства и безопасной эксплуатации трубопроводов пара и горячей воды, Инструкция для персо нала котельных ( типовая) и другие материалы. В сборнике даны решения Госгортехнадзора по вопросам обеспечения безопасной эксплуатации объектов котлонадзора, а также описание наиболее характерных аварий, происшедших за последние несколько лет. [44]
Во второе издание сборника включены новые правила и инструкции, утвержденные Госгортехнадзором СССР в 1970 г.: Правила устройства и безопасной эксплуатации сосудов, работающих под давлени М, Правила устройства и безопасной эксплуатации тру о-проводов пара и горячей воды, Инструкция для персонала котельных ( типовая) и другие материалы. В сборнике даны решения Госгортехнадзора по вопросам обеспечения безопасной эксплуатации объектов котлонадзора, а также описание наиболее характерных аварий, происшедших за последние несколько лет. [45]