📄 http:^^www.cs.utexas.edu^users^qr^qsim-users.html
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:51:44 GMT
Content-Type: text/html
Content-Length: 12031
Last-Modified: Monday, 30-Dec-96 20:28:24 GMT
<title>QSIM Users</title><!-- Changed by: Benjamin J. Kuipers, 19-Jun-1996 --><body bgcolor="#ffffff" text="#000000" link="#0000ee" vlink="551a8b" alink="ff0000"><h1>QSIM Applications and Extensions</h1>This page holds pointers to published articles describing applications andextensions of QSIM, other than what my group has done at UT-Austin.(For those papers, see our <!WA0><!WA0><!WA0><a href="http://www.cs.utexas.edu/users/qr/papers-QR.html">indexed bibliography</a>.) <P> <ul> <li> <!WA1><!WA1><!WA1><a href="#QR-highlights"> Highlights </a> <li> <!WA2><!WA2><!WA2><a href="#QSIM-apps"> QSIM Applications </a> <li> <!WA3><!WA3><!WA3><a href="#QSIM-adv"> Qualitative Simulation </a> <li> <!WA4><!WA4><!WA4><a href="#QR-biblio"> Bibliography </a> <li> <!WA5><!WA5><!WA5><a href="#QR-groups"> QR Groups </a> </ul>I try to provide citations to archival sources, but some referencesare to the QR Workshop or to local technical reports. I also try toprovide email addresses for at least one author. <p><BLOCKQUOTE> <EM>This list is undoubtedly incomplete. (Last update1-11-96.) Please send me any additional suggestions or citations Ishould include. Thanks. Ben. (kuipers@cs.utexas.edu)</EM></BLOCKQUOTE> <P><hr><a name="QR-highlights"> </a><h2>Highlights</h2> <ul> <li> <B>QSIM in Parallel Hardware</B> <P>A significant barrier to application of QSIM to large-scale problems is theefficiency of qualitative simulation. Recently, a group at T.U. Graz in Austriahave designed and implemented a special-purpose parallel hardware architecturefor qualitative simulation. See their Web page and published papers. <P><!WA6><!WA6><!WA6><a href="http://fitids01.tu-graz.ac.at/research/qsim.html">Reinhold Weiss, Marco Platzner, Bernhard Rinner</a>, T.U. Graz, Austria. </ul><hr><a name="QSIM-apps"> </a><h2>Applications of QSIM and related systems</h2> <ul> <li> Gautam Biswas, Stefanos Manganaris, and Xudong Yu. 1993.<b>Extending component connection modeling for analyzing complexphysical systems.</b> <CITE>IEEE Expert</CITE> 8(1): 48-57, February1993. <br> [biswas@vuse.vanderbilt.edu] <P><LI> G. Biswas, K. Krishnamurthy, and P.K. Basu 1991. <b>Applying qualitative reasoning techniques for analysis and evaluation in structural design</b>. <CITE>Seventh IEEE Conference on AI Applications</CITE>, Miami Beach, FL, Feb. 26-28, 1991, pp. 265-268.<br> [biswas@vuse.vanderbilt.edu] <P> <li> A. C. Capelo, L. Ironi and S. Tentoni. 1993. <b>A model-basedsystem for the classification and analysis of materials.</b><CITE>Intelligent Systems Engineering</CITE> 2(3): 145-158, 1993. <br>Materials science (rheology). <br> [liliana@supers1.ian.pv.cnr.it]<P> <li> C. A. Catino and L. H. Ungar. 1994. <b>A model-based approachto automated hazard identification of chemical plants.</b><CITE>Computers and Chem. Engr.</CITE>, in press. <br>[ungar@central.cis.upenn.edu] <P> <li> David T. Dalle Molle and T. F. Edgar. 1989. <b>Qualitativemodeling of chemical reaction systems.</b> In M. Mavrovouniotis (Ed.),<CITE>Artificial Intelligence Applications in ProcessEngineering</CITE>, Academic Press, 1989. <br>[dtdallemolle@amoco.com] <P> <li> Oskar Dressler and Hartmut Freitag. 1994. <b>Predictionsharing across time and contexts.</b> <CITE>AAAI-94.</CITE> <br>[dressler@zfe.siemens.de] <P> <li> Adam Farquhar and Giorgio Brajnik. 1994. <b>Asemi-quantitative physics compiler.</b> <CITE>Working Papers of theEighth International Workshop on Qualitative Reasoning(QR'94)</CITE>. <br> Modeling a system of lakes and dams. <br>[axf@ksl.stanford.edu] <P> <li> Yang Gao and Hugh F. Durrant-Whyte. 1994. <b>Integratingqualitative simulation for numerical data fusion methods.</b><CITE>Working Papers of the Eighth International Workshop onQualitative Reasoning (QR'94)</CITE>. <P> <li> E. Gazi, L. H. Ungar, and W. D. Seider. 1994. <b>Controller verification usingqualitative reasoning.</b> <CITE>ADCHEM Proceedings.</CITE> <br>[ungar@central.cis.upenn.edu] <P> <li> A. S. Glass, P. Gruber, M. Roos and J. Todtli. 1994. <B>Preliminary evaluation of a qualitative model-based fault detector for a central air-handling unit.</B><CITE>Proceedings of the 3rd IEEE Conference on Control Applications</CITE>,Strathclyde University, Glasgow, August 24-26, 1994. <P> <li> Thomas R. Gruber and Patrice O. Gautier. 1993. <b>Machine generated explanations ofengineering models: a compositional modeling approach.</b><CITE>IJCAI-93</CITE>. <br>[gruber@ksl.stanford.edu] <P> <li> S. B. Jorgensen and K. M. Hangos. 1995. <b>Grey box modelling for control:qualitative models as a unifying framework</b>. <cite>Int. J. Adaptive Controland Signal Processing</cite> 9: 547-562. <p> <li> L. Ironi, M. Stefanelli and G. Lanzola. 1990. <b>Qualitativemodels in medical diagnosis.</b> <CITE>Artificial Intelligence inMedicine</CITE> 2: 85-101, 1990. <br> Models of iron metabolism. <br>[liliana@supers1.ian.pv.cnr.it] <P> <li> L. Ironi and M. Stefanelli. 1994. <b>A framework for building and simulating qualitativemodels of compartmental systems.</b> <CITE>Computer Methods and Programs in Biomedicine</CITE> 42: 233-254, 1994. <br>QCML - compartmental models, insulin-glucose system. <br>[liliana@supers1.ian.pv.cnr.it] <P> <li> Y. Iwasaki & C. M. Low. <b>Model generation and simulation ofdevice behavior with continuous and discrete changes.</b> <CITE>Intelligent SystemsEngineering</CITE> 1(2), 1991. <!WA7><!WA7><!WA7><A HREF="http://www-ksl.stanford.edu/KSL_Abstracts/KSL-91-69.html">(Abstract)</A> <br>[iwasaki@ksl.stanford.edu] <P> <li> N. Kaul, G. Biswas, and B. Bhuva. 1992. <b> Multi-level qualitative reasoning applied to CMOS digital circuits</b>. <CITE>Intl. Journal of AI in Engineering</CITE>, vol. 7, pp. 125-137, 1992.<br> [biswas@vuse.vanderbilt.edu] <P> <li> N. Kaul, G. Biswas, and B. Bhuva. 1994. <b>An AI approach to multi-level, mixed-mode qualitative simulation of CMOS ICs</b>. <CITE>Computers and Electrical Engineering, An International Journal</CITE> vol. 20, pp. 369-382, 1994. <br> [biswas@vuse.vanderbilt.edu]<P> <li> Franz Lackinger and Wolfgang Nejdl. 1993. <b>Diamon: amodel-based troubleshooter based on qualitative reasoning.</b><CITE>IEEE Expert</CITE> 8(1): 33-40, February 1993. (Shorter versionin IJCAI-91.) <P> <li> Karl R. Lang and James C. Moore and Andrew B. Whinston. 1995.<B>Computational systems for qualitative economics</B>.<cite>Computational Economics</cite> 8: 1-26. <P> <li> Hwee Tou Ng. 1991. <!WA8><!WA8><!WA8><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Ng-ieex-91.ps.Z"><b>Model-based, multiple fault diagnosis of time-varying,continuous physical devices.</b></a><CITE>IEEE Expert</CITE> 6(6): 38-43, December 1991. <P> <li> Steven R. LeClair and Frances L. Abrams. 1988. <b>Qualitativeprocess automation.</b> <CITE>Proceedings of the 27th IEEE Conferenceon Decision and Control</CITE>, Austin, Texas, December 1988. <P> <li> Sharad Saxena and Amy Unruh. <b>Diagnosis of semiconductormanufacturing equipment and processes.</b> <CITE>IEEE Trans. onSemiconductor Manufacturing</CITE> 7(2): 220-232, May 1994. <br>[unruh@spdc.ti.com] <P> <li> Y. Umeda, T. Tomiyama, H. Yoshikawa, and Y. Shimomura. <b>Adesign methodology for self-maintenance machines.</b> To appear<CITE>IEEE Expert</CITE>, Special issue on Embedded AI. <br>Self-maintaining MITA copier. <P> <li> J. M. Vinson, S. D. Grantham, and L. H. Ungar. 1992.<b>Automatic rebuilding of qualitative models for diagnosis.</b><CITE>IEEE Expert</CITE>, August 1992.<br>[ungar@central.cis.upenn.edu] <P> <li> J. M. Vinson and L. H. Ungar. 1995. <b>Dynamic processmonitoring and fault diagnosis with qualitative models.</b> <CITE>IEEETrans. on Systems, Man, and Cybernetics</CITE> 25(1): 181-189, January 1995.. <br>[ungar@central.cis.upenn.edu] <P> </ul><hr><a name="QSIM-adv"> </a><h2>Advances in Qualitative Simulation</h2> <ul> <li> P. A. Fishwick, N. H. Narayanan, J. Sticklen, and A. Bonarini.1994. <b>A multimodel approach to reasoning and simulation.</b><CITE>IEEE Trans. on Systems, Man, and Cybernetics</CITE> 24(10):1433-1449, October 1994. <P> <li> Wilfried Grossman and Hannes Werthner. 1993. <b>A stochasticapproach to qualitative simulation using Markov processes.</b><CITE>IJCAI-93</CITE>. <P> <li> Roy Leitch and Qiang Shen. 1993. <b>Prioritising behavioursin qualitative simulation.</b> <CITE>IJCAI-93.</CITE> <br>[rrl@cee.hw.ac.uk] <P> <li> Marco Platzner, Bernhard Rinner, Reinhold Weiss. 1994. <b>Adistributed computer architecture for qualitative simulation based ona multi-DSP and FPGAs.</b> <EM>Euromicro Workshop on Parallel andDistributed Processing</EM>, Jan. 1995. <br>Parallel hardware implementation of the QSIM algorithm. <br>[{marco,rinner,rweiss}@iti.tu-graz.ac.at] <P> <li> A. C. Cem Say and Selahattin Kuru. 1997. <b>Postdiction usingqualitative simulation.</b> <CITE>IEEE Trans. on Systems Man and Cybernetics A</CITE> 27(1): 84-95. <P> <li> A. C. Cem Say and Selahattin Kuru. 1996. <b>Qualitative systemidentification: deriving structure from behavior.</b> <CITE>ArtificialIntelligence</CITE> 83(1): 75-141. <P> <li> A. C. Cem Say and Selahattin Kuru. 1993. <b>Improvedfiltering for the QSIM algorithm.</b> <CITE>IEEE Trans. on PatternAnalysis and Machine Intelligence</CITE> 15(9): 967-971, September1993. <P> <li> A. C. Cem Say and Melih Doyuran. 1994. <B>The representativepower of quantity spaces and correspondences</B>. In C. Bozsahin,U. Halici, K. Oflazer, N. Yalabik (Eds.), <CITE>Third TurkishSymposium on Artificial Intelligence & Neural Networks (TAINNIII)</CITE>, Middle East Technical University, Ankara. <P> <li> Q. Shen and R. Leitch. 1992. <b>On extending the quantityspace in qualitative reasoning.</b> <CITE>Artificial Intelligence inEngineering</CITE> 7: 167-173, 1992. <br> [rrl@cee.hw.ac.uk] <P> <li> Q. Shen and R. Leitch. 1993. <b>Fuzzy qualitativesimulation.</b> <CITE>IEEE Transactions on Systems, Man, andCybernetics</CITE> 23: 1038-1061, 1993. <br> [rrl@cee.hw.ac.uk] <P> <li> Hiroshi Tanaka and Shusaku Tsumoto. 1994. <b>Qualitativereasoning of a temporally hierarchical system based on infinitesimalanalysis.</b> <CITE>Working Papers of the Eighth InternationalWorkshop on Qualitative Reasoning (QR'94)</CITE>. <P> <li> Daniel Weld. 1988. <b>Comparative Analysis.</b> <CITE>Artificial Intelligence</CITE> 36(3): 333-373. <P> Daniel Weld. 1990. <b>Exaggeration.</b> <CITE>Artificial Intelligence</CITE> 43(3): 311-368. <br> [weld@cs.washington.edu] <P> </ul><hr><a name="QR-biblio"> </a><H2>Bibliography of QR Applications</H2><UL> <li> Robert Milne and Louise Trave-Massuyes. 1993. <b>Applicationoriented qualitative reasoning.</b> <CITE>Working Papers of the SeventhInternational Workshop on Qualitative Reasoning (QR'93)</CITE>. <br>[rmilne@cix.compulink.co.uk; louise@laas.fr] <P></UL><hr><a name="QR-groups"> </a><h2>Qualitative Reasoning Generally</h2><ul> <li> Email discussion group: qphysics@is.aist-nara.ac.jp <br> Subscriptions: qphysics-request@is.aist-nara.ac.jp <li> <!WA9><!WA9><!WA9><a href="http://www-ksl.stanford.edu/"> Stanford Knowledge Systems Laboratory</a> <li> <!WA10><!WA10><!WA10><a href="http://flute.aist-nara.ac.jp/doc/nishida-lab/home-nishida-lab.html"> Toyoaki Nishida</a>, AI Division, Nara Institute of Science and Technology, Japan. <li> <!WA11><!WA11><!WA11><a href="http://www.qrg.ils.nwu.edu/"> Ken Forbus</a>, Institute for Learning Sciences, Northwestern University. <li> <!WA12><!WA12><!WA12><a href="http://fitids01.tu-graz.ac.at/research/qsim.html"> Reinhold Weiss, Marco Platzner, Bernhard Rinner</a>, parallel hardware implementation of QSIM, T.U. Graz, Austria. <li> <!WA13><!WA13><!WA13><a href="http://www.cis.upenn.edu/~ungar/home.html"> Lyle Ungar</a>, University of Pennsylvania.</ul><hr><!WA14><!WA14><!WA14><a href="http://www.cs.utexas.edu/users/qr">[QR home]</a><address><!WA15><!WA15><!WA15><a href="http://www.cs.utexas.edu/users/kuipers">BJK</a></address>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -