simulation

This combination of simulation and traditional static formal verification is referred to as dynamic formal verification.

Эта комбинация системы моделирования и традиционной статической формальной верификации называется динамической формальной верификацией.

Maxfield, Clive / The design warrior's guide to FPGAs: Devices, Tools and FlowsМаксфилд, Клайв / Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Максфилд, Клайв

© Издательский дом «Додэка-XXI», 2007

The design warrior's guide to FPGAs: Devices, Tools and Flows

Maxfield, Clive

© 2004, Mentor Graphics Corporation and Xilinx, Inc.

Mixed-language simulation

Мультиязычные системы моделирования

Maxfield, Clive / The design warrior's guide to FPGAs: Devices, Tools and FlowsМаксфилд, Клайв / Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Максфилд, Клайв

© Издательский дом «Додэка-XXI», 2007

The design warrior's guide to FPGAs: Devices, Tools and Flows

Maxfield, Clive

© 2004, Mentor Graphics Corporation and Xilinx, Inc.

According to the invention, it is appropriate that the module for simulation of the pilot workplace is developed with the possibility of changing its attitude and equipped with the unit for the flight dynamic simulation.

При этом, согласно изобретению, целесообразно, чтобы в тренажере модуль имитации рабочего места пилота был выполнен с возможностью изменения его пространственного положения и снабжен устройством динамической имитации полета.

http://www.patentlens.net/ 11/18/2011

http://www.patentlens.net/ 11/18/2011

FIG. 4 gives the cutting of the engagement by a plane, perpendicular to gearwheel axes; and FIG. 5 gives the fragment of the engagement, made by means of computer-aided simulation.

На фиг. 4 дано сечение зацепления плоскостью, перпендикулярной осям колес, а на фиг. 5 - фрагмент зацепления, выполненный методом компьютерного моделирования.

http://www.patentlens.net/ 11/6/2011

http://www.patentlens.net/ 11/6/2011

Hurst felt that a biased random walk was causing his results, but he needed a simulation method.

Херст чувствовал, что его результаты были вызваны смещенными случайными блужданиями, но ему требовался некоторый метод моделирования.

Peters, Edgar E. / Fractal market analysis : applying chaos theory to investment and economicsПетерс, Эдгар Э. / Фрактальный анализ финансовых рынков: применение теории Хаоса в инвестициях и экономике

Фрактальный анализ финансовых рынков: применение теории Хаоса в инвестициях и экономике

Петерс, Эдгар Э.

© Originally published by John Wiley&Sons, Inc., 2003

© ООО "Интернет-трейдинг", 2004 г. (перевод)

Fractal market analysis : applying chaos theory to investment and economics

Peters, Edgar E.

© 1994 by John Wiley & Sons, Inc.

The provision in simulator a possibility of simulation of most adequate wake vortex situations that may lead to flight incidents is the task of an utmost importance.

Обеспечение в тренажерах возможности создания имитированных с наибольшей достоверностью воздействий на пилота или диспетчера (оператора) полета, которые могут привести к летному происшествию, является весьма актуальной задачей.

http://www.patentlens.net/ 11/18/2011

http://www.patentlens.net/ 11/18/2011

Interactive simulation to illustrate the central limit theorem.

Интерактивное моделирование с целью продемонстрировать центральную предельную теорему.

Jähne, Bernd / Digital Image ProcessingЯне, Бернд / Цифровая обработка изображений

Цифровая обработка изображений

Яне, Бернд

© 2005, Springer-Verlag Berlin Heidelberg

© 2006, ЗАО «РИЦ «Техносфера» перевод на русский язык

Digital Image Processing

Jähne, Bernd

© Springer-Verlag Berlin Heidelberg 2005

The known device is disadvantageous in a weak simulation of a smoking process and inconvenient use.

Недостатком известного устройства является слабая имитация процесса курения и неудобство пользования.

http://www.patentlens.net/ 11/1/2011

http://www.patentlens.net/ 11/1/2011

It is best found by 2D field simulation.

Лучше всего рассчитывать его путем моделирования двумерного распределения поля.

Johnson, Howard,Graham, Martin / High-speed signal propagation: advanced black magicДжонсон, Говард,Грэхем, Мартин / Высокоскоростная передача цифровых данных: высший курс черной магии

Высокоскоростная передача цифровых данных: высший курс черной магии

Джонсон, Говард,Грэхем, Мартин

© Издательский дом "Вильямс", 2005

© Pearson Education, Inc., 2003

High-speed signal propagation: advanced black magic

Johnson, Howard,Graham, Martin

© 2003 by Pearson Education, Inc.

In deployment exercises, the level of difficulty can be varied by increasing the pace of the simulation or by increasing the complexity of the decision-making and coordination needs.

В упражнениях по развертыванию можно варьировать уровень сложности за счет увеличения скорости развертывания сценария или увеличения сложности принимаемых решений и необходимой координации.

© «Сахалин Энерджи» 2006

www.sakhalinenergy.com 14.10.2011

© Sakhalin Energy 2006

www.sakhalinenergy.com 14.10.2011

He crossed to the computer again, and brought a 3-D simulation onto the screen, showing the classroom and pointing to the positions of gunman and schoolboy.

— Дафф вновь подошел к компьютеру и вывел на экран 3D изображение: комнату и в ней фигуры — стрелявшего и мальчика.

Rankin, Ian / A Question of BloodРэнкин, Иэн / Вопрос крови

Вопрос крови

Рэнкин, Иэн

© 2003 by John Rebus Limited

© Е. Осенева, перевод на русский язык, 2008

© ООО "Издательская группа Аттикус", Издательство "Иностранка", 2008

A Question of Blood

Rankin, Ian

© 2003 by John Rebus Limited

Hie presence of deformations both in the screen structure and in the relief structure complicates the simulation of protection.

Наличие деформаций, как в структуре растра, так и в структуре рельефа осложняет имитацию защиты.

http://www.patentlens.net/ 12/17/2011

http://www.patentlens.net/ 12/17/2011

Such being the case, the known technical solution that is a very close simulation of the cigarette smoking process cannot satisfy the smokers who are used to smoking a pipe.

Поэтому известное техническое решение, которое очень близко имитирует процесс курения сигарет, не может удовлетворить курильщиков, которые привыкли использовать для курения трубку.

http://www.patentlens.net/ 11/1/2011

http://www.patentlens.net/ 11/1/2011

Each process should have running time chosen at random from a Gaussian distribution whose mean and standard deviation are parameters of the simulation.

Каждый процесс должен работать в течение случайного периода времени, величина которого распределена по Гауссу, причем среднее линейное и среднеквадратическое отклонение задаются в виде параметров модели.

Tanenbaum, Andrew S. / Modern Operating SystemsТаненбаум, Эндрю / Современные операционные системы

Современные операционные системы

Таненбаум, Эндрю

© Prentice Hall, Inc., 2001

© Перевод на русский язык, ЗАО Издательский дом «Питер», 2002

© ЗАО Издательский дом «Питер», 2002

Modern Operating Systems

Tanenbaum, Andrew S.

© Prentice Hall, Inc., 2001

These were referred to as simulation primitives.

Такие инструменты назывались простейшими системами моделирования.

Maxfield, Clive / The design warrior's guide to FPGAs: Devices, Tools and FlowsМаксфилд, Клайв / Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Максфилд, Клайв

© Издательский дом «Додэка-XXI», 2007

The design warrior's guide to FPGAs: Devices, Tools and Flows

Maxfield, Clive

© 2004, Mentor Graphics Corporation and Xilinx, Inc.