English | Russian |
assume without stating it that | неявно предполагать, что (ssn) |
assumed complete knowledge | предположение о наличии полной информации (ssn) |
be assumed to be small | предполагаться малым (ssn) |
in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values | в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
justifying assume-guarantee proofs | обоснование по схеме "допущение-подтверждение" (ssn) |
Moreover, no assumptions need to be made about the speed of the environment when this model of time is assumed | Более того, когда принимается такая модель времени, не нужно делать никаких предположений о быстродействии окружения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
states that a component can assume | состояния, которые может принимать компонент (ssn) |
states that a component or system can assume | состояния, которые может принимать компонент или система (ssn) |
states that system can assume | состояния, которые может принимать система (ssn) |
the design process is normally done with "assumed complete knowledge" of the process | Процедура синтеза обычно выполняется в предположении о наличии "полной информации об объекте управления" (см. Modern Control Systems by Richard C. Dorf & Robert H. Bishop 2008) |
the time to request data from a monitor task and wait for the response is assumed to be small compared to the total execution time | Время запроса данных у монитора и ожидания ответа предполагается малым по сравнению с общим временем выполнения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
to simplify the model, I have assumed that the sequence of actions in using the microwave is | для упрощения модели я предполагаю такую последовательность действий при использовании микроволновой печи (Software engineering , 8th ed. / Ian Sommerville (2007)) |
we have assumed that | предполагается, что (ssn) |