A model is an abstraction of a real

A model is an abstraction of a real system. When the real system is complex, reasoning about correctness becomes complicated. In such cases, various mechanisms of abstraction are used to hide certain details irrelevant to the main issues. Weaker models have fewer constraints. Systems functioning correctly on weaker models usually function correctly on stronger models without additional work, but the converse is not true. This chapter presents a partial view—it only focuses on some of the broader features of the various models, but ignores more difficult and subtle issues related to scheduling of actions or grains of computation. These will be addressed in Chapter 5 where we discuss program correctness. The implementation of one kind of model using another kind of model is intellectually challenging, particularly when we explore the limits of space and time complexities. Results related to impossibilities, upper and lower bounds of space, time, or message requirements, form the foundations of the theory of distributed computing.

Результаты (русский) 1:

Модель — это абстракция реальной системы. Когда реальная система является сложной, рассуждения о правильности становится сложной. В таких случаях чтобы скрыть некоторые детали не имеют отношения к основным вопросам используются различные механизмы абстракции. Более слабые модели имеют меньше ограничений. Системы, работает на слабых моделях обычно работают правильно на более моделях без дополнительной работы, но обратное не верно. Эта глава представляет частичное представление — это только фокусируется на некоторые из более широких возможностей различных моделей, но игнорирует более сложных и тонких вопросов, связанных с составлением графиков действий или зерна вычислений. Они будут рассмотрены в главе 5, где мы обсуждаем корректность работы программы. Осуществление одного вида модели с помощью другой вид модели интеллектуально сложно, особенно, когда мы исследуем границы пространства и времени сложности. Результаты, относящиеся к невозможностей, верхние и нижние границы пространства, времени или сообщения требования, формируют основы теории распределенных вычислений.

Результаты (русский) 2:

Модель представляет собой абстракцию реальной системы. Когда реальная система сложна, рассуждения о правильности усложняется. В таких случаях различные механизмы абстракции используются, чтобы скрыть некоторые детали, не имеющие отношения к основным вопросам. Более слабые модели имеют меньше ограничений. Системы функционируют правильно на слабых моделях, как правило, функционируют правильно на более сильных моделей без дополнительной работы, но обратное неверно. В этой главе представлен частичный вид-она фокусируется только на некоторых из более широких возможностей различных моделей, но игнорирует более сложные и тонкие вопросы, связанные с планированием действий или зернами вычислений. Они будут рассмотрены в главе 5, где мы обсудим корректность программы. Реализация одного вида модели, используя другой вид модели является интеллектуально сложной задачей, особенно, когда мы исследуем пределы пространства и времени сложности. Результаты, связанные с невозможностями, верхние и нижние пределы требований пространства, времени, или сообщение, формируют основы теории распределенных вычислений.

Результаты (русский) 3:

модель - это абстракция, подлинной системы.в тех случаях, когда реальная система является сложной, рассуждения о правильности становится сложно.в таких случаях различных механизмов абстракции используются, чтобы скрыть некоторые детали, не имеет никакого отношения к основным вопросам.слабее модели имеют меньше проблем.системы нормально слабых модели, как правило, правильно функционировать на более модели без дополнительной работы, а наоборот - это не правда.в этой главе свидетельствует частичное представление было сосредоточено исключительно на ряд общих особенностей различных моделей, но не более сложным и тонких вопросов, касающихся планирования действий или зерна вычислений.эти вопросы будут рассматриваться в главе 5, когда мы обсуждаем программу корректности.осуществление одного типа, модели с использованием другого рода модель интеллектуально непростой, особенно когда мы изучить пределы пространства и времени сложности.результаты, касающиеся невозможности, верхние и нижние границы пространства, времени, или сообщение требования, составляют основу теории distributed computing.