ПРОВЕРКИ МОДЕЛЕЙ на Английском - Английский перевод

• model checking
• model validation
• model verifications

Примеры использования Проверки моделей на Русском языке и их переводы на Английский язык

Этот метод основан на технике проверки моделей и абстракции.
The method is based on model checking technique and abstraction.

Кроме того, в целях проверки моделей было бы желательно обеспечить сбор более точно измеренных данных о концентрациях СОЗ в почве.
Further, for model verifications the availability of more measured POP soil concentrations is desirable.

Настоящий этап испытаний включает в себя, в том числе и проверки моделей в аэродинамической трубе.
The real stage of tests includes as well checking of models in a wind tunnel.

КХЦ проведет оценку хода работы по мониторингу и обеспечению качества, в частности, с целью представления входных данных для проверки моделей.
CCC will evaluate the status of monitoring and quality assurance activities, in particular with a view to providing input for model validation.

Berkeley Lazy Abstraction Software Verification Tool( BLAST)- программа проверки моделей для языка Си.
The Berkeley Lazy Abstraction Software Verification Tool(BLAST) is a software model checking tool for C programs.

Награжден в 2007 году вместе со своим научным руководителем Эдмундом Кларком и Иосифом Сифакисом премией Тьюринга за вклад в развитие теории проверки моделей.
He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for the invention and development of Model checking.

В данной работе представлен метод генерации функциональных тестов на основе проверки моделей и результаты его сравнения с существующими решениями.
In this paper, a functional test generation method based on model checking is proposed and compared to existing solutions.

Вместе с тем совершенно ясно, что проводившиеся до настоящего времени измерения попрежнему не могут обеспечить в достаточной степени поддержку процесса систематической проверки моделей.
It is clear, however, that the measurements are still not sufficient to support systematic model verifications.

Рассмотрены методы проверки моделей и дедуктивной верификации, методы композиционной верификации и методы, основанные на абстракциях.
Analyzed methods include model checking, deductive verification, methods that extend these two methods: compositional verification methods and abstraction-based methods.

Собираемые сведения являются весьма полезными для, например, расчета данных о выбросах и критических нагрузок, оценки уровней осаждения, проверки моделей и оценки воздействия и восстановления.
The data collected are very important in assisting in, for example, calculating emission data and critical loads, estimating deposition levels, validating models and assessing effects and recovery.

Это позволит обеспечить участие большого числа объектов, задачей которых является определение пространственных тенденций; это позволит также определить временные тенденции и данные, необходимые для разработки и проверки моделей.
This will ensure participation of a large number of sites aimed at describing spatial trends, it will establish temporal trends and provide data for the development and validation of models.

Кологическое программирование имеет применение в областях рациональных деревьев, доказательства бесконечных свойств, ленивых вычислений, параллельного логического вывода, проверки моделей и т. д. Коданные- сущность, дуальная к данным.
Co-LP has applications to rational trees, verifying infinitary properties, lazy evaluation, concurrent logic programming, model checking, bisimilarity proofs, etc.

Для проведения испытаний и проверки моделей необходимо открыть беспрепятственный доступ к имеющимся данным о долгосрочных изменениях наземной растительности, т. е. к данным, полученным в ходе реализации программ в рамках Конвенции, и национальным базам данных.
Existing data on long-term data on changes in the ground vegetation should be made readily accessible to allow for testing and validation of models, e.g. data from the Convention's programmes and national databases.

КХЦ укрепит сотрудничество с другими исследовательскими проектами мониторинга на уровне 2 и 3, как это определено в программе мониторинга ТЧ, включая применение данных с вертикальным разрешением и оптических параметров для проверки моделей;
CCC will strengthen cooperation with other research projects for level 2 and level 3 monitoring as defined in the PM monitoring programme, including the application of vertically resolved data and optical parameters for model validation;

Например, арбитраж не исключает неограниченный индетерминизм, который связан с проблемой проверки моделей, являющейся причиной взрывного характера пространства состояний и может даже стать причиной образования модели с бесконечным числом состояний.
For example, arbitration introduces unbounded nondeterminism which raises issues with model checking because it causes explosion in the state space and can even cause models to have an infinite number of states.

Целевая группа, в частности, обсудила вопросы осуществления стратегии мониторинга ЕМЕП, потребности в информации более высокого пространственного разрешения, вопросы проверки моделей, анализа неопределенностей и разработки моделей зависимости" источник- рецептор.
The Task Force discussed in particular the implementation of the EMEP monitoring strategy, the need for information on finer scales, model validation, analysis of uncertainties and source-receptor modelling..

В качестве главных недостатков были отмечены пробелы в наборах данных, ограниченные возможности уменьшения масштаба до регионального уровня, ограниченные возможности проверки моделей, недостатки в разработке гипотез и применимости, проверки и дифференциации воздействия различных мер, а также высокий уровень неопределенности при попытках прогнозного моделирования.
The main ones highlighted were gaps in data sets, limited regional downscaling, limited model validation, deficiencies in the development of assumptions and in applicability, verification, and separation of the impact of different policies, and the high degree of uncertainty in attempting to simulate the future.

Благодаря этому в настоящее время имеется в наличии ряд высококачественных глобальных баз данных, которые используются для оценки стратегий обнаружения атмосферных изменений и колебаний, проверки моделей изменения климата и для подготовки данных о составе атмосферы.
As a result, a number of high quality, global data sets are now available and are being used in the evaluation of strategies to detect changes and fluctuations in the atmosphere, to validate models of climate variability and to provide data on atmospheric composition.

Обзор включает методы статического анализа программ, методы проведения инспекций и экспертиз, техники анализа архитектуры ПО, методы проверки моделей и дедуктивного анализа корректности ПО, а также методы динамической верификации- тестирование и верификационный мониторинг.
The review includes methods of static analysis, software review and inspection techniques, methods of software architecture analysis, model checking and theorem proving, along with dynamic verification methods- testing and monitoring.

Эти результаты, рассчитанные в соответствии с Руководством по методологиям и критериям составления карт критических уровней/ нагрузок и использующие данные измерений на участках интенсивного мониторинга, могут стать важным дополнительным инструментом проверки моделей, применявшихся другими МПС, в частности МПС по разработке моделей и составлению карт.
These results, calculated according to the Manual on Methodologies and Criteria for Mapping Critical Levels/Loads using the measurement data from intensive monitoring plots, may provide an additional important tool for verifying models applied and maps produced by other ICPs, in particular by ICP Modelling and Mapping.

КХЦ укрепит сотрудничество с другими исследовательскими проектами мониторинга на уровнях 2 и 3, как это определено в программе мониторинга ТЧ, включая применение данных с вертикальным разрешением и оптических параметров для проверки моделей; КХЦ проведет оценку осуществляемой деятельности по мониторингу ТЧ в Европе в целях облегчения согласования и координации работы, имеющей важное значение для Сторон в контексте выполнения ими их обязательств по Конвенции;
CCC will strengthen cooperation with other research projects for level 2 and level 3 monitoring as defined in the PM monitoring programme, including the application of vertically resolved data and optical parameters for model validation; CCC will evaluate ongoing PM monitoring activities in Europe in order to facilitate the harmonization and coordination of work relevant for Parties so that they can fulfil their obligations under the Convention;

GrGen. NET( Graph rewrite Generator), инструмент преобразования графов с генерацией кода на C или сборок. NET. GROOVE, набор инструментов на Java для редактирования графов и правил преобразования графов, для исследования пространств состояний граф- грамматик и проверки моделей этих пространств состояний; также может быть использован как движок преобразования графов.
GrGen. NET, the graph rewrite generator, a graph transformation tool emitting C-code or. NET-assemblies GROOVE, a Java-based tool set for editing graphs and graph transformation rules, exploring the state spaces of graph grammars, and model checking those state spaces; can also be used as a graph transformation engine.

Проверка моделей при помощи инструментов контроля и заштрихованных определенным цветом изопахит.
Check the models with inspector tools and color hatched isopachs.

Разработка и проверка моделей для имитации реакции экосистем.
Develop and validate models for the simulation of ecosystem responses.

Для проверки модели вам потребуется определить отдельный проверочный комплект.
For validation of the model, you can define a separate validation set.

Эти результаты являются эффективным способом проверки модели.
The results provide an effective way for model verification.

Проверка модели.
Testing the model.

Непрерывная проверка моделей от ревизии к ревизии еще не утвердилось в качестве стандартной практики, поскольку чрезмерное потребление ресурсов делает ее применение непрактичным.
Continuous model checking from revision to revision is not yet established as a standard practice, because the enormous resource consumption makes its application impractical.

Первым подходом к проверке моделей являлось сопоставление результатов моделей с данными наблюдений; второй подход заключался в сопоставлении конкретной модели с другими моделями..
The first approach to model validation was to compare model results with observations; the second approach was to compare a given model with other models..

Он является экспертом по проверке моделей, удовлетворенности ограничений и теории баз данных, общеизвестности( логики) и теоретическим компьютерным наукам.
He is an expert in model checking, constraint satisfaction and database theory, common knowledge(logic), and theoretical computer science.