Automated modeling of physical systems /
In this monograph the author investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering problem solving. An elegant treatment of both the theoretical and practical aspects is presented: the problem is precisely formalized, its computati...
Main Author: | |
---|---|
Corporate Author: | |
Format: | eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
[1995]
|
Series: | Lecture notes in computer science ;
1003. Lecture notes in computer science. Lecture notes in artificial intelligence. |
Subjects: | |
Online Access: | Connect to the full text of this electronic book |
MARC
LEADER | 00000cam a2200000 a 4500 | ||
---|---|---|---|
001 | in00001272030 | ||
005 | 20190325092955.0 | ||
006 | m o d | ||
007 | cr nn||||||||| | ||
008 | 951130s1995 gw a ob 000 0 eng | ||
010 | |a 95048030 | ||
015 | |a 95N490454 |2 dnb | ||
015 | |a 96A081013 |2 dnb | ||
016 | 7 | |a 946051321 |2 DE-101 | |
020 | |a 3540606416 |q (softcover : alk. paper) | ||
020 | |a 9783540606413 |q (softcover : alk. paper) | ||
035 | |a (OCoLC)ocm33969764 | ||
035 | |9 AGW4275AM | ||
035 | |a (OCoLC)33969764 | ||
040 | |a DLC |b eng |c DLC |d BAKER |d C$Q |d NLGGC |d BTCTA |d LVB |d YDXCP |d GBVCP |d UAB |d ZWZ |d HEBIS |d GW5XE |d OCLCQ |d OCLCF |d OCLCO |d OCLCA |d OCLCQ |d UtOrBLW | ||
049 | |a TXAM | ||
050 | 0 | 0 | |a QA76.9.C65 |b N39 1995 |
082 | 0 | 0 | |a 003/.3 |2 20 |
084 | |a 54.72 |2 bcl | ||
084 | |a 29 |a 28 |2 sdnb | ||
084 | |a 33.06 |2 bcl | ||
100 | 1 | |a Nayak, P. Pandurang. | |
245 | 1 | 0 | |a Automated modeling of physical systems / |c P. Pandurang Nayak. |
264 | 1 | |a Berlin ; |a New York : |b Springer, |c [1995] | |
264 | 4 | |c ©1995 | |
300 | |a 1 online resource (xx, 232 pages) : |b illustrations | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science ; |v 1003. |a Lecture notes in artificial intelligence | |
504 | |a Includes bibliographical references (pages 227-232). | ||
505 | 0 | |a 1. Introduction -- 2. Models and model fragments -- 3. Adequate models -- 4. Complexity of model selection -- 5. Causal approximations -- 6. Differential equations -- 7. Order of magnitude reasoning -- 8. Model selection program and results -- 9. Related work -- 10. Conclusions -- A. Examples of causal approximations -- B. Example devices -- C. Composable operators -- D. Matching in bipartite graphs. | |
520 | |a In this monograph the author investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering problem solving. An elegant treatment of both the theoretical and practical aspects is presented: the problem is precisely formalized, its computational complexity is analyzed in detail, and an efficient algorithm for finding adequate models is derived; on the practical side, a methodology for building systems that automatically construct adequate models is provided, and implementational aspects and tests are described. | ||
500 | |a Electronic resource. | ||
650 | 0 | |a Computer simulation. | |
650 | 4 | |a modèle physique. | |
650 | 4 | |a approximation. | |
650 | 4 | |a modélisation. | |
650 | 4 | |a résolution problème. | |
650 | 4 | |a système physique. | |
650 | 6 | |a Simulation par ordinateur. | |
650 | 7 | |a Computer simulation. |2 fast |0 (OCoLC)fst00872518 | |
650 | 7 | |a Simulation par ordinateur. |2 ram | |
650 | 0 | 7 | |a Physikalisches System. |2 swd |
650 | 0 | 7 | |a Modellierung. |2 swd |
655 | 7 | |a Electronic books. |2 local | |
710 | 2 | |a SpringerLink (Online service) | |
776 | 1 | 8 | |i Online version: |a Nayak, P. Pandurang. |t Automated modeling of physical systems. |d Berlin ; New York : Springer, ©1995 |w (OCoLC)605361638 |
830 | 0 | |a Lecture notes in computer science ; |v 1003. | |
830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
856 | 4 | 0 | |u http://proxy.library.tamu.edu/login?url=http://link.springer.com/10.1007/3-540-60641-6 |z Connect to the full text of this electronic book |t 0 |
994 | |a 92 |b TXA | ||
999 | |a MARS | ||
999 | f | f | |s 2b375f83-fa96-3ecd-8ea1-9a3ec5bc616c |i a1a4bd61-acb2-3937-ade7-d742b9f7aca8 |t 0 |
952 | f | f | |p ric |a Texas A&M University |b Rellis Campus |c Joint Library Facility |d Remote Storage |t 0 |e QA76.9.C65 N39 1995 |h Library of Congress classification |i computer -- online resource |m A14820142861 |
998 | f | f | |a QA76.9.C65 N39 1995 |t 0 |l Remote Storage |