1987-10-01, English, Article, Other article, Poster, chart, other edition: A Prolog-based expert system for modeling with partial differential equations. (technical) Russo, Mark F.; Peskin, Richard L.; Kowalski, A. Daniel

User activity

Share to:
 
Bookmark: https://trove.nla.gov.au/version/60892840
Physical Description
  • chart Overall philosophy.
  • chart System structure.
  • graph Sample graphical output.
  • technical
  • Newsletter article
Published
  • Sage Publications, Inc., 1987 Oct
Language
  • English

Edition details

Title
  • A Prolog-based expert system for modeling with partial differential equations. (technical)
Also Titled
  • A Prolog-based expert system for modeling with partial differential equations.
Appears In
  • SIMULATION, v49, no.n4, 1987 Oct, p150(8) (ISSN: 0037-5497)
Author
  • Russo, Mark F.
  • Peskin, Richard L.
  • Kowalski, A. Daniel
Published
  • Sage Publications, Inc., 1987 Oct
Physical Description
  • chart Overall philosophy.
  • chart System structure.
  • graph Sample graphical output.
  • technical
  • Newsletter article
Subjects
Target Audience
  • Academic
Summary
  • Initial results are presented from a project to develop intelligent expert system tools for the construction and execution of complex mathematical models which employ partial differential equations. This paper reports on that portion of the system, the expert system front end, which is concerned with the representation and execution of meta-level knowledge about the model building process itself. The current problem domain is restricted to models involving linear as well as a limited class of nonlinear partial differential equations of up to second order. The system is capable of examining the user's input model for inconsistencies as well as making judgement about suitable algorithms for stable numerical solutions. The symbolic equations, along with boundary and initial conditions, are represented in the form of Prolog clauses. The input model is analyzed by the expert system for equation type as well as appropriate boundary and initial conditions. Discrete approximation of equation terms is performed symbolically and the results are then expanded and simplified into an efficiently computable form. Prolog clauses from the discrete approximation phase are then automatically combined with an appropriate solution stepping scheme to arrive at a fully executable algorithm for numerical solution. The algorithm may then be executed serially for testing or further processed into a form suitable for passing to a separate high-speed processor. (Reprinted with permission of the publisher.)
Notes
  • chart Overall philosophy.
  • chart System structure.
  • graph Sample graphical output.
Language
  • English
Database
  • Gale Academic OneFile
  • Gale General OneFile
  • Gale Expanded Academic
Identifier
  • 5245564

Get this edition

Published in

Some editions of the publication "Simulation" are available from these libraries. The edition containing this article ( v49, n4, 1987 Oct, p150(8) ) may not be available:

None of your libraries hold this item.

These 23 locations in All:

Library Access Call number(s) Formats held Language
Charles Sturt University. CSU Library - Electronic Resources (shared). Open to the public 001225185; Full Text Available; SAGE Premier 2010 - Available from 1999 volume: 72 issue: 1 Periodical; Journal, magazine, other English
CSIRO. Black Mountain Library. May not be open to the public 998067500001981; CHEM P SIM; Vol. 8 (1967)-v. 77, no. 5/6 (2001); Index for v.1-9 Periodical; Journal, magazine, other English
CSIRO. Floreat Library. May not be open to the public 998067500001981; P 518.5 Si; Vol.16-v. 71 (1971-1998) impf. Periodical; Journal, magazine, other English
CSIRO. Library Services. Not open to the public 999961753601981; Sage Deep Backfile Package 2015. Online Access. Available for document delivery. Restrictions apply.; Available from 1963 volume: 1 issue: 1 until 1998 volume: 71 issue: 6; Sage Premier 2017. Online Access. Available for document delivery. Restrictions apply.; Available from 2002 volume: 78 issue: 1 Periodical; Journal, magazine, other English
Deakin University. Deakin University Library. Open to the public 22P00938; GLG v.1(1963)-11(1968) Periodical; Journal, magazine, other English
Defence Science and Technology Group. DST Group Research Information Services - Melbourne. Not open to the public Serials; V. 75 - v.82; (2000) - (2006); lacks v. 82, no.11 (2006) Periodical; Journal, magazine, other English
Department of Agriculture and Fisheries Qld. Dept of Agriculture and Fisheries Qld Research Information Service. Not open to the public S SIM; v.24-; 1975- Periodical; Journal, magazine, other English
Edith Cowan University. Edith Cowan University Library. Open to the public Periodical; Journal, magazine, other English
Griffith University. Griffith University Library. Open to the public .b16700983; Electronic Resource : Publ. may restrict Doc. Del. Periodical; Journal, magazine, other English
James Cook University. Townsville Campus Library. Open to the public 96579; <96579>; Vol. 1 - v.67; 1963 - 1996 Periodical; Journal, magazine, other English
Monash University. Monash University Library. Open to the public 9928821701751; 510.7805 S614; v. 6 (1966) to v. 84, no. 12 (Dec. 2008) ; lacks : v. 56, no. 4; OS; YOS-SER Periodical; Journal, magazine, other English
National Library of Australia. Open to the public 2299082; Sq 001.424 SOC; Vol. 4, no. 1-v. 64, no. 4 (1965-Apr. 1995) [Imperfect] Periodical; Journal, magazine, other English
RMIT University. RMIT University Library. Open to the public 9914982090001341; PER 001.424 S614; Held in Storage. Request from <a href=http://www.rmit.edu.au/library/dds target=_blank>Document Delivery</a>; v. 14 (1970)-v. 75, no. 5/6 (Nov./Dec. 2000) Periodical; Journal, magazine, other English
Southern Cross University. University Library Lismore. Open to the public Electronic resource - Check catalogue for holdings Periodical; Journal, magazine, other English
The University of Melbourne. The University of Melbourne Library. Open to the public En PB SIMU; v.26-v.61,no.6; 1976-1993 Periodical; Journal, magazine, other English
The University of Sydney. University of Sydney Library. Open to the public .b1154899x; held Periodical; Journal, magazine, other English
University of Canberra. University of Canberra Library. Open to the public 991004672640503996; Online version, access restricted to UC staff and students Periodical; Journal, magazine, other English
University of Newcastle. University of Newcastle Library. Open to the public 621.381905/12; Vol. 20, no. 1-v. 42, no. 1; Jan. 1973-Jan. 1984 Periodical; Journal, magazine, other English
University of New England. Dixson Library. Open to the public 1079-92060; <1079-92060>; Vol. 10-v.11 (1968) ; v. 20 (1973)-v. 70 (1997) Periodical; Journal, magazine, other English
University of Queensland. University of Queensland Library. Open to the public b10211172; whsp BP02333 : 6:5(1966)-33(1979) Periodical; Journal, magazine, other English
University of Tasmania. Open to the public .b1186560x; Scien ser v14n1-43n6;1970-84 Periodical; Journal, magazine, other English
University of Western Australia. University of Western Australia Library. Open to the public 9949939702101; HELD; V 16(1), 17-63, 64(1-5) ; 1971-1995 Periodical; Journal, magazine, other English
University of Wollongong. University of Wollongong Library. Open to the public .b10132697; held Periodical; Journal, magazine, other English
Show 0 more libraries...

These 3 locations in Australian Capital Territory:

Library Access Call number(s) Formats held Language
CSIRO. Black Mountain Library. May not be open to the public 998067500001981; CHEM P SIM; Vol. 8 (1967)-v. 77, no. 5/6 (2001); Index for v.1-9 Periodical; Journal, magazine, other English
National Library of Australia. Open to the public 2299082; Sq 001.424 SOC; Vol. 4, no. 1-v. 64, no. 4 (1965-Apr. 1995) [Imperfect] Periodical; Journal, magazine, other English
University of Canberra. University of Canberra Library. Open to the public 991004672640503996; Online version, access restricted to UC staff and students Periodical; Journal, magazine, other English
Show 0 more libraries...

These 6 locations in New South Wales:

Library Access Call number(s) Formats held Language
Charles Sturt University. CSU Library - Electronic Resources (shared). Open to the public 001225185; Full Text Available; SAGE Premier 2010 - Available from 1999 volume: 72 issue: 1 Periodical; Journal, magazine, other English
Southern Cross University. University Library Lismore. Open to the public Electronic resource - Check catalogue for holdings Periodical; Journal, magazine, other English
The University of Sydney. University of Sydney Library. Open to the public .b1154899x; held Periodical; Journal, magazine, other English
University of Newcastle. University of Newcastle Library. Open to the public 621.381905/12; Vol. 20, no. 1-v. 42, no. 1; Jan. 1973-Jan. 1984 Periodical; Journal, magazine, other English
University of New England. Dixson Library. Open to the public 1079-92060; <1079-92060>; Vol. 10-v.11 (1968) ; v. 20 (1973)-v. 70 (1997) Periodical; Journal, magazine, other English
University of Wollongong. University of Wollongong Library. Open to the public .b10132697; held Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

These 4 locations in Queensland:

Library Access Call number(s) Formats held Language
Department of Agriculture and Fisheries Qld. Dept of Agriculture and Fisheries Qld Research Information Service. Not open to the public S SIM; v.24-; 1975- Periodical; Journal, magazine, other English
Griffith University. Griffith University Library. Open to the public .b16700983; Electronic Resource : Publ. may restrict Doc. Del. Periodical; Journal, magazine, other English
James Cook University. Townsville Campus Library. Open to the public 96579; <96579>; Vol. 1 - v.67; 1963 - 1996 Periodical; Journal, magazine, other English
University of Queensland. University of Queensland Library. Open to the public b10211172; whsp BP02333 : 6:5(1966)-33(1979) Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

This single location in Tasmania:

Library Access Call number(s) Formats held Language
University of Tasmania. Open to the public .b1186560x; Scien ser v14n1-43n6;1970-84 Periodical; Journal, magazine, other English
Show 0 more libraries...

These 6 locations in Victoria:

Library Access Call number(s) Formats held Language
CSIRO. Library Services. Not open to the public 999961753601981; Sage Deep Backfile Package 2015. Online Access. Available for document delivery. Restrictions apply.; Available from 1963 volume: 1 issue: 1 until 1998 volume: 71 issue: 6; Sage Premier 2017. Online Access. Available for document delivery. Restrictions apply.; Available from 2002 volume: 78 issue: 1 Periodical; Journal, magazine, other English
Deakin University. Deakin University Library. Open to the public 22P00938; GLG v.1(1963)-11(1968) Periodical; Journal, magazine, other English
Defence Science and Technology Group. DST Group Research Information Services - Melbourne. Not open to the public Serials; V. 75 - v.82; (2000) - (2006); lacks v. 82, no.11 (2006) Periodical; Journal, magazine, other English
Monash University. Monash University Library. Open to the public 9928821701751; 510.7805 S614; v. 6 (1966) to v. 84, no. 12 (Dec. 2008) ; lacks : v. 56, no. 4; OS; YOS-SER Periodical; Journal, magazine, other English
RMIT University. RMIT University Library. Open to the public 9914982090001341; PER 001.424 S614; Held in Storage. Request from <a href=http://www.rmit.edu.au/library/dds target=_blank>Document Delivery</a>; v. 14 (1970)-v. 75, no. 5/6 (Nov./Dec. 2000) Periodical; Journal, magazine, other English
The University of Melbourne. The University of Melbourne Library. Open to the public En PB SIMU; v.26-v.61,no.6; 1976-1993 Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

Other suppliers

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this edition

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this version

Add a comment