Umeå University's logo

umu.sePublikasjoner
Endre søk
Begrens søket
1 - 6 of 6
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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.
  • 1.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Johansson, Mats
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Karlsson, Johan
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Åström, Rickard
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    BPMN and its semantics for information management in emergency care2009Inngår i: ICCIT '09. Fourth International Conference on Computer Sciences and Convergence Information Technology, 2009, IEEE Computer Society, 2009, s. 273-278Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Emergency and crisis response such as appearing in large traffic accident management involves coordination of emergency and rescue services and police. The management of information is a complex task where decision support on site and distance management requires a well-founded understanding of the underlying processes. The Business Process Modeling Notation (BPMN) is used for encoding processes related to emergency medical services. BPMN is basically a syntax where the semantic part is left to be specified by the applications. Our approach to semantics is drawn from categorical approaches to representing signatures and generalized terms. In particular, monads over Set, the category of sets, composed with the term monad (over Set) turn out to be useful for modeling uncertainties both with respect to representation of observations as well as time. BPMN Flow Objects, Connecting Objects as well as Artifacts are represented as suitable morphisms in the underlying categories enabled by the monadic instrumentation.

  • 2.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Johansson, Mats
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Kortelainen, Jari
    South-Eastern Finland University of Applied Sciences, Finland.
    Salminen, Vesa
    Häme University of Applied Sciences, Finland.
    The logic of DSM2017Inngår i: Understand, Innovate, and Manage your Complex System!: Proceedings of the 19th International DSM Conference / [ed] Katja Hölttä-Otto; Tyson R. Browning; Steven D. Eppinger; Lucía Becerril, 2017, s. 25-31Konferansepaper (Fagfellevurdert)
    Abstract [en]

    In this paper we propose a logical enrichment DSM so that design structure is described in a logical language rather than as an unstructured relation. We further show how DSM potentially can embrace languages and notations that support modelling of information and process.

  • 3.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Johansson, Mats
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Löfstrand, Magnus
    Örebro universitet.
    Winter, Michael
    Brock University.
    Many-Valued and Many-Sorted Structure Relations2019Inngår i: DS 97: Proceedings of the 21st International DSM Conference (DSM 2019), Monterey, California, September 23rd - 25th 2019 / [ed] Harold (Mike) Stowe; Tyson R. Browning; Steven D. Eppinger; Jintin Tran; Paulo Montijo, München: The Design Society , 2019, Vol. 97, s. 141-150Konferansepaper (Fagfellevurdert)
    Abstract [en]

    System-of-systems engineering and related models of engineering design require intertwining of structures, respectively, at least for components in products, engineering and business activities, and people involved in those activities as also specifically connected with production and its management. In this paper we describe the logical machinery of system-of-systems engineering and related models of engineering design in sufficient so as to enable to describe the algebraic foundation of the many-valued logic that is inherent in these systems and structures. We are thus essentially unravelling the hidden and underlying logic of these systems and their related information and process structures, focusing on interaction between elements of the system.

  • 4.
    Johansson, Mats
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    A Digital Twin for Risk Modeling and Decision-Support in a Smart Energy Grid2020Inngår i: DS 103: Proceedings of the 22nd International DSM Conference (DSM 2020), MIT, Cambridge, Massachusetts, October 13th - 15th 2020 / [ed] Harold (Mike) Stowe; Tyson R. Browning; Steven D. Eppinger; Jakob Trauer, München: The Design Society , 2020, Vol. 103, s. 135-143Konferansepaper (Fagfellevurdert)
    Abstract [en]

     In this paper we use electrical grids and the energy market as a system-ofsystems example including both digital twins simulating physical systems as well as energy distribution and the market constrained by laws and regulations. We show how activity processes and design structures can be viewed as having a common qualification modeling framework based on lattice-valuations. BPMN  networks to are shown to resemblance DSM structures.

  • 5.
    Johansson, Mats
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Kortelainen, Jari
    South-Eastern Finland University of Applied Sciences, Mikkeli, Finland.
    Winter, Michael
    Brock University, Department of Computer Science, St. Catharines, Ontario, Canada .
    The Algebra, Logic and Topology of System-of-Systems2018Inngår i: Proceedings of the 20th International Dependency and Structure Modeling (DSM) Conference: Trieste (Italy), 15 – 17 October 2018 / [ed] Carlo Leardi, Tyson R. Browning, Steven D. Eppinger, Lucía Becerril, DSM , 2018, Vol. 20, s. 195-202Konferansepaper (Fagfellevurdert)
    Abstract [en]

    In this paper we propose an information structure enrichment of relational models underlying design structure models typically used in System-ofSystems. Such design structures are algebraically, logically and topologically mostly unstructured relations as treated within naïve set theory. The paper also aims to show how an enriched information structure can be applied to monitor the health status of a System-of-System as an alternative to fault trees.

    Fulltekst (pdf)
    fulltext
  • 6. Kristensen, Ingrid
    et al.
    Johansson, Mats
    Umeå universitet, Teknisk-naturvetenskaplig fakultet, Institutionen för datavetenskap.
    Lindh, Jack
    Umeå universitet, Medicinsk fakultet, Strålningsvetenskaper, Onkologi. Onkologi.
    Nilsson, Per
    Karlsson, Mikael
    Umeå universitet, Medicinsk fakultet, Strålningsvetenskaper, Radiofysik. Radiofysik.
    Barnradioterapi på distans2006Inngår i: Läkartidningen, Vol. 103, nr 15-16, s. 1188-1190Artikkel i tidsskrift (Fagfellevurdert)
1 - 6 of 6
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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