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]
2 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]2 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
The elevation of the end of the steel beam supported by a concrete floor is adjusted by means of the steel wedges E and F. The b
Wewaii [24]

Answer:

a) P ≥ 22.164 Kips

b) Q = 5.4 Kips

Explanation:

GIven

W = 18 Kips

μ₁ = 0.30

μ₂ = 0.60

a) P = ?

We get F₁  and F₂ as follows:

F₁ = μ₁*W = 0.30*18 Kips = 5.4 Kips

F₂ = μ₂*Nef = 0.6*Nef

Then, we apply

∑Fy = 0   (+↑)

Nef*Cos 12º -  F₂*Sin 12º = W

⇒   Nef*Cos 12º -  (0.6*Nef)*Sin 12º = 18

⇒   Nef = 21.09 Kips

Wedge moves if

P ≥ F₁ + F₂*Cos 12º + Nef*Sin 12º

⇒  P ≥ 5.4 Kips + 0.6*21.09 Kips*Cos 12º + 21.09 Kips*Sin 12º

⇒  P ≥ 22.164 Kips

b) For the static equilibrium of base plate

Q = F₁ = 5.4 Kips

We can see the pic shown in order to understand the question.

7 0
2 years ago
Read 2 more answers
A manufacturer provides a warranty against failure of a carbon steel product within the first 30 days after sale. Out of 1000 so
irina1246 [14]
Answer: idk sorry we both on the same thing
7 0
3 years ago
What are the chemical properties of metals
Grace [21]

Answer:

  • The density of metals are usually high
  • They are great conductors of heat
  • They are malleable and ductile

8 0
3 years ago
technician a uses a current output test to check ac generator output. technician b uses a voltage output test to check output. w
expeople1 [14]

Answer:

both

Explanation:

Both the technician are correct, ac generator output can be tested in both ways. The two ways are  current output test to check ac generator output. and  voltage output test to check output.

7 0
3 years ago
If coolant is mixed 50-50 with water, what is the freezing point?
sashaice [31]

Answer:

-35 degrees F

When mixed in equal parts with water (50/50), antifreeze lowers the freezing point to -35 degrees F and raises the boiling temperature to 223 degrees F. Antifreeze also includes corrosion inhibitors to protect the engine and cooling system against rust and corrosion.

8 0
2 years ago
Other questions:
  • Answer this question fast
    8·1 answer
  • The wheel and the attached reel have a combined weight of 50lb and a radius of gyration about their center of 6 A k in = . If pu
    9·1 answer
  • A compression ignition engine when tested gave an indicator card having area 3250mm^2 and length 73mm. The calibration factor wa
    10·1 answer
  • Find the minimum diameter of an alloy, tensile strength 75 MPa, needed to support a 30 kN load.
    14·1 answer
  • The shaft is hollow from A to B and solid from B to C. The shaft has an outer diameter of 79 mm, and the thickness of the wall o
    6·1 answer
  • Diffrerentiate y=cos^{4} (3x+1)
    5·1 answer
  • Describe the engineering design process in your own words.
    6·2 answers
  • Zack's new home is progressing well, and the foundation work is finished. The general contractor stops by Zack's present home to
    11·1 answer
  • W
    7·1 answer
  • What were some of the challenges to safety resulting from such radical airframe designs as highly swept wings, high wing loading
    15·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!