1answer.
Ask question
Login Signup
Ask question
All categories
  • English
  • Mathematics
  • Social Studies
  • Business
  • History
  • Health
  • Geography
  • Biology
  • Physics
  • Chemistry
  • Computers and Technology
  • Arts
  • World Languages
  • Spanish
  • French
  • German
  • Advanced Placement (AP)
  • SAT
  • Medicine
  • Law
  • Engineering
Svetllana [295]
3 years ago
12

Explain the four criteria for proving the correctness of a logical pretest loop construct of the form "while B do S end". And pr

ove the correctness of the following:
while B do S end
Engineering
1 answer:
evablogger [386]3 years ago
6 0

Answer:

Check the explanation

Explanation:

The loop invariant has to satisfy some amount of requirements to be of good use. Another complex factor as to why a loop is the question of loop termination. A loop that doesn’t terminate can’t invariably be correct, and in fact the computation in whatever form amounts to nothing. The total axiomatic description of a while construct will have to involve all of the following to be true, in which I is the loop invariant:

P => I

{I and B} S {I}

(I and (not B)) => Q

Then the loop terminates

You might be interested in
What is the connection between the air fuel ratio and an engine running rich/poor? please give clear examples and full sentances
gavmur [86]

Explanation:

Air fuel ratio:

 Air fuel ratio is the ratio of mass of air to the mass of fuel.So we can say that

Air\ fuel\ ratio=\dfrac{mass\ of\ air}{mass\ of\ fuel}

As we know that fuel burn in the presence of air that is why we have to maintain a proper amount of air fuel ratio.

When we need more power then we have supply more fuel and to burn this fuel ,require a specified amount of air.So for different loading condition of engine different air fuel ratio is required.

When air is less and fuel is more then it is called rich air fuel ratio .when air is more and fuel is less then it is called poor air fuel ratio.

5 0
3 years ago
How to make text take shape of object in affinity designer
Alina [70]

Answer:

To fit text to a shape in Affinity Designer, make sure you have your text selected. Then, grab the Frame Text Tool and click on the shape. A blinking cursor will appear within the shape, indicating that you can begin typing. The text you type will be confined to the boundaries of the shape.

Explanation:

6 0
3 years ago
An energy system can be approximated to simply show the interactions with its environment including cold air in and warm air out
Elenna [48]

Answer: The energy system related to your question is missing attached below is the energy system.

answer:

a) Work done = Net heat transfer

  Q1 - Q2 + Q + W = 0

b)  rate of work input ( W ) = 6.88 kW

Explanation:

Assuming CPair = 1.005 KJ/Kg/K

<u>Write the First law balance around the system and rate of work input to the system</u>

First law balance ( thermodynamics ) :

Work done = Net heat transfer

Q1 - Q2 + Q + W = 0 ---- ( 1 )

rate of work input into the system

W = Q2 - Q1 - Q -------- ( 2 )

where : Q2 = mCp T  = 1.65 * 1.005 * 293 = 485.86 Kw

             Q2 = mCp T = 1.65 * 1.005 * 308 = 510.74 Kw

              Q = 18 Kw

Insert values into equation 2 above

W = 6.88 Kw

5 0
3 years ago
A closed, rigid tank is lled with a gas modeled as an ideal gas, initially at 27°C and a gage pressure of 300 kPa. The gas is he
sergejj [24]

Answer:

T₂ =93.77  °C

Explanation:

Initial temperature ,T₁ =27°C= 273 +27 = 300 K

We know that

Absolute pressure = Gauge pressure + Atmospheric pressure

Initial pressure ,P₁ = 300+1=301 kPa

Final pressure  ,P₂= 367+1 = 368  kPa

Lets take  temperature=T₂

We know that ,If the volume of the gas is constant ,then we can say that

\dfrac{P_2}{P_1}=\dfrac{T_2}{T_1}

{T_2}=T_1\times \dfrac{P_2}{P_1}

Now by putting the values in the above equation we get

{T_2}=300\times \dfrac{368}{301}\ K

The temperature in  °C

T₂ = 366.77 - 273  °C

T₂ =93.77  °C

8 0
3 years ago
How do you extablish a chain of dimensions​
kap26 [50]

Answer:

Certamente você conhece três dimensões: comprimento, largura e profundidade. Além disso, quando se pensa um pouco fora da caixa também seria possível adicionar a dimensão do tempo.

Provavelmente, algumas pessoas viajam na maionese quando toca-se nesse assunto. Vem em suas mentes universos paralelos e até mesmo realidades alternativas. Mas também não se trata disso.

Explanation:

Basicamente as dimensões são as facetas do que nós percebemos a ser realidade. Existem muitos debates sobre dimensões na física. Um dos que mais chamam a atenção se chama Teoria das Cordas.

r

5 0
3 years ago
Other questions:
  • The lift on a spinning circular cylinder in a freestream with a velocity of 30 m/s and at standard sea level conditions is 6 N/m
    7·1 answer
  • Calculate the differential pressure in kPa across the hatch of a submarine 320m below the surface of the sea. Assume the atmosph
    6·1 answer
  • given the classes above, what output is produced by the following code? meg[] elements ={new Lois(), new Stewie(), new Meg(), ne
    15·1 answer
  • A heavy ball with a weight of 110 N is hung from the ceiling of a lecture hall on a 4.9-m-long rope. The ball is pulled to one s
    6·1 answer
  • Explain why the scenario below fails to illustrate an understanding of the importance of metrology. Situation: Natalie is a cali
    6·1 answer
  • Create a document that includes a constructor function named Company in the document head area. Include four properties in the C
    7·1 answer
  • Which actions would the maintenance and operations crews carry out as a building is completed and preparing to open to the publi
    8·2 answers
  • Water flows through a converging pipe at a mass flow rate of 25 kg/s. If the inside diameter of the pipes sections are 7.0 cm an
    13·1 answer
  • Which of the following is true regarding screw gauges and shank?
    5·1 answer
  • An earth fill, when compacted will occupy a net volume of 187,000 cy. The borrow material that will be used to construct this fi
    5·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!