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 effect of connecting
IrinaVladis [17]

Answer: A capacitor connected across the output allows the AC signal to pass through it and blocks the DC signal, thus acting as a high pass filter. The output across the capacitor is thus an unregulated filtered DC signal. This output can be used to drive electrical components like relays, motors, etc.

Explanation:

4 0
3 years ago
Who is the mystical body of Christ
Sergeu [11.5K]
If you're talking ab jesus christ , some religions believe it was god in human form and some believe it was gods son it all depends on the religion and how it's taught
8 0
2 years ago
Read 2 more answers
An Otto cycle engine is analyzed using the cold air standard method. Given the conditions at state 1, compression ratio (r), and
lilavasa [31]

Answer:

Explanation:

The detailed and careful step by step calculation and analysis is as shown with appropriate formula in the attached files

4 0
3 years ago
Marble A is placed in a hollow tube, and the tube is swung in a horizontal plane causing the marble to be thrown out. As viewed
Vilka [71]

Answer:

<em>The direction of ball will be Number 4 (as can be seen in attached picture) ---- the path of ball will be making some angle when it leaves the tube. </em>

Explanation:

The question is incomplete. So the picture, which is missing in question, is attached for your review.

As it can be seen in the picture, the ball coming out of the tube will have two components of velocity. One is along the length of tube (because ball is moving in that direction and is coming out from the hole), other is velocity component will be perpendicular to the tube (because the ball is made to move in that direction as the tube is rolling on the surface).

<em>So, taking the resultant of two vectors of velocity, the resultant direction of ball will be Number 4 (as can be seen in attached picture) ---- the path of ball will be making some angle when it leaves the tube. </em>

6 0
3 years ago
A 5-in.-diameter pipe is supported every 9 ft by a small frame consisting of two members asshown. Knowing that the combined weig
jarptica [38.1K]

Answer:

AC: at D , M_max = 12.25 lb-ft

BC: at E , M_max = 8.75 lb-ft

Explanation:

Given:

- The diameter of the pipe d = 5-in

- The pipe is supported every L = 9 ft of pipe in length

- The weight if the pipe + contents W = 10 lb/ft

Find:

determine the magnitude and location of the maximum bending moment in members AC and BC.

Solution:

- The figure (missing) is given in the attachment.

- We will first determine the external forces acting on each member:

             Section: 9-ft section of pipe.

                     Sum of forces perpendicular to member AC = 0

                     F_d - 0.8*W*L = 0

                     F_d = 0.8*10*9 = 72 lb

                     Sum of forces perpendicular to member BC = 0

                     F_e - 0.6*W*L = 0

                     F_e = 0.6*10*9 = 54 lb

              F_d = 72 lb ,  F_e = 54 lb

- Then we will determine the support reactions for each member AC point A and BC point B.

              Section: Entire Frame.

                    Sum of moments about point B = 0

                    -A_y*(18.75/12) + F_d*(d /2*12) + F_e*((11.25-2.5)/12) = 0

                    -A_y*(1.5625) + 15 + 39.375 = 0

                    A_y = 34.8 lb  

                   Sum of forces in vertical direction = 0

                     A_y + B_y - 0.8*F_d - 0.6*F_e = 0

                     B_y = 0.8*(72) + 0.6*(54) - 34.8

                     B_y = 55.2 lb  

                   Sum of forces in horizontal direction = 0

                     A_x + B_x - 0.6*F_d + 0.8*F_e = 0

                     A_x + B_x = 0

               Section: Member AC

                    Sum of moments about point C = 0

                     F_d*(2.5/12) - A_y*(12/12) - A_x*(9/12) = 0

                     72*2.5 - 34.8*12 - 9*A_x = 0

                     A_x = -237.6 / 9 = - 26.4 lb

                     B_x = - A_x = 26.4 lb

                     A_x = -26.4 lb  ,  B_x = 26.4 lb

- Now we will calculate bending moment for each member at different sections.

               Member AC:

                    From point A till just before point D

                     -0.6*A_x*x - A_y*0.8*x + M = 0

                     15.84*x - 27.84*x + M = 0

                      M = 12*x   ..... max value at D, x = 12.25 in

                      M_max = 12*12.25/12 = 12.25 lb-ft

               Member BC:

                    From point B till just before point E

                     -0.8*B_x*x + B_y*0.6*x + M = 0

                     -21.12*x + 33.12*x + M = 0

                      M = -12*x   ..... max value at E, x = 11.25 - 2.5 = 8.75 in

                      M_max = -12*8.75/12 = -8.75 lb-ft

- The maximum bending moments and their locations are:

                      AC: at D , M_max = 12.25 lb-ft

                      BC: at E , M_max = 8.75 lb-ft

5 0
3 years ago
Other questions:
  • Describe the steps, tools, and technology needed in detail and
    12·1 answer
  • A solid titanium alloy [G 114 GPa] shaft that is 720 mm long will be subjected to a pure torque of T 155 N m. Determine the mini
    5·1 answer
  • A driver on a leveltwo-lane highway observes a
    6·1 answer
  • A square loop of wire surrounds a solenoid. The side of the square is 0.1 m, while the radius of the solenoid is 0.025 m. The sq
    6·1 answer
  • A town is designing a rectangular, 4m deep settling tank for treating surface water intake. The tank will have a flow velocity o
    14·1 answer
  • How may a Professional Engineer provide notice of licensure to clients?
    9·1 answer
  • I NEED HELP ASAP WILL AWARD BRAINLIEST
    8·2 answers
  • Which of the following is an essential component of reinforced concrete?
    9·1 answer
  • Please help been stuck on this for a couple minutes
    5·1 answer
  • PLS :(((( HELP HELPPPP
    13·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!