-
1 отличный
1) General subject: A number, A number one, A-number, ace, all right, all wool and a yard wide, another (от чего-либо), as clean (clear, dry) as a whistle, bang on, bang up, bang-on, bravura, congenial, different (this is different from what he said - это не соответствует тому, что он говорил), discrepant (от чего-л.), disparate (в корне), dissimilar, distinct (от других), excellent, exclusive, famous, four star, funky, groovy, hotsie totsie, hotsy totsy, hundred proof, hundred-proof, ideal, nifty, perfect, pip, remote, slashing, splendid, variant (from; от чего-л.), very good, wally, way-up, divergent, diverse, unrivalled (unrivalled support), fit for a king, beaut, jolly good, superb, jammy2) Colloquial: capital, classy, peachy, posh, smash, smashing, splendiferous, topping, tops, whizbang, whizzbang, wizard, great3) American: A one, copacetic, elegant, hairy, hunky-dory, slick, swell, where it's at, zooly4) Military: spoony5) Jocular: hotsie-totsie6) Construction: pointed7) Mathematics: different from, distinctive, other (than), other than8) British English: sterling (He is a sterling chap. - Он отличный парень.)9) Australian slang: awesome, bobby-dazzler (о человеке или вещи), plum, unreal, fully sick (обычно среди иностранцев-чернорабочих в Австралии)10) Architecture: splendid (в значении "очень хороший")11) Diplomatic term: distinguished, variable12) Logics: (в корне) disparate13) Psychology: characteristical, other14) Scottish language: barrie16) Jargon: Sunday (в выражениях: Sunday clothes; Sunday pitch; Sunday punch; Sunday run и т.п.), alvo, bang-up, crackajack, crackerjack, down, flash, fulsome, gooder, hard, heart, hotsy-totsy, nugget, rorty, sanitary, solid, super, zoolie, gear (Man, what a gear pizza! Чувак, какая отличная пица!), vicious, scrumptious, swinging, gnarly, narly, cool, first-rate, hummer, neat17) Student language: aggressive20) Investment: away21) Makarov: A-number-1, A-number-one, all-right, as clean as a whistle, as clear as a whistle, as dry as a whistle, four-star, prime, varied (от чего-либо)22) Taboo: bitchen-twitchen, bitchin', snotty -
2 факт
(см. также данные, результат, вариант, версия, случай) fact, case, one point• Благодаря этому факту усиленно напрашивается, что... - This fact strongly suggests that...• В свете всех этих фактов становится естественным (вычислить и т. п.)... - In view of all these facts it becomes natural to...• В связи с тем фактом, что..., очевидно, что это невозможно. - This is obviously impossible in light of the fact that...• В этом параграфе мы устанавливаем основные факты относительно... - In this section we establish the basic facts about...• Важность этого факта станет понятна после того, как мы обсудим... - The importance of this fact will become clear when we discuss...• Внимание читателя привлекается к тому факту, что... - The reader's attention is drawn to the fact that...• Вряд ли необходимо еще подчеркивать тот факт, что... - It is hardly necessary to stress the fact that...• Данная теория также объясняет тот факт, что... - This theory also explains the fact that...• Данное утверждение интуитивно очевидно, если исходить из факта, что... - The proposition is intuitively obvious from the fact that...• Данный подход должен быть изменен так, чтобы он учитывал факт, что... - The approach must be modified to accommodate the fact that...• Добавьте к этому тот факт, что... - Add to this the fact that...• Его принципиальная важность заключается в том факте, что... - Its principal importance lies ultimately in the fact that...• Задача усложняется тем фактом, что... - The problem is complicated by the fact that...• Замечательным фактом является то, что... - It is a remarkable fact that...• Замечательным фактом является, что... - It is a remarkable fact that...• Здесь принимается во внимание тот факт, что... - This takes account of the fact that...• Зная этот набор фактов, мы понимаем, что... - With this framework before us, we realize that...• Из этого факта, совместно с (1), вытекает, что... - This fact, taken together with (1), implies that...• Интересным и полезным фактом является то, что... - The interesting and useful fact is that...• Исключительным фактом является то, что... - It is an extraordinary fact that...• Мы используем этот факт в дальнейшем. - We shall make use of this fact later.• Мы можем использовать преимущество, предоставляемое этим фактом, чтобы... - We can take advantage of this fact to...• Мы можем объяснить этот факт тем, что... - We can explain this fact by...• Мы привлекаем внимание к факту, что... - We call attention to the fact that...• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• На некоторое время мы пренебрегаем тем фактом, что... - We neglect, for the time being, the fact that...• На этом этапе мы хотим привлечь внимание к тому факту, что... - At this point, we wish to call attention to the fact that...• На этом этапе необходимо указать очень важный факт. - At this stage a very important fact must be pointed out.• Наиболее важным является тот факт, что... - Most important is the fact that...• Нам всем (хорошо) известен тот факт, что... - We are all familiar with the fact that...• Некоторые из этих проблем возникают из того факта, что... - Some of the problems arise from the fact that...• Немедленным следствием предыдущего результата является тот факт, что... - An immediate corollary of the above result is the fact that...• Необходимо заметить, что в той же мере важным является тот факт, что... - But equally important, one should notice, is the fact that...• Неожиданным фактом является то, что... - An unexpected fact is that...• Однако имеет смысл использовать факт, что... - But the sensible thing is to use the fact that...• Однако при вычислении величины W мы должны принять во внимание тот факт, что... - In computing W, however, we must take into account the fact that...• Очевидно, что этот ответ обязан быть следствием факта, что... - The answer must obviously be sought in the fact that...• Подтверждение такой точки зрения вытекает из того факта, что... - Confirmation of this view is found in the fact that...• Позднее нам будут необходимы несколько фактов относительно... - Later on we shall need certain facts about...• Полезно помнить следующий факт:... - A useful result to remember is that...• Поразительным фактом является то, что... - A striking fact is that...• Предыдущие примеры иллюстрируют общий факт, что... - The preceding examples illustrate the general fact that...• Причиной этого является факт, что... - The reason for this lies in the fact that...• Простейшим объяснением всех этих фактов является... - The simplest explanation for these facts is...• Рассмотрим некоторые важные факты относительно... - Let us review some important facts regarding...• Следует уделить внимание тому факту, что... - Attention should be paid to the fact that...• Таким образом, мы возвращаемся к факту, что... - We thus recover the fact that...• Твердо установленным фактом является, что... - It is a well-established result that...• Тот факт, что..., ничего не говорит о... - The fact that... says nothing about...• Тривиальным фактом здесь является... - It is a trivial observation that...• Тщательное сравнение затрудняется тем фактом, что... - Careful comparison is somewhat hampered by the fact that...• Учитывая эти факты, мы можем... - Taking these facts into account, we can...• Фактом чрезвычайной важности является то, что... - This is a fact of tremendous importance to...• Фундаментальным фактом является то, что каждый... - It is a fundamental fact that every...• Чтобы сделать это, мы используем тот факт, что... - То do this, we make use of the fact that...• Чтобы учесть данный факт, Максвелл предположил, что... - То account for this fact, Maxwell supposed that...• Экспериментально обнаружено, что... - It is found, as an experimental fact, that...• Эти важные факты можно подытожить следующим образом. - The relevant facts may be summarized as follows.• Эти факты могут быть объяснены, если... - These facts can be explained if...• Эти факты позволяют нам... - These facts allow us to...• Это выливается в не что иное как простое переформулирование факта, что... - This amounts to no more than a restatement of the fact that...• Это иллюстрирует тот факт, что... - This illustrates the fact that...• Это могло бы показаться довольно неопределенным в свете того факта, что... - This may seem rather pointless in light of the fact that...• Это могло бы показаться парадоксальным в свете факта, что... - This may appear to be paradoxical in view of the fact that...• Это необходимое следствие того факта, что... - This is a necessary consequence of the fact that...• Это очевидным образом вытекает из того факта, что... - This is clearly borne out by the fact that...• Это предположение игнорирует тот факт, что... - The assumption ignores the fact that...• Это происходит вследствие того факта, что... - This arises from the fact that...• Это просто другой способ выражения того факта, что... - This is just another way of expressing the fact that...• Это просто последствие того факта, что... - This is simply a consequence of the fact that...• Это связано с тем фактом, что... - This is connected with the fact that...• Это следует из нашего обсуждения соотношения (4), а также из того факта, что... - This follows from our discussion of (4) and the fact that...• Это совершенно очевидно следует из того факта, что... - This is at once obvious from the fact that...• Это соответствует тому факту, что... - This corresponds to the fact that...• Это справедливо, несмотря на тот факт, что... - This is so despite the fact that...• Этот пример иллюстрирует основной факт, что... - This example illustrates the general fact that...• Этот результат более или менее ожидаем, если исходить из факта, что... - This result is more or less to be expected from the fact that...• Этот результат было необходимо ожидать, исходя из факта, что... - This result was to be expected from the fact that...• Этот результат согласуется с тем фактом, что... - This result is in agreement with the fact that...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4.• Является интересным тот факт, что... - It is an interesting fact that... -
3 соответствовать
correspond, correspond (to, with), match, fit, conform with, conform to, be consistent with, be matched (by), comply with• Данное ограничение соответствует тому факту, что... - This limitation corresponds to the fact that...• Данный подход наиболее соответствует исследуемой задаче. - This approach is best matched to the problem under consideration.• Это соответствует тому факту, что... - This corresponds to the fact that...• Это соответствует ожидаемому (факту и т. п.), что... - This is consistent with the expectation that...Русско-английский словарь научного общения > соответствовать
-
4 ограничение
(= условие, предположение, предел) restriction, limitation, restraint, constraint• Данное ограничение принимается исключительно для удобства. - This restriction is adopted only for reasons of convenience.•Данное ограничение соответствует тому факту (= обусловлено тем), что... - This limitation corresponds to the fact that...• Данное ограничение чересчур строгое. - This restriction is much too severe.• Данное ограничение является решающим при... - This limitation is crucial in...• Здесь нет ограничения, наложенного на у, потому что... - Here there is no restriction on у, because...• Мы надеемся доказать подобную теорему, хотя, возможно, и при дополнительных ограничениях. - We expect to prove such a theorem, although possibly under additional restrictions.• Мы надеемся удалить эти ограничения и доказать более общий результат. - We hope to remove these restrictions and prove a more general result.• Однако имеется одно важное ограничение... - There is, however, an important limitation in...• Однако имеются некоторые ограничения. - There are, however, some limitations.• Очевидно, для этого существуют практические ограничения, которые зависят от... - There is obviously a practical limit to this, which depends on...• По этой причине мы налагаем следующее ограничение... - For this reason we impose the restriction...• Поэтому требуется некоторое дополнительное ограничение. - Consequently some further restriction is required.• При определенных условиях ограничение f(x) ф О может быть опущено. - In certain cases the restriction f(x) Ф 0 can be omitted.• Приняв данное ограничение, мы можем... - Under this restriction, we can...• Следующая теорема дает ограничение на число решений. - The following theorem gives a limitation on the number of the solutions.(= условие) на... - Again we must make a stipulation regarding...• Соответствующее ограничение на число отрицательных корней может быть получено путем... - A corresponding limitation on the number of negative roots can be obtained by...• Теперь мы рассматрим (один) способ как снять эти ограничения на f(x). - We shall now consider a procedure for removing these restrictions on f(x).• Теперь мы должны снять (= удалить) ограничение, что... - We must now remove the restriction that...• Теперь мы ослабим ограничение, что... - We now relax the restriction that...• To же самое ограничение справедливо при использовании... - The same limitation applies to the use of...• Часто бывает удобно наложить дополнительные ограничения на... - It is often convenient to impose further restrictions on...• Чтобы обойти эти ограничения, мы обязаны... - То overcome these limitations, we must...• Это жесткое ограничение полезности (чего-л). - This is a severe restriction on the usefulness of...• Это накладывает (одно) ограничение на... - This places a restriction on...(= принципиальных) ограничений на... - This does not impose any fundamental restrictions on...• Это ограничение является для нас вынужденным... - This limitation is forced on us by...• Это ограничение имеет особое значение в/ при... - This limitation is of particular significance in...• Это ограничение легко снимается. - This restriction is easily removed.• Это ограничение не влияет на наши рассуждения (исследования и т. п.). - This limitation does not concern us.• Это показывает (одно) важное ограничение (чего-л). - This demonstrates an important limitation of... -
5 нелинейное программирование
нелинейное программирование
Раздел математического программирования, изучающий методы решения экстремальных задач с нелинейной целевой функцией и (или) областью допустимых решений, определенной нелинейными ограничениями. В экономике это соответствует тому, что результаты (эффективность) возрастают или убывают непропорционально изменению масштабов использования ресурсов (или, что то же самое, масштабов производства) - например, из-за деления издержек производства на предприятиях на переменные и условно-постоянные, из-за насыщения спроса на товары, когда каждую следующую единицу продать труднее, чем предыдущую, из-за влияния экстерналий (см.Внешняя экономия, внешние издержки) и т.д. В краткой форме задачу Н.п. можно записать так: F (x) ? max при условиях g (x) ? b, x ? 0. где x — вектор искомых переменных, F (x) — целевая функция, g (x) — функция ограничений (непрерывно дифференцируемая), b — вектор констант ограничений (выбор знака ? в первом условии здесь произволен, его всегда можно изменить на обратный). Решение задачи нелинейного программирования (глобальный максимум или минимум) может принадлежать либо границе, либо внутренней части допустимого множества. Иначе говоря, задача состоит в выборе таких неотрицательных значений переменных, подчиненных системе ограничений в форме неравенств, при которых достигается максимум (или минимум) данной функции. При этом не оговаривается форма ни целевой функции, ни неравенств. Могут быть разные случаи: целевая функция — нелинейна, а ограничения — линейны; целевая функция — линейна, а ограничения (хотя бы одно из них) - нелинейны; и целевая функция, и ограничения нелинейны. Задачи, в которых число переменных и (или) число ограничений бесконечно, называются задачами бесконечномерного Н.п.. Задачи, в которых целевая функция и (или) функции ограничений содержат случайные элементы, называются задачами стохастического Н.п. Например, задачу для двух переменных (выпуск продукта x и выпуск продукта y) и вогнутой целевой функции (прибыль — p) можно геометрически представить на чертеже (см. рис. H.4; заштрихована область допустимых решений). Эта задача реалистично отражает распространенное в экономике явление: рост прибыли с ростом производства до определенного (оптимального) уровня в точке B’, а затем ее снижение, например, вследствие затоваривания продукцией или исчерпания наиболее эффективных ресурсов. Нелинейные задачи сложны, часто их упрощают тем, что приводят к линейным. Для этого условно принимают, что на том или ином участке целевая функция возрастает или убывает пропорционально изменению независимых переменных. Такой подход называется методом кусочно-линейных приближений, он применим, однако, лишь к некоторым видам нелинейных задач. Нелинейные задачи в определенных условиях решаются с помощью функции Лагранжа (см. Множители Лагранжа, Лагранжиан): найдя ее седловую точку, тем самым находят и решение задачи. Среди вычислительных алгоритмов Н.п. большое место занимают градиентные методы. Универсального же метода для нелинейных задач нет, и, по-видимому, может не быть, поскольку они чрезвычайно разнообразны. Особенно трудно решаются многоэкстремальные задачи. Для некоторых типов задач выпуклого программирования (вид нелинейного) разработаны эффективные численные методы оптимизации Рис. Н.4 Нелинейное программирование (заштрихована область допустимых решений)
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > нелинейное программирование
-
6 верификация
верификация
контроль
проверка
Установление соответствия принятой и переданной информации с помощью логических методов [http://www.rol.ru/files/dict/internet/#].
[ http://www.morepc.ru/dict/]
верификация
(ITIL Service Transition)
Деятельность, которая гарантирует, что новая или измененная ИТ- услуга, процесс, план или другой результат - полный, точный, надежный и соответствует своей спецификации проектирования.
См. тж. подтверждение; приёмка; подтверждение и тестирование услуг.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]EN
verification
(ITIL Service Transition)
An activity that ensures that a new or changed IT service, process, plan or other deliverable is complete, accurate, reliable and matches its design specification.
See also acceptance; validation; service validation and testing.
[Словарь терминов ITIL версия 1.0, 29 июля 2011 г.]Тематики
Синонимы
EN
4.55 верификация (verification): Подтверждение (на основе представления объективных свидетельств) того, что заданные требования полностью выполнены [3].
Примечание - Верификация в контексте жизненного цикла представляет собой совокупность действий по сравнению полученного результата жизненного цикла с требуемыми характеристиками для этого результата. Результатами жизненного цикла могут являться (но не ограничиваться ими): заданные требования, описание проекта и непосредственно система.
Источник: ГОСТ Р ИСО/МЭК 12207-2010: Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств оригинал документа
4.23 верификация (verification): Процесс, в результате которого приходят к заключению, что два изображения принадлежат одному и тому же человеку; сопоставление 1:1 («один к одному»).
Примечание - Термины и соответствующие определения к ним установлены только для использования в настоящем стандарте.
Источник: ГОСТ Р ИСО/МЭК 19794-5-2006: Автоматическая идентификация. Идентификация биометрическая. Форматы обмена биометрическими данными. Часть 5. Данные изображения лица оригинал документа
4.24 верификация (verification): Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены [3].
Примечание - Верификация в контексте жизненного цикла системы является совокупностью действий по сравнению полученного результата жизненного цикла системы с требуемыми характеристиками для этого результата. Результатами жизненного цикла могут являться (но не ограничиваются только ими) установленные требования, описание проекта и непосредственно система.
Источник: ГОСТ Р ИСО/МЭК 15288-2005: Информационная технология. Системная инженерия. Процессы жизненного цикла систем оригинал документа
3.36 верификация (verification): Подтверждение экспертизой и представлением объективных доказательств того, что конкретные требования полностью реализованы.
Примечания
1 В процессе проектирования и разработки верификация связана с экспертизой результатов данной работы в целях определения их соответствия установленным требованиям.
2 Термин «верифицирован» используется для обозначения соответствующих состояний проверенного объекта. (См. 2.17 title="Управление качеством и обеспечение качества - Словарь").
Источник: ГОСТ Р ИСО/МЭК 12207-99: Информационная технология. Процессы жизненного цикла программных средств оригинал документа
3.18 верификация (verification): Подтверждение посредством предоставления объективных свидетельств того, что установленные требования были выполнены.
[ИСО 9000:2005]
Примечание - В качестве синонима может использоваться термин «проверка соответствия».
Источник: ГОСТ Р ИСО/МЭК 27004-2011: Информационная технология. Методы и средства обеспечения безопасности. Менеджмент информационной безопасности. Измерения оригинал документа
2.22 верификация (verification): Подтверждение на основе анализа и представления объективных свидетельств того, что установленные требования выполнены.
Примечание - При проектировании и разработке верификация означает процесс анализа результатов предпринятой деятельности с целью определения соответствия установленным к этой деятельности требованиям ([4], подпункт 3.8.4).
Источник: ГОСТ Р ИСО 14971-2006: Изделия медицинские. Применение менеджмента риска к медицинским изделиям оригинал документа
3.8.4 верификация (verification): Подтверждение посредством представления объективных свидетельств (3.8.1) того, что установленные требования (3.1.2) были выполнены.
Примечания
1 Термин «верифицирован» используют для обозначения соответствующего статуса.
2 Деятельность по подтверждению требования может включать в себя:
- осуществление альтернативных расчетов;
- сравнение спецификации (3.7.3) на новый проект с аналогичной документацией на апробированный проект;
- проведение испытаний (3.8.3) и демонстраций;
- анализ документов до их выпуска.
Источник: ГОСТ Р ИСО 9000-2008: Системы менеджмента качества. Основные положения и словарь оригинал документа
2.18 верификация (verification): Подтверждение посредством предоставления объективных свидетельств того, что установленные требования выполнены.
Примечание - Верификация это набор действий, с помощью которого происходит сопоставление характеристик системы или элемента системы с установленными требованиями к характеристикам. Верификация может охватывать установленные требования, описание проекта и саму систему.
Источник: ГОСТ Р ИСО 9241-210-2012: Эргономика взаимодействия человек-система. Часть 210. Человеко-ориентированное проектирование интерактивных систем оригинал документа
2.35 верификация (verification): Систематический, независимый и документально оформленный процесс оценки утверждения по ПГ на соответствие согласованным критериям верификации.
Примечание - В некоторых случаях, например при верификациях первой стороной, независимость может быть продемонстрирована невозложением на какое-либо лицо ответственности за подготовку данных и представление соответствующей информации по ПГ.
Источник: ГОСТ Р ИСО 14064-1-2007: Газы парниковые. Часть 1. Требования и руководство по количественному определению и отчетности о выбросах и удалении парниковых газов на уровне организации оригинал документа
2.28 верификация (verification): Систематический, независимый и документально оформленный процесс оценки утверждения по парниковым газам (2.10) на соответствие согласованным критериям верификации.
Примечание - В некоторых случаях, например при верификациях первой стороной, независимость может быть продемонстрирована невозложением на какое-либо лицо ответственности за подготовку данных и представление соответствующей информации по ПГ.
Источник: ГОСТ Р ИСО 14064-2-2007: Газы парниковые. Часть 2. Требования и руководство по количественной оценке, мониторингу и составлению отчетной документации на проекты сокращения выбросов парниковых газов или увеличения их удаления на уровне проекта оригинал документа
2.36 верификация (verification): Систематический, независимый и документально оформленный процесс оценки утверждения по ПГ (2.11)на соответствие согласованным критериям верификации (2.33).
Примечание - В некоторых случаях, например при верификации первой стороной, независимость может быть продемонстрирована невозложением на какое-либо лицо ответственности за подготовку данных и представление соответствующей информации по ПГ.
Источник: ГОСТ Р ИСО 14064-3-2007: Газы парниковые. Часть 3. Требования и руководство по валидации и верификации утверждений, касающихся парниковых газов оригинал документа
3.1.22 верификация (verification): Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
[ИСО 9000, статья 3.8.4]
Источник: ГОСТ ИСО 14698-1-2005: Чистые помещения и связанные с ними контролируемые среды. Контроль биозагрязнений. Часть 1. Общие принципы и методы оригинал документа
3.116 верификация (verification): Экспертиза, призванная подтвердить, что деятельность, изделие или услуга соответствуют заданным требованиям.
Источник: ГОСТ Р 54382-2011: Нефтяная и газовая промышленность. Подводные трубопроводные системы. Общие технические требования оригинал документа
3.17 верификация (verification): Комплекс операций для проверки испытательного оборудования (например, испытательного генератора и соединительных кабелей), а также для демонстрации того, что испытательная система функционирует.
Примечание - Методы, используемые для верификации, отличаются от методов калибровки.
Источник: ГОСТ Р 51317.4.2-2010: Совместимость технических средств электромагнитная. Устойчивость к электростатическим разрядам. Требования и методы испытаний оригинал документа
3.26 верификация (verification): Процесс определения, соответствует ли качество продукта или услуги установленным требованиям.
[Справочник по безопасности МАГАТЭ, Издание 2.0, 2006]
Источник: ГОСТ Р МЭК 62340-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Требования по предотвращению отказов по общей причине оригинал документа
3.7 верификация (verification): Подтверждение на основе объективных данных, что установленные требования были выполнены.
Примечание 1 -Адаптированный термин по ИСО 9000:2005, пункт 3.8.4 [1].
Примечание 2 - См. рисунок 1.
Примечание 3 - Данный термин часто используют совместно с термином «валидация», и оба термина составляют аббревиатуру «V&V» (верификация и валидация).
Источник: ГОСТ Р ИСО 11064-7-2010: Эргономическое проектирование центров управления. Часть 7. Принципы оценки оригинал документа
2.141 верификация (verification): Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
Примечание - При аттестации (верификации) документированной системы контроля (2.70) могут использоваться методы текущего контроля и аудита, методики и проверки, в том числе случайный отбор проб и проведение анализа.
[ИСО 14698-1:2003, статья 3.1.22]
Источник: ГОСТ Р ИСО 14644-6-2010: Чистые помещения и связанные с ними контролируемые среды. Часть 6. Термины оригинал документа
3.43 верификация (verification): Подтверждение экспертизой и предоставлением иного объективного свидетельства того, что результаты функционирования соответствуют целям и требованиям, определенным для такого функционирования.
[МЭК 62138, пункт 3.35]
Источник: ГОСТ Р МЭК 60880-2010: Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А оригинал документа
3.18 верификация (verification): Подтверждение экспертизой и представление иного объективного доказательства того, что результаты функционирования отвечают целям и требованиям, определенным для такого функционирования (ИСО 12207).
[МЭК 62138:2004, определение 3.35]
Источник: ГОСТ Р МЭК 60987-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Требования к разработке аппаратного обеспечения компьютеризованных систем оригинал документа
3.8.1 верификация (verification): Подтверждение выполнения требований путем исследования и сбора объективных свидетельств.
Примечания
1. Адаптировано из ИСО 8402 путем исключения примечаний.
2. В контексте настоящего стандарта верификация представляет собой выполняемую для каждой стадии жизненного цикла соответствующей системы безопасности (общей, E/E/PES систем и программного обеспечения) путем анализа и/или тестирования демонстрацию того, что для используемых входных данных компоненты удовлетворяют во всех отношениях набору задач и требований для соответствующей стадии.
ПРИМЕР - Процесс верификации включает в себя:
Источник: ГОСТ Р МЭК 61508-4-2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения оригинал документа
3.8.4 верификация (verification): Подтверждение посредством представления объективных свидетельств (3.8.1) того, что установленные требования (3.1.2) были выполнены.
Примечания
1 Термин «верифицирован» используют для обозначения соответствующего статуса.
2 Деятельность по подтверждению требования может включать в себя:
- осуществление альтернативных расчетов;
- сравнение спецификации (3.7.3) на новый проект с аналогичной документацией на апробированный проект;
- проведение испытаний (3.8.3) и демонстраций;
- анализ документов до их выпуска.
Источник: ГОСТ ISO 9000-2011: Системы менеджмента качества. Основные положения и словарь
3.2.59 верификация (verification): Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
Источник: ГОСТ Р 54147-2010: Стратегический и инновационный менеджмент. Термины и определения оригинал документа
5.1 верификация (verification):
в контексте маркировки и декларирования: Подтверждение посредством предоставления объективных свидетельств выполнения установленных требований.
[ИСО 14025:2006];
в контексте парниковых газов: Систематический, независимый и документально оформленный процесс (6.4) для оценки утверждения по парниковым газам (9.5.2) на соответствие согласованным критериям верификации (5.12).
Примечание - В некоторых случаях, например при верификациях первой стороной, независимость может быть продемонстрирована свободой от несения ответственности за подготовку данных и представление информации по парниковым газам.
[ИСО 14065:2007]
Источник: ГОСТ Р ИСО 14050-2009: Менеджмент окружающей среды. Словарь оригинал документа
3.3.7 верификация (verification): Систематический, независимый и документально оформленный процесс оценки утверждения по ПГ на соответствие согласованным критериям верификации.
Примечания
1 В некоторых случаях, например при верификациях первой стороной, независимость может быть продемонстрирована невозложением на какое-либо лицо ответственности за подготовку данных и представление соответствующей информации по ПГ.
2 В соответствии с ИСО 14064-3:2006, статья 2.36.
Источник: ГОСТ Р ИСО 14065-2010: Газы парниковые. Требования к органам по валидации и верификации парниковых газов для их применения при аккредитации или других формах признания оригинал документа
Русско-английский словарь нормативно-технической терминологии > верификация
-
7 всемирное цифровое радио
всемирное цифровое радио
Стандарт системы цифрового коротковолнового радио, принятый мировыми вещательными корпорациями.
Стандарт DRM находит сильную поддержку в тех странах, где FM-эфир уже заполнен. Так, Китай разрабатывает программу по внедрению DRM для обеспечения устойчивого вещания на всей территории страны.
Дополнительное преимущество DRM-сигнала состоит в том, что, обладая большей помехозащищенностью, чем АМ, и обеспечивая при этом в коротковолновом эфире качество аналогичное MP3-плеерам или FM вещанию, он занимает полосу частот точно такую же, как и АМ сигнал. Таким образом, при переходе на DRM вещание в КВ диапазоне, не потребуется менять международный план распределения радиочастот.
На сегодняшний день стандарт DRM, благодаря усилиям международного DRM консорциума, в который входят 77 стран, доведен до уровня всемирного стандарта цифрового вещания на коротких волнах, признанного в ITU (Международный союз электросвязи), и рекомендованного к внедрению по всему миру во всех КВ диапазонах.
Введение стандарта DRM в УКВ диапазонах (66 - 74 МГц и 87,5 - 108 МГц) позволит размещать в них радиостанции через 100 КГц (против нынешних 400 - 500, то есть, в среднем, впятеро увеличить число радиостанций) при более высоком качестве звучания и отсутствии "нулей" (провалов) радиоприема за счет многолучевого распространения радиоволн и интерференции в городской застройке.
С коммерческой точки зрения, внедрение DRM вещательного сигнала в УКВ диапазонах гораздо более выгодно, чем внедрение DAB. DAB - в силу своих технических особенностей (и вызванных этим организационно-юридических последствий), - это принципиально убыточный стандарт, приемлемый исключительно для бюджетных, финансируемых извне, радиокомпаний (о нем даже говорят, что "DAB - это мертворожденное дитя"). К тому же, в силу своего назначения, как альтернатива FM вещанию, и, соответствующих, технических параметров (полоса занимаемых частот в эфире), стандарт DAB неприменим на коротких волнах и принципиально не способен быть альтернативой DRM вещанию. Однако, для организации государственного бюджетного вещания в полосах телевизионных каналов с 21 по 60, стандарт DAB очень хорош, поскольку может сосуществовать с телевизионным цифровым стандартом DVB-T.
Однако, существуют мнения, что радиовещание построенное на стандарте DAB (под "крышей" DVB-T) станет "падчерицей" у телевидения и сведет отрасль радио к упадку.
16 июня 2003 в Женеве председатель консорциума DRM и директор по маркетингу и технике "Немецкой волны" Петер Зенгер в рамках торжественной церемонии в Chateau de Penthes простым нажатием кнопки в буквальном смысле открыл новую эру радиовещания. С этого момента началось цифровое вещание на коротких волнах в стандарте DRM. 12 часов в сутки радиостанция "Немецкая волна" вещает на английском, немецком и арабском языках на Европу и Ближний Восток. Кроме того, официально вещание в стандарте DRM начали BBC, РАИ, радио Канады, радио Нидерландов, радио Ватикана, международная служба шведского радио, Голос Америки и радио Уэлса. Система DRM рекомендована к использованию Международным телекоммуникационным союзом (ITU) на коротких, средних и длинных волнах наравне с другими цифровыми стандартами, принятыми в мире.
Одновременно с радиостанцией "Немецкая волна", с 16 июня 2003 года и по сей день РГРК "Голос России" ведет свои регулярные передачи в стандарте DRM на Европу. DRM радиопередатчик мощностью 35 КВт (соответствует мощности в режиме АМ - 200 КВт) расположен на радиоцентре г.Талдома и прекрасно принимается по всей территории Западной Европы. (Источник - www.broadcasting.ru)
[ http://www.morepc.ru/dict/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > всемирное цифровое радио
-
8 ПРЕДИСЛОВИЕ
\ \ \ \ \ С появлением в США после Второй мировой войны множества новых психоаналитических данных и теоретических гипотез профессионалы, ученые и просто интересующаяся публика столкнулись с потребностью понять термины и идиомы этой науки. В то время основная литература — и прежде всего работы Зигмунда Фрейда — существовала на немецком языке, а число английских переводов было ограничено. Происхождение использовавшихся терминов, многие из которых были заимствованы из повседневной речи или словарей других наук, влияло на их значение, что вело к неоднозначности при употреблении этих понятий в новом контексте. Понимание и использование психоаналитических терминов зависели от исторических, тематических или лингвистических соображений, а интерпретации часто различались. Еще одним источником неоднозначности и путаницы явилось и то, что сам психоанализ постоянно развивался.\ \ \ \ \ Чтобы помочь разобраться в этой путанице, в 1967 году под эгидой Американской психоаналитической ассоциации был подготовлен и издан "Глоссарий психоаналитических терминов и понятий". В новой редакции он был опубликован в 1968 году.\ \ \ \ \ Третье издание глоссария, предлагаемое вашему вниманию, было во многом пересмотрено и расширено. Были добавлены новые термины и понятия, а многие прежние определения переработаны. В конце большинства кратких статей даны ссылки. Уже предыдущие издания представляли собой больше чем просто глоссарий, и эта книга выходит за рамки такого названия. Ее можно было бы рассматривать как компендиум или мини-энциклопедию, но это не всегда соответствует ее рубрикам. Поэтому она называется просто "Психоаналитические термины и понятия".\ \ \ \ \ Основная цель этого издания состояла в том, чтобы дать определение и объяснение терминам, но мы также стремились представить каждый термин в рабочих рамках психоаналитической теории, комментируя, по возможности, его историческое развитие и отношение к другим терминам и понятиям. Хотя эта книга основана прежде всего на фрейдовской теории, определения не опираются исключительно на труды Фрейда (за исключением тех случаев, где не были внесены никакие дополнения к тому, что было им сделано)*.\ \ \ \ \ Эта книга включает в себя гетерогенную группу тем, связанных с психоанализом. В нее входят основополагающие понятия и их вспомогательные термины, различные психические феномены, комплексы, сверхдетерминированные психические процессы, поведенческие проявления и действия, симптомы и нозологические единицы, принципы психического функционирования и аналитического лечения. Были включены некоторые темы, обычно не считающиеся аналитическими (например, скука, зависимость, нормальность), поскольку они являются предметом интенсивного психоаналитического исследования. Кроме того, мы включили термины из трудов Карла Юнга, Мелани Кляйн и ее последователей, Уилфреда Р. Биона, В. Рональда Д. Фэйрбейрна и Д. В. Винникотта — представителей британской школы объектных отношений, а также основанной Хайнцем Кохутом школы психологии Самости.\ \ \ \ \ В этой обширной области проделанная работа никогда, пожалуй, не будет достаточной. Что касается психиатрической терминологии, читатель может обратиться к "Глоссарию Американской психиатрической ассоциации" или к психиатрическим словарям.\ \ \ \ \ Определения всегда несколько произвольны. Теоретическая концептуализация сложна в любой науке. Некоторая степень абстракции необходима, но должен быть учтен и клинический материал; обобщения важны, но должно быть оставлено место и исключениям; выдвигаются альтернативные гипотезы, в которых часто используется та же самая терминология, но в другом значении, а сами понятия развиваются. В этом контексте, мы полагаем, словарь, который представляет собой больше, чем собрание кратких определений, будет служить полезной цели.\О словаре: _about - Psychoanalytic Terms and Concepts -
9 линейное программирование
линейное программирование
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]
линейное программирование
Область математического программирования, посвященная теории и методам решения экстремальных задач, характеризующихся линейной зависимостью между переменными. В самом общем виде задачу Л.п. можно записать так. Даны ограничения типа или в так называемой канонической форме, к которой можно привести все три указанных случая Требуется найти неотрицательные числа xj (j = 1, 2, …, n), которые минимизируют (или максимизируют) линейную форму Неотрицательность искомых чисел записывается так: Таким образом, здесь представлена общая задача математического программирования с теми оговорками, что как ограничения, так и целевая функция — линейные, а искомые переменные — неотрицательны. Обозначения можно трактовать следующим образом: bi — количество ресурса вида i; m — количество видов этих ресурсов; aij — норма расхода ресурса вида i на единицу продукции вида j; xj — количество продукции вида j, причем таких видов — n; cj — доход (или другой выигрыш) от единицы этой продукции, а в случае задачи на минимум — затраты на единицу продукции; нумерация ресурсов разделена на три части: от 1 до m1, от m1 + 1 до m2 и от m2 + 1 до m в зависимости от того, какие ставятся ограничения на расходование этих ресурсов; в первом случае — «не больше», во втором — «столько же», в третьем — «не меньше»; Z — в случае максимизации, например, объем продукции или дохода, в случае же минимизации — себестоимость, расход сырья и т.п. Добавим еще одно обозначение, оно появится несколько ниже; vi — оптимальная оценка i-го ресурса. Слово «программирование» объясняется здесь тем, что неизвестные переменные, которые отыскиваются в процессе решения задачи, обычно в совокупности определяют программу (план) работы некоторого экономического объекта. Слово, «линейное» отражает факт линейной зависимости между переменными. При этом, как указано, задача обязательно имеет экстремальный характер, т.е. состоит в отыскании экстремума (максимума или минимума) целевой функции. Следует с самого начала предупредить: предпосылка линейности, когда в реальной экономике подавляющее большинство зависимостей носит более сложный нелинейный характер, есть огрубление, упрощение действительности. В некоторых случаях оно достаточно реалистично, в других же выводы, получаемые с помощью решения задач Л.п. оказываются весьма несовершенными. Рассмотрим две задачи Л.п. — на максимум и на минимум — на упрощенных примерах. Предположим, требуется разработать план производства двух видов продукции (объем первого — x1; второго — x2) с наиболее выгодным использованием трех видов ресурсов (наилучшим в смысле максимума общей прибыли от реализации плана). Условия задачи можно записать в виде таблицы (матрицы). Исходя из норм, зафиксированных в таблице, запишем неравенства (ограничения): a11x1 + a12x2 ? bi a21x1 + a22x2 ? b2 a31x1 + a32x2 ? b3 Это означает, что общий расход каждого из трех видов ресурсов не может быть больше его наличия. Поскольку выпуск продукции не может быть отрицательным, добавим еще два ограничения: x1? 0, x2? 0. Требуется найти такие значения x1 и x2, при которых общая сумма прибыли, т.е. величина c1 x1 + c2 x2 будет наибольшей, или короче: Удобно показать условия задачи на графике (рис. Л.2). Рис. Л.2 Линейное программирование, I (штриховкой окантована область допустимых решений) Любая точка здесь, обозначаемая координатами x1 и x2, составляет вариант искомого плана. Очевидно, что, например, все точки, находящиеся в области, ограниченной осями координат и прямой AA, удовлетворяют тому условию, что не может быть израсходовано первого ресурса больше, чем его у нас имеется в наличии (в случае, если точка находится на самой прямой, ресурс используется полностью). Если то же рассуждение отнести к остальным ограничениям, то станет ясно, что всем условиям задачи удовлетворяет любая точка, находящаяся в пределах области, края которой заштрихованы, — она называется областью допустимых решений (или областью допустимых значений, допустимым множеством). Остается найти ту из них, которая даст наибольшую прибыль, т.е. максимум целевой функции. Выбрав произвольно прямую c1x1 + c2x2 = П и обозначив ее MM, находим на чертеже все точки (варианты планов), где прибыль одинакова при любом сочетании x1 и x2 (см. Линия уровня). Перемещая эту линию параллельно ее исходному положению, найдем точку, которая в наибольшей мере удалена от начала координат, однако не вышла за пределы области допустимых значений. (Перемещая линию уровня еще дальше, уже выходим из нее и, следовательно, нарушаем ограничения задачи). Точка M0 и будет искомым оптимальным планом. Она находится в одной из вершин многоугольника. Может быть и такой случай, когда линия уровня совпадает с одной из прямых, ограничивающих область допустимых значений, тогда оптимальным будет любой план, находящийся на соответствующем отрезке. Координаты точки M0 (т.е. оптимальный план) можно найти, решая совместно уравнения тех прямых, на пересечении которых она находится. Противоположна изложенной другая задача Л.п.: поиск минимума функции при заданных ограничениях. Такая задача возникает, например, когда требуется найти наиболее дешевую смесь некоторых продуктов, содержащих необходимые компоненты (см. Задача о диете). При этом известно содержание каждого компонента в единице исходного продукта — aij, ее себестоимость — cj ; задается потребность в искомых компонентах — bi. Эти данные можно записать в таблице (матрице), сходной с той, которая приведена выше, а затем построить уравнения как ограничений, так и целевой функции. Предыдущая задача решалась графически. Рассуждая аналогично, можно построить график (рис. Л.3), каждая точка которого — вариант искомого плана: сочетания разных количеств продуктов x1 и x2. Рис.Л.3 Линейное программирование, II Область допустимых решений здесь ничем сверху не ограничена: нужное количество заданных компонентов тем легче получить, чем больше исходных продуктов. Но требуется найти наиболее выгодное их сочетание. Пунктирные линии, как и в предыдущем примере, — линии уровня. Здесь они соединяют планы, при которых себестоимость смесей исходных продуктов одинакова. Линия, соответствующая наименьшему ее значению при заданных требованиях, — линия MM. Искомый оптимальный план — в точке M0. Приведенные крайне упрощенные примеры демонстрируют основные особенности задачи Л.п. Реальные задачи, насчитывающие много переменных, нельзя изобразить на плоскости — для их геометрической интерпретации используются абстрактные многомерные пространства. При этом допустимое решение задачи — точка в n-мерном пространстве, множество всех допустимых решений — выпуклое множество в этом пространстве (выпуклый многогранник). Задачи Л.п., в которых нормативы (или коэффициенты), объемы ресурсов («константы ограничений«) или коэффициенты целевой функции содержат случайные элементы, называются задачами линейного стохастического программирования; когда же одна или несколько независимых переменных могут принимать только целочисленные значения, то перед нами задача линейного целочисленного программирования. В экономике широко применяются линейно-программные методы решения задач размещения производства (см. Транспортная задача), расчета рационов для скота (см. Задача диеты), наилучшего использования материалов (см. Задача о раскрое), распределения ресурсов по работам, которые надо выполнять (см. Распределительная задача) и т.д. Разработан целый ряд вычислительных приемов, позволяющих решать на ЭВМ задачи линейного программирования, насчитывающие сотни и тысячи переменных, неравенств и уравнений. Среди них наибольшее распространение приобрели методы последовательного улучшения допустимого решения (см. Симплексный метод, Базисное решение), а также декомпозиционные методы решения крупноразмерных задач, методы динамического программирования и др. Сама разработка и исследование таких методов — развитая область вычислительной математики. Один из видов решения имеет особое значение для экономической интерпретации задачи Л.п. Он связан с тем, что каждой прямой задаче Л.п. соответствует другая, симметричная ей двойственная задача (подробнее см. также Двойственность в линейном программировании). Если в качестве прямой принять задачу максимизации выпуска продукции (или объема реализации, прибыли и т.д.), то двойственная задача заключается, наоборот, в нахождении таких оценок ресурсов, которые минимизируют затраты. В случае оптимального решения ее целевая функция — сумма произведений оценки (цены) vi каждого ресурса на его количество bi— то есть равна целевой функции прямой задачи. Эта цена называется объективно обусловленной, или оптимальной оценкой, или разрешающим множителем. Основополагающий принцип Л.п. состоит в том, что в оптимальном плане и при оптимальных оценках всех ресурсов затраты и результаты равны. Оценки двойственной задачи обладают замечательными свойствами: они показывают, насколько возрастет (или уменьшится) целевая функция прямой задачи при увеличении (или уменьшении) запаса соответствующего вида ресурсов на единицу. В частности, чем больше в нашем распоряжении данного ресурса по сравнению с потребностью в нем, тем ниже будет оценка, и наоборот. Не решая прямую задачу, по оценкам ресурсов, полученных в двойственной задаче, можно найти оптимальный план: в него войдут все технологические способы, которые оправдывают затраты, исчисленные в этих оценках (см. Объективно обусловленные (оптимальные) оценки). Первооткрыватель Л.п. — советский ученый, академик, лауреат Ленинской, Государственной и Нобелевской премий Л.В.Канторович. В 1939 г. он решил математически несколько задач: о наилучшей загрузке машин, о раскрое материалов с наименьшими расходами, о распределении грузов по нескольким видам транспорта и др., при этом разработав универсальный метод решения этих задач, а также различные алгоритмы, реализующие его. Л.В.Канторович впервые точно сформулировал такие важные и теперь широко принятые экономико-математические понятия, как оптимальность плана, оптимальное распределение ресурсов, объективно обусловленные (оптимальные) оценки, указав многочисленные области экономики, где могут быть применены экономико-математические методы принятия оптимальных решений. Позднее, в 40—50-х годах, многое сделали в этой области американские ученые — экономист Т.Купманс и математик Дж. Данциг. Последнему принадлежит термин «линейное программирование». См. также: Ассортиментные задачи, Базисное решение, Блочное программирование, Булево линейное программирование, Ведущий столбец, Ведущая строка, Вершина допустимого многогранника, Вырожденная задача, Гомори способ, Граничная точка, Двойственная задача, Двойственность в линейном программировании, Дифференциальные ренты, Дополняющая нежесткость, Жесткость и нежесткость ограничений ЛП, Задача диеты, Задача о назначениях, Задача о раскрое, Задачи размещения, Исходные уравнения, Куна — Таккера условия, Множители Лагранжа, Область допустимых решений, Опорная прямая, Распределительные задачи, Седловая точка, Симплексная таблица, Симплексный метод, Транспортная задача.
[ http://slovar-lopatnikov.ru/]Тематики
- экономика
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > линейное программирование
См. также в других словарях:
_ВСТУПЛЕНИЕ_ — Во имя Аллаха, Всемилостивого, Милосердного! Русская философия и богословие всегда с глубоким пониманием относились ко всем монотеистическим религиям, считая, что вера в Единого Бога и Его праведный суд одна и та же во всех Откровениях. Открыть… … Коран. Перевод В. Порохового
Вельвичия — удивительная Вельвичия удивительная, женское р … Википедия
Политическая экономия — (предмет и определение науки, место ее среди прочих наук, задачи и методы, исторический очерк экономических школ). Предметом П. экономии как науки является хозяйственная деятельность человека, т. е. целесообразная деятельность, направленная на… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Политическая экономия — (предмет и определение науки, место ее среди прочих наук, задачи и методы, исторический очерк экономических школ). Предметом П. экономии как науки является хозяйственная деятельность человека, т. е. целесообразная деятельность, направленная на… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Tumboa bainesii — ? Вельвичия Вельвичия удивительная, женское растение Научная классификация Царство: Растения Отдел … Википедия
Welwitschiidae — ? Вельвичия Вельвичия удивительная, женское растение Научная классификация Царство: Растения Отдел … Википедия
Welwitschia — ? Вельвичия Вельвичия удивительная, женское растение Научная классификация Царство: Растения Отдел … Википедия
Welwitschia mirabilis — ? Вельвичия Вельвичия удивительная, женское растение Научная классификация Царство: Растения Отдел … Википедия
Welwitschia bainesii — ? Вельвичия Вельвичия удивительная, женское растение Научная классификация Царство: Растения Отдел … Википедия
Вельвичиевые — ? Вельвичия Вельвичия удивительная, женское растение Научная классификация Царство: Растения Отдел … Википедия
Вельвичиевые (порядок) — ? Вельвичия Вельвичия удивительная, женское растение Научная классификация Царство: Растения Отдел … Википедия
