Terms containing проверка моделей

Subject	Russian	English
progr.	алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов	algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata (ssn)
progr.	метод проверки моделей	model checking method (ssn)
softw.	метод проверки моделей	model checking (позволяет осуществить автоматизированный перебор всех возможных вариантов выполнения программы, но применим только в случае, когда программа принимает конечное число состояний Alex_Odeychuk)
progr.	метод проверки моделей	model checking technique (ssn)
energ.ind.	модель высокотемпературного ядерного реактора для проверки технических характеристик	high temperature engineering test reactor
energ.ind.	модель высокотемпературного ядерного реактора для проверки технических характеристик	High Temperature Engineering Test Reactor
nano	модель для проверки и подтверждения концепции	proof-of-principle model
progr.	модель для проверки приложений, управляемых через меню	model for testing menu-driven applications (ssn)
energ.ind.	модель для проверки совместимости элементов в системе	compatibility mockup
energ.ind.	модель для проверки совместимости элементов в системе	compatibility mock-up
Makarov.	модель не выдерживает экспериментальной проверки	the model fails the test
Makarov.	модель не выдерживает экспериментальной проверки	model fails the test
econ.	модель с фиксированными моментами проверки состояния запасов	fixed-review-times model
auto.	общая модель человека для проверки безопасности	THUMS (смоделированые на компьютере "манекены" человека для виртуального проведения краш-тестов автомобилей ВВладимир)
gen.	подвергнуть новую модель проверке	bring the new model to the test
progr.	превосходная модель для проверки приложений, управляемых через меню	excellent model for testing menu-driven applications (ssn)
robot.	проверка адекватности динамической модели	dynamic model verification
IT	проверка адекватности модели	model verification
geol.	проверка блочной модели	block model validation (при подсчете ресурсов минерального сырья Zamatewski)
progr.	проверка достоверности модели рабочей нагрузки	validating the workload model (ssn)
progr.	проверка моделей	model checking (ssn)
ecol.	проверка модели	post audit of model
softw.	проверка модели	model checking (Alex_Odeychuk)
telecom.	проверка модели	model check (oleg.vigodsky)
softw.	проверка модели	testing and verification (Alex_Odeychuk)
astronaut.	проверка модели	model validation
leath.	проверка модели	checking of pattern
IT	проверка модели	model run
Makarov.	проверка модели	model evaluation
tech.	проверка модели на адекватность объекту моделирования	validation of a model for adequacy
tech.	проверка модели на адекватность объекту моделирования	test of a model for adequacy
energ.ind.	проверка модели определения разброса результатов измерений	analysis of variance model
energ.ind.	проверка модели определения разброса результатов испытаний	analysis of variance model
progr.	проверка модели программного обеспечения	software model checking (Microsoft Alex_Odeychuk)
math.	проверка на модели	model validation
progr.	проверка на модели	model checking (Alex_Odeychuk)
tech.	проверка на модели	model test
econ.	проверка на основе эконометрической модели	econometric testing
account.	проверка на основе экономической модели	econometric testing
busin.	создание модели проекта с целью проверки / подтверждения его обоснованности в количественном и качественном отношении	business case (build a)
fin.	целевая проверка внутренних моделей	TRIM (grafleonov)
fin.	целевая проверка внутренних моделей	targeted review of internal models (grafleonov)