liu.seSearch for publications in DiVA
Endre søk
Begrens søket
123456 51 - 100 of 279
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 51.
    Edelfeldt, Stina
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Evaluation and Comparison of Models and Modeling Tools Simulating Nitrogen Processes in Treatment Wetlands2005Inngår i: Proceedings of the 46th Conference on Simulation and Modelling of the Scandinavian Simulation Society (SIMS2005), Trondheim, Norway, October 13-14, 2005., Tapir Academic Press , 2005Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The global problem of eutrophication, the enrich-ment of water bodies by nutrients, has in recent years resulted in an increased interest in non-conventional ways to reduce the amount of nutri-ents discharged into the environment. One com-monly proposed and used solution is to append constructed wetlands as a final step in the treat-ment of wastewater. However, both the construc-tion of the wetlands and the maintenance thereof are time and resource consuming. Due to the high production and maintenance costs, tools for mod-eling and simulation are often valuable assets in the development of constructed wetlands.

    In this paper, two ecological models of nitrogen processes in treatment wetlands have been evalu-ated and compared. These models were imple-mented, simulated, and visualized in the Modelica language . The differences and similarities be-tween the MathModelica Model Editor and three ecological modeling tools have also been evalu-ated.

  • 52.
    Engelson, Vadim
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Bunus, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Popescu, Lucian
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Mechanical CAD with Multibody Dynamic Analysis Based on Modelica Simulation2003Konferansepaper (Fagfellevurdert)
  • 53.
    Engelson, Vadim
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Dag
    SKF Engineering & Research Centre ,Sweden.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Automatic generation of user interfaces from data structure specifications and object-oriented application models1996Inngår i: ECOOP ’96 — Object-Oriented Programming: 10th European Conference Linz, Austria, July 8–12, 1996 Proceedings / [ed] Pierre Cointe, Springer Berlin/Heidelberg, 1996, s. 114-141Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Applications in scientific computing operate with data of complex structure and graphical tools for data editing, browsing and visualization are necessary.

    Most approaches to generating user interfaces provide some interactive layout facility together with a specialized language for describing user interaction. Realistic automated generation approaches are largely lacking, especially for applications in the area of scientific computing.

    This paper presents two approaches to automatically generating user interfaces (that include forms, pull-down menus and pop-up windows) from specifications.

    The first is a semi-automatic approach, that uses information from object-oriented mathematical models, together with a set of predefined elementary types and manually supplied layout and grouping information. This system is currently in industrial use. A disadvantage is that some manual changes need to be made after each update of the model.

    Within the second approach we have designed a tool, PDGen (Persistence and Display Generator) that automatically creates a graphical user interface and persistence routines from the declarations of data structures used in the application (e.g., C++ class declarations). This largely eliminates the manual update problem. The attributes of the generated graphical user interface can be altered.

    Now structuring and grouping information is automatically extracted from the object-oriented mathematical model and transferred to PDGen. This is one of very few existing practical systems for automatically generating user interfaces from type declarations and related object-oriented structure information.

  • 54.
    Engelson, Vadim
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Dag
    SKF Engineering & Research Centre ,Sweden.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Lossless compression of high-volume numerical data from simulations2000Inngår i: Proceedings. DCC 2000 Data Compression Conference, 2000, IEEE , 2000Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Summary form only given. We propose a lossless algorithm of delta compression (a variant of predictive coding) that attempts to predict the next point from previous points using higher-order polynomial extrapolation. In contrast to traditional predictive coding our method takes into account varying (non-equidistant) domain (typically, time) steps. To save space and guarantee lossless compression, the actual and predicted values are converted to 64-bit integers. The residual (difference between actual and predicted values) is computed as difference of integers. The unnecessary bits of the residual are truncated, e.g., 1111110101 is replaced by 10101. The length of the bit sequence (510=(000101)2) is prepended

  • 55.
    Engelson, Vadim
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Dag
    SKF Engineering & Research Centre .
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Simulation of Motion with Collisions Using Modelica2000Konferansepaper (Fagfellevurdert)
  • 56.
    Engelson, Vadim
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Distributed Simulation Environment for Heterogeneous Computer Clusters2002Konferansepaper (Fagfellevurdert)
  • 57.
    Engelson, Vadim
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Dag
    SKF Engineering & Research Centre .
    Generating efficient 3D graphics animation code with OpenGL from object oriented models in Mathematica1997Inngår i: Innovation in Mathematics: Proceedings of the Second International Mathematica Symposium, 1997, s. 129-136Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Traditionally 3D plots of parametric functions expressed in Mathematica are computed interpretively and saved in a static form before display. This causes low graphic performance. In this paper we describe an approach to generate efficient C++/Fortran90 code from such functions. This code is linked together with a powerful 3D browsing environment and uses OpenGL with possible hardware support. Thus flexibility of interactive exploration of 3D scenes and animation options become available for the end-user. 1 Introduction 1.1 The visualization problem Numerical experiments based on mathematical models is one of the most prevalent classes of applications of high performance computers and workstations. A common problem is however to interpret and make use of numerical data produced from such experiments. High performance numerical programs usually generate vast amounts of data (in our applications 1-2 Gbyte or more).

  • 58.
    Engelson, Vadim
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Dag
    SKF Engineering & Research Centre ,Sweden.
    Using the Mathematica environment for generating efficient 3D graphics1997Inngår i: Proceedings of EDUGRAPHICS/COMPUGRAPHICS-97 / [ed] Harold P. Santo, Graphic Science Promotions and Publications , 1997, s. 222-231Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Mathematica is an integrated environment for symbolic transformation of mathematical formulas. This environment has applications in scientific computing, scientific visualization and education. Mathematica gives possibility to describe visualized objects in form of mathematical formulas and expressions. Such descriptions are more clear and concise than low-level C or C++ code. Many visualization systems require input in the form of (sometimes huge) data files, which is a disadvantage for highly interactive and animated 3D graphics applications. This is also the case for graphics expressed in Mathematica which is computed interpretively and saved in a static data form before display. This causes low graphic performance. In this paper we describe an approach which uses object geometry descriptions in the form of efficient program code instead of huge data files. We have built a tool that produces 3D visualizations of geometrical objects and object trajectories from mathematical specifications expressed as parametric functions in Mathematica. A compiler has been developed which generates efficient C++ code from such functions and symbolic expressions. This code is linked together with a powerful 3D browsing environment and uses OpenGL with possible hardware support. All the computations are performed within the visualizing application. Object geometry, color, etc. can be changed dynamically during animations. Thus the flexibility of interactive exploration of 3D scenes and animation become available for the end-user.

  • 59.
    Engelson, Vadim
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Sellgren, Ulf
    KTH, Sweden.
    An Easy-to-use Generic Model Configurator for Models in Multiple Tool Formats2004Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Application models for simulation are usually built by combining and configuring a selection of component models into an application model. This can be done by manually editing the model text representations. However, it is usually much easier to use a graphic editor for selecting och connecting components. The MathModelica tool has such a graphic editor, adapted for components in Modelica libraries. However, since Modelica is a generic model description language, it has been possible to extend the editor to support configuration of components in other modeling tool formats, e.g. ADAMS or ANSYS. When the editor is used in this generic way, the Modelica connections and interfaces are translated into the format of the specific tool. The editor does not need to know anything about the internals of model components that are combined, just the interfaces. The configurator has successfully been used to configure and simulate mechanical bearing models as well as a wheel loader model, currently supporting three different formats: Modelica MBS, ADAMS, and ANSYS, with ongoing development for the SKF BEAST MBS model format

  • 60.
    Engelson, Vadim
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Larsson, Håkan
    Linköpings universitet, Institutionen för datavetenskap.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    A design, simulation and visualization environment for object-oriented mechanical and multi-domain models in Modelica1999Inngår i: 1999 IEEE International Conference on Information Visualization, Proceedings / [ed] E. Banissi, F. Khosrowshahi, M. Sarfraz, E. Tatham, A. Ursyn, 1999, s. 188-193Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The complexity of mechanical and multi-domain simulation models is rapidly increasing. Therefore new methods and standards are needed for model design. A new language, Modelica, has been proposed by an international design committee as a standard, object oriented, equation based language suitable for description of the dynamics of systems containing mechanical, electrical, chemical and other types of components. However, it is complicated to describe the system models in textual form, whereas CAD systems are convenient tools for this purpose. We have designed an environment that supports the translation from CAD models to standard Modelica notation. This notation is then used for simulation and visualization. Assembly information is extracted from the CAD models, from which a Modelica model is generated. By solving equations expressed in Modelica, the system is simulated. A 3D visualization tool based on OpenGL visualizes expected and actual model behavior, as well as additional parameters. The environment has been applied for robot and flight simulation

  • 61.
    Engman, Måns
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Persson, Tommy
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Generating Parallel Graphics Code from Symbolic-algebra Specifications1998Konferansepaper (Fagfellevurdert)
  • 62.
    Engström, Kent
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Reitsma, Erik
    Ericsson Telecommunicatie, Rijen, The Netherlands .
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Benchmarking an intelligent network prototype implemented in parallel Erlang1996Inngår i: High-Performance Computing and Networking / [ed] Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot, Springer Berlin/Heidelberg, 1996, s. 905-906Konferansepaper (Fagfellevurdert)
    Abstract [en]

    We have adapted the Erlang language for MIMD computers using PVM for communication. We have then used an Erlang application, the Intelligent Network Prototype, to demonstrate the usefulness and performance of the Erlang version.

  • 63.
    Eriksson, Henrik
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Magnusson, Henrik
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Pop, Adrian Dan Iosif
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    3D Animation and Programmable 2D Graphics for Visualization of Simulations in OpenModelica2008Inngår i: Proceedings from the 49th Scandinavian Conference on Simulation and Modeling, 2008, www.scansims.org: Scandinavian Simulation Society , 2008, s. 10-Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper describes recent work on visualization of simulation results from simulating Modelica models in Open-Modelica. A new 3D graphics package with interactive animation and a new flexible programmable 2D graphicshave been added to OpenModelica. The 2D graphics package provides very flexible usage, either directly from asimulation, from the electronic book client OMNotebook, or programmable graphics, called directly from aModelica model.

  • 64.
    Fagerström, Johan
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Ringström, Johan
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Pettersson, Mikael
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    A Data-Parallel Language and its Compilation to a Formally Defined Intermediate Langauge1992Konferansepaper (Fagfellevurdert)
  • 65.
    Fernström, Anders
    et al.
    Linköpings universitet, Institutionen för medicin och hälsa.
    Axelsson, Ingemar
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap.
    Sandholm, Anders
    Linköpings universitet, Institutionen för datavetenskap.
    Interactive WYSIWYG Book Software for Teaching Programming2006Konferansepaper (Fagfellevurdert)
  • 66.
    Ferretti, Gianni
    et al.
    Politecn Milan, Italy.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Editorial Material: Special issue on object-oriented modelling and simulation in MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, vol 23, issue 3, pp 240-2422017Inngår i: Mathematical and Computer Modelling of Dynamical Systems, ISSN 1387-3954, E-ISSN 1744-5051, Vol. 23, nr 3, s. 240-242Artikkel i tidsskrift (Annet vitenskapelig)
    Abstract [en]

    n/a

  • 67.
    Fransson, Martin
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Lindqvist Appell, Malin
    Linköpings universitet, Institutionen för medicin och vård. Linköpings universitet, Hälsouniversitetet.
    Hindorf, Ulf
    Almer, Sven
    Linköpings universitet, Institutionen för klinisk och experimentell medicin, Gastroenterologi och hepatologi. Linköpings universitet, Hälsouniversitetet. Östergötlands Läns Landsting, Medicincentrum, Endokrin- och magtarmmedicinska kliniken US.
    Peterson, Curt
    Linköpings universitet, Institutionen för medicin och hälsa, Klinisk farmakologi. Linköpings universitet, Hälsouniversitetet. Östergötlands Läns Landsting, Kirurgi- och onkologicentrum, Onkologiska kliniken US.
    A preliminary study of modeling and simulation in individualized drug dosage – azathioprine on inflammatory bowel disease2007Inngår i: SIMS 2006: Proceedings of the 47th Conference on Simulation and Modelling, Helsinki, Finland, Helsinki: Kopio Niini Oy , 2007, s. 216-220Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Individualized drug dosage based on population pharmacokinetic/dynamic models is an important future technology used to reduce or eliminate side effects of certain drugs, e.g. cancer drugs. In this paper we report preliminary results from work-in-progress: a simplified linear model of the metabolism of a cancer treatment drug was estimated from experimental data. The model was then validated against the same data as a test of the adequacy of the model structure. From this investigation it became apparent that the model structure could not be used due to its inability to recreate the dynamic properties of the system.

  • 68.
    Fransson, Martin
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Gerdin, Markus
    Linköpings universitet, Institutionen för systemteknik, Reglerteknik. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Identification of a Nonlinear Cell Cycle System with Linear Models2005Inngår i: Proceedings of the Conference on Modeling and Simulation in Biology, Medicine and Biomedical EngineeringMay 26-27, 2005, Linköping, Sweden / [ed] Peter Fritzson, Linköping, 2005, s. 129-138Konferansepaper (Fagfellevurdert)
    Abstract [en]

    A mathematical model by Chen et al. representing the cell cycle of the budding yeast cell (Saccharomyces cerevisiae) is used to simulate levels of 13 different cell biological variables. By using a linear systems approach on the generated data the goal is to identify the original equations of the mathematical model. Since this model is described by a nonlinear system the linear systems approach only gives correct estimations of the linear parts of the system, with one exception. A main issue thus becomes to identify which data that belongs to the linear equations and which does not. This problem is solved using two local linear models on different time intervals. Parameter estimations of coefficients from linear and time invariant equations should be the same over all time intervals.

  • 69.
    Frenkel, Jens
    et al.
    Dresden University of Technology, Institute of Mobile Machinery and Processing Machines, Germany.
    Kunze, Günter
    Dresden University of Technology, Institute of Mobile Machinery and Processing Machines, Germany.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Sjölund, Martin
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Pop, Adrian
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Braun, Willi
    FH Bielefeld, University of Applied Sciences, Germany.
    Towards a Modular and Accessible Modelica Compiler Backend2011Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Modelica is well suited for modelling complex physical systems due to the acausal description it is using. The causalisation of the model is carried out prior to each simulation. A significant part of the causalisation process is the symbolic manipulation and optimisation of the model. Despite the growing interest in Modelica, the capabilities of symbolic manipulation and optimisation are not fully utilized. This paper presents an approach to increase the customisability, access, and reuse of symbolic optimisation by a more modular and flexible design concept. An overview of the common symbolic manipulation and optimisation algorithms of a typical Modelica compiler is presented as well as a general modular design concept for a Modelica compiler backend. The modularisation concept will be implemented in a future version of the OpenModelica compiler.

  • 70.
    Frenkel, Jens
    et al.
    Dresden University of Technology, Institute of Mobile Machinery and Processing Machines, Germany.
    Schubert, Christian
    Dresden University of Technology, Institute of Mobile Machinery and Processing Machines, Germany.
    Kunze, Günter
    Dresden University of Technology, Institute of Mobile Machinery and Processing Machines, Germany.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Sjölund, Martin
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Pop, Adrian
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Towards a Benchmark Suite for Modelica Compilers: Large Models2011Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The paper presents a contribution to a Modelica benchmark suite. Basic ideas for a tool independent benchmark suite based on Python scripting along with models for testing the performance of Modelica compilers regarding large systems of equation are given. The automation of running the benchmark suite is demonstrated followed by a selection of benchmark results to determine the current limits of Modelica tools and how they scale for an increasing number of equations.

  • 71.
    Fritzson, Dag
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Nordling, Patrik
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Persson, Tommy
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Rolling Bearing Simulation on MIMD Computers1997Inngår i: The international journal of high performance computing applications, ISSN 1094-3420, E-ISSN 1741-2846, Vol. 11, nr 4, s. 299-313Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Rolling bearing simulations are very computationally in tensive. Serial simulations may take weeks to execute, and there is a need to use the potential of parallel comput ing. The specific structure of the rolling bearing problem is used to develop suitable scheduling strategies. The authors discuss the system of stiff ordinary differential equations arising from a bearing model and show how to numerically solve these ordinary differential equations on parallel computers. Benchmarking results are presented for two test cases on three platforms.

  • 72.
    Fritzson, Dag
    et al.
    SKF Engineering & Research Centre .
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Viklund, Lars
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Object-Oriented Mathematical Modelling - Applied to Rolling Bearings1992Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Machine element analysis has the goal of describing functionality and other important aspects of machine elements in theoretical form. A rolling bearing is a typical example of a machine element. The first issue covered in this paper is how ideas from object-oriented programming and modelling can be applied to machine element analysis. The models thus obtained are easier to understand, better structured, and allow a higher degree of re-use than conventional models. Our conclusion is that an object-oriented model description is natural for the machine element analyst and is suitable for machine element analysis.

    An equational model of rolling bearings is presented in this paper. The structure of the model is general, in three dimensions, and applies to many types of rolling bearings. Part of this generality is obtained by using parametric surfaces. In order to keep the presentation of the model understandable, we have simplified many details. Nevertheless, the model and one solution require approximately 200+200 equations. The model is also extensible, e.g., simple submodels of detailed properties can be made more complex without altering the overall structure.

  • 73.
    Fritzson, Dag
    et al.
    SKF Engineering & Research Centre, Nieuwegein, The Netherlands.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Viklund, Lars
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Herber, Johan
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Object-Oriented Mathematical Modelling – Applied to Machine Elements1994Inngår i: Computers & structures, ISSN 0045-7949, E-ISSN 1879-2243, Vol. 51, nr 3, s. 241-253Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Machine element analysis has a goal of describing function and other aspects of machine elements in a theoretical form. This paper shows how ideas from object-oriented modelling can be applied to machine element analysis. The models thus obtained are both easier to understand, better structured, and allow a higher degree of re-use than conventional models. An object-oriented model description is natural and suitable for machine element analysis. As a realistic example an equational model of rolling bearings is presented. The structure of the model is general, and applies to many types of rolling bearings. The model and one solution require approximately 200 + 200 equations. The model is extensible, e.g. simple submodels of detailed properties can be made more complex without altering the overall structure. The example model has been implemented in a language of our own design, ObjectMath (Object-oriented Mathematical language for scientific computing). Using ObjectMath, it is possible to model classes of equation objects, to support multiple and single inheritance of equations, to support composition of equations, and to solve systems of equations. Algebraic transformations can conveniently be done since ObjectMath models are translated into the Mathematica computer algebra language. When necessary, equations can be transformed to C++ code for efficient numerical solution. The re-use of equations through inheritance reduced the size of the model by a factor of two, compared to a direct representation of the model in the Mathematica computer algebra language.

  • 74.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    A Common Intermediate Representation for C, Pascal, Modula-2 and Fortran-771986Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper reports on a unified abstract syntax tree representation, called CIR, which is a program representation for a multi-language environment. The languages in question are C, Pascal, Modula-2 and Fortran-77. Nodes in this intermediate representation usually correspond to syntactic constructs in these languages. It is also possible to reconstruct source text from the CIR representation.It proved possible to achieve a fairly high degree of uniformity in the intermediate representation for the expression and statement parts of these languages. However, the declaration structure proved to be much more irregular, especially for C and Fortran-77. Also, some statistics on different node classes is presented for the languages involved, and a comparison to Diana is done.

  • 75.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    A Systematic Approach to Advanced Debugging through Incremental Compilation1983Inngår i: SIGSOFT '83, 1983, s. 130-139Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper presents two topics: Implementation of a debugger through use of an incremental compiler, and techniques for fine-grained incremental compilation. Both the debugger and the compiler are components of the highly Integrated programming environment DICE (Distributed Incremental Compiling Environment) which alms at providing programmer support in the case where the programming environment resides in a host computer and the program. Is running on a target computer that is connected to the host.

  • 76.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Incremental Symbol Processing1988Inngår i: Compiler Compilers and High Speed Compilation / [ed] Dieter Hammer, Springer Berlin/Heidelberg, 1988, s. 11-38Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper introduces a novel entity-relational model for incremental symbol processing. This model forms the basis for the generation of efficient symbol processing mechanisms from high-level declarative specifications and query expressions, using program transformation techniques such as data type refinement.

  • 77.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Integrated UML-Modelica Model-Based Product Development for Embedded Systems in OPENPROD2010Konferansepaper (Fagfellevurdert)
  • 78.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Urquía Moraleda, Alfonso ()
    Universidad Nacional de Educación a Distancia, Madrid, España.
    Villa Ramírez, José Luis ()
    Campus Tecnológico Km 1, Via Turbaco Cartagena de Indias, Colombia.
    Introducción al Modelado y Simulación de Sistemas Técnicos y Físicos con Modelica2015Bok (Annet vitenskapelig)
    Abstract [es]

    Domine el modelamiento y simulación usando Modelica, el nuevo poderoso y altamente versátil lenguaje de modelamiento basado en objetos.

    Modelica, el nuevo lenguaje de modelamiento de software/hardware orientado a objetos que está ganando una rápida popularidad en el mundo entero, ofrece un acercamiento casi universal al modelamiento y simulación computacional de alto nivel. Modelica maneja un amplio rango de dominios de aplicación, por ejemplo, sistemas mecánicos, eléctricos, de control, y termodinámicos, y facilita el uso de notación general así como el uso de poderosas abstracciones e implementaciones eficientes. Usando el versátil lenguaje de Modelica y su tecnología asociada, este texto presenta un acercamiento orientado a objetos basado en componentes que le hace posible a los lectores dominar rápidamente las bases del modelamiento matemático basado en ecuaciones orientado a objetos (EOO por sus siglas en inglés) y simulación soportado por computadora.

    A través de este texto Modelica se usa para ilustrar los diferentes aspectos del modelamiento y la simulación. A la vez, se explican varios conceptos claves del lenguaje Modelica con el uso de ejemplos de modelamiento y simulación. Este libro:

    • Examina los conceptos básicos tales como sistemas, modelos y simulaciones
    • Guía al lector a través del lenguaje Modelica con la ayuda de varios ejemplos paso a paso
    • Introduce el concepto de la clase Modelica y su uso en el modelamiento gráfico y basado en texto.
    • Explora las metodologías de modelamiento para sistemas continuos, discretos e híbridos
    • Presenta una revisión de la Librería Estándar de Modelica y las librerías clave de modelos de Modelica

    Los lectores encontrarán una buena cantidad de ejemplos de modelos que simulan aplicaciones en distintos dominios así como ejemplos que combinan varios dominios. Todos los ejemplos y ejercicios en el texto están disponibles a través de DrModelica. Este programa de auto enseñanza electrónico, disponible gratuitamente en el sitio web  que acompaña al texto, guía a los lectores desde ejemplos introductorios y simples hasta ejercicios mas avanzados.

    Escrito por el Director del consorcio Open Source Modelica Consortium, Introducción al Modelamiento y Simulación de Sistemas Físicos y Técnicos con Modelica es un libro recomendado para ingenieros y estudiantes interesados en el diseño, modelamiento, simulación y análisis asistido por computador de sistemas técnicos y naturales. Partiendo de conceptos básicos, el texto es ideal para estudiantes quienes desean aprender del modelamiento y la simulación orientado a objetos.

    Este libro está enfocado en la enseñanza del modelamiento y simulación usando Modelica para principiantes, o en cursos donde hay limitado espacio de tiempo para una introducción a Modelica. Para un cubrimiento con mayor profundidad de este tópico se recomienda el libro Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach, el cual también incluye el material introductorio de este libro.

  • 79.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica2011Bok (Annet vitenskapelig)
    Abstract [en]

    Master modeling and simulation using Modelica, the new powerful, highly versatile object-based modeling language

    Modelica, the new object-based software/hardware modeling language that is quickly gaining popularity around the world, offers an almost universal approach to high-level computational modeling and simulation. It handles a broad range of application domains, for example mechanics, electrical systems, control, and thermodynamics, and facilitates general notation as well as powerful abstractions and efficient implementations. Using the versatile Modelica language and its associated technology, this text presents an object-oriented, component-based approach that makes it possible for readers to quickly master the basics of computer-supported equation-based object-oriented (EOO) mathematical modeling and simulation.

    Throughout the text, Modelica is used to illustrate the various aspects of modeling and simulation. At the same time, a number of key concepts underlying the Modelica language are explained with the use of modeling and simulation examples. This book:

    • Examines basic concepts such as systems, models, and simulations

    • Guides readers through the Modelica language with the aid of several step-by-step examples

    • Introduces the Modelica class concept and its use in graphical and textual modeling

    • Explores modeling methodology for continuous, discrete, and hybrid systems

    • Presents an overview of the Modelica Standard Library and key Modelica model libraries

    Readers will find plenty of examples of models that simulate distinct application domains as well as examples that combine several domains. All the examples and exercises in the text are available via DrModelica. This electronic self-teaching program, freely available on the text's companion website, guides readers from simple, introductory examples and exercises to more advanced ones.

    Written by the Director of the Open Source Modelica Consortium, Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica is recommended for engineers and students interested in computer-aided design, modeling, simulation, and analysis of technical and natural systems. By building on basic concepts, the text is ideal for students who want to learn modeling, simulation, and object orientation.

    This book is aimed at teaching Modelica modeling and simulation to beginners, or in courses where there is only limited time for an introduction to Modelica. For more in-dept coverage of this topic, the book Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach is recommended. That book also includes the introductory material of the small book.

    This book is aimed at teaching Modelica modeling and simulation to beginners, or in courses where there is only limited time for an introduction to Modelica.

    For more in-dept coverage of this topic, the book Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach is recommended. That book also includes the introductory material of the small book.

  • 80.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    MathModelica - An Object Oriented Mathematical Modeling and Simulation Environment2006Inngår i: The Mathematica journal, ISSN 1047-5974, E-ISSN 1097-1610, Vol. 10, nr 1, s. 187-264Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    MathModelica is an integrated interactive development environment for advanced object-oriented system modeling and simulation. The environment integrates Modelica-based modeling and simulation with graphic design, advanced scripting facilities, integration of program code, test cases, graphics, documentation, mathematical typesetting, and symbolic formula manipulation provided via Mathematica. The user interface consists of a graphical Model Editor and Mathematica notebooks. The Model Editor is a graphical user interface in which models can be assembled using components from a number of standard libraries representing different physical domains or disciplines, such as electrical, mechanics, block-diagram and multibody systems. The accessible MathModelica internal form allows the user to extend the system with new functionality, as well as to perform queries on the model representation and write scripts for automatic model generation. Furthermore, extensibility of syntax and semantics provides additional flexibility in adapting to unforeseen user needs.

  • 81.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
    Model-based development of sustainable cyber-physical systems including requirement formalization using the OpenModelica Model-based Development Toolkit2016Inngår i: ACM PROCCEDINGS OF THE 10TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE WORKSHOPS (ECSA-W), ASSOC COMPUTING MACHINERY , 2016Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Large-scale and increasingly software-defined systems in power and factory automation are very long-lived. Longevity requires sustainability-economically, environmentally and last but not least in terms of usability. Sustainability therefore requires continuous change. In this talk we look at handling requirements, models, and implementations in a model-driven formal way that lends itself to a more systematic change tracking than traditional software development approaches and languages, but that also crosses boundaries of software-controlled physical equipment models (so-called cyber-physical systems), distributed digital control (networked systems) and software services. The industry is currently seeing a rapid development of cyber-physical system products. The systems that are developed have increasing demands of sustainability, dependability and usability. Moreover, lead time and cost efficiency continue to be essential for industry competitiveness. Extensive use of modeling and simulation - Model-Based Systems Engineering (MBSE) tools - throughout the value chain and system life-cycle is one of the most important ways to effectively target these challenges. Simultaneously there is an increased interest in open source tools that allow more control of tool features and support, and increased cooperation and shared access to knowledge and innovations between organizations. In this talk we briefly present technology and open source tooling for MBSE based on the Modelica and UML standards, supported by tools such as OpenModelica and Papyrus respectively. Modelica is a modern, strongly typed, declarative, equation-based, and object-oriented language for modeling and simulation of complex cyber-physical systems, whereas UML is a wide-spread industrial standard for software modeling. We present the OpenModelica open source MBSE environment including the ModelicaML Eclipse plug-in integrating Modelica and UML, covering the development process starting from business processes, via requirements, to models, which can be compiled to simulations or to product code. An important question is whether a particular system design fulfills or violates requirements that are imposed on the system under development. We give examples of case studies starting with natural-language requirements and show briefly how they are translated into models. Then, designs and verification scenarios are modeled, and simulation models are composed and simulated automatically. The simulation results produced can then be used to draw conclusions on requirement fulfillment. Other features of the environment are meta modeling for efficient model transformations, the Functional Mockup Interface for general tool integration, model-based optimization, as well as generation of parallel code for multi-core architectures.

  • 82.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Modelica- A cyber-physical modeling language and the OpenModelica environment2011Inngår i: Wireless Communications and Mobile Computing Conference (IWCMC), 2011, IEEE , 2011, s. 1648-1653Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Modelica is a modern, strongly typed, declarative, equation-based, and object-oriented (EOO) language for modeling and simulation of complex cyber-physical systems. Major features are: ease of use, visual design of models with combination of lego-like predefined model building blocks, ability to define model libraries with reusable components, support for modeling and simulation of complex applications involving parts from several application domains, and many more useful facilities. This paper gives an overview of some aspects of the Modelica language and the OpenModelica environment - the most complete Modelica open-source tool for modeling, simulation, and development of Modelica applications. Special features are MetaModeling for efficient model transformations, the ModelicaML profile for UML-Modelica cyber-physical hardware-software modeling, as well as generation of parallel code for multi-core architectures.

  • 83.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Modelica—A language for equation-based physical modeling and high performance simulation1998Inngår i: Applied Parallel Computing Large Scale Scientific and Industrial Problems, Springer Berlin/Heidelberg, 1998, s. 149-160Konferansepaper (Fagfellevurdert)
    Abstract [en]

    A new language called Modelica for hierarchical physical modeling is developed through an international effort. Modelica 1.0 [http:// www.Dynasim.se/Modelica] was announced in September 1997. It is an object-oriented language for modeling of physical systems for the purpose of efficient simulation. The language unifies and generalizes previous object-oriented modeling languages and techniques.

    Compared to the widespread simulation languages available today this language offers two important advances: 1) non-causal modeling based on differential and algebraic equations; 2) multidomain modeling capability, i.e. it is possible to combine electrical, mechanical, thermodynamic, hydraulic etc. model components within the same application model.

    A class in Modelica may contain variables (i.e. instances of other classes), equations and local class definitions. The multi-domain capability is partly based on a notion of connectors, which are classes just like any other entity in Modelica.

    Simulation models can be developed using a graphical editor for connection diagrams. Connections are established just by drawing lines between objects picked from a class library. The Modelica model is translated into a set of constants, variables and equations. Equations are sorted and converted to assignment statements when possible. Strongly connected sets of equations are solved by calling a symbolic and/or numeric solver. The C/C++ code generated from Modelica models is quite efficient.

    High performance parallel simulation code can be obtained either at the coarse-grained level by identifying fairly independent submodels which are simulated in parallel, or at the fine-grained level by parallelizing on clustered expression nodes in the equation graph. Preliminary results using the coarse-grained approach have been obtained in an application on simulating an autonomous aircraft watching car traffic.

  • 84.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Preliminary Experience from the DICE System - A Distributed Incremental Compiling Environment1984Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The DICE system Is a highly Integrated programming environment which provides programmer support in the case where the programming environment resides in a host computer and the program Is running on a target computer that Is connected to the host. Such a system configuration is also suitable for remote debugging and maintenance of production versions of programs that has been installed in a user environment.The system contains tools such as an screen-oriented structure editor, a statement-level incremental compiler, a screen-oriented debugger and a program database. The debugger uses the same facility for pointing and display as does the editor, and it uses the incremental compiler for insertion of breakpoints and statement evaluation. Most of these tools are automatically generated from compact descriptions.This paper describes some aspects of a prototype version of the system and gives some preliminary data on the performance. Also, strategies for implementing portable programming environments are discussed and are exemplified by the DiCE system.

  • 85.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Principles of Object-Oriented Modeling and Simulation with Modelica 2.12004Bok (Annet vitenskapelig)
    Abstract [en]

    A timely introduction to the latest modeling and simulation techniques. Object-oriented modeling is a fast-growing area of modeling and simulation that provides a structured, computer-supported way of doing mathematical and equation-based modeling. Modelica is today's most promising modeling language in that it effectively unifies and generalizes previous object-oriented modeling languages and provides a sound basis for the basic concepts. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1 introduces the latest methods of object-oriented component-based system modeling and

  • 86.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan.
    Principles of object-oriented modeling and simulation with Modelica 3.3: a cyber-physical approach2015 (oppl. 2)Bok (Annet vitenskapelig)
    Abstract [en]

    The second edition features improvements and updates of the Modelica language including synchronous clocked constructs, examines basic concepts of cyber-physical, equation-based, object-oriented system modeling and simulation. Prof. Fritzson introduces the Modelica class concept and its use in graphical and textual modeling with several hundred examples from many application areas and explores modeling methodology for continuous, discrete, and hybrid systems; and more.

    This text is aimed at System Modeling and Simulation engineers, control engineers, mechanical engineers, those working with CAD (Computer Aided Design), virtual reality, biochemistry, embedded systems, and data communication.

    Fritzson covers the Modelica language in impressive depth from the basic concepts such as cyber-physical, equation-base, object-oriented, system, model, and simulation, while also incorporating over a hundred exercises and their solutions for a tutorial, easy-to-read experience.

    • The only book with complete Modelica 3.3 coverage
    • Over one hundred exercises and solutions
    • Examines basic concepts such as cyber-physical, equation-based, object-oriented, system, model, and simulation

  • 87.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Static and strong typing for extended Mathematica1997Inngår i: Innovation in Mathematics: Proceedings of the Second International Mathematica Symposium, 1997, s. 153-160Konferansepaper (Fagfellevurdert)
    Abstract [en]

    There are at least three reasons why a static type system is a useful extension to Mathematica: A type checker can find errors during software development in Mathematica; Object oriented typing is useful for handling complexity when building large applications or equation-based simulation models; Precise static type information is needed for efficient internal compilation of Mathematica as well as for automatic translation to efficient code in languages such as C++ or Fortran. This paper presents a short overview of the syntax and semantics as well as rationale for a static type system designed to be well integrated into Mathematica. A static type system makes it possible to find type errors in the whole program before execution starts, in contrast to the standard dynamic type checking of Mathematica which only finds type errors in parts of the program during execution. The type system includes basic types, array types, record types, typed variables, typed functions and object oriented constructs. The syntax of the type extensions is standard Mathematica, and the implementation is entirely within Mathematica.

  • 88.
    Fritzson, Peter
    Linköpings universitet.
    Symbolic Debugging through Incremental Compilation in an Integrated Environment1983Inngår i: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 3, nr 4, s. 285-294Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    It is demonstrated that fine-grained incremental compilation is a relevant technique when implementing powerful debuggers an incremental programming environments. A debugger and an incremental compiler for pascal has been implemented in the DICE system (Distributed Incremental Compiling environment). Incremental compilation is at the statement level which makes it useful for the debugger which also operates at the statement level. The quality of code produced by the incremental compiler approaches that required for production use. The algorithms involved an incremental compilation are not very complicated, but they require information that is easily available only in an integrated system, like DICE, where editor, compiler, linker, debugger and program data-base are well integrated into a single system. The extra information that has to be kept around, like the cross-reference database, can be used for multiple purposes, which makes total system economics favorable.

  • 89.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Systems and Tools for Exploratory Programming. Overview and Examples1986Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Exploratory programming may perhaps be regarded as a program development methodology. Systems supporting this methodology are characterized as being highly interactive and giving support for rapid program building, and ease of program modification and debugging. This is sometimes contrasted to more formal methodologies which emphasize that a program should be completely specified before it is implemented. The exploratory approach is motivated when we have insufficient knowledge about the application or about the interactions between the application and the environment. Powerful interactive programming environments are also necessary for efficient support and maintenance in the many cases where we have constantly changing requirements. Ideally we would like to merge the results from the formal school and the explorative school. We would like to build incremental programming environments which can support both maintenance of executable specifications and automatic transformation of these specifications into efficient executable code.

  • 90.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    The Architecture of an Incremental Programming Environment and some Notions of Consistency1985Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper outlines the architecture of an incremental programming environment which is based on compilation technology. The programming environment in question is called DICE, which is an abbreviation of Distributed Incremental Compiling Environment.The main purpose of the presentation is to introduce some notions which are relevant for such systems. In particular, the concept of Consistent Incremental Compilation is defined and the notion of Consistent Status is discussed in connection with mixed execution and program editing. These concepts are exemplified by the DICE system.

  • 91.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    The Modelica Object-Oriented Equation-Based Language and its OpenModelica Environment with MetaModeling, Interoperability, and Parallel Execution2010Inngår i: Simulation, Modeling, and Programming for Autonomous Robots, 2010, s. 5-14Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Modelica is a modern, strongly typed, declarative, equation-based, and object-oriented language for modeling and simulation of complex systems. Major features are: ease of use, visual design of models with combination of lego-like predefined model building blocks, ability to define model libraries with reusable components, support for modeling and simulation of complex applications involving parts from several application domains, and many more useful facilities. This paper gives an overview of some aspects of the Modelica language and the OpenModelica environment – an open-source environment for modeling, simulation, and development of Modelica applications. Special features are MetaModeling for efficient model transformations and prototype generation of parallel code for multi-core architectures. Ongoing work also include UML-Modelica integration and interoperability support through the new FMI standard.

  • 92.
    Fritzson, Peter
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Towards a distributed programming environment based on incremental compilation1984Doktoravhandling, med artikler (Annet vitenskapelig)
    Abstract [en]

    A Programming Environment is a system that provides computer assistance during software development and maintenance. The primary objective of this work concerns practically usable methods and tools in the construction of incremental and integrated programming environments that provide good support for debugging and testing of programs in a distributed context, in our case a host-target configuration. Such a system, called DICE-Distributed Incremental Compiling Environment, has been constructed and currently supports development of PASCAL programs. Three of the papers in this volume are concerned with this topic.

    It is demonstrated how powerful symbolic debuggers may be implemented with the aid of an incremental compiler. Methods for statement-level incremental compilation are described. Strategies suitable for implementing programming environments are discussed and exemplified by the DICE system. Some preliminary experience from the use of the prototype version of the DICE system is given. The concept of Consistent Incremental Compilation is defined, both informally and by algebraic methods. A semi-form al description of the architecture of the DICE system is presented. Many aspects of this system description are relevant for a large class of programming environments of this kind. Problems that arise from allowing mixed execution and program editing are also considered.

    One of the tools in a programming environment is the prettyprinter. The topic of the fourth paper is the automatic generation of prettyprinters. A language-independent algorithm for adaptive prettyprinting is described together with its application to ADA and PASCAL. Problems associated with the representation and prettyprinting of comments in abstract syntax trees are discussed together with some solutions.

  • 93.
    Fritzson, Peter
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Andersson, Niclas
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Generating parallel code from equations in the ObjectMath programming environments1993Inngår i: Parallel Computation / [ed] Jens Volkert, Springer Berlin/Heidelberg, 1993, s. 219-232Konferansepaper (Fagfellevurdert)
  • 94.
    Fritzson, Peter
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Aronsson, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Bunus, Peter
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Engelson, Vadim
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Saldamli, Levon
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Johansson, Henrik
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Karström, Andreas
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    The Open Source Modelica Project2002Inngår i: Proceedings from The 2nd International Modelica Conference was held March 18-19, 2002, Oberpfaffenhofen, Germany / [ed] Martin Otter, Modelica Association , 2002, s. 297-306Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The open source software movement has received enormous attention in recent years. It is often characterized as a fundamentally new way to develop software. This paper describes an effort to develop an open source Modelica environment  to  a  large  extent based on a formal specification of Modelica, coordinated by PELAB, Department of Computer and Information Science, Linköping University, Sweden. The current version of the system provides an efficient interactive computational environment for most of the expression, algorithm, and function parts of the Modelica language as well as an almost complete static semantics for Modelica 2.0.

    The longer-term goal is to provide reasonable simulation execution support, at least for less complex models, also for the equation part of Modelica which is the real essence of the language. People are invited to contribute to this open source project, e.g. to provide implementations of numerical algorithms as Modelica functions, add-on tools to the environment, or contributions to compiler itself. The source code of the tool components of the open source Modelica environment is available under the Gnu Public License, GPL. The library components are available under the same conditions as the standard Modelica library. The system currently runs under Microsoft Windows, Linux, and Sun Sparc Solaris. A benchmark example of running a simplex algorithm shows that the performance of the current system is close to the performance of handwritten C code for the same algorithm.

  • 95.
    Fritzson, Peter
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Aronsson, Peter
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Lundvall, Håkan
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Nyström, Kaj
    Linköpings universitet, Institutionen för datavetenskap.
    Pop, Adrian
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Saldamli, Levon
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Broman, David
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    The OpenModelica Modeling, Simulation, and Development Environment2005Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Modelica is a modern, strongly typed, declarative, and object-oriented language for modeling and simulation of complex systems. This paper gives a quick overview of some aspects of the OpenModelica environment – an open-source environment for modeling, simulation, and development of Modelica applications. An introduction of the objectives of the environment is given, an overview of the architecture is outlined and a number of examples are illustrated.

  • 96.
    Fritzson, Peter
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Auguston, Mikhail
    New Mexico State University, Las Cruces, New Mexico, USA.
    Shahmehri, Nahid
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Using Assertions in Declarative and Operational Models for Automated Debugging1992Konferansepaper (Fagfellevurdert)
    Abstract [en]

     This article presents an improved method for semiautomatic bug localization, by extending our previous generalized algorithm debugging technique, (GADT) [Fritzson et al. 1991], which uses declarative assertions about program units such as procedures and operational assertions about program behavior. For example, functional properties are best expressed through declarative assertions about procedure units, whereas order-dependent properties, or sequencing constraints in general, are more easily expressed using operational semantics. A powerful assertion language, called FORMAN, has been developed to this end. Such assertions can be collected into assertion libraries, which can greatly increase the degree of automation in bug localization. The long-range goal of this work is a semiautomatic debugging and testing system, which can be used during large-scale program development of nontrivial programs. To our knowledge, the extended GADT (EGADT) presented here is the first method that uses powerful operational assertions integrated with algorithmic debugging. In addition to providing support for local-level bug localization within procedures (which is not handled well by basic algorithmic debugging), the operational assertions reduce the number of irrelevant questions to the programmer during bug localization, thus further improving bug localization. A prototype of the GADT, implemented in PASCAL, supports debugging in a subset of Pascal. An interpreter of FORMAN assertions has also been implemented in PASCAL. During bug localization, both declarative and operational assertions are evaluated on execution traces.

  • 97.
    Fritzson, Peter
    et al.
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Auguston, Mikhail
    New Mexico State University, Las Cruces, USA.
    Shahmehri, Nahid
    Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan.
    Using assertions in declarative and operational models for automated debugging1994Inngår i: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 25, nr 3, s. 223-239Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    This article presents an improved method for semiautomatic bug localization, by extending our previous generalized algorithm debugging technique, (GADT) [Fritzson et al. 1991], which uses declarative assertions about program units such as procedures and operational assertions about program behavior. For example, functional properties are best expressed through declarative assertions about procedure units, whereas order-dependent properties, or sequencing constraints in general, are more easily expressed using operational semantics. A powerful assertion language, called FORMAN, has been developed to this end. Such assertions can be collected into assertion libraries, which can greatly increase the degree of automation in bug localization. The long-range goal of this work is a semiautomatic debugging and testing system, which can be used during large-scale program development of nontrivial programs. To our knowledge, the extended GADT (EGADT) presented here is the first method that uses powerful operational assertions integrated with algorithmic debugging. In addition to providing support for local-level bug localization within procedures (which is not handled well by basic algorithmic debugging), the operational assertions reduce the number of irrelevant questions to the programmer during bug localization, thus further improving bug localization. A prototype of the GADT, implemented in PASCAL, supports debugging in a subset of Pascal. An interpreter of FORMAN assertions has also been implemented in PASCAL. During bug localization, both declarative and operational assertions are evaluated on execution traces.

  • 98.
    Fritzson, Peter
    et al.
    Linköpings universitet.
    Berggren, Karl-Fredrik
    Linköpings universitet.
    A pseudopotential calculation of the density of states of expanded crystalline mercury1976Inngår i: Solid State Communications, ISSN 0038-1098, E-ISSN 1879-2766, Vol. 19, nr 4, s. 385-387Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    The first calculation of the density of states of expanded crystalline Hg is reported for the f.c.c., b.c.c., and s.c. structures in the density range ∼ 4–9 g/cm3. The calculations are based on Animalu's local pseudopotential. It is found that a band gap opens up at 6.5 g/cm3 for f.c.c., 5.5 g/cm3 for b.c.c., and 4 g/cm3 for s.c.

  • 99.
    Fritzson, Peter
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Broman, David
    Linköpings universitet, Institutionen för datavetenskap.
    Cellier, Francois
    Nytsch Geusen, Christoph
    Book Chapter: Workshop Reader of the Workshop EOOLT'2007 at ECOOP'2007, Object Oriented Technology2008Inngår i: Object-Oriented Technology. ECOOP 2007 Workshop Reader., Springer Verlag , 2008, s. 27-39Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 100.
    Fritzson, Peter
    et al.
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Broman, David
    Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
    Cellier, François
    ETH Zurich, Switzerland.
    Equation-based object-oriented languages and tools: Report on the 2nd workshop EOOLT at ECOOP 20082009Inngår i: Object-Oriented Technology. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports / [ed] Patrick Eugster, Springer Berlin/Heidelberg, 2009, 1, Vol. 5475 LNCS, s. 18-29Kapittel i bok, del av antologi (Annet vitenskapelig)
    Abstract [en]

    EOOLT2008 was the second edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) modeling languages and different application areas making use of such languages together. The aim of the workshop is to explore common grounds and derive software design principles that may make future EOO modeling languages more robust, more versatile, and more widely accepted among the various stakeholders. At EOOLT2008, researchers with diverse backgrounds and needs came together to present and discuss fourteen different concept papers grouped into the four topic areas of integrated system modeling approaches; modeling for multiple applications; modeling language design, and equation handling, diagnosis, and modeling.

123456 51 - 100 of 279
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf