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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Nayak, P. Pandurang um 1995 (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 1995
Schriftenreihe:Lecture notes in computer science 1003 : Lecture notes in artificial intelligence
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 cb4500
001 BV010578843
003 DE-604
005 20230221
007 t|
008 960122s1995 xx d||| m||| 00||| eng d
020 |a 3540606416  |9 3-540-60641-6 
035 |a (OCoLC)33969764 
035 |a (DE-599)BVBBV010578843 
040 |a DE-604  |b ger  |e rakddb 
041 0 |a eng 
049 |a DE-384  |a DE-91G  |a DE-739  |a DE-12  |a DE-19  |a DE-20  |a DE-706  |a DE-634  |a DE-83  |a DE-11  |a DE-188 
050 0 |a QA76.9.C65 
082 0 |a 003/.3  |2 20 
084 |a ST 340  |0 (DE-625)143665:  |2 rvk 
084 |a DAT 716f  |2 stub 
084 |a PHY 011f  |2 stub 
100 1 |a Nayak, P. Pandurang  |d um 1995  |e Verfasser  |0 (DE-588)104265051  |4 aut 
245 1 0 |a Automated modeling of physical systems  |c P. Pandurang Nayak 
264 1 |a Berlin [u.a.]  |b Springer  |c 1995 
300 |a XX, 232 S.  |b graph. Darst. 
336 |b txt  |2 rdacontent 
337 |b n  |2 rdamedia 
338 |b nc  |2 rdacarrier 
490 1 |a Lecture notes in computer science  |v 1003 : Lecture notes in artificial intelligence 
502 |b Dissertation  |c Universität Stanford, Calif.  |d 1992 
520 3 |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. 
650 4 |a Simulation par ordinateur 
650 7 |a Simulation par ordinateur  |2 ram 
650 7 |a approximation  |2 inriac 
650 7 |a modèle physique  |2 inriac 
650 7 |a modélisation  |2 inriac 
650 7 |a résolution problème  |2 inriac 
650 7 |a système physique  |2 inriac 
650 4 |a Computer simulation 
650 0 7 |a Physikalisches System  |0 (DE-588)4174610-7  |2 gnd  |9 rswk-swf 
650 0 7 |a Physik  |0 (DE-588)4045956-1  |2 gnd  |9 rswk-swf 
650 0 7 |a Computersimulation  |0 (DE-588)4148259-1  |2 gnd  |9 rswk-swf 
650 0 7 |a Modellierung  |0 (DE-588)4170297-9  |2 gnd  |9 rswk-swf 
655 7 |0 (DE-588)4113937-9  |a Hochschulschrift  |2 gnd-content 
689 0 0 |a Physikalisches System  |0 (DE-588)4174610-7  |D s 
689 0 1 |a Modellierung  |0 (DE-588)4170297-9  |D s 
689 0 |5 DE-604 
689 1 0 |a Computersimulation  |0 (DE-588)4148259-1  |D s 
689 1 1 |a Physik  |0 (DE-588)4045956-1  |D s 
689 1 |5 DE-604 
830 0 |a Lecture notes in computer science  |v 1003 : Lecture notes in artificial intelligence  |w (DE-604)BV000000607  |9 1003 
943 1 |a oai:aleph.bib-bvb.de:BVB01-007052922 

Datensatz im Suchindex

DE-19_call_number 1601/SS 4800-1003
DE-19_location 95
DE-BY-TUM_call_number 0102 DAT 001z 2001 A 999
DE-BY-TUM_katkey 667857
DE-BY-TUM_location 01
DE-BY-TUM_media_number 040020001863
DE-BY-UBM_katkey 1506463
DE-BY-UBM_local_keycode di
DE-BY-UBM_media_number 41602541810011
_version_ 1823051177679388672
adam_text
any_adam_object
author Nayak, P. Pandurang um 1995
author_GND (DE-588)104265051
author_facet Nayak, P. Pandurang um 1995
author_role aut
author_sort Nayak, P. Pandurang um 1995
author_variant p p n pp ppn
building Verbundindex
bvnumber BV010578843
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.9.C65
callnumber-search QA76.9.C65
callnumber-sort QA 276.9 C65
callnumber-subject QA - Mathematics
classification_rvk ST 340
classification_tum DAT 716f
PHY 011f
ctrlnum (OCoLC)33969764
(DE-599)BVBBV010578843
dewey-full 003/.3
dewey-hundreds 000 - Computer science, information, general works
dewey-ones 003 - Systems
dewey-raw 003/.3
dewey-search 003/.3
dewey-sort 13 13
dewey-tens 000 - Computer science, information, general works
discipline Physik
Informatik
format Thesis
Book
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010578843</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230221</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960122s1995 xx d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540606416</subfield><subfield code="9">3-540-60641-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33969764</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010578843</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.C65</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003/.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 340</subfield><subfield code="0">(DE-625)143665:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 716f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHY 011f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nayak, P. Pandurang</subfield><subfield code="d">um 1995</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)104265051</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated modeling of physical systems</subfield><subfield code="c">P. Pandurang Nayak</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 232 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1003 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">Universität Stanford, Calif.</subfield><subfield code="d">1992</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation par ordinateur</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Simulation par ordinateur</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">approximation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modèle physique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modélisation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">résolution problème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système physique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Physikalisches System</subfield><subfield code="0">(DE-588)4174610-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Physik</subfield><subfield code="0">(DE-588)4045956-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Physikalisches System</subfield><subfield code="0">(DE-588)4174610-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Physik</subfield><subfield code="0">(DE-588)4045956-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1003 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1003</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007052922</subfield></datafield></record></collection>
genre (DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet Hochschulschrift
id DE-604.BV010578843
illustrated Illustrated
indexdate 2025-02-03T16:34:53Z
institution BVB
isbn 3540606416
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-007052922
oclc_num 33969764
open_access_boolean
owner DE-384
DE-91G
DE-BY-TUM
DE-739
DE-12
DE-19
DE-BY-UBM
DE-20
DE-706
DE-634
DE-83
DE-11
DE-188
owner_facet DE-384
DE-91G
DE-BY-TUM
DE-739
DE-12
DE-19
DE-BY-UBM
DE-20
DE-706
DE-634
DE-83
DE-11
DE-188
physical XX, 232 S. graph. Darst.
publishDate 1995
publishDateSearch 1995
publishDateSort 1995
publisher Springer
record_format marc
series Lecture notes in computer science
series2 Lecture notes in computer science
spellingShingle Nayak, P. Pandurang um 1995
Automated modeling of physical systems
Lecture notes in computer science
Simulation par ordinateur
Simulation par ordinateur ram
approximation inriac
modèle physique inriac
modélisation inriac
résolution problème inriac
système physique inriac
Computer simulation
Physikalisches System (DE-588)4174610-7 gnd
Physik (DE-588)4045956-1 gnd
Computersimulation (DE-588)4148259-1 gnd
Modellierung (DE-588)4170297-9 gnd
subject_GND (DE-588)4174610-7
(DE-588)4045956-1
(DE-588)4148259-1
(DE-588)4170297-9
(DE-588)4113937-9
title Automated modeling of physical systems
title_auth Automated modeling of physical systems
title_exact_search Automated modeling of physical systems
title_full Automated modeling of physical systems P. Pandurang Nayak
title_fullStr Automated modeling of physical systems P. Pandurang Nayak
title_full_unstemmed Automated modeling of physical systems P. Pandurang Nayak
title_short Automated modeling of physical systems
title_sort automated modeling of physical systems
topic Simulation par ordinateur
Simulation par ordinateur ram
approximation inriac
modèle physique inriac
modélisation inriac
résolution problème inriac
système physique inriac
Computer simulation
Physikalisches System (DE-588)4174610-7 gnd
Physik (DE-588)4045956-1 gnd
Computersimulation (DE-588)4148259-1 gnd
Modellierung (DE-588)4170297-9 gnd
topic_facet Simulation par ordinateur
approximation
modèle physique
modélisation
résolution problème
système physique
Computer simulation
Physikalisches System
Physik
Computersimulation
Modellierung
Hochschulschrift
volume_link (DE-604)BV000000607
work_keys_str_mv AT nayakppandurang automatedmodelingofphysicalsystems