Axiom 3 is not necessarily satisfie

Axiom 3 is not necessarily satisfied by a datagram service—packets may arrive out of order at the receiving end. In order that our model becomes applicable, it is necessary to assume the existence of a layer of service that resequences the packets before these are delivered to the receiver process. We want to carefully separate the intrinsic properties of our model from its implementation in an actual application environment.

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

Аксиома 3 обязательно не удовлетворен служба датаграмм — пакеты могут поступать из строя на приемном конце. Чтобы наша модель становится применимым, необходимо предположить существование слоя службы, resequences, пакеты прежде чем они доставляются к процессу приемника. Мы хотим, чтобы тщательно отделить внутренние свойства нашей модели от ее реализации в среде приложения.

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

Аксиома 3 не обязательно удовлетворяется дейтаграммы сервис-пакеты могут прийти из строя на приемном конце. Для того, что наша модель становится применимым, необходимо предположить существование слоя службы, resequences пакеты, прежде чем они будут доставлены в процессе приема. Мы хотим, чтобы тщательно отделить собственные свойства нашей модели от ее реализации в реальной среде приложений.

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

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