-
1 каскадный импактор
3.6.3 каскадный импактор (cascade impactor): Устройство для отбора проб, в котором накапливаются частицы, отбираемые из аэрозоля, на серии накопительных пластин, используя принцип импакции (осаждения).
Примечание - Через каждую последующую накопительную пластину поток аэрозоля проходит с большей скоростью, чем через предыдущую, в результате чего на ней осаждаются более мелкие частицы, чем на предыдущей накопительной пластине.
Источник: ГОСТ Р ИСО 14644-3-2007: Чистые помещения и связанные с ними контролируемые среды. Часть 3. Методы испытаний оригинал документа
2.28 каскадный импактор (cascade impactor): Устройство, предназначенное для отбора проб, в котором накапливаются частицы (2.102), отбираемые из аэрозоля, на серии накопительных пластин, используя принцип импакции (осаждения).
Примечание - Через каждую последующую накопительную пластину поток аэрозоля проходит с большей скоростью, чем через предыдущую, в результате чего на ней осаждаются более мелкие частицы, чем на предыдущей накопительной пластине.
[ИСО 14644-3:2005, статья 3.6.3]
Источник: ГОСТ Р ИСО 14644-6-2010: Чистые помещения и связанные с ними контролируемые среды. Часть 6. Термины оригинал документа
Русско-английский словарь нормативно-технической терминологии > каскадный импактор
-
2 синхронизация времени
синхронизация времени
-
[ ГОСТ Р МЭК 60870-5-103-2005]Также нормированы допустимые временные задержки для различных видов сигналов, включая дискретные сигналы, оцифрованные мгновенные значения токов и напряжений, сигналы синхронизации времени и т.п.
[Новости Электротехники №4(76) | СТАНДАРТ МЭК 61850]Широковещательное сообщение, как правило, содержит адрес отправителя и глобальный адрес получателя. Примером широковещательного сообщения служит синхронизация времени.
[ ГОСТ Р 54325-2011 (IEC/TS 61850-2:2003)]Устройства последних поколений дают возможность синхронизации времени с точностью до микросекунд с помощью GPS.
С помощью этого интерфейса сигнал синхронизации времени (от радиоприемника DCF77 сигнал точного времени из Braunschweig, либо от радиоприемника iRiG-B сигнал точного времени глобальной спутниковой системы GPS) может быть передан в терминал для точной синхронизации времени.
[Герхард Циглер. ЦИФРОВАЯ ДИСТАНЦИОННАЯ ЗАЩИТА. ПРИНЦИПЫ И ПРИМЕНЕНИЕ
Перевод с английского ]В том случае если принятое сообщение искажено ( повреждено) в результате неисправности канала связи или в результате потери синхронизации времени, пользователь имеет возможность...
2.13 Синхронизация часов реального времени сигналом по оптовходу
В современных системах релейной защиты зачастую требуется синхронизированная работа часов всех реле в системе для восстановления хронологии работы разных реле.
Это может быть выполнено с использованием сигналов синхронизации времени по интерфейсу IRIG-B, если реле оснащено таким входом или сигналом от системы OP
[Дистанционная защита линии MiCOM P443/ ПРИНЦИП РАБОТЫ]
СИНХРОНИЗАЦИЯ ВРЕМЕНИ СОГЛАСНО СТАНДАРТУ IEEE 1588
Автор: Андреас Дреер (Hirschmann Automation and Control)
Вопрос синхронизации устройств по времени важен для многих распределенных систем промышленной автоматизации. При использовании протокола Precision Time Protocol (PTP), описанного стандартом IEEE 1588, становится возможным выполнение синхронизации внутренних часов устройств, объединенных по сети Ethernet, с погрешностями, не превышающими 1 микросекунду. При этом к вычислительной способности устройств и пропускной способности сети предъявляются относительно низкие требования. В 2008 году была утверждена вторая редакция стандарта (IEEE 1588-2008 – PTP версия 2) с рядом внесенных усовершенствований по сравнению с первой его редакцией.
ЗАЧЕМ НЕОБХОДИМА СИНХРОНИЗАЦИЯ УСТРОЙСТВ ПО ВРЕМЕНИ?
Во многих системах должен производиться отсчет времени. О неявной системе отсчета времени можно говорить тогда, когда в системе отсутствуют часы и ход времени определяется процессами, протекающими в аппаратном и программном обеспечении. Этого оказывается достаточно во многих случаях. Неявная система отсчета времени реализуется, к примеру, передачей сигналов, инициирующих начало отсчета времени и затем выполнение определенных действий, от одних устройств другим.
Система отсчета времени считается явной, если показания времени в ней определяются часами. Указанное необходимо для сложных систем. Таким образом, осуществляется разделение процедур передачи данных о времени и данных о процессе.
Два эффекта должны быть учтены при настройке или синхронизации часов в отдельных устройствах. Первое – показания часов в отдельных устройствах изначально отличаются друг от друга (смещение показаний времени друг относительно друга). Второе – реальные часы не производят отсчет времени с одинаковой скоростью. Таким образом, требуется проводить постоянную корректировку хода самых неточных часов.
Существуют различные способы синхронизации часов в составе отдельных устройств, объединенных в одну информационную сеть. Наиболее известные способы – это использование протокола NTP (Network Time Protocol), а также более простого протокола, который образован от него – протокола SNTP (Simple Network Time Protocol). Данные методы широко распространены для использования в локальных сетях и сети Интернет и позволяют обеспечивать синхронизацию времени с погрешностями в диапазоне миллисекунд. Другой вариант – использование радиосигналов с GPS спутников. Однако при использовании данного способа требуется наличие достаточно дорогих GPS-приемников для каждого из устройств, а также GPS-антенн. Данный способ теоретически может обеспечить высокую точность синхронизации времени, однако материальные затраты и трудозатраты обычно препятствуют реализации такого метода синхронизации.
Другим решением является передача высокоточного временного импульса (например, одного импульса в секунду) каждому отдельному устройству по выделенной линии. Реализация данного метода влечет за собой необходимость создания выделенной линии связи к каждому устройству.
Последним методом, который может быть использован, является протокол PTP (Precision Time Protocol), описанный стандартом IEEE 1588. Протокол был разработан со следующими целями:
- Обеспечение синхронизация времени с погрешностью, не превышающей 1 микросекунды.
-
Предъявление минимальных требований к производительности процессоров устройств и к пропускной способности линии связи, что позволило бы обеспечить реализацию протокола в простых и дешевых устройствах.
- Предъявление невысоких требований к обслуживающему персоналу.
- Возможность использования в сетях Ethernet, а также в других сетях.
- Спецификация его как международного стандарта.
ОБЛАСТИ ПРИМЕНЕНИЯ ПРОТОКОЛА PTP
Протокол PTP может быть применен в различного рода системах. В системах автоматизации, протокол PTP востребован везде, где требуется точная синхронизация устройств по времени. Протокол позволяет синхронизировать устройства в робототехнике или печатной промышленности, в системах осуществляющих обработку бумаги и упаковку продукции и других областях.
В общем и целом в любых системах, где осуществляется измерение тех или иных величин и их сравнение с величинами, измеренными другими устройствами, использование протокола PTP является популярным решением. Системы управления турбинами используют протокол PTP для обеспечения более эффективной работы станций. События, происходящие в различных частях распределенных в пространстве систем, определяются метками точного времени и затем для целей архивирования и анализа осуществляется их передача на центры управления. Геоученые используют протокол PTP для синхронизации установок мониторинга сейсмической активности, удаленных друг от друга на значительные расстояния, что предоставляет возможность более точным образом определять эпицентры землетрясений. В области телекоммуникаций рассматривают возможность использования протокола PTP для целей синхронизации сетей и базовых станций. Также синхронизация времени согласно стандарту IEEE 1588 представляет интерес для разработчиков систем обеспечения жизнедеятельности, систем передачи аудио и видео потоков и может быть использована в военной промышленности.
В электроэнергетике протокол PTPv2 (протокол PTP версии 2) определен для синхронизации интеллектуальных электронных устройств (IED) по времени. Например, при реализации шины процесса, с передачей мгновенных значений тока и напряжения согласно стандарту МЭК 61850-9-2, требуется точная синхронизация полевых устройств по времени. Для реализации систем защиты и автоматики с использованием сети Ethernet погрешность синхронизации данных различных устройств по времени должна лежать в микросекундном диапазоне.
Также для реализации функций синхронизированного распределенного векторного измерения электрических величин согласно стандарту IEEE C37.118, учета, оценки качества электрической энергии или анализа аварийных событий необходимо наличие устройств, синхронизированных по времени с максимальной точностью, для чего может быть использован протокол PTP.
Вторая редакция стандарта МЭК 61850 определяет использование в системах синхронизации времени протокола PTP. Детализация профиля протокола PTP для использования на объектах электроэнергетики (IEEE Standard Profile for Use of IEEE 1588 Precision Time Protocol in Power System Applications) в настоящее время осуществляется рабочей группой комитета по релейной защите и автоматике организации (PSRC) IEEE.
В 2005 году была начата работа по изменению стандарта IEEE1588-2002 с целью расширения возможных областей его применения (телекоммуникации, беспроводная связь и в др.). Результатом работы стало новое издание IEEE1588-2008, которое доступно с марта 2008 со следующими новыми особенностями:
- Усовершенствованные алгоритмы для обеспечения погрешностей в наносекундном диапазоне.
- Повышенное быстродействие синхронизации времени (возможна более частая передача сообщений синхронизации Sync).
- Поддержка новых типов сообщений.
- Ввод однорежимного принципа работы (не требуется передачи сообщений типа FollowUp).
- Ввод поддержки функции т.н. прозрачных часов для предотвращения накопления погрешностей измерения при каскадной схеме соединения коммутаторов.
- Ввод профилей, определяющих настройки для новых областей применения.
- Возможность назначения на такие транспортные механизмы как DeviceNet, PROFInet и IEEE802.3/Ethernet (прямое назначение).
- Ввод структуры TLV (тип, длина, значение) для расширения возможных областей применения стандарта и удовлетворения будущих потребностей.
- Ввод дополнительных опциональных расширений стандарта.
ПРИНЦИП ФУНКЦИОНИРОВАНИЯ СИСТЕМ НА ОСНОВЕ ПРОТОКОЛА PTP
В системах, где используется протокол PTP, различают два вида часов: ведущие часы и ведомые часы. Ведущие часы, в идеале, контролируются либо радиочасами, либо GPS-приемниками и осуществляют синхронизацию ведомых часов. Часы в конечном устройстве, неважно ведущие ли они или ведомые, считаются обычными часами; часы в составе устройств сети, выполняющих функцию передачи и маршрутизации данных (например, в Ethernet-коммутаторах), считаются граничными часами.
Процедура синхронизации согласно протоколу PTP подразделяется на два этапа. На первом этапе осуществляется коррекция разницы показаний времени между ведущими и ведомыми часами – то есть осуществляется так называемая коррекция смещения показаний времени. Для этого ведущее устройство осуществляет передачу сообщения для целей синхронизации времени Sync ведомому устройству (сообщение типа Sync). Сообщение содержит в себе текущее показание времени ведущих часов и его передача осуществляется периодически через фиксированные интервалы времени. Однако поскольку считывание показаний ведущих часов, обработка данных и передача через контроллер Ethernet занимает некоторое время, информация в передаваемом сообщении к моменту его приема оказывается неактуальной. Одновременно с этим осуществляется как можно более точная фиксация момента времени, в который сообщение Sync уходит от отправителя, в составе которого находятся ведущие часы (TM1). Затем ведущее устройство осуществляет передачу зафиксированного момента времени передачи сообщения Sync ведомым устройствам (сообщение FollowUp). Те также как можно точнее осуществляют измерение момента времени приема первого сообщения (TS1) и вычисляют величину, на которую необходимо выполнить коррекцию разницы в показаниях времени между собою и ведущим устройством соответственно (O) (см. рис. 1 и рис. 2). Затем непосредственно осуществляется коррекция показаний часов в составе ведомых устройств на величину смещения. Если задержки в передачи сообщений по сети не было, то можно утверждать, что устройства синхронизированы по времени.
На втором этапе процедуры синхронизации устройств по времени осуществляется определение задержки в передаче упомянутых выше сообщений по сети между устройствами. Указанное выполняется при использовании сообщений специального типа. Ведомое устройство отправляет так называемое сообщение Delay Request (Запрос задержки в передаче сообщения по сети) ведущему устройству и осуществляет фиксацию момента передачи данного сообщения. Ведущее устройство фиксирует момент приема данного сообщения и отправляет зафиксированное значение в сообщении Delay Response (Ответное сообщение с указанием момента приема сообщения). Исходя из зафиксированных времен передачи сообщения Delay Request ведомым устройством и приема сообщения Delay Response ведущим устройством производится оценка задержки в передачи сообщения между ними по сети. Затем производится соответствующая коррекция показаний часов в ведомом устройстве. Однако все упомянутое выше справедливо, если характерна симметричная задержка в передаче сообщения в обоих направлениях между устройствами (то есть характерны одинаковые значения в задержке передачи сообщений в обоих направлениях).
Задержка в передачи сообщения в обоих направлениях будет идентичной в том случае, если устройства соединены между собой по одной линии связи и только. Если в сети между устройствами имеются коммутаторы или маршрутизаторы, то симметричной задержка в передачи сообщения между устройствами не будет, поскольку коммутаторы в сети осуществляют сохранение тех пакетов данных, которые проходят через них, и реализуется определенная очередность их передачи. Эта особенность может, в некоторых случаях, значительным образом влиять на величину задержки в передаче сообщений (возможны значительные отличия во временах передачи данных). При низкой информационной загрузке сети этот эффект оказывает малое влияние, однако при высокой информационной загрузке, указанное может значительным образом повлиять на точность синхронизации времени. Для исключения больших погрешностей был предложен специальный метод и введено понятие граничных часов, которые реализуются в составе коммутаторов сети. Данные граничные часы синхронизируются по времени с часами ведущего устройства. Далее коммутатор по каждому порту является ведущим устройством для всех ведомых устройств, подключенных к его портам, в которых осуществляется соответствующая синхронизация часов. Таким образом, синхронизация всегда осуществляется по схеме точка-точка и характерна практически одинаковая задержка в передаче сообщения в прямом и обратном направлении, а также практическая неизменность этой задержки по величине от одной передачи сообщения к другой.
Хотя принцип, основанный на использовании граничных часов показал свою практическую эффективность, другой механизм был определен во второй версии протокола PTPv2 – механизм использования т. н. прозрачных часов. Данный механизм предотвращает накопление погрешности, обусловленной изменением величины задержек в передаче сообщений синхронизации коммутаторами и предотвращает снижение точности синхронизации в случае наличия сети с большим числом каскадно-соединенных коммутаторов. При использовании такого механизма передача сообщений синхронизации осуществляется от ведущего устройства ведомому, как и передача любого другого сообщения в сети. Однако когда сообщение синхронизации проходит через коммутатор фиксируется задержка его передачи коммутатором. Задержка фиксируется в специальном поле коррекции в составе первого сообщения синхронизации Sync или в составе последующего сообщения FollowUp (см. рис. 2). При передаче сообщений Delay Request и Delay Response также осуществляется фиксация времени задержки их в коммутаторе. Таким образом, реализация поддержки т. н. прозрачных часов в составе коммутаторов позволяет компенсировать задержки, возникающие непосредственно в них.
Если необходимо использование протокола PTP в системе, должен быть реализован стек протокола PTP. Это может быть сделано при предъявлении минимальных требований к производительности процессоров устройств и к пропускной способности сети. Это очень важно для реализации стека протокола в простых и дешевых устройствах. Протокол PTP может быть без труда реализован даже в системах, построенных на дешевых контроллерах (32 бита).
Единственное требование, которое необходимо удовлетворить для обеспечения высокой точности синхронизации, – как можно более точное измерение устройствами момента времени, в который осуществляется передача сообщения, и момента времени, когда осуществляется прием сообщения. Измерение должно производится максимально близко к аппаратной части (например, непосредственно в драйвере) и с максимально возможной точностью. В реализациях исключительно на программном уровне архитектура и производительность системы непосредственно ограничивают максимально допустимую точность.
При использовании дополнительной поддержки аппаратного обеспечения для присвоения меток времени, точность может быть значительным образом повышена и может быть обеспечена ее виртуальная независимость от программного обеспечения. Для этого необходимо использование дополнительной логики, которая может быть реализована в программируемой логической интегральной схеме или специализированной для решения конкретной задачи интегральной схеме на сетевом входе.
Компания Hirschmann – один из первых производителей, реализовавших протокол PTP и оптимизировавших его использование. Компанией был разработан стек, максимально эффективно реализующий протокол, а также чип (программируемая интегральная логическая схема), который обеспечивает высокую точность проводимых замеров.
В системе, в которой несколько обычных часов объединены через Ethernet-коммутатор с функцией граничных часов, была достигнута предельная погрешность +/- 60 нс при практически полной независимости от загрузки сети и загрузки процессора. Также компанией была протестирована система, состоящая из 30 каскадно-соединенных коммутаторов, обладающих функцией поддержки т.н. прозрачных часов и были зафиксированы погрешности менее в пределах +/- 200 нс.
Компания Hirschmann Automation and Control реализовала протоколы PTP версии 1 и версии 2 в промышленных коммутаторах серии MICE, а также в серии монтируемых на стойку коммутаторов MACH100.
Протокол PTP во многих областях уже доказал эффективность своего применения. Можно быть уверенным, что он получит более широкое распространение в течение следующих лет и что многие решения при его использовании смогут быть реализованы более просто и эффективно чем при использовании других технологий.
[ Источник]
Тематики
- релейная защита
- телемеханика, телеметрия
EN
Русско-английский словарь нормативно-технической терминологии > синхронизация времени
-
3 оттенок
1) General subject: cast, colour, complexion, contrast, flavor, gradation, hint, hue, savor, shade, smack, spice (чего-либо), suspicion, tincture (какого-либо цвета), tinge, tint, tone, touch, undertone2) French: nuance3) Engineering: color, tingle, tone color4) Chemistry: secondary tint, tinct5) Construction: colour tone6) Mathematics: inflection7) Automobile industry: dash8) Architecture: key (о красках), overtone9) Painting: key10) Forestry: complementary color, dye, hue (полученный при смешивании красок чистых тонов), taint11) Polygraphy: underhue12) Psychology: color hue, color tint14) Information technology: hue (символов на экране дисплея), shader16) Advertising: flavour17) Patents: shading set19) Makarov: gradation (разновидность, градация, переход), hue (разновидность), hue (разновидность цвета), note (запаха), savour, shade (в серии тонов более тёмный), strain, tang, tinge (легкое видоизменение цвета), tint (один из нескольких тонов того же цвета), tone (запаха), undertint -
4 теорема
theorem• Более слабая форма теоремы 1 может быть выведена из... - A weaker form of Theorem 1 can be deduced from...• В следующей теореме мы устанавливаем дальнейшие свойства... - In the next theorem we obtain further properties of...• В следующей теореме рассматривается случай, в котором/ когда... - The next theorem deals with the case in which...• Важное следствие данной теоремы состоит в том, что... - An important consequence of this theorem is that...• Возвращаясь теперь к доказательству основной теоремы, мы... - Returning now to the proof of the main theorem, we...• Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...• Данная теорема немедленно вытекает из... - The theorem follows at once from...• Данная теорема остается справедливой даже если... - The theorem is still true even if...• Данная теорема по-прежнему справедлива в тривиальном случае, если... - The theorem still holds in a trivial sense if...• Данная теорема принадлежит Гауссу. - This theorem is due to Gauss.• Данная теорема является непосредственным следствием... - This theorem is a direct corollary of...• Данный результат принадлежит Гауссу. Давайте сформулируем его как теорему. - This result is due to Gauss. Let us formulate it as a theorem.• Для доказательства второго утверждения теоремы мы выписываем... - То prove part (ii), we write...• Для удобства сформулируем здесь данную теорему. - We state this theorem here for convenience.• Докажем теперь обобщение теоремы 1. - We now prove a generalization of Theorem 1.• Его результаты могут быть подытожены следующей теоремой. - His results may be summed up in the following theorem.• Из теоремы 1 мы легко выводим ряд важных следствий. - From Theorem l we easily deduce a number of important consequences.• Из этих результатов мы выводим следующую важную теорему. - Prom these results we deduce the following important theorem.• Имеется хорошо известная теорема о... - There is a well-known theorem on...• Как мы увидим из дальнейшего, данная теорема является основой для... - This theorem, as we shall see, is the basis of...• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...• Мы можем сразу применить данную теорему, чтобы найти... - We can at once apply this theorem to find...• Мы можем сформулировать этот результат в виде теоремы. - We can state the result as a theorem.• Мы можем, конечно, применить теорему 1 к случаю, где/ когда... - We can, of course, apply Theorem 1 to the case where...• Мы надеемся доказать подобную теорему, хотя, возможно, и при дополнительных ограничениях. - We expect to prove such a theorem, although possibly under additional restrictions.• Мы надеемся установить теорему относительно... - We hope to obtain a theorem regarding...; We hope to establish a theorem regarding...• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы рассуждаем точно как при доказательстве теоремы 1. - We argue exactly as in the proof of Theorem 1.• Немедленным следствием теоремы 1 является следующее (утверждение). - An immediate consequence of Theorem 1 is the following.• Несколько более глубокая теорема была доказана Смитом [1]. - A slightly deeper theorem is proved by Smith [1].• Нижеследующая теорема дает условия, при которых... - The following theorem gives conditions under which...• Нижеследующая теорема является основой для дальнейших приложений. - The next theorem is basic to the applications that follow.• Однако следующая теорема показывает, что... - The next theorem shows, however, that...• Первая часть теоремы уже была доказана. - The first part of the theorem has already been proved.• Поверхностное прочтение данной теоремы могло бы привести к убеждению, что... - A superficial reading of this theorem might lead one to believe that...• Последнюю теорему можно расширить, чтобы включить... - The last theorem can be extended to include...• Применяя данную теорему, важно проверить, что... - When applying the theorem it is essential to check that...• Простое но полезное следствие теоремы 1 состоит в том, что... - A simple but useful consequence of Theorem 1 is that...• Рассмотрим эту теорему с точки зрения геометрии. - Let us consider this theorem geometrically.• Следующая теорема обеспечивает более глубокое понимание (чего-л). - The next theorem provides more insight into...• Следующая теорема дает другое расширение... - The following theorem gives another extension of...• Следующая теорема дает полезный тест для проверки, действительно ли... - The following theorem gives a useful test for determining whether...• Следующая теорема известна как... - The next theorem is known as...• Следующая теорема имеет приложения при изучении... - The next theorem has applications in the study of...• Следующая теорема обобщает хорошо известное свойство... - The following theorem generalizes a well-known property of...• Следующая теорема позволяет нам показать, что... - The following theorem enables us to show that...• Следующая теорема показывает как можно сделать это определение строгим. - The following theorem shows how this notion can be made precise.• Следующая теорема является прямым обобщением... - The following theorem is a direct generalization of...• Следующая теорема является ценной в этом контексте. - The following theorem is valuable in this context.• Следующие теорема и следствие являются немедленными последствиями... - The following theorem and corollary are immediate consequences of...• Следующий результат является переформулировкой теоремы Гаусса. - The following result is a restatement of Gauss's theorem.• Сначала мы обязаны доказать следующую теорему. - We must first prove the following theorem.• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Таким образом, теорема может быть переформулирована следующим образом. - Thus the theorem can be rephrased as follows.• Теорема Тейлора чрезвычайно полезна для изучения... - Taylor's theorem is extremely useful for the study of...• Теорема не сообщает ничего о... - The theorem says nothing about...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы доказываем важную теорему, принадлежащую Банаху. - We now prove an important theorem due to Banach.• Теперь мы можем доказать следующую теорему. - This result enables us to prove the following theorem; We are now able to prove the following theorem; With this result in hand, we can prove the following theorem; With this understanding, we can prove the following theorem; Knowing this, we can prove the following theorem; We can now prove the following theorem; We are now in a position to prove the following theorem; The following theorem is now within our reach; We are now ready for the following theorem.• Теперь мы подходим к серии теорем, касающихся... - We now come to a series of theorems concerning...(= модификации), если... - The statement of the theorem needs modification if...• Хорошо известная теорема математического анализа утверждает, что... - A well-known theorem of analysis states that...• Частным случаем этой теоремы является... - A particular case of this theorem is that...• Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...• Чтобы доказать эту теорему, во-первых, предположим, что... - То prove the theorem, suppose first that...• Чтобы доказать эту теорему, недостаточно увидеть, что... - То prove this theorem it is not enough to observe that...• Эта теорема обеспечивает нас... - This theorem provides us with...• Эти две теоремы совместно показывают, что... - These two results together show that...• Эти теоремы вполне аналогичны теоремам относительно... - These theorems are closely analogous to those concerning...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это и завершает доказательство теоремы. - This proves the theorem; The proof of the theorem is finished; Q. E. D.• Это свойство является следствием следующей теоремы. - This property is a consequence of the following theorem.
См. также в других словарях:
Серии мультсериала «Симпсоны» — Основная статья: Симпсоны Содержание 1 Сезоны 1.1 Первый сезон (1989 1990) 1.2 Второй сезон (1990 1991) … Википедия
Серии Naruto: Shippuuden — Это список японских и английских названий серий второй части аниме «Naruto» «Naruto: Shippūden», которая транслируется с 15 февраля 2007 года в Японии по каналу TV Tokyo каждый четверг в 19:30. Содержание 1 Серии 1.1 Сезон 1: Спасение Гаары … Википедия
Серии второго сезона сериала Черепашки Мутанты Ниндзя (1989) — Второй сезон Черепашек ниндзя вместе с 3 м сезоном был показан на телевидении в 1989 году. Имел огромный успех (особенно по отношению к детской аудитории). В России 2 й сезон показали лишь 1992 году. Если 1 й сезон состоял из 5 серий, то во 2 м… … Википедия
Серии первого сезона сериала Черепашки Мутанты Ниндзя (1987-1989) — Первый сезон Черепашек ниндзя состоял из 5 серий, в 1989 году появился полнометражный фильм под названием «Приключения начинаются». Название Год выпуска Номер серии Оригинальное название По следам Черепашек 1987 1 Turtle Tracks Тележурналистка… … Википедия
Список персонажей серии мультсериалов «Total Drama Series» — В этой статье содержится информация о персонажах серии мультипликационных сериалов «Total Drama Series». Содержание 1 Появившиеся в «Остров отчаянных героев» 1.1 Участники … Википедия
Список основных персонажей серии романов о Гарри Поттере — Серия романов о Гарри Поттере была написана английской писательницей Дж. К. Роулинг с 1997 по 2007 год. В данном списке перечислены все основные персонажи серии романов (в заметной степени повлиявшие на сюжет произведений), а также персонажи,… … Википедия
Список персонажей серии игр Soul — Герои серии на момент Soulcalibur III. Данная статья представляет собой список всех персонажей в игровой серии Soul, более известной со второй части как франшиза игр Soulcalibur. Персонажи упорядо … Википедия
Список персонажей серии книг «Плоский мир» — Эта страница требует существенной переработки. Возможно, её необходимо викифицировать, дополнить или переписать. Пояснение причин и обсуждение на странице Википедия:К улучшению/9 июля 2012. Дата постановки к улучшению 9 июля 2012 … Википедия
Список персонажей книжной серии «Мефодий Буслаев» — Основная статья: Мефодий Буслаев Ниже приведён список персонажей книжной серии Дмитрия Емца «Мефодий Буслаев». Содержание 1 Главные герои 1.1 Мефодий Буслаев … Википедия
Список персонажей серии Resident Evil — «Resident Evil» (с англ. Обитель Зла), также известная в Японии, как Biohazard (яп. バイオハザード байохадза:до?) медиа франшиза, принадлежащая компании Capcom и созданная Синдзи Миками под влиянием серии фильмов Живые мертвецы Джорджа… … Википедия
Типовые серии жилых домов — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей … Википедия
