PDEModelica - Towards a High-Level Language for Modeling with Partial Differential Equations

This thesis describes initial language extensions to the Modelica language to define a more general language called PDEModelica, with built-in support for modeling with partial differential equatio ...

[1]  Olof Johansson,et al.  Improving implementation of graphical user interfaces for object-oriented knowledge-bases , 1991 .

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

[3]  Tim Hansen,et al.  Diagnosing multiple faults using knowledge about malfunctioning behavior , 1988, IEA/AIE '88.

[4]  Peter Bunus,et al.  Debugging and Structural Analysis of Declarative Equation-Based Languages , 2002 .

[5]  Mikael Lind,et al.  Från system till process kriterier för processbestämning vid verksamhetsanalys , 2001 .

[6]  Staffan Flodin,et al.  Efficient Management of Object-Oriented Queries with Late Binding , 1996 .

[7]  Hubertus Tummescheit,et al.  Design and Implementation of Object-Oriented Model Libraries using Modelica , 2002 .

[8]  Zebo Peng.  Steps towards the formalization of designing VLSI systems , 1985 .

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

[10]  Ulf Söderman.  On conceptual modelling of mode switching systems , 1995 .

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

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

[13]  Peter Fritzson,et al.  MathModelica - An Extensible Modeling and Simulation Environment with Integrated Graphics and Literate Programming , 2002 .

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

[15]  Peter Jonsson.  Complexity of state-variable planning under structural restrictions , 1995 .

[16]  Sanjiva Weerawarana,et al.  Problem Solving Environments for Partial Differential Equation Based Applications (Ph.D. Thesis) , 1994 .

[17]  N. Ida,et al.  Electromagnetics and calculation of fields , 1992 .

[18]  Lars Karlsson,et al.  Specification and Synthesis of Plans Using the Features and Fluents Framework , 1995 .

[19]  Vadim Engelson,et al.  An Approach to Automatic Construction of Graphical User Interfaces for Applications in Scientific Co , 1996 .

[20]  Henrik Nordin.  On the use of typical cases for knowledge-based consultation and teaching , 1985 .

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

[22]  Rego Granlund,et al.  Monitoring distributed teamwork training , 2002 .

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

[24]  John R. Rice,et al.  PELLPACK: a problem-solving environment for PDE-based applications on multicomputer platforms , 1998, TOMS.

[25]  G. Smith,et al.  Numerical Solution of Partial Differential Equations: Finite Difference Methods , 1978 .

[26]  Krister Åhlander.  An Object-Oriented Framework for Pde Solvers , 1999 .

[27]  Tim Hansen.  Diagnosing faults using knowledge about malfunctioning behavior , 1988 .

[28]  Peter Fritzson,et al.  GENERATING A MODELICA COMPILER FROM NATURAL SEMANTICS SPECIFICATIONS , 1998 .

[29]  Peter Fritzson,et al.  Extending Modelica for Partial Differential Equations , 2002 .

[30]  Erik Stoy.  A Petri Net Based Unified Representation for Hardware/Software Co-Design , 1995 .

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

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

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

[34]  Sofie Pilemalm,et al.  Information Technology for Non-Profit Organisations: Extended Participatory Design of an Information System for Trade Union Shop Stewards , 2002 .

[35]  Jonas S. Karlsson.  Towards a strategy for software requirements selection , 1995 .

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

[37]  Peter Fritzson,et al.  The Open Source Modelica Project , 2002 .

[38]  Mats Larsson,et al.  A transformational approach to formal digital system design , 1993, Linköping studies in science and technology thesis.

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

[40]  Joachim Karlsson,et al.  A systematic approach for prioritizing software requirements , 1998 .

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

[42]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[43]  Peter Fritzson,et al.  A general symbolic PDE solver generator: Beyond explicit schemes , 2003, Sci. Program..

[44]  Levon Saldamli,et al.  Object-oriented Modeling with Partial Differential Equations , 2000 .

[45]  Gilles Kahn,et al.  Natural Semantics , 1987, STACS.

[46]  Eva L. Ragnemalm.  Towards student modelling through collaborative dialogue with a learning companion , 1995 .

[47]  Anneli Hagdahl,et al.  Development of IT-supported Inter-organisational Collaboration: A Case Study in the Swedish Public Sector , 2002 .

[48]  P. Doherty.  A three-valued approach to non-monotonic reasoning , 1990 .

[49]  A. Bowyer,et al.  Introduction to computing with geometry , 1993 .

[50]  Joakim Gustafsson,et al.  Extending temporal action logic , 2001 .

[51]  Alfonso F. Cardenas,et al.  PDEL—a language for partial differential equations , 1970, CACM.

[52]  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 .

[53]  N. Dahlbäck,et al.  Representations of discourse : cognitive and computational aspects , 1991 .

[54]  Peter Fritzson,et al.  A Modelica-Based Language for Object-Oriented Modeling with Partial Differential Equations , 2001 .

[55]  Levon Saldamli,et al.  Domains and Partial Differential Equations in Modelica , 2001 .

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

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

[58]  Peter Fritzson,et al.  Modelica - a general object-oriented language for continuous and discrete-event system modeling and simulation , 2002, Proceedings 35th Annual Simulation Symposium. SS 2002.

[59]  J. Lind.  Creditor - firm relations : an interdisciplinary analysis , 1994 .

[60]  Roland N. Bol,et al.  Tabulated Resolution for the Well-Founded Semantics , 1993, J. Log. Program..

[61]  Johan Herber.  Environment support for building structured mathematical models , 1995 .

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

[63]  Ulf Seigerroth,et al.  Att förstå och förändra systemutvecklingsverksamheter en taxonomi för metautveckling , 2003 .

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

[65]  Tobias Ritzau,et al.  Memory Efficient Hard Real-Time Garbage Collection , 2003 .

[66]  Mikael Kindborg,et al.  Concurrent comics : programming of social agents by children , 2003 .

[67]  Choong-ho Yi,et al.  Modelling object-oriented dynamic systems using a logic-based framework , 2002 .

[68]  Anders Avdic,et al.  Användare och utvecklare : om anveckling med kalkylprogram , 2001 .

[69]  Stefan Holmlid,et al.  Adapting users : towards a theory of use quality , 2002 .

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

[71]  A. Larsson.  Ekonomisk styrning och organisatorisk passion : ett interaktivt perspektiv , 1997 .

[72]  Jonni Harrius.  An architecture and a knowledge representation model for expert critiquing systems , 1993 .

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

[74]  Peter Fritzson,et al.  A Debugging Scheme for Declarative Equation Based Modeling Languages , 2002, PADL.

[75]  Peter Carlsson.  Separation av företagsledning och finansiering : fallstudier av företagsledarutköp ur ett agentteoretiskt perspektiv ... , 1994 .

[76]  Min Oh.  Modelling and simulation of combined lumped and distributed processes , 1995 .

[77]  Peter Fritzson,et al.  A general symbolic PDE solver generator: Explicit schemes , 2003, Sci. Program..

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

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

[80]  Ling Lin,et al.  A Value-Based Indexing Technique for Time Sequences , 1997 .

[81]  Tomas Sokolnicki.  Coaching partial plans : an approach to knowledge-based tutoring , 1990 .

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

[83]  Carl-Johan Petri,et al.  Organizational information provision : managing mandatory and discretionary utilization of information technology , 2001 .

[84]  Jonas Löwgren.  The Ignatius Environment: Supporting the Design and Development of Expert-System User Interfaces , 1992, IEEE Expert.

[85]  Johan Åberg,et al.  Live help systems : an approach to intelligent help for Web information systems , 2002 .

[86]  Johnny Eckerland.  Retargeting of an incremental code generator. , 1984 .

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

[88]  Pär J. Ågerfalk.  Information Systems Actability: Understanding Information Technology as a Tool for Business Action and Communication , 2003 .

[89]  Shamsul I. Chowdhury,et al.  Statistical expert systems : a special application area for knowledge-based computer methodology , 1987 .

[90]  Xinli Gu.  Testability analysis and improvement in high-level synthesis systems , 1992 .

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

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

[93]  Erik G. Larsson,et al.  An Integrated System-Level Design for Testability Methodology , 2000 .

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

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

[96]  Gustav Fahl,et al.  Object Views of Relational Data in Multidatabase Systems , 1994 .

[97]  Peter Fritzson,et al.  Incremental declaration handling in Open Source Modelica , 2002 .

[98]  Juha Takkinen,et al.  From information management to task management in electronic mail , 2002 .

[99]  Pawel Pietrzak,et al.  A type-based framework for locating errors in constraint logic programs , 2002 .

[100]  Stefan Cronholm,et al.  Metodverktyg och användbarhet : en studie av datorstödd metodbaserad systemutveckling , 1998 .

[101]  Ulf Cederling,et al.  Industrial Software Development - A Case Study , 1993, ESEC.

[102]  Pär Carlshamre.  A collaborative approach to usability engineering : technical communicators and system developers in usability-oriented systems development , 1994 .

[103]  Stefan Svenberg.  Structure-driven derivation of inter-lingual functor-argument trees for multi-lingual generation , 1995 .

[104]  Peter Ingels,et al.  A Robust Text Processing Technique Applied to Lexical Error Recovery , 1997, ArXiv.

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

[106]  Asmus Pandikow,et al.  A Generic Principle for Enabling Interoperability of Structured and Object-Oriented Analysis and Design Tools , 2002 .

[107]  Lars Hult,et al.  Publika informationstjänster : en studie av den elektroniska encyklopedins bruksegenskaper , 2003 .