The Experts below are selected from a list of 32814 Experts worldwide ranked by ideXlab platform

Martı´n Escardó - One of the best experts on this subject based on the ideXlab platform.

  • Operational Domain theory and topology of sequential programming languages
    Information & Computation, 2009
    Co-Authors: Martı´n Escardó
    Abstract:

    A number of authors have exported Domain-theoretic techniques from denotational semantics to the Operational study of contextual equivalence and order. We further develop this, and, moreover, we additionally export topological techniques. In particular, we work with an Operational notion of compact set and show that total programs with values on certain types are uniformly continuous on compact sets of total elements. We apply this and other conclusions to prove the correctness of non-trivial programs that manipulate infinite data. What is interesting is that the development applies to sequential programming languages, in addition to languages with parallel features.

  • LICS - Operational Domain theory and topology of a sequential programming language
    20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2005
    Co-Authors: Martı´n Escardó, H.w. Kin
    Abstract:

    A number of authors have exported Domain-theoretic techniques from denotational semantics to the Operational study of contextual equivalence and preorder. We further develop this, and, moreover, we additionally export topological techniques. In particular, we work with an Operational notion of compact set and show that total programs with values on certain types are uniformly continuous on compact sets of total elements. We apply this and other conclusions to prove the correctness of non-trivial programs that manipulate infinite data. What is interesting is that the development applies to sequential programming languages.

  • Operational Domain theory and topology of a sequential programming language
    Logic in Computer Science, 2005
    Co-Authors: Martı´n Escardó, H.w. Kin
    Abstract:

    A number of authors have exported Domain-theoretic techniques from denotational semantics to the Operational study of contextual equivalence and preorder. We further develop this, and, moreover, we additionally export topological techniques. In particular, we work with an Operational notion of compact set and show that total programs with values on certain types are uniformly continuous on compact sets of total elements. We apply this and other conclusions to prove the correctness of non-trivial programs that manipulate infinite data. What is interesting is that the development applies to sequential programming languages.

H.w. Kin - One of the best experts on this subject based on the ideXlab platform.

  • LICS - Operational Domain theory and topology of a sequential programming language
    20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2005
    Co-Authors: Martı´n Escardó, H.w. Kin
    Abstract:

    A number of authors have exported Domain-theoretic techniques from denotational semantics to the Operational study of contextual equivalence and preorder. We further develop this, and, moreover, we additionally export topological techniques. In particular, we work with an Operational notion of compact set and show that total programs with values on certain types are uniformly continuous on compact sets of total elements. We apply this and other conclusions to prove the correctness of non-trivial programs that manipulate infinite data. What is interesting is that the development applies to sequential programming languages.

  • Operational Domain theory and topology of a sequential programming language
    Logic in Computer Science, 2005
    Co-Authors: Martı´n Escardó, H.w. Kin
    Abstract:

    A number of authors have exported Domain-theoretic techniques from denotational semantics to the Operational study of contextual equivalence and preorder. We further develop this, and, moreover, we additionally export topological techniques. In particular, we work with an Operational notion of compact set and show that total programs with values on certain types are uniformly continuous on compact sets of total elements. We apply this and other conclusions to prove the correctness of non-trivial programs that manipulate infinite data. What is interesting is that the development applies to sequential programming languages.

Guido Ciraolo - One of the best experts on this subject based on the ideXlab platform.

  • DEMO reactor design using the new modular system code SYCOMORE
    Nuclear Fusion, 2015
    Co-Authors: Cédric Reux, Jérome Bucalossi, Guido Ciraolo, Luc Di Gallo, Frédéric Imbeaux, Jean-françois Artaud, P. Bernardi, Jean-luc Duchateau, C. Fausser, Davide Galassi
    Abstract:

    A demonstration power plant (DEMO) will be the next step for fusion energy following ITER. Some of the key design questions can be addressed by simulations using system codes. System codes aim to model the whole plant with all its subsystems and identify the impact of their interactions on the design choices. The SYCOMORE code is a modular system code developed to address key questions relevant to tokamak fusion reactor design. SYCOMORE is being developed within the European Integrated Tokamak Modelling framework and provides a global view (technology and physics) of the plant. It includes modules to address plasma physics, divertor physics, breeding blankets, shield design, magnet design and the power balance of plant. The code is coupled to an optimization framework which allows one to specify figures of merit and constraints to obtain optimized designs. Examples of pulsed and steady-state DEMO designs obtained using SYCOMORE are presented. Sensitivity to design assumptions is also studied, showing that the Operational Domain around working points can be narrow for some cases.

  • density regimes and heat flux deposition in the west shallow divertor configuration
    Contributions To Plasma Physics, 2014
    Co-Authors: Hugo Bufferand, Jérome Bucalossi, Guido Ciraolo, Nicolas Fedorczak, Philippe Ghendrih, R. Leybros, Yannick Marandet, Eric Serre, Patrick Tamain
    Abstract:

    To support ITER divertor design, the WEST project on Tore Supra aims at studying high heat fluxes on tungsten monoblock during long pulses. In that persective, a particular attention is paid to simulate the edge plasma interaction with complex PFCs using the transport code SOLEDGE2D-EIRENE. The plasma response to a heating and puffing scenario is described as well as the so-called divertor density regimes, characterizing the Operational Domain of the WEST divertor. These results are compared for two different magnetic configurations: a semi-open double null divertor with the X-point away from the target plates and a shallow divertor configuration with the X-point close to the targets. (© 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

  • Density regimes and heat flux deposition in the WEST shallow divertor configuration
    Contributions to Plasma Physics, 2014
    Co-Authors: Hugo Bufferand, Jérome Bucalossi, Guido Ciraolo, Nicolas Fedorczak, Philippe Ghendrih, R. Leybros, Yannick Marandet, Eric Serre, Patrick Tamain
    Abstract:

    To support ITER divertor design, the WEST project on Tore Supra aims at studying high heat fluxes on tungsten monoblock during long pulses. In that persective, a particular attention is paid to simulate the edge plasma interaction with complex PFCs using the transport code SOLEDGE2D-EIRENE. The plasma response to a heating and puffing scenario is described as well as the so-called divertor density regimes, characterizing the Operational Domain of the WEST divertor. These results are compared for two different magnetic configurations: a semi-open double null divertor with the X-point away from the target plates and a shallow divertor configuration with the X-point close to the targets.

Jérome Bucalossi - One of the best experts on this subject based on the ideXlab platform.

  • DEMO reactor design using the new modular system code SYCOMORE
    Nuclear Fusion, 2015
    Co-Authors: Cédric Reux, Jérome Bucalossi, Guido Ciraolo, Luc Di Gallo, Frédéric Imbeaux, Jean-françois Artaud, P. Bernardi, Jean-luc Duchateau, C. Fausser, Davide Galassi
    Abstract:

    A demonstration power plant (DEMO) will be the next step for fusion energy following ITER. Some of the key design questions can be addressed by simulations using system codes. System codes aim to model the whole plant with all its subsystems and identify the impact of their interactions on the design choices. The SYCOMORE code is a modular system code developed to address key questions relevant to tokamak fusion reactor design. SYCOMORE is being developed within the European Integrated Tokamak Modelling framework and provides a global view (technology and physics) of the plant. It includes modules to address plasma physics, divertor physics, breeding blankets, shield design, magnet design and the power balance of plant. The code is coupled to an optimization framework which allows one to specify figures of merit and constraints to obtain optimized designs. Examples of pulsed and steady-state DEMO designs obtained using SYCOMORE are presented. Sensitivity to design assumptions is also studied, showing that the Operational Domain around working points can be narrow for some cases.

  • density regimes and heat flux deposition in the west shallow divertor configuration
    Contributions To Plasma Physics, 2014
    Co-Authors: Hugo Bufferand, Jérome Bucalossi, Guido Ciraolo, Nicolas Fedorczak, Philippe Ghendrih, R. Leybros, Yannick Marandet, Eric Serre, Patrick Tamain
    Abstract:

    To support ITER divertor design, the WEST project on Tore Supra aims at studying high heat fluxes on tungsten monoblock during long pulses. In that persective, a particular attention is paid to simulate the edge plasma interaction with complex PFCs using the transport code SOLEDGE2D-EIRENE. The plasma response to a heating and puffing scenario is described as well as the so-called divertor density regimes, characterizing the Operational Domain of the WEST divertor. These results are compared for two different magnetic configurations: a semi-open double null divertor with the X-point away from the target plates and a shallow divertor configuration with the X-point close to the targets. (© 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

  • Density regimes and heat flux deposition in the WEST shallow divertor configuration
    Contributions to Plasma Physics, 2014
    Co-Authors: Hugo Bufferand, Jérome Bucalossi, Guido Ciraolo, Nicolas Fedorczak, Philippe Ghendrih, R. Leybros, Yannick Marandet, Eric Serre, Patrick Tamain
    Abstract:

    To support ITER divertor design, the WEST project on Tore Supra aims at studying high heat fluxes on tungsten monoblock during long pulses. In that persective, a particular attention is paid to simulate the edge plasma interaction with complex PFCs using the transport code SOLEDGE2D-EIRENE. The plasma response to a heating and puffing scenario is described as well as the so-called divertor density regimes, characterizing the Operational Domain of the WEST divertor. These results are compared for two different magnetic configurations: a semi-open double null divertor with the X-point away from the target plates and a shallow divertor configuration with the X-point close to the targets.

Daniel Pfeiffer - One of the best experts on this subject based on the ideXlab platform.

  • constructing comparable conceptual models with Domain specific languages
    European Conference on Information Systems, 2007
    Co-Authors: Daniel Pfeiffer
    Abstract:

    The scientific discussion on the comparison of conceptual models has mainly focused on existing modelling artefacts so far. Only minimal assumptions are made on the underlying modelling languages. However, we argue that if models are constructed with a particular type of language the model comparison process can be significantly simplified. For this purpose we introduce the class of Operational Domain specific languages. We formally show that with this language class: (1) type, synonym, homonym, and abstraction conflicts are eliminated as well as (2) the semantic model comparison can be traced back to the syntactic one. Based on the conceptual modelling language PICTURE we demonstrate that advanced semantical operations are facilitated by this language class.

  • ECIS - Constructing Comparable Conceptual Models with Domain Specific Languages
    2007
    Co-Authors: Daniel Pfeiffer
    Abstract:

    The scientific discussion on the comparison of conceptual models has mainly focused on existing modelling artefacts so far. Only minimal assumptions are made on the underlying modelling languages. However, we argue that if models are constructed with a particular type of language the model comparison process can be significantly simplified. For this purpose we introduce the class of Operational Domain specific languages. We formally show that with this language class: (1) type, synonym, homonym, and abstraction conflicts are eliminated as well as (2) the semantic model comparison can be traced back to the syntactic one. Based on the conceptual modelling language PICTURE we demonstrate that advanced semantical operations are facilitated by this language class.