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
When you are in charge of running a meeting, "winging it" with minimal planning is considered:
amm1812

Answer:

The correct option is;

B) Counterproductive

Explanation:

An effective requires adequate preparations, with agenda of the meeting circulated among participants. The items to be discussed should be known before hand by the participants all of whom will have had adequate background information and relevant consultations with their constituencies  so as to be able to add effectively to the meeting.

Other attributes of an effective meeting includes;

1. Ensure, notes of the meeting are taken down personally

2. Outside discussions should be made at the parking lot

3. Important decisions or points to be made should have been communicated to other members of the meeting

4. Members to attend the meeting should be well known and list of attendees reviewed

5. Meetings should be kept to schedule

6. Ensure meeting conclusions and decisions are followed up

7. Written agenda should be available

Therefore "winging it" with minimal planning is considered counterproductive.

3 0
3 years ago
How can someone for Brainly delete your account? like serious question. How?
7nadin3 [17]

Answer:

I think the admins or whomever works for this app deletes accounts if it's against the guidelines and inappropriate

8 0
2 years ago
Calculate the Reynolds numbers for the flow of water through a nozzle with a radius of 0.250 cm and a garden hose with a radius
givi [52]

Answer:

In both cases, reynolds number is greater than 2000,so the flows can't be laminar.

Explanation:

A) For flow in a tube of uniform diameter, the reynolds number is defined as;

Re = 2ρvr/η

where;

ρ is the fluid density,

v its speed,

η is viscosity

r is the tube radius.

In this question,

We are given;

r = 0.25cm = 0.25 × 10^(-2) m

η of water has a standard value of 1.005 × 10^(-3)

ρ of water has a standard value of 1000 kg/m³

In the reynolds equation, we don't know the velocity. So let's calculate it from;

Q' = vA

Where; Q' is flow rate = 0.5 L/s = 0.0005 m³/s

Area = πr² = π × (0.25 × 10^(-2))²

Area = 1.963 × 10^(-5) m²

So, v = Q/A = 0.0005/(1.963 × 10^(-5)) = 25.5 m/s

So, Re = 2ρvr/η = (2*1000*25.5*0.25 × 10^(-2))/(1.005 × 10^(-3))

Re = 126865.67

Re > 2000 and so the flow is not laminar

B) Now,

radius = 0.9cm = 0.9 × 10^(-2) m

So, A = πr² = π × (0.9 × 10^(-2))²

A = 2.5447 × 10^(-4) m²

v = Q/A = 0.0005/(2.5447 × 10^(-4))

v = 1.965 m/s

Re = 2ρvr/η = (2*1000*1.965*0.9 × 10^(-2))/(1.005 × 10^(-3))

Re = 35194.03

Re > 2000. So flow is not laminar.

6 0
3 years ago
A section of highway has a speed-flow relationship of the form q = au 2 + bu. It is known that at capacity (which is 3100 veh/h)
Karo-lina-s [1.5K]
Otoyolun bir bölümü, q = au 2 + bu biçiminde bir hız-akış ilişkisine sahiptir. Kapasitede (3100 araç / saat) uzay-ortalama trafik hızının 28 mil / saat olduğu bilinmektedir. Akış 1500 araç / saat olduğunda hızı ve serbest akış hızını belirleyin.
7 0
2 years ago
One kind of SS-3xX steel alloy has a melting point of 1450°c. Its specific heat = 0.46 J/g°C, and its heat of fusion 270 J/g. Fo
olga55 [171]

Answer:

a)Q=131.1 MJ

b)Q=54 MJ

Explanation:

Given that

Mass ,m=200 kg

Specific heat Cp=0.46 J/g°C

Cp=0.46 KJ/kg°C

Heat of fusion = 270 J/g

Heat of fusion = 270 KJ/kg

Melting point temperature = 1450°C

a)

Initial temperature = 25°C

Final temperature=1450°C

Heat required to rise temperature from 25°C to 1450°C.

Q= m CpΔT

Q=200 x 0.46 x (1450-25) KJ

Q=131,100 KJ

Q=131.1 MJ

b)

Heat required to transform from solid phase to liquid phase

Q= Mass x heat of fusion

Q=200 x 27 KJ

Q=54,000 KJ

Q=54 MJ

8 0
3 years ago
Other questions:
  • A two-stroke CI. engine delivers 5000 kWwhile using 1000 kW to overcome friction losses. It consumes 2300 kg of fuel per hour at
    14·1 answer
  • Which of the following is an example of an iterative process?
    12·1 answer
  • Which utility program reads an assembly language source file and produces an object file?
    6·1 answer
  • What are the units or dimensions of the shear rate dv/dy (English units)? Then, what are the dimensions of the shear stress τ= μ
    14·1 answer
  • A 100 ft long steel wire has a cross-sectional area of 0.0144 in.2. When a force of 270 lb is applied to the wire, its length in
    15·1 answer
  • A soil element is subjected to a minor principle stress of 50 kPa on a plane rotated 20 ° counterclockwise from vertical. If the
    10·1 answer
  • 1) A cylinder has a volume of 20 cubic feet. What is that volume in cubic inches? (1 ft = 12 in) ​
    8·1 answer
  • How many parts (screws and bolts included) does the average car have?
    9·2 answers
  • Express 2/16 in thirty-seconds
    11·1 answer
  • Repetitive movements at work can lead to injuries. True or False
    10·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!