The Distributed Computer Network (DCN) research group at Saint Petersburg Polytechnic University developed such a software system for the analysis of program correctness; the new tool was named COVERS (Concurrent Verification and Simulation). |
Группа учёных из Санкт-Петербургского Политехнического университета разработала программное обеспечение для анализа корректности системы; новый инструмент назвали COVERS (Параллельная Верификация и Моделирование). |
I would like to focus primarily on community-based network of VATSIM (Virtual Air Traffic Simulation Network) and virtual airlines Sciences (United Airlines, virtual). |
Я хотел бы сосредоточиться в первую очередь на общинных сеть VATSIM (Virtual воздушного движения Моделирование сети) и виртуального авиакомпания академии наук (United Airlines виртуальный). |
(c) Simulation of airborne space technologies for the evaluation, analysis and monitoring of marine ecosystems in the southern Mediterranean (the AMED project); |
с) моделирование на основе космических технологий в целях оценки, анализа и мониторинга морских экосистем в южной части Средиземного моря (проект АМЕО); |
Chapter 23: Real-time simulation |
Глава 23: Моделирование в режиме реального времени |
You know, simulation. |
Вы знаете, моделирование. |
C. Numerical simulation of hypervelocity impacts |
Цифровое моделирование соударений на гиперскоростях |
That was no simulation? |
Это не было моделирование? |
B. Hypervelocity impact simulation |
В. Моделирование высокоскоростных соударений |
(c) Numerical simulation of hypervelocity impacts |
с) Цифровое моделирование высокоскоростных соударений |
Richard Bennett created the first system dynamics computer modeling language called SIMPLE (Simulation of Industrial Management Problems with Lots of Equations) in the spring of 1958. |
Весной 1958 Ричард Беннет создал первый язык моделирования методом системной динамики, названный им SIMPLE (Simulation of Industrial Management Problems with Lots of Equations, или Моделирование Проблем Промышленного Менеджмента Совокупностью Уравнений). |
Simulation of optimum gas pipeline operation with a view to minimising fuel gas consumption; |
имитационное моделирование оптимальной работы газопровода с целью сведения к минимуму потребления топливного газа; |
From 6 to 12 January, one UNMOVIC missile technical analyst participated in the American Institute of Aeronautics and Astronautics professional training course entitled "Modeling of Six Degrees of Freedom; Missile Simulation" held at Reno, Nevada, United States of America. |
С 6 по 12 января один из технических аналитиков ЮНМОВИК, занимающийся ракетной областью, участвовал в организованном Американским институтом авиации и космонавтики в городе Рино, Невада, Соединенные Штаты Америки, учебном семинаре, озаглавленном «Пространственное моделирование: имитационное моделирование в ракетной области». |
'Every simulation we've run confirms it.' |
Каждое наше моделирование подтверждает это. |
Offline simulation and real-time simulation. |
Офлайн-моделирование и моделирование в реальном времени. |
Teams of agents in cyberspace: modelling and simulation of information protection processes in the global Internet. Problems of management of information society cyber-security. |
Команды агентов в кибер-пространстве: моделирование процессов защиты информации в глобальном Интернете// Проблемы управления кибербезопасностью информационного общества. |
They ran Miles through a highly realistic time-compressed simulation of the prison experience. |
Они прокрутили Майлзу очень реалистическое сжатое по времени моделирование тюремной жизни. |
It's done by geologists, engineers, biologists, all sortsof different people - modeling and simulation. |
Ею занимаются геологи, инженеры, биологи. Самые разные людивыполняют расчеты и моделирование. |
In addition, a so called simulation can be carried out with this computed tomography scanner. |
С помощью компьюторной томографии возможно также и виртуальное моделирование. |
This simulation will be a test primarily of your teamwork. |
Моделирование будет подготовкой к работе в коллективе |
Lorenz was using a simple digital computer, a Royal McBee LGP-30, to run his weather simulation. |
Погодное моделирование Лоренц выполнял на простом цифровом компьютере МсВёё LGP-30. |
The special-purpose, multi-variant simulation of playing situations with expanded reality, presented by said combination of 2D and 3D images, ensures a synergistic effect. |
Целевое многовариантное моделирование игровых ситуаций с дополненной реальностью, представленной данным сочетанием 2D и 3D изображений обеспечивает синергетический эффект. |
Then, the new positions are used to compute the forces during the next step, and this loop is repeated until the simulation ends. |
После этого новое положение используется для расчёта сил в течение следующего шага, и этот цикл программы повторяется до тех пор, пока моделирование не закончится. |
HIL simulation is a key step in the process of developing human factors, a method of ensuring usability and system consistency using software ergonomics, human-factors research and design. |
Моделирование ПАМ - ключевой шаг в процессе обработки человеческих факторов, метода обеспечивающего удобство пользования и эргономики программного обеспечения. |
CComputer simulation - via dynamic calculations - of the basic rollover rollover test on a complete vehicle in accordance with the specifications of Aof nnex 9. 5.4.5. |
5.4.4 компьютерное моделирование на основе динамических расчетов базового испытания на опрокидывание комплектного транспортного средства в соответствии с требованиями приложения 9; |
Multi-agent simulation of distributed attacks "denial of service" and defense mechanisms// International school-conference on priority courses of science and technology development with participation of young scientists, PhD students and students. |
Многоагентное моделирование распределенных атак нарушения доступности и механизмов защиты от них// Международная школа-конференция по приоритетным направлениям развития науки и техники с участием молодых ученых, аспирантов и студентов. |