SCOUG-Programming Mailing List Archives

<< Previous Message << >> Next Message >>

Date:	Sun, 4 Jan 2004 18:37:39 PST8
From:	"Gregory W. Smith" <gsmith@well.com >
Reply-To:	scoug-programming@scoug.com
To:	scoug-programming@scoug.com
Subject:	SCOUG-Programming: QA equals testing, Part One:Detection

Content Type: text/plain

Lynn H. Maxson writes:
> ....
>
> I hope this puts to rest all doubts you may have about how
> necessary order is maintained in logic programming. In the
> example of SQL we should mention that a similar and
> necessary order is imposed in implementing nested queries.
> However unordered the columns, tables, and conditions may
> be within each query, the order, the sequence of execution,
> of the queries themselves is fixed.

Which begs the question about how or why I sould use logic
programming for MY typical problem sets. (Just the place
for a snark ... just the place for a snark ... just the place
for a snark. What I tell you three times is true. Stream of
consciousness appologies to Lewis Carrol.)

As I said before, the COMPLETE specification of what I want
to know is given by:
1) The PDE's of continuum mechanics (e.g., Navier-Stokes equations)
2) Rheological constitutive equations (e.g., Newton's law of viscosity)
3) Equations of state (e.g., incompressible fluid, ideal gas, cubic
EOS, or virial EOS.)
* A N D *
4) The boundary conditions (e.g., no-slip at the walls, etc.)

As I said before, the COMPLETE specification of what I want
to know is given by:
1) The PDE's of continuum mechanics (e.g., Navier-Stokes equations)
2) Rheological constitutive equations (e.g., Newton's law of viscosity)
3) Equations of state (e.g., incompressible fluid, ideal gas, cubic
EOS, or virial EOS.)
* A N D *
4) The boundary conditions (e.g., no-slip at the walls, etc.)

As I said before, the COMPLETE specification of what I want
to know is given by:
1) The PDE's of continuum mechanics (e.g., Navier-Stokes equations)
2) Rheological constitutive equations (e.g., Newton's law of viscosity)
3) Equations of state (e.g., incompressible fluid, ideal gas, cubic
EOS, or virial EOS.)
* A N D *
4) The boundary conditions (e.g., no-slip at the walls, etc.)

I can build a computer that will give me the complete scalar and
vector fields over my desired 2-D or 3-D region of space that uses
NO logic whatsoever. An ANALOG computer--it is called a wind tunnel.

But wind tunnels are expensive and Pentium computers are not. So I
divide my region of 2-D or 3-D space into tens of thousands of discrete
cells. Then I define in each cell discrete approximations for 1 through
4 above. A few hundred thousand simultaneous equations to solve--no
sweat--and I have a discrete approximation of my pressure field, a
discrete approximation for my x velocity, my y velocity, (and maybe
z velocity if I went whole hog for a 3-D region of space).

Please explain HOW logic programming generates and solves these hundred
thousand simultaneous algebraic equations.
--
Gregory W. Smith (WD9GAY) gsmith@well.com

=====================================================

To unsubscribe from this list, send an email message
to "steward@scoug.com". In the body of the message,
put the command "unsubscribe scoug-programming".

For problems, contact the list owner at
"rollin@scoug.com".

=====================================================

Return to [ 04 | January | 2004 ]

SCOUG, Warp Expo West, and Warpfest are trademarks of the Southern California OS/2 User Group. OS/2, Workplace Shell, and IBM are registered trademarks of International Business Machines Corporation. All other trademarks remain the property of their respective owners.