-
21 подтверждение подлинности ЭЦП
подтверждение подлинности ЭЦП
Подтверждение подлинности ЭЦП - положительный результат проверки правильности ЭЦП, выработанной правомочным лицом из исходной информации путем применения принадлежащего ему закрытого ключа ЭЦП, полученный с использованием зарегистрированного и сертифицированного открытого ключа ЭЦП.
[ http://www.morepc.ru/dict/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > подтверждение подлинности ЭЦП
-
22 использовать
(= воспользоваться, применять, см. также использоваться) make use of, exploit, utilize, use, employ• Альтернативный подход использует такие понятия, как... - The alternative approach uses notions such as...• Безусловно это можно использовать лишь в случае, если... - Of course this applies only if...• Более успешный подход заключался в том, чтобы использовать... - A more successful approach has been to use...• Будет полезно использовать условия, при которых... - It will be useful to explore the circumstances under which...• В данном случае можно использовать другой подход. - In this case a different approach can be used.• В обозначениях, которые мы теперь используем, это означает, что... - In our present notation this means that...• В следующем примере мы используем этот метод, чтобы определить... - In the following examples we use this method to determine...• Давайте использовать это решение, чтобы получить... - Let us use this solution to obtain...• Далее мы не будем это использовать. - We shall make no further use of this.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данные результаты могут быть использованы для проверки численного решения. - These results provide a useful check on numerical solutions.• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Для удобства мы будем часто использовать более простое обозначение... - For convenience, we will often use the simpler notation...• Если мы используем результат (7), то видим, что... - If we make use of the result (7) we see that...• Желая использовать соотношение (14), мы заметим, что... - Wishing to exploit (14), we note that...• Заметьте, что мы использовали (здесь) только... - Note that we have only used...• Иногда бывает удобно использовать соотношения вида... - It is sometimes convenient to use relations of the form...• Можно использовать любое выражение в зависимости от... - Either expression can be used, depending on whether...• Мы будем использовать это решение, чтобы построить... - We shall use this solution to construct...• Мы будем очень часто использовать... - Extensive use will be made of...• Мы хотим использовать данную тестовую систему, чтобы определить... - We wish to use this test system to determine...• Мы использовали это в качестве отправного пункта нашего исследования. - We have taken this as a starting point for our investigation.• Мы используем обычные договоренности о... - We make use of common conventions on...• Мы используем эти факты несколько позднее. - We shall exploit these facts at a later stage. '• Мы используем этот результат (в, для)... - We shall apply this result to...• Мы используем этот факт позже (= в дальнейшем). - We shall make use of this fact later.• Мы можем использовать преимущество, предоставляемое этим фактом, чтобы... - We can take advantage of this fact to...• Мы можем использовать эти же свойства, чтобы определить... - We can use these same properties to define...• Мы можем использовать этот результат, чтобы определить (= ввести)... - We can use this result to define...• Мы можем также использовать здесь концепцию... - We may also apply the concept of...• Мы продолжим использовать... - We shall continue to use...• Мы также используем (благоприятную) возможность (поблагодарить, отметить и т. п.) (= Пользуясь возможностью, мы благодарим)... - We also take the opportunity to...• Мы уже многократно использовали (формулу, метод и т. п.)... - We have made extensive use of...• Мы часто используем обозначения а, аr для... - We frequently use a, аr to denote...• Некоторые авторы предпочли использовать... - Some authors have preferred to use...• Одна элегантная версия данного метода использует... - An elegant version of this method employs...• Однако здесь мы предпочитаем использовать... - Неге we prefer, however, to employ...• Однако некоторые авторы успешно использовали... - However, some authors have successfully used...• Однако разумно использовать тот факт, что... - But the sensible thing is to use the fact that...• Описанный выше метод может быть использован для построения... - The procedure described above can be used to construct...• Перед тем как начать использовать эту концепцию, честно предупредим читателя, что... - Before we make use of this concept, it is only fair to warn the reader that...• Перед тем как использовать его (метода) преимущество, мы должны... - Before taking advantage of this, we must...• Подобное рассуждение можно использовать, когда... - A similar argument can be used when...• При этих условиях мы по-прежнему можем использовать... - Under these circumstances we may still use...• Развивая данную теорию, мы будем существенно использовать... - In developing the theory we shall make considerable use of...• Разработчики использовали различные подходы для получения... - Designers have used various approaches in arriving at...• С этой целью мы будем использовать... - For this purpose, we shall use...• Теорема может быть использована для нахождения... - This theorem can be used to find all solutions of...• Теперь мы (полностью) готовы использовать методы, разработанные во втором параграфе. - We are now ready to use the methods of Section 2.• Читатель увидит, как можно использовать высшую математику в... - The reader will see how ordinary calculus can be applied to...• Чтобы..., мы используем качественные рассуждения. - We shall use a qualitative argument to...• Чтобы использовать компьютер в данном процессе... - То computerize the process,...• Чтобы проделать это, мы используем тот факт, что... - То do this, we make use of the fact that...• Эйнштейн использовал точно те же самые идеи в... - Einstein applied precisely the same ideas to...• Эта идея уже была использована Смитом [1], который предлагает... - This idea has been exploited by Smith [1], who suggests that...• Эта точка зрения была интенсивно использована Смитом [1]. - This viewpoint has been used extensively by Smith [1].• Эти результаты можно использовать, чтобы установить... - These results can be used to establish...• Это позволяет нам использовать (метод и т. п.)... - This allows us to make use of...• Это рассуждение подобно тому, что было использовано для установления... - The argument is similar to that used to establish...• Это свойство может быть использовано для вывода... - This property can be used to derive...• Это уравнение может быть использовано для вычисления амплитуды... - This equation can be used to calculate the magnitude of...• Этот результат можно использовать без опасений, только если... - It is safe to use this result only if...• Эту теорию можно использовать только тогда, когда... - This theory is applicable only when... -
23 теорема
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. -
24 оценка
оценка
-
[IEV number 151-16-11]
оценка
Понятие математической статистики, эконометрики, метрологии, квалиметрии и других дисциплин, по-разному определяемое в каждой из них. С помощью экономических О. характеризуется и соизмеряется эффективность различных ресурсов (см. Оценка природных ресурсов, Оценка трудовых ресурсов, а также Объективно-обусловленные оценки, Нормативы). Статистическая О. определяется как «функция от результатов наблюдений, при¬меняемая для оценки неизвестных параметров распределения вероятностей изучаемых случайных величин»[1]. О. применяются для количественного определения параметров экономико-матема¬тических моделей с помощью статистического преобразования выборочной (наблюдае¬мой) информации. Применяются точечная О. и интервальная О. См. также Выборка, Метод наименьших квадратов, Метод максимального правдоподобия, Оценка параметров модели. [1] СЭС, с.1270
[ http://slovar-lopatnikov.ru/]EN
rating
set of rated values and operating conditions
[IEV number 151-16-11]FR
caractéristiques assignées, f, pl
ensemble des valeurs assignées et des conditions de fonctionnement
[IEV number 151-16-11]Тематики
EN
DE
FR
3.9 оценка (evaluation): Систематическое определение степени соответствия объекта установленным критериям.
Источник: ГОСТ Р ИСО/МЭК 12207-99: Информационная технология. Процессы жизненного цикла программных средств оригинал документа
3.3.4 оценка (evaluation): Вычисление значения, представленного в виде выражения.
Источник: ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа
3.44 оценка (evaluation): Элемент стадии интерпретации жизненного цикла, необходимый для обеспечения достоверности результатов оценки жизненного цикла.
Примечание - Оценка включает проверку полноты, проверку чувствительности, проверку соответствия, а также любую другую проверку достоверности, которая может потребоваться в соответствии с установленной целью и определенной областью исследования.
Источник: ГОСТ Р ИСО 14040-2010: Экологический менеджмент. Оценка жизненного цикла. Принципы и структура оригинал документа
3.44 оценка (evaluation): Элемент стадии интерпретации жизненного цикла, необходимый для обеспечения достоверности результатов оценки жизненного цикла.
Примечание - Оценка включает в себя проверки полноты, чувствительности, соответствия, а также любую другую проверку достоверности, которая может потребоваться в соответствии с установленной целью и определенной областью исследования.
Источник: ГОСТ Р ИСО 14044-2007: Экологический менеджмент. Оценка жизненного цикла. Требования и рекомендации оригинал документа
3.7 оценка (estimate): Значение статистического критерия, полученное при проведении расчета.
[ИСО 3534-1, статья 2.51]
Источник: ГОСТ ИСО 14698-2-2005: Чистые помещения и связанные с ними контролируемые среды. Контроль биозагрязнений. Часть 2. Анализ данных о биозагрязнениях оригинал документа
2.3 оценка (assessment): Процесс (2.31) или результат этого процесса - сравнение конкретного объекта с соответствующими справочными данными.
Источник: ГОСТ Р ИСО 24511-2009: Деятельность, связанная с услугами питьевого водоснабжения и удаления сточных вод. Руководящие указания для менеджмента коммунальных предприятий и оценке услуг удаления сточных вод оригинал документа
2.3 оценка (assessment): Процесс (2.31) или результат этого процесса - сравнение конкретного объекта с соответствующими справочными данными.
Источник: ГОСТ Р ИСО 24512-2009: Деятельность, связанная с услугами питьевого водоснабжения и удаления сточных вод. Руководящие указания для менеджмента систем питьевого водоснабжения и оценке услуг питьевого водоснабжения оригинал документа
3.23 оценка (estimator): Функция выборочных значений, используемая для определения значений параметра совокупности.
Источник: ГОСТ Р ИСО 12491-2011: Материалы и изделия строительные. Статистические методы контроля качества оригинал документа
2.62 оценка (estimate): Значение статистического критерия (2.64), полученное в результате расчета.
[ИСО 14698-2:2003, статья 3.7]
Источник: ГОСТ Р ИСО 14644-6-2010: Чистые помещения и связанные с ними контролируемые среды. Часть 6. Термины оригинал документа
2.3 оценка (assessment): Процесс (2.31) или результат этого процесса - сравнение конкретного объекта с соответствующими справочными данными.
Источник: ГОСТ Р ИСО 24510-2009: Деятельность, связанная с услугами питьевого водоснабжения и удаления сточных вод. Руководящие указания по оценке и улучшению услуги, оказываемой потребителям оригинал документа
2.3 оценка (assessment): Верификация оцениваемого объекта доверия с помощью соответствующего подхода с целью установления соответствия стандарту и определения степени (уровня) доверия.
Источник: ГОСТ Р 54581-2011: Информационная технология. Методы и средства обеспечения безопасности. Основы доверия к безопасности ИТ. Часть 1. Обзор и основы оригинал документа
4.23 оценка (evaluation): Вычисление значения, представленного в виде выражения.
Источник: ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа
Русско-английский словарь нормативно-технической терминологии > оценка
-
25 экспериментальный
Экспериментальный - experimental, test, observed (относящийся к эксперименту); brassboard (об оборудовании, находящемся в стадии экспериментальной проверки)The term brassboard refers to the equipment which is more advanced than breadboard types but not as refined as production prototypes.Русско-английский научно-технический словарь переводчика > экспериментальный
-
26 верификация
верификация
контроль
проверка
Установление соответствия принятой и переданной информации с помощью логических методов [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: Газы парниковые. Требования к органам по валидации и верификации парниковых газов для их применения при аккредитации или других формах признания оригинал документа
Русско-английский словарь нормативно-технической терминологии > верификация
-
27 мочь
(см. также можно) can, may, be able• Безусловно, без дальнейшего анализа мы не можем... - Without further analysis we cannot, of course,...• В самом деле, мы всегда можем... - In fact, we can always...• В соответствии с данной интуитивной картиной мы можем... - In accordance with this intuitive picture, we may...• В соответствии с данным результатом мы можем определить... -In accordance with this result, we may identify...• Временно не принимая во внимание это усложнение, мы можем сказать, что... - Disregarding this complication for the moment, we may say that...• Выбирая подходящим образом х и у, мы можем (получить и т. п.)... - By suitable choice of x and у it is possible to...• Выбирая подходящим способом х, мы можем... - By a suitable choice of x, we can...• Данные результаты могут быть использованы для проверки численного решения. - These results provide a useful check on numerical solutions.• Его скорость может быть найдена подстановкой... - The velocity can be found by substituting (2.3) into (2.4).• Если а - 1, мы можем это требование не налагать. - If а = 1 we may dispense with this condition. / If a = 1 we do not need to impose this condition.• Если а = 1, то мы не можем налагать это условие. - If а = 1 we cannot impose this condition.• Если а = 1, то мы не можем не наложить это требование. - If a = 1, this condition cannot be discarded.• Зная это, мы можем... - Knowing this, we can...• Используя настоящую технику, мы можем... - With the present technique, it is possible to...• Используя этот новый метод, мы можем... - By this new method it will be possible to...• Итак, мы не можем всегда... - So we cannot always...• Могло бы показаться, что... - It might seem that...• Может это быть сделано или нет, зависит от... - Whether or not this can be done in a given case depends on...• Мы заключаем, что мы не можем... - We conclude that we cannot...• Мы могли бы еще раньше вывести этот результат из... - We could have deduced this result from...• Мы могли бы ожидать, что... (однако этого не произошло). - We might expect that...• Мы могли бы продолжить развитие теории... - We could go on to develop a theory of...• Мы могли бы также продолжить (наше исследование)... - We could also proceed by...• Мы могли бы ожидать этого из... - This might have been anticipated from...• Мы могли бы, к примеру (= например), решить, что... - We might, for example, decide that...• Мы можем более ясно понять, что и как здесь применяется, рассматривая... - We may see more clearly what is involved here by...• Мы можем взглянуть на это с другой стороны. (= Мы можем рассмотреть это другим способом. ) - We can look at this in another way.• Мы можем доказать это без (особого) труда. - We can prove this without difficulty.• Мы можем упомянуть лишь несколько из... - We can touch on only a few of the...• Мы можем, конечно, применить теорему 1 к случаю, где/ когда... - We can, of course, apply Theorem 1 to the case where...(= найти)... - We can never determine exactly...• Наконец, мы можем доказать, что... - Finally, we can prove that...• Некоторые из них могут быть не такими полезными как другие (= Часть их может оказаться не такими полезными как остальные), поскольку... - Some of these may not be as useful as others, because...• Однако мы не можем это полностью игнорировать. - We cannot, however, ignore it completely.• Очевидно, что мы можем... - It is plain that we can...• Очевидно, что мы не можем просто... - It is obvious that we cannot simply...• После всего этого, мы могли бы ожидать, что... - We would expect, after all, that...• Таким образом, Смит смог заключить, что... - Smith was thus able to conclude that...• Такое поведение не может быть объяснено (влиянием... и т. п.)... - This behavior cannot be explained by...• Теперь мы можем найти некоторые дополнительные свойства... - We are now in a position to determine some further properties of...• Теперь мы можем ответить на несколько вопросов, которые... - This puts us in a position to answer several questions which...• Теперь мы уже не можем сказать, что... - We can no longer say that...• Эта мера может быть построена тем же путем, что и в формуле (2). - The measure can be constructed in the same way as in (2).• Эти мысли могли бы показаться весьма очевидными, однако... - These ideas might seem rather obvious, but...• Это могло бы лишь значить, что... - This could only mean that...• Это может быть еще более обобщено, если... - This can be further extended if...• Это уравнение может быть использовано для вычисления амплитуды... - This equation can be used to calculate the magnitude of...• Этот метод может оспариваться. - This method is open to argument. -
28 предлагать
(= предложить) offer, propose, suggest, recommend• Были предложены несколько методов. - Several techniques have been suggested.• Было предложено, чтобы/что... - It has been suggested that...; It has been proposed that...• В данной главе мы предлагаем обсудить... - In this chapter we propose to discuss...• В качестве поддержки для начинающего мы предлагаем следующее. - As encouragement for the beginner, we offer the following.• В подобных случаях было предложено... - In such cases it was suggested that...• Возможно, мы могли бы предложить в качестве гипотезы (что-л)... - We might perhaps conjecture that...• Давайте предложим следующее в качестве пробного решения. - Let us propose the following as a trial solution.• Данная диаграмма предлагает объяснение... - This diagram offers a perspective on...• Для этого Зоммерфельд предложил (= дал) следующий совет. - То this end, Sommerfeld offered the following words of advice.• Другой метод был предложен Джонсом [1]. - A different method has been given by Jones [1].• Изучение логики предлагает (= дает) возможность отточить способности к рассуждениям. - The study of logic offers an opportunity to sharpen one's reasoning skills.• Каждодневный опыт предлагает (= дает)... - Everyday experience suggests that...• Коши предложил простой метод для проверки сходимости подобных рядов. - Cauchy devised a simple method for determining the convergence of such series.• Мы могли бы предложить следующий подход. - We might suggest the following approach.• Мы не предлагаем доказывать существование (решения и т. п.)... - We do not propose to prove the existence of...• Мы хотели бы предложить следующую альтернативу. - We would like to propose the following alternative.• Один очень интересный подход был предложен Смитом [1]. - A very interesting approach has been proposed by Smith [1].• Он предлагает новую теорию данного явления. - Не put forward a new theory for this phenomenon.• Разумно предложить... - It is reasonable to suggest that...; It stands to reason that...• Решение этой дилеммы было предложено Смитом [1] в 1980 г. - A way out of this dilemma was proposed in 1980 by Smith [1].• Симметрия (выражения) предлагает (= дает) нам, что... - Symmetry tells us that...• Смит [1] предложил метод вычисления... - Smith [1] has proposed a method of calculating...• Тем не менее, имеется достаточное основание предложить... - Nevertheless, there is enough evidence to suggest that...• Эта аналогия часто используется, чтобы предложить... - The analogy is often used to suggest that...• Эта идея уже была использована Смитом [1], который предлагает (что-л)... - This idea has been exploited by Smith [1], who suggests that...• Эти данные предлагают, что... - These data suggest that...• Это было предложено как объяснение для... -This has been suggested as an explanation for...• Это заставило нескольких авторов предложить использование... - This has led several authors to propose the use of...• Это объяснение было предложено Смитом [1], который... - This explanation was proposed by Smith [1], who...• Этот результат предлагает естественное обобщение... - This result suggests a natural generalization of... -
29 галлюцинаторное исполнение желаний
Способность психического аппарата удовлетворять желания с помощью галлюцинаций является, согласно Фрейду, одной из важнейших его характеристик. Регрессию к галлюцинациям Фрейд рассматривал также в качестве важнейшего компонента работы сновидений, считая, что убежденность в реальности зрительных образов сновидения достигается именно благодаря их перцептивной природе. С этой точки зрения сновиденье как процесс представляет собой результат топографической регрессии, а видение сна аналогично самым ранним стадиям психического развития. Разумеется, галлюцинаторное удовлетворение иллюзорно, и из-за невозможности дать реальное удовлетворение оно влияет на формирование функции проверки реальности.\Лит.: [243, 249, 292]Словарь психоаналитических терминов и понятий > галлюцинаторное исполнение желаний
-
30 шот
I1. толк, прок, польза; выгода, извлекаемая из чего-нШот деч посна кошташ слоняться без пользы.
(Йыван) йӱдшӧ-кечыже пашам ышта, а шотшо шагал. Н. Лекайн. Йыван работает днём и ночью, но проку мало.
Матрёна Петровна умылыш: Вера дене паша нерген умбакыже ойлаш нимогай шот уке. В. Юксерн. Матрёна Петровна поняла: говорить с Верой и дальше о работе – никакого толка.
2. толк; ум, разум, смекалка, соображение; способность здраво рассуждать, мыслитьПушеҥгым шындашат тунам шот лийын огыл. Регеж-Горохов. Даже дерево посадить тогда не было толку.
Чояланаш тӧчат, а мемнам ондалаш шотышт уке. П. Корнилов. Пытаются схитрить, а обмануть нас сообразительности не достаёт (букв. нет).
3. порядок; состояние надёжности, организованности, благоустроенностиШот деч посна опташ сложить беспорядочно;
шотыш кондаш привести в порядок.
– Мемнан пӧртыштӧ кунам шотшо лийын шукта гын? П. Корнилов. – Когда же будет порядок в нашем доме?
(Эрвика:) Андрий изай, ялыште шот уке... йорло-влакым, салтак-влакым кырат. Г. Ефруш. (Эрвика:) Брат Андрей, в деревне порядка нет... бьют бедных, солдат.
4. счёт, расчёт, подсчёт; результат каких-л. подсчётов, вычисленийШотым йомдараш сбиться со счёту.
– Йоча-влакетат иктаж кумытын улыт дыр? – Кумытын веле мо, шотшымат монденам, – шыргыжалеш Васлий. Н. Лекайн. – И детей, наверно, у тебя штуки три? – Разве только три, я и счёт потерял.
Еремейын шотшо почеш, кресаньык-влакын вич ийлык кожла аренде оксашт, олыкыш кусарымеке, кок ий шуйнышаш ыле. А. Юзыкайн. По расчёту Еремея, арендных денег крестьян за лес за пять лет, при переводе на луга, должно было хватить на два года.
5. дело; ситуация, положение вещей, обстановка, обстоятельстваИлыш шотым лончылаш выяснять жизненные обстоятельства.
Молын семын ачам лиеш гын, вес шот ыле. П. Корнилов. Если бы у меня, как и у других, был отец, было бы другое дело.
– Кукшо агитацийыште нимогай пайдат ок кой. – Тиде шотым комсомол погынымаште кутырен налаш верештеш. М. Шкетан. – Нет никакой пользы от сухой агитации. – Эту ситуацию придётся обсудить на комсомольском собрании.
6. причина; явление, вызывающее, обусловливающее возникновение другого явленияСадержат ала-мо шот дене кушкын огыл. И. Иванов. И сады по какой-то причине не росли.
Ала пӧрт шокшылан, ала иктаж вес шот дене Верушын тӱсшӧ чотрак чеверын коеш. Н. Лекайн. Или из-за жары в доме, или по какой-то другой причине лицо Веруш пышет румянцем.
Сравни с:
амал7. основание, повод; обстоятельство, способное быть основанием для чего-л., оправдывающее что-л.Богданов саҥгажым куптыртыш – нимо шот денат Григорий Петрович дек пижедылаш ок лий. С. Чавайн. Богданов сморщил лоб – ни по какому поводу нельзя придраться к Григорию Петровичу.
Тептеров тиде шомакым мо шотлан каласыш, очыни, шкежат ыш умыло. В. Косоротов. К чему (букв. на каком основании) сказал Тептеров это слово – наверно, сам не понял.
Сравни с:
амал8. отношение, сторона, особенность; признак, свойство, качество, характеризующие кого-что-л.Чыла шот гычат шижам – первый ийын мылам моткоч йӧсӧ лиеш. В. Косоротов. По всем признакам я чувствую – в первый год мне будет очень трудно.
(Изибай) кондышо-влакын скипидарыштым, сорт шот денат, виса шот денат акыштым волтен, шулдын наледен. Я. Элексейн. Изибай покупал скипидар поставщиков дёшево, занижая цену и по сорту, и по весу (букв. со стороны сорта и со стороны веса).
9. способ(Папка кува:) Янлык Пасетым иктаж шот дене Элавий деч кораҥдаш кӱлеш. Н. Арбан. (Старуха Папка:) Каким-либо способом Янлыка Пасета надо отстранить от Элавий.
(Миша ден Герман) сар ӱзгарын кузе ышталтмыжым, тудым кучылтмо шотым вашке пален нальыч. Б. Данилов. Миша и Герман быстро разобрались в устройстве оружия, в способе его применения.
Сравни с:
йӧн10. традиция, обычай; укоренившийся порядок в чём-л.Туге гынат ача-коча деч куснен толшо шотым шукташак тырша (Иван Иваныч). А. Юзыкайн. Иван Иваныч всё же старается соблюдать традиции, перешедшие от предков.
Мланде ӱмбалне тӱрлӧ калык, тӱрлӧ йылме. Мланде ӱмбалне тӱрлӧ койыш, тӱрлӧ шот. О. Ипай. На земле разные народы, разные языки. На земле разные нравы, разные обычаи.
11. число, количество, численность кого-чего-л.– Шӧр шот дене такше ончылно улына. И. Иванов. – По количеству молока мы, вообще-то, впереди.
12. число; состав, ряд известного количества кого-чего-л.Кастене жапым контрразведчик-влак нерген возымо ик книгам лудын эртаренамат, йӧндымӧ шотыш логалынам. А. Асаев. По вечерам я проводил время, читая одну книгу про контрразведчиков, поэтому попал в число неблагонадёжных.
13. подобие, видимость, вид; нечто похожее, сходное с чем-л., напоминающее собой что-л., создающее лишь внешнее впечатление чего-л. или лишь называемое чем-л.; передаётся также предлогами наподобие, вроде чего-л.Клубым чоҥышт, клуб пелен кидпаша ыштыме, тӱр тӱрлымӧ артель шотым почыч. В. Косоротов. Построили клуб, при клубе открыли наподобие артели по рукоделию, вышиванию.
(Изибайын эргыже) ӱмбаланже пальто шотым чиен. Я. Элексейн. Сын Изибая надел нечто вроде пальто.
14. место, роль, положение, состояние кого-чего-л., сложившиеся обстоятельства; право, возможность, обязанность, действовать каким-л. образомПайремым, кугурак шот дене, Арсений Иванович почо. А. Асаев. По праву старшинства праздник открыл Арсений Иванович.
Мый адак денщик шотыш верештым. М. Шкетан. Я опять оказался в положении денщика.
15. в форме местн. п. в знач. посл. выражает:1) направленность действия на кого-что-л.; передаётся предлогами по, на, словами насчёт, относительно, по поводу кого-чего-л., касаясь кого-чего-л.(Толшо еҥ) Советыш еҥым сайлыме шотышто пашам ышташ пиже. К. Васин. Прибывший человек приступил к делу по выдвижению человека в Совет.
Григорий Петровичын шотышто, ынде шагатат шуо – проверке уке. С. Чавайн. По поводу Григория Петровича, прошёл уже час – проверки нет.
Ершов Терентей йылме шотышто пеш тале. Г. Ефруш. Ершов Терентей очень остёр (букв. силён) на язык.
2) действие, функционирование предмета или лица в качестве, в роли кого-чего-л.; передаётся предлогом в, словами в качестве, в роли, на положении кого-чего-л.Людмила Андреевна завуч шотышто коштеш. В. Косоротов. Людмила Андреевна ходит в завучах.
Марий тӧран илемже ынде тисте илем шотышто. К. Васин. Жилище марийского вождя теперь в качестве знакового дома.
Идиоматические выражения:
– шке шот(шо) дене– шот денеIIГ.счёты; простейшее счётное устройствоШот доно шотлаш считать на счётах.
Ӹшкӹмемӹн пӓлӹмӓшемжӹ правлеништӹ шот кӹшкӹлтӓш ярен эче. А. Апатеев. Мои собственные знания пригодились, чтобы щёлкать счётами (букв. для перекидывания счётов) в правлении.
Мӹнгеш-анеш шыт дӓ шот мадыт шотын шервлӓ. Е. Першуткин. Щёлк-щёлк взад-вперёд скачут (букв. играют) косточки счётов.
Сравни с:
шершотГ.подр. сл. – подражание стуку, щелчку: тук, щёлкКачкын шӹнзӹмӹ лошты трӱкок окням шот-шот-шот севӓл колтат. К. Беляев. Во время обеда вдруг тук-тук-тук постучали в окно.
Каждый ирок, засолкам шот мырыктен, кудывичӹ гӹц нӹллӹ вӹц иӓшрӓк пӱэргӹ лӓктеш. С. Захаров. Каждое утро, щёлкнув запором (букв. заставляя защёлку петь «щёлк»), из двора выходит мужчина лет сорока пяти.
-
31 алгоритм
алгоритм
Конечный набор предписаний для получения решения задачи посредством конечного количества операций.
[ ГОСТ 34.003-90]
алгоритм
Конечное упорядоченное множество точно определенных правил для решения конкретной задачи.
[ИСО/МЭК 2382-1]
[ ГОСТ Р 52292-2004]
алгоритм
Последовательность действий для определенного вычисления
[ ГОСТ 30721-2000]
[ ГОСТ Р 51294.3-99]
алгоритм
Набор упорядоченных шагов для решения задачи, такой как математическая формула или инструкция в программе. В контексте кодирования речи алгоритмами называют математические методы, используемые для компрессии речи. Уникальные алгоритмы кодирования речи патентуются. Конкретные реализации алгоритмов в компьютерных программах также являются субъектом авторского права.
Совокупность четко определенных правил, процедур или команд, обеспечивающих решение поставленной задачи за конечное число шагов.
[ http://www.morepc.ru/dict/]
алгоритм
алгорифм
Точное предписание относительно последовательности действий (шагов), преобразующих исходные данные в искомый результат. Это понятие появилось за много веков до появления компьютеров, с которыми его обычно связывают. Термин же происходит от слова Algorithmi, так на латинском языке звучало имя хорезмского математика IX столетия аль-Хорезми, трактат которого в средние века был распространен в Европе. Тогда алгоритмом называлось десятичное счисление и искусство счета в этой системе. А. — основа решения любой экономико-математической задачи, задачи управления, а также построения многих экономико-математических моделей — особенно прикладных, предназначенных для практических расчетов на компьютерах. Оценка качества А. обычно определяется его сходимостью (если А. не сходится, он не годится), скоростью сходимости (чем она выше, т.е. чем меньше шагов требуется для решения, тем А. лучше); кроме того, важную роль играют время счета на компьютере (оно зависит не только от числа шагов, но и других обстоятельств), удобство обращения к А., возможность работы в режиме диалога человека и ЭВМ. Для наглядности алгоритм, если он относительно прост, можно отобразить в виде блок-схемы (см. рис. А.2). А., записанный таким образом, чтобы его могла выполнять вычислительная машина, называется программой. Рис.А.2 Блок-схема алгоритма вычисления среднего арифметического Среди важнейших (для экономико-математических приложений) видов алгоритмов назовем следующие: Алгоритмитеративный [iterative routine] - см. Итеративные методы. Алгоритм моделирующий. [simulator] - алгоритм (компьютерная программа), имитирующий при исследовании сложных систем взаимодействие элементов процесса и позволяющий при заданной совокупности экзогенных величин (параметров, управляющих переменных) получить эндогенные величины (выходы) или их искомые характеристики. Алгоритм циклический [cyclical algorithm] - алгоритм, при котором через какое-то (обычно большое) число шагов результаты начинают повторяться. Таков, например, А. вычисления на компьютере псевдослучайных чисел. Алгоритм управления [control procedure] - точно определенный порядок выработки управленческих решений, формирования планов, обмена информацией в процессе управления. Тщательная отработка А. у. — необходимый этап проектирования любой АСУ. Для проверки А.у. эффективно применение методов машинной имитации.
[ http://slovar-lopatnikov.ru/]Тематики
- автоматизированные системы
- информационные технологии в целом
- кодирование штриховое
- экономика
- электронный обмен информацией
Синонимы
EN
DE
FR
Русско-немецкий словарь нормативно-технической терминологии > алгоритм
-
32 алгоритм
алгоритм
Конечный набор предписаний для получения решения задачи посредством конечного количества операций.
[ ГОСТ 34.003-90]
алгоритм
Конечное упорядоченное множество точно определенных правил для решения конкретной задачи.
[ИСО/МЭК 2382-1]
[ ГОСТ Р 52292-2004]
алгоритм
Последовательность действий для определенного вычисления
[ ГОСТ 30721-2000]
[ ГОСТ Р 51294.3-99]
алгоритм
Набор упорядоченных шагов для решения задачи, такой как математическая формула или инструкция в программе. В контексте кодирования речи алгоритмами называют математические методы, используемые для компрессии речи. Уникальные алгоритмы кодирования речи патентуются. Конкретные реализации алгоритмов в компьютерных программах также являются субъектом авторского права.
Совокупность четко определенных правил, процедур или команд, обеспечивающих решение поставленной задачи за конечное число шагов.
[ http://www.morepc.ru/dict/]
алгоритм
алгорифм
Точное предписание относительно последовательности действий (шагов), преобразующих исходные данные в искомый результат. Это понятие появилось за много веков до появления компьютеров, с которыми его обычно связывают. Термин же происходит от слова Algorithmi, так на латинском языке звучало имя хорезмского математика IX столетия аль-Хорезми, трактат которого в средние века был распространен в Европе. Тогда алгоритмом называлось десятичное счисление и искусство счета в этой системе. А. — основа решения любой экономико-математической задачи, задачи управления, а также построения многих экономико-математических моделей — особенно прикладных, предназначенных для практических расчетов на компьютерах. Оценка качества А. обычно определяется его сходимостью (если А. не сходится, он не годится), скоростью сходимости (чем она выше, т.е. чем меньше шагов требуется для решения, тем А. лучше); кроме того, важную роль играют время счета на компьютере (оно зависит не только от числа шагов, но и других обстоятельств), удобство обращения к А., возможность работы в режиме диалога человека и ЭВМ. Для наглядности алгоритм, если он относительно прост, можно отобразить в виде блок-схемы (см. рис. А.2). А., записанный таким образом, чтобы его могла выполнять вычислительная машина, называется программой. Рис.А.2 Блок-схема алгоритма вычисления среднего арифметического Среди важнейших (для экономико-математических приложений) видов алгоритмов назовем следующие: Алгоритмитеративный [iterative routine] - см. Итеративные методы. Алгоритм моделирующий. [simulator] - алгоритм (компьютерная программа), имитирующий при исследовании сложных систем взаимодействие элементов процесса и позволяющий при заданной совокупности экзогенных величин (параметров, управляющих переменных) получить эндогенные величины (выходы) или их искомые характеристики. Алгоритм циклический [cyclical algorithm] - алгоритм, при котором через какое-то (обычно большое) число шагов результаты начинают повторяться. Таков, например, А. вычисления на компьютере псевдослучайных чисел. Алгоритм управления [control procedure] - точно определенный порядок выработки управленческих решений, формирования планов, обмена информацией в процессе управления. Тщательная отработка А. у. — необходимый этап проектирования любой АСУ. Для проверки А.у. эффективно применение методов машинной имитации.
[ http://slovar-lopatnikov.ru/]Тематики
- автоматизированные системы
- информационные технологии в целом
- кодирование штриховое
- экономика
- электронный обмен информацией
Синонимы
EN
DE
FR
1 Алгоритм - однозначное описание последовательности операций над исходными данными (из некоторой совокупности возможных исходных данных), направленной на получение результата, полностью определяемого этими исходными данными.
Русско-английский словарь нормативно-технической терминологии > алгоритм
-
33 дихотомический поиск
дихотомический поиск
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]
дихотомический поиск
1. В численных методах оптимизации - поиск оптимума путем последовательного деления пополам (дихотомии) пространства решений и проверки каждой половины на наличие в ней экстремальной точки. Оптимум отыскивается таким путем за конечное количество шагов (делений). 2. Поиск информации в любом массиве данных путем его последовательного дихотомического деления. Искомая информация находится за [log2N]+1 шагов[1], где N — число данных в исходном массиве. (Названный выше метод оптимизации — частный случай по отношению к 2). [1] Квадратные скобки означают здесь выделение наибольшего целого числа, не превышающего результат логарифмирования.
[ http://slovar-lopatnikov.ru/]Тематики
- экономика
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > дихотомический поиск
-
34 контроль производства
контроль производства
Работа, проводимая во время процесса производства, предназначенная для проверки того, что План качества соблюдается, что каждая операция выполняется в соответствии с согласованной процедурой и что полученный результат - удовлетворительный (МСЭ-Т G.972).
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
3.6.35 контроль производства (production control): Функция мониторинга и контроля за движением товаров по всему производственному циклу.
Примечание - Определение взято из словаря [5].
Источник: ГОСТ Р ИСО 15531-1-2008: Промышленные автоматизированные системы и интеграция. Данные по управлению промышленным производством. Часть 1. Общий обзор оригинал документа
Русско-английский словарь нормативно-технической терминологии > контроль производства
-
35 машинная имитация
машинная имитация
имитация на компьютере
Экспериментальный метод изучения экономики с помощью электронной вычислительной техники. (В литературе часто в том же смысле применяется термин «имитационное моделирование«, однако, по-видимому, лучше разделить значения: моделирование есть разработка, конструирование модели некоторого объекта для его исследования, а имитация — один из возможных способов использования модели). Для имитации формируется имитационная система, включающая имитационную модель, а также программное обеспечение. В машину вводятся необходимые данные и ведется наблюдение за тем, как изменяются интересующие исследователя показатели; они подвергаются анализу, в частности, статистической обработке данных. С одной стороны, имитация применяется в тех случаях, когда модель (а значит, отражаемые ею система, процесс, явление) слишком сложна, чтобы можно было использовать аналитические методы решения. Для многих проблем управления и экономики такая ситуация неизбежна: например, даже столь отработанные методы, как линейное программирование, в ряде случаев слишком сильно огрубляют действительность, чтобы по полученным решениям можно было делать обоснованные выводы. А если изучаемые процессы имеют нелинейный характер и еще осложнены разного рода вероятностными характеристиками, то вопрос об аналитическом решении вообще не возникает. Сам выбор между имитационным (численным) или аналитическим решением той или иной экономической задачи не всегда легкая проблема. С другой стороны, имитация применяется тогда, когда реальный экономический эксперимент по тем или иным соображениям невозможен или слишком сложен. Тогда она выступает в качестве замены такого эксперимента. Но еще более ценна ее роль как предварительного этапа, «прикидки», которая помогает принять решение о необходимости и возможности проведения самого реального эксперимента. С помощью статической имитации можно выявить, при каких сочетаниях экзогенных (вводимых) факторов достигается оптимальный результат изучаемого процесса, установить относительное значение тех или иных факторов. Это полезно, например, при изучении различных методов и средств экономического стимулирования на производстве. М.и. в форме проигрывания динамических моделей (динамической имитации) применяется также в прогнозировании,. С его помощью изучают возможные последствия крупных структурных сдвигов в экономике, внедрения важнейших научно-технических достижений, принятия плановых решений. Если имитация организуется в форме диалога человека и машины, то у экспериментатора появляется возможность, анализируя на ходу промежуточные результаты, менять те или иные управляющие параметры и тем самым — направление изучаемого процесса. В последнее время широко применяется имитация экономических процессов, в которых сталкиваются различные интересы типа конкуренции на рынке. При этом управляют «проигрыванием» люди, принимающие по ходу деловой игры те или иные решения, например: «снизить цены», «увеличить или уменьшить выпуск продукции» и т.д., и ЭВМ показывает, у кого из «конкурирующих» сторон дело идет лучше, у кого — хуже (см. также Деловые игры, Олигопольные эксперименты). Таким образом, машинное имитирование экономических процессов — это, по существу эксперимент, но не в реальных, а в искусственных условиях. Для повышения его эффективости разрабатываются методы планирования эксперимента, проверки имитационной модели (см. Верификация моделей, Валидация модели), методы анализа функции отклика и т.д.
[ http://slovar-lopatnikov.ru/]Тематики
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > машинная имитация
-
36 ошибка
ошибка
Расхождение между вычисленным, наблюденным или измеренным значением или условием и истинным, специфицированным или теоретически правильным значением или условием.
Примечание
Адаптировано из МЭС 191-05-24 путем исключения примечаний.
[ ГОСТ Р МЭК 61508-4-2007]
ошибка
1. В теории информации: отклонение воспринятой информации от переданной. В соответствии с характеристикой процесса восприятия и передачи информации различают: синтаксические (или структурные) О., вызываемые физическими ограничениями канала, сбоями в сборе информации и т.п.; семантические О., состоящие в непонимании получателем полученной им информации; прагматические, т.е. О. в определении ценности полученной информации при ее отборе для использования. 2. В экономико-математическом моделировании — элемент модели, отражающий суммарный эффект не учтенных в ней непосредственно (т.е. не признанных существенными) систематических и случайных факторов, воздействующих на экзогенные переменные (см. Возмущение, Помехи). 3. В математической статистике то же, что отклонение или разброс около истинного значения рассматриваемой случайной величины. Различаются О. случайные (их величина описывается законом распределения и при массовом повторении они обычно взаимно погашаются), и систематические, которые отражают воздействие некоторых неизвестных факторов; они либо имеют постоянную величину, либо изменяются в определенном направлении. Сочетание многих систематических ошибок может привести к формированию случайной ошибки. Есть также ошибки грубые, эксцессы, которые обычно исключаются из статистического исследования из-за своей нехарактерности для изучаемого процесса. В теории статистической проверки гипотез различаются: ошибка первого рода, если отклоняется истинная гипотеза и ошибка второго рода, если не отвергается неправильная гипотеза. То же: Погрешность • Некоторые виды статистических ошибок: Ошибка агрегирования [aggregation bias] - см. Агрегирование. Ошибка выборки [sample bias] - в выборочных методах возникает тогда, когда обнаруживается то, что в действительности отсутствует (например, в процессе наблюдения экономических явлений, при решении задач поиска). Ошибка наблюдения [observation bias] - в выборочных методах возникает тогда, когда пропускают то, что в действительности имеет место (например, при наблюдениии экономических явлений, в задачах поиска). Ошибки в прогнозировании [forecasting bias] - расхождения между данными прогноза и действительными (фактическими) данными. Закономерности О.п. изучаются математико-статистическими методами. Различаются четыре вида ошибок прогнозирования: исходных данных, модели прогноза, согласования, стратегии. Ошибки исходных данных связаны главным образом с неточностью экономических измерений, некачественностью выборки, искажением данных при их агрегировании и т.д. Ошибки модели прогноза возникают вследствие упрощения и несовершенства теоретических построений, экспертных оценок и т.д. Правильность модели прогноза (в том числе оценки ее параметров) проверяется ретроспективным расчетом, который можно сопоставить с действительным ходом исследуемого процесса. Однако и это не дает полной гарантии качества прогноза на будущее, так как условия могут измениться. Ошибки согласования часто происходят из-за того, что статистические данные в народном хозяйстве подготавливаются разными организациями, которые применяют различную методологию расчетов. Ошибки стратегии — результат, главным образом, неудачного выбора оптимистического или пессимистического вариантов прогноза. (См. Диапазон осуществимости прогноза).
[ http://slovar-lopatnikov.ru/]Тематики
- экономика
- электротехника, основные понятия
EN
3.1.30 ошибка (fault): Разность между погрешностью весоизмерительного датчика и основной погрешностью весоизмерительного датчика (см. 3.1.34).
Источник: ГОСТ Р 8.726-2010: Государственная система обеспечения единства измерений. Датчики весоизмерительные. Общие технические требования. Методы испытаний оригинал документа
3.6.11 ошибка (error): Расхождение между вычисленным, наблюденным или измеренным значением или условием и истинным, специфицированным или теоретически правильным значением или условием.
Примечание - Адаптировано из МЭС 191-05-24 путем исключения примечаний.
Источник: ГОСТ Р МЭК 61508-4-2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения оригинал документа
4.10.1 ошибка (Funktionsfehler): Разность погрешности показаний и основной погрешности.
Источник: ГОСТ Р ЕН 1434-1-2006: Теплосчетчики. Часть 1. Общие требования
4.10.1 ошибка (fault): Разность между погрешностью показаний и погрешностью прибора.
Источник: ГОСТ Р ЕН 1434-1-2011: Теплосчетчики. Часть 1. Общие требования
Русско-английский словарь нормативно-технической терминологии > ошибка
-
37 алгоритм
алгоритм
Конечный набор предписаний для получения решения задачи посредством конечного количества операций.
[ ГОСТ 34.003-90]
алгоритм
Конечное упорядоченное множество точно определенных правил для решения конкретной задачи.
[ИСО/МЭК 2382-1]
[ ГОСТ Р 52292-2004]
алгоритм
Последовательность действий для определенного вычисления
[ ГОСТ 30721-2000]
[ ГОСТ Р 51294.3-99]
алгоритм
Набор упорядоченных шагов для решения задачи, такой как математическая формула или инструкция в программе. В контексте кодирования речи алгоритмами называют математические методы, используемые для компрессии речи. Уникальные алгоритмы кодирования речи патентуются. Конкретные реализации алгоритмов в компьютерных программах также являются субъектом авторского права.
Совокупность четко определенных правил, процедур или команд, обеспечивающих решение поставленной задачи за конечное число шагов.
[ http://www.morepc.ru/dict/]
алгоритм
алгорифм
Точное предписание относительно последовательности действий (шагов), преобразующих исходные данные в искомый результат. Это понятие появилось за много веков до появления компьютеров, с которыми его обычно связывают. Термин же происходит от слова Algorithmi, так на латинском языке звучало имя хорезмского математика IX столетия аль-Хорезми, трактат которого в средние века был распространен в Европе. Тогда алгоритмом называлось десятичное счисление и искусство счета в этой системе. А. — основа решения любой экономико-математической задачи, задачи управления, а также построения многих экономико-математических моделей — особенно прикладных, предназначенных для практических расчетов на компьютерах. Оценка качества А. обычно определяется его сходимостью (если А. не сходится, он не годится), скоростью сходимости (чем она выше, т.е. чем меньше шагов требуется для решения, тем А. лучше); кроме того, важную роль играют время счета на компьютере (оно зависит не только от числа шагов, но и других обстоятельств), удобство обращения к А., возможность работы в режиме диалога человека и ЭВМ. Для наглядности алгоритм, если он относительно прост, можно отобразить в виде блок-схемы (см. рис. А.2). А., записанный таким образом, чтобы его могла выполнять вычислительная машина, называется программой. Рис.А.2 Блок-схема алгоритма вычисления среднего арифметического Среди важнейших (для экономико-математических приложений) видов алгоритмов назовем следующие: Алгоритмитеративный [iterative routine] - см. Итеративные методы. Алгоритм моделирующий. [simulator] - алгоритм (компьютерная программа), имитирующий при исследовании сложных систем взаимодействие элементов процесса и позволяющий при заданной совокупности экзогенных величин (параметров, управляющих переменных) получить эндогенные величины (выходы) или их искомые характеристики. Алгоритм циклический [cyclical algorithm] - алгоритм, при котором через какое-то (обычно большое) число шагов результаты начинают повторяться. Таков, например, А. вычисления на компьютере псевдослучайных чисел. Алгоритм управления [control procedure] - точно определенный порядок выработки управленческих решений, формирования планов, обмена информацией в процессе управления. Тщательная отработка А. у. — необходимый этап проектирования любой АСУ. Для проверки А.у. эффективно применение методов машинной имитации.
[ http://slovar-lopatnikov.ru/]Тематики
- автоматизированные системы
- информационные технологии в целом
- кодирование штриховое
- экономика
- электронный обмен информацией
Синонимы
EN
DE
FR
Русско-французский словарь нормативно-технической терминологии > алгоритм
- 1
- 2
См. также в других словарях:
результат проверки — 3.7. результат проверки Значение некоторого признака, полученное применением определенного метода проверки. Примечания 1. Под проверкой можно понимать такие процедуры, как измерение, испытание, контроль и т.д. 2. В методе проверки должно быть… … Словарь-справочник терминов нормативно-технической документации
Результат — 3.3.1.3 Результат . Решением Конкурсной комиссии отклоняются от дальнейшего рассмотрения заявки, не удовлетворяющие хотя бы одному формальному требованию, в том числе содержащие отклонения, существенно меняющие характеристики, условия и иные… … Словарь-справочник терминов нормативно-технической документации
результат единичного анализа — 3.4 результат единичного анализа (определения)2): Значение содержания компонента в пробе вещества (материала), полученное при однократной реализации процедуры анализа. 1) Результат анализа по сути представляет собой среднее п результатов… … Словарь-справочник терминов нормативно-технической документации
результат анализа — 3.3 результат анализа 1): Среднее значение (среднее арифметическое или медиана) результатов единичного анализа. Источник … Словарь-справочник терминов нормативно-технической документации
результат единичного анализа (единичного определения) — 3.1 результат единичного анализа (единичного определения): Значение содержания компонента в пробе вещества (материала), полученное при однократной реализации процедуры анализа ( title= ГСОЕИ. Показатели точности, правильности, прецизионности… … Словарь-справочник терминов нормативно-технической документации
значимый результат (на выбранном уровне значимости a) — 2.84. значимый результат (на выбранном уровне значимости a) Результат статистической проверки, который приводит к отбрасыванию нулевой гипотезы, в противном случае результат незначим. Примечания 1. Когда результат проверки называют статистически… … Словарь-справочник терминов нормативно-технической документации
ошибка результата (проверки) — 3.8. ошибка результата (проверки) Результат проверки минус принятое нормальное значение величины (по ИСО 5725.1). Примечание Ошибка это сумма случайных ошибок и систематических ошибок Источник: ГОСТ Р 50779.10 2000: Статистические методы.… … Словарь-справочник терминов нормативно-технической документации
МИ 2881-2004: Рекомендация. ГСИ. Методики количественного химического анализа. Процедуры проверки приемлемости результатов анализа — Терминология МИ 2881 2004: Рекомендация. ГСИ. Методики количественного химического анализа. Процедуры проверки приемлемости результатов анализа: 3.17 критическая разность: Допускаемое для принятой вероятности 95 % абсолютное расхождение между… … Словарь-справочник терминов нормативно-технической документации
наблюдения аудита (проверки) — 3.9.5 наблюдения аудита (проверки) (en audit findings; fr constatations d audit): Результат оценки свидетельства аудита (проверки) (3.9.4) в зависимости от критериев аудита (проверки) (3.9.3). Примечание Наблюдения аудита (проверки) могут… … Словарь-справочник терминов нормативно-технической документации
значимый результат — Как правило, некоторый статистический показатель называют значимым, когда гипотеза о том, что он равен нулю, не принимается. Так, говорят о значимом коэффициенте корреляции, значимом коэффициенте регрессии и т.п. Когда гипотезу о том, что… … Словарь социологической статистики
ГОСТ Р 50779.10-2000: Статистические методы. Вероятность и основы статистики. Термины и определения — Терминология ГОСТ Р 50779.10 2000: Статистические методы. Вероятность и основы статистики. Термины и определения оригинал документа: 2.3. (генеральная) совокупность Множество всех рассматриваемых единиц. Примечание Для случайной величины… … Словарь-справочник терминов нормативно-технической документации
