Tools for design, interactive simulation, and visualization of object-oriented models in scientific computing

Mathematical models used in scientific computing are becoming large and complex. In order to handle the size and complexity, the models should be better structured (using objectorientation) and vis ...

[1]  Dag Fritzson,et al.  Rolling Bearing Simulation On Mimd Computers , 1997, Int. J. High Perform. Comput. Appl..

[2]  James H. Davenport,et al.  Computer Algebra: Systems and Algorithms for Algebraic Computation , 1988 .

[3]  Peter Fritzson,et al.  Automatic Generation of User Interfaces From Data Structure Specifications and Object-Oriented Application Models , 1996, ECOOP.

[4]  Anders Klarbring,et al.  Study of Frictional Impact Using a Nonsmooth Equations Solver , 2000 .

[5]  Johannes F. Broenink,et al.  Modelica: An International Effort to Design the Next Generation Modelling Language , 1997 .

[6]  Magnus Merkel,et al.  Understanding and enhancing translation by parallel text processing , 1999 .

[7]  Jörgen Lindström,et al.  Does distance matter? On geographical dispersion in organisations , 1999 .

[8]  Hilding Elmqvist,et al.  Modeling of multibody systems with the object-oriented modeling language Dymola , 1996 .

[9]  Lars Degerstedt,et al.  Tabulation-based Logic Programming : A Multi-level View of Query Answering , 1996 .

[10]  Martin Otter,et al.  Modelica-a language for physical system modeling, visualization and interaction , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).

[11]  Osten Oskarsson,et al.  Mechanisms of modifiability in large software systems , 1982 .

[12]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[13]  Tore Risch,et al.  Compilation of multiple file queries in a meta-database system , 1978 .

[14]  Hilding Elmqvist,et al.  Modelica—The next generation modeling language, an international effort , 1997 .

[15]  Bengt Johnsson,et al.  The human-computer interface in commercial systems : Investigations of dialogue design factors and usability with alphanumeric display terminals , 1981 .

[16]  Jaime Villegas,et al.  Simulation supported industrial training from an organisational learning perspective : development and evaluation of the SSIT method , 1996 .

[17]  Nahid Shahmehri,et al.  Generalized algorithmic debugging , 1991 .

[18]  Graham C. Goodwin,et al.  Control System Design , 2000 .

[19]  Jimmy Tjäder,et al.  Systemimplementering i praktiken : en studie av logiker i fyra projekt , 1999 .

[20]  Peter Fritzson.  Static And Strong Typing For Extended Mathematica , 1970 .

[21]  Carla Limongelli,et al.  Design and Implementation of Symbolic Computation Systems , 1991, Lecture Notes in Computer Science.

[22]  Hilding Elmqvist,et al.  Modelica — A unified object-oriented language for physical systems modeling , 1997 .

[23]  G. Stavroulakis.  Multibody Dynamics with Unilateral Contacts by Friedrich Pfeiffer and Christoph Glocker, Wiley, New York, 1996 , 1998 .

[24]  David Salesin,et al.  Interactive multiresolution surface viewing , 1996, SIGGRAPH.

[25]  Peter Fritzson,et al.  Industrial application of object-oriented mathematical modeling and computer algebra in mechanical analysis , 1992 .

[26]  Hilding Elmqvist,et al.  Physical system modeling with Modelica , 1998 .

[27]  Ben Shneiderman,et al.  The eyes have it: a task by data type taxonomy for information visualizations , 1996, Proceedings 1996 IEEE Symposium on Visual Languages.

[28]  Silvia Coradeschi,et al.  Anchoring symbols to sensory data , 1999 .

[29]  Fredrik Nilsson.  Strategi och ekonomisk styrning : en studie av hur ekonomiska styrsystem utformas och används efter företagsförvärv , 1997 .

[30]  Niklas Hallberg,et al.  Incorporating user values in the design of information systems and services in the public sector : a methods approach , 1999 .

[31]  Peter Fritzson,et al.  Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment , 1993, DISCO.

[32]  Sture Hägglund,et al.  Contributions to the development of methods and tools for interactive design of applications software , 1980 .

[33]  Peter Piela.  Ascend: an object-oriented computer environment for modeling and analysis , 1989 .

[34]  Peter Fritzson,et al.  A design, simulation and visualization environment for object-oriented mechanical and multi-domain models in Modelica , 1999, 1999 IEEE International Conference on Information Visualization (Cat. No. PR00210).

[35]  Mikael Ericsson,et al.  Supporting the use of design knowledge : an assessment of commenting agents , 1999 .

[36]  Allan S. Y. Grady,et al.  Beta : Mathematics Handbook , 1991, The Mathematical Gazette.

[37]  John K. Ousterhout,et al.  Tcl and the Tk Toolkit , 1994 .

[38]  Per Sahlin,et al.  The Neutral Model Format for Building Simulation , 1996 .

[39]  W. A. Martin,et al.  Parsing , 1980, ACL.

[40]  Anders Björnerstedt,et al.  AVANCE: an object management system , 1988, OOPSLA 1988.

[41]  Vadim Engelson.  Integration of collision detection with the multibody system library in Modelica , 2000 .

[42]  Peter Fritzson,et al.  Modelica - A Unified Object-Oriented Language for System Modelling and Simulation , 1998, ECOOP.

[43]  Stephen Wolfram,et al.  The Mathematica Book , 1996 .

[44]  Peter Ambjorn Fritzson,et al.  Towards a distributed programming environment based on incremental compilation (debugging, prettyprinting, interactive) , 1984 .

[45]  Rita Kovordanyi,et al.  Modeling and simulating inhibitory mechanisms in mental image reinterpretation : towards cooperative human-computer creativity , 1999 .

[46]  Johan Jenvald.  Methods and tools in computer-supported taskforce training , 1999 .

[47]  Jonas Hallberg,et al.  Timing issues in high-level synthesis , 1998 .

[48]  Erik Anders Tengvald,et al.  The design of expert planning systems: an experimental operations planning system for turning , 1984 .

[49]  Richard D. Jenks,et al.  AXIOM: the scientific computation system , 1992 .

[50]  Jörgen Hansson,et al.  Value-driven multi-class overload management in real-time database systems , 1999 .

[51]  Sven Erik Mattsson,et al.  Index Reduction in Differential-Algebraic Equations Using Dummy Derivatives , 1993, SIAM J. Sci. Comput..

[52]  H. Elmqvist,et al.  MODELICA — THE NEXT GENERATION MODELING LANGUAGE AN INTERNATIONAL DESIGN EFFORT Hilding Elmqvist , 1997 .

[53]  O. Deux,et al.  The O2 system , 1991 .

[54]  Stephen Wolfram,et al.  Mathematica: a system for doing mathematics by computer (2nd ed.) , 1991 .

[55]  Prasun Dewan.  An inheritance model for supporting flexible displays of data structures , 1991, Softw. Pract. Exp..

[56]  Bruce W. Char,et al.  Maple V Language Reference Manual , 1993, Springer US.

[57]  Henrik Nilsson,et al.  Declarative debugging for lazy functional languages , 1998 .

[58]  William Courington,et al.  NSE highlights , 1989 .

[59]  Mats Andersson,et al.  Omola : An Object-Oriented Language for Model Representation , 1990 .

[60]  Richard D. Jenks,et al.  A Primer: 11 Keys to New Scratchpad , 1984, Symbolic and Algebraic Computation.

[61]  Michael J. Gormish,et al.  Lossless and nearly lossless compression for high-quality images , 1997, Electronic Imaging.

[62]  Peter Fritzson,et al.  Lossless compression of high-volume numerical data from simulations , 2000, Proceedings DCC 2000. Data Compression Conference.

[63]  Pär Emanuelson,et al.  Performance enhancement in a well-structured pattern matcher through partial evaluation , 1980 .

[64]  Lin Padgham,et al.  Non-monotonic inheritance for an object-oriented knowledge-base , 1989 .

[65]  John F. Canny,et al.  Impulse-based simulation of rigid bodies , 1995, I3D '95.

[66]  Peter Fritzson,et al.  ObjectMath - An Object-Oriented Language and Environment for Symbolic and Numerical Processing in Scientific Computing , 1995, Sci. Program..

[67]  Mikael Pettersson,et al.  Compiling Natural Semantics , 1999, Lecture Notes in Computer Science.

[68]  Brian Mirtich,et al.  Impulse-based dynamic simulation of rigid body systems , 1996 .

[69]  Dag Fritzson,et al.  The need for high-level programming support in scientific computing applied to mechanical analysis , 1992 .

[70]  Walter F. Tichy,et al.  Persistence for Arbitrary C++ Data Structures , 1990, Security and Persistence.

[71]  Prasun Dewan.  Object-oriented editor generation , 1990 .

[72]  Jack A. Orenstein,et al.  The ObjectStore database system , 1991, CACM.

[73]  P. Doherty.  NML3 : a non-monotonic formalism with explicit defaults , 1991 .

[74]  Prasun Dewan,et al.  An approach to support automatic generation of user interfaces , 1990, TOPL.

[75]  Peter Fritzson,et al.  Generating efficient 3D graphics animation code with OpenGL from object oriented models in Mathematica , 1970 .

[76]  Mats Andersson,et al.  Object-Oriented Modeling and Simulation of Hybrid Systems , 1994 .

[77]  Peter Fritzson,et al.  An object-oriented language for symbolic computation—applied to machine element analysis , 1992, ISSAC '92.

[78]  Dimiter Driankov,et al.  Towards a many‐valued logic of quantified belief: The information lattice , 1991 .

[79]  Erland Jungert,et al.  Synthesizing database structures from a user oriented data model , 1980 .

[80]  David Baraff,et al.  Dynamic Simulation of Non-penetrating Rigid Bodies , 1992 .

[81]  David J. Goodman,et al.  Personal Communications , 1994, Mobile Communications.

[82]  Jon Owen,et al.  Step - an introduction , 1997, Product data engineering.

[83]  Peter Fritzson,et al.  Using the Mathematica environment for generating efficient 3D graphics , 1997 .

[84]  Ling Lin,et al.  Management of 1-D Sequence Data- From Discrete to Continuous , 1999 .

[85]  Peter Fritzson,et al.  A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes , 1996, CC.

[86]  Peter Fritzson,et al.  An integrated Modelica environment for modeling, documentation and simulation , 1998 .

[87]  Vivian Vimarlund,et al.  An economic perspective on the analysis of impacts of information technology : from case studies in health-care towards general models and theories , 1999 .

[88]  Richard R. Muntz,et al.  An Object-Oriented Modeling Environment , 1989, Conference on Object-Oriented Programming Systems, Languages, and Applications.

[89]  Henryk Jan Komorowski,et al.  A specification of an abstract Prolog machine and its application to partial evaluation , 1981 .

[90]  Eva L. Ragnemalm,et al.  Student modelling based on collaborative dialogue with a learning companion , 1999 .

[91]  Prasun Dewan,et al.  A tour of suite user interface software , 1990, UIST '90.

[92]  Peter Fritzson,et al.  The Implementation of ObjectMath - a High-Level Programming Environment for Scientific Computing , 1992, CC.

[93]  Martin Otter,et al.  Hybrid modeling in Modelica based on the synchronous data flow principle , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).

[94]  Prasun Dewan,et al.  Dost: an environment to support automatic generation of user interfaces , 1987, SDE 2.

[95]  Ulf Nilsson,et al.  Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs , 1992 .

[96]  Rudower Chaussee,et al.  The Architecture of the Smile/M Simulation Environment , 1998 .

[97]  Martin Otter.  Objektorientierte Modellierung mechatronischer Systeme am Beispiel geregelter Roboter , 1994 .

[98]  Vadim Engelson.  Simulation and visualization of autonomous helicopter and service robots , 2000 .

[99]  Peter Fritzson,et al.  High-level Mathematical Modeling And Programming , 1995, IEEE Softw..