Still more figures -> markup.

src/OEBPS/book-Z-H-22.html

@@ -1369,9 +1369,11 @@ <h2><a href="book-Z-H-4.html#%_toc_%_sec_3.3">3.3  Modeling with Mutable Data<
 mathematical model of a mechanical structure might include the
 information that the deflection <em>d</em> of a metal rod is related to the
 force <em>F</em> on the rod, the length <em>L</em> of the rod, the cross-sectional
-area <em>A</em>, and the elastic modulus <em>E</em> via the equation
-</p><p></p><div align="left"><img src="images/ch3-Z-G-28.gif" border="0" /></div><p>
-Such an equation is not one-directional.  Given any four of the
+area <em>A</em>, and the elastic modulus <em>E</em> via the equation</p>
+
+<p><em>dAE</em> = <em>FL</em></p>
+
+<p>Such an equation is not one-directional.  Given any four of the
 quantities, we can use it to compute the fifth.  Yet translating the
 equation into a traditional computer language would force us to choose
 one of the quantities to be computed in terms of the other four.
@@ -1395,11 +1397,11 @@ <h2><a href="book-Z-H-4.html#%_toc_%_sec_3.3">3.3  Modeling with Mutable Data<
 joined by <a name="%_idx_3516" id="%_idx_3516"></a><em>connectors</em>.  A connector is an object that “holds” a
 value that may participate in one or more constraints.  For example,
 we know that the relationship between Fahrenheit and Celsius
-temperatures is</p><p>
+temperatures is</p>
 
-</p><p></p><div align="left"><img src="images/ch3-Z-G-29.gif" border="0" /></div><p></p><p>
+<p>9<em>C</em> = 5(<em>F</em> - 32)</p>
 
-Such a constraint can be thought of as a network consisting of
+<p>Such a constraint can be thought of as a network consisting of
 primitive adder, multiplier, and constant constraints
 (figure <a href="#%_fig_3.28">3.28</a>).  In the figure, we see on the left a
 multiplier box with three terminals, labeled <em>m</em>1, <em>m</em>2, and <em>p</em>.

src/OEBPS/book-Z-H-23.html

@@ -262,9 +262,17 @@ <h2><a href="book-Z-H-4.html#%_toc_%_sec_3.4">3.4  Concurrency: Time Is of the
 ordered events (<em>x</em>,<em>y</em>,<em>z</em>).  If the two processes run concurrently, with
 no constraints on how their execution is interleaved, then there are
 20 different possible orderings for the events that are consistent
-with the individual orderings for the two processes:
-</p><p></p><div align="left"><img src="images/ch3-Z-G-33.gif" border="0" /></div><p>
-As programmers designing this system, we would have to consider the
+with the individual orderings for the two processes:</p>
+
+<p>
+    (<em>a</em>, <em>b</em>, <em>c</em>, <em>x</em>, <em>y</em>, <em>z</em>) (<em>a</em>, <em>x</em>, <em>b</em>, <em>y</em>, <em>c</em>, <em>z</em>) (<em>x</em>, <em>a</em>, <em>b</em>, <em>c</em>, <em>y</em>, <em>z</em>) (<em>x</em>, <em>a</em>, <em>y</em>, <em>z</em>, <em>b</em>, <em>c</em>)<br/>
+    (<em>a</em>, <em>b</em>, <em>x</em>, <em>c</em>, <em>y</em>, <em>z</em>) (<em>a</em>, <em>x</em>, <em>b</em>, <em>y</em>, <em>z</em>, <em>c</em>) (<em>x</em>, <em>a</em>, <em>b</em>, <em>y</em>, <em>c</em>, <em>z</em>) (<em>x</em>, <em>y</em>, <em>a</em>, <em>b</em>, <em>c</em>, <em>z</em>)<br/>
+    (<em>a</em>, <em>b</em>, <em>x</em>, <em>y</em>, <em>c</em>, <em>z</em>) (<em>a</em>, <em>x</em>, <em>y</em>, <em>b</em>, <em>c</em>, <em>z</em>) (<em>x</em>, <em>a</em>, <em>b</em>, <em>y</em>, <em>z</em>, <em>c</em>) (<em>x</em>, <em>y</em>, <em>a</em>, <em>b</em>, <em>z</em>, <em>c</em>)<br/>
+    (<em>a</em>, <em>b</em>, <em>x</em>, <em>y</em>, <em>z</em>, <em>c</em>) (<em>a</em>, <em>x</em>, <em>y</em>, <em>b</em>, <em>c</em>, <em>z</em>) (<em>x</em>, <em>a</em>, <em>y</em>, <em>b</em>, <em>c</em>, <em>z</em>) (<em>x</em>, <em>y</em>, <em>a</em>, <em>z</em>, <em>b</em>, <em>c</em>)<br/>
+    (<em>a</em>, <em>x</em>, <em>b</em>, <em>c</em>, <em>y</em>, <em>z</em>) (<em>a</em>, <em>x</em>, <em>y</em>, <em>z</em>, <em>b</em>, <em>c</em>) (<em>x</em>, <em>a</em>, <em>y</em>, <em>b</em>, <em>z</em>, <em>c</em>) (<em>x</em>, <em>y</em>, <em>z</em>, <em>a</em>, <em>b</em>, <em>c</em>)
+</p>
+
+<p>As programmers designing this system, we would have to consider the
 effects of each of these 20 orderings and check that each behavior is
 acceptable.  Such an approach rapidly becomes unwieldy as the numbers
 of processes and events increase.</p><p>

src/OEBPS/content.opf

@@ -155,13 +155,10 @@
         <item id="ch3-Z-G-25" href="images/ch3-Z-G-25.gif" media-type="image/gif"/>
         <item id="ch3-Z-G-26" href="images/ch3-Z-G-26.gif" media-type="image/gif"/>
         <item id="ch3-Z-G-27" href="images/ch3-Z-G-27.gif" media-type="image/gif"/>
-        <item id="ch3-Z-G-28" href="images/ch3-Z-G-28.gif" media-type="image/gif"/>
-        <item id="ch3-Z-G-29" href="images/ch3-Z-G-29.gif" media-type="image/gif"/>
         <item id="ch3-Z-G-3" href="images/ch3-Z-G-3.gif" media-type="image/gif"/>
         <item id="ch3-Z-G-30" href="images/ch3-Z-G-30.gif" media-type="image/gif"/>
         <item id="ch3-Z-G-31" href="images/ch3-Z-G-31.gif" media-type="image/gif"/>
         <item id="ch3-Z-G-32" href="images/ch3-Z-G-32.gif" media-type="image/gif"/>
-        <item id="ch3-Z-G-33" href="images/ch3-Z-G-33.gif" media-type="image/gif"/>
         <item id="ch3-Z-G-35" href="images/ch3-Z-G-35.gif" media-type="image/gif"/>
         <item id="ch3-Z-G-36" href="images/ch3-Z-G-36.gif" media-type="image/gif"/>
         <item id="ch3-Z-G-37" href="images/ch3-Z-G-37.gif" media-type="image/gif"/>