Filters








6,762 Hits in 2.6 sec

Evaluation of the Moroccan Power Grid Adequacy with Introduction of Concentrating Solar Power (CSP) Using Solar Tower and Parabolic Trough Mirrors Technology

Mohamed Oukili, Smail Zouggar, Mohammed Seddik, François Vallée, Mohamed El hafyani, Taoufik Ouchbel
2013 Energy Procedia  
simulation in which CSP units (with parabolic through mirrors and with Solar tower) are introduced.  ...  Therefore, in this work, firstly, we assess the reliability of the Moroccan grid at hierarchical level HL1 (HL1: load covering under the assumption of infinite node) by use of a non-sequential Monte Carlo  ...  Conclustion In this paper, we firstly evaluated the reliability of the Moroccan grid with CSP integration (with parabolic trough mirrors and with solar tower) for the hierarchical level HL1 (HL1) using  ... 
doi:10.1016/j.egypro.2013.11.011 fatcat:onlhrdvxyze6pk45qhlkm3kjmy

A Hierarchical Game with Strategy Evolution for Mobile Sponsored Content and Service Markets [article]

Wenbo Wang and Zehui Xiong and Dusit Niyato and Ping Wang and Zhu Han
2018 arXiv   pre-print
In this paper, we study the interactions among the three parties in the market, namely, the mobile users, the content/service providers and the network operator, as a two-level game with multiple Stackelberg  ...  search for their best-response with respect to the MU population states.  ...  Note that the delay for the population states may potentially be asymmetric due to the variation of (side) information propagation for the service associated with different CSPs.  ... 
arXiv:1806.11264v1 fatcat:varbuaz7rffrpc4nzlzhp6rwrq

Proteus: A Hierarchical Portfolio of Solvers and Transformations [article]

Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan
2014 arXiv   pre-print
In this paper, we leverage advances in both SAT and CSP solving to present a novel hierarchical portfolio-based approach to CSP solving, which we call Proteus, that does not rely purely on CSP solvers.  ...  In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common. There are also a number of different encodings for representing CSPs as SAT instances.  ...  Consider a simple csp with three variables X = {X, Y, Z}, each with domain 1, 2, 3 .  ... 
arXiv:1306.5606v2 fatcat:5x4x3svdavemdjkjrxljqhsapy

Proteus: A Hierarchical Portfolio of Solvers and Transformations [chapter]

Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan
2014 Lecture Notes in Computer Science  
In this paper, we leverage advances in both SAT and CSP solving to present a novel hierarchical portfolio-based approach to CSP solving, which we call Proteus, that does not rely purely on CSP solvers.  ...  In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common. There are also a number of different encodings for representing CSPs as SAT instances.  ...  Consider a simple csp with three variables X = {X, Y, Z}, each with domain 1, 2, 3 .  ... 
doi:10.1007/978-3-319-07046-9_22 fatcat:5brcnwy2hrcv3o4mqizj225d5a

N-PAT: A Nested Model-Checker [chapter]

Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gore, Zhé Hóu, Brendan Mahony, Jim McCarthy
2020 Lecture Notes in Computer Science  
Traditional Method: We shall formalise the above as a Markov chain in CSP#, and we have to define the state transitions for both types of nodes.  ...  This structural abstraction provides modellers with the ability to structure the verification and guide the state-space exploration of model-checking methods, it also provides significant benefits in term  ... 
doi:10.1007/978-3-030-51054-1_22 fatcat:gcgpfqfahbbajooz3wiju3urue

N-PAT: A Nested Model-Checker [article]

Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gore, Zhé Hóu, Brendan Mahony, Jim McCarthy
2020 arXiv   pre-print
Traditional Method: We shall formalise the above as a Markov chain in CSP#, and we have to define the state transitions for both types of nodes.  ...  This structural abstraction provides modellers with the ability to structure the verification and guide the state-space exploration of model-checking methods, it also provides significant benefits in term  ... 
arXiv:2005.05520v1 fatcat:eir62fccsng5zovbajcy2zagsy

A model checking framework for hierarchical systems

Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong
2011 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)  
Users can model the system by first drawing the primitive components as finite state machines and then composing them with CSP# operators.  ...  Moreover, a system modeling language, called CSP#, is also provided to define the system hierarchically. A CSP# model may contain multiple process definitions.  ... 
doi:10.1109/ase.2011.6100143 dblp:conf/kbse/NguyenSLD11 fatcat:ixrgmmbqsrasfmtjyer4o57ofu

Parameter synthesis for hierarchical concurrent real-time systems

Étienne André, Yang Liu, Jun Sun, Jin-Song Dong
2014 Real-time systems  
Consider that timing constants are unknown constants (parameters) Find good values for the parameters Parameter synthesis Parameter Synthesis Made Easy Parametric Stateful Timed CSP An intuitive  ...  Robustness: What happens if 50 is implemented with 49.99?  ... 
doi:10.1007/s11241-014-9208-6 fatcat:eoy4m3ga65eergp6mp32v2iz4m

Hierarchical Graphical Models for Context-Aware Hybrid Brain-Machine Interfaces [article]

Ozan Ozdenizci, Sezen Yagmur Gunay, Fernando Quivira, Deniz Erdogmus
2018 arXiv   pre-print
We present a novel hierarchical graphical model based context-aware hybrid brain-machine interface (hBMI) using probabilistic fusion of electroencephalographic (EEG) and electromyographic (EMG) activities  ...  Based on experimental data collected during stationary executions and subsequent imageries of five different hand gestures with both limbs, we demonstrate feasibility of the proposed hBMI system through  ...  Common spatial patterns (CSP) algorithm and its filter bank CSP extensions (FBCSP) are state-of-the-art methods used for spatial filtering of EEG signals in the context of BCIs [15] , [16] .  ... 
arXiv:1809.05635v1 fatcat:wfl6daliabgifd2i354zgzzlui

Hierarchical Graphical Models for Context-Aware Hybrid Brain-Machine Interfaces

Ozan Ozdenizci, Sezen Yagmur Gunay, Fernando Quivira, Deniz Erdogmug
2018 2018 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)  
We present a novel hierarchical graphical model based context-aware hybrid brain-machine interface (hBMI) using probabilistic fusion of electroencephalographic (EEG) and electromyographic (EMG) activities  ...  Based on experimental data collected during stationary executions and subsequent imageries of five different hand gestures with both limbs, we demonstrate feasibility of the proposed hBMI system through  ...  Common spatial patterns (CSP) algorithm and its filter bank CSP extensions (FBCSP) are state-of-the-art methods used for spatial filtering of EEG signals in the context of BCIs [15] , [16] .  ... 
doi:10.1109/embc.2018.8512677 pmid:30440783 pmcid:PMC6525618 fatcat:z3y2xpq3rfelpbc2owoux7pxty

A Fast Network Flows Heuristic for Cell Suppression in Positive Tables [chapter]

Jordi Castro
2004 Lecture Notes in Computer Science  
We report an extensive computational experience in the solution of two-dimensional tables, either with or without hierarchical rows, of up to 250000 and 500000 cells, respectively.  ...  Section 2 outlines the formulation of CSP. Section 3 briefly shows how to model a two-dimensional table with at most one hierarchical dimension as a network.  ...  The minimum-cost network flows subproblems were solved with the network simplex option of CPLEX 7.5, a state-of-the-arc implementation.  ... 
doi:10.1007/978-3-540-25955-8_11 fatcat:xn7k6crhurdkvmsk7htcugrjr4

Modeling and verifying hierarchical real-time systems using stateful timed CSP

Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André
2013 ACM Transactions on Software Engineering and Methodology  
Stateful Timed CSP is based on Timed CSP and is capable of specifying hierarchical real-time systems.  ...  The de facto approach is based on Timed Automata, which are finite state automata equipped with clock variables. Timed Automata are deficient in modeling hierarchical complex systems.  ...  -We propose a language named Stateful Timed CSP to model hierarchical real-time systems.  ... 
doi:10.1145/2430536.2430537 fatcat:awv6tpfwzzgefeyi3x4cpaidbi

Synthesis and Consistency Verification of UML Sequence Diagrams with Hierarchical Structure

Tomoyuki Yokogawa, Akira Matsumoto, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto
2020 Information Engineering Express  
Although formalization of state machine diagrams with hierarchical structure has been widely treated, it is not yet sufficient for sequence diagrams.  ...  In this paper, we propose an automatic method for verifying the consistency between state machine diagrams and sequence diagrams with a hierarchical structure.  ...  Such models often have a hierarchical structure. There are several studies that provide formalisms for a state machine diagram with a hierarchical structure. André et al.  ... 
doi:10.52731/iee.v6.i2.529 fatcat:33nwfr7mvjbjvfzq7jkzpxdtx4

Page 210 of Distributed Computing Vol. 4, Issue 4 [page]

1991 Distributed Computing  
There is a good reason for finding such techniques: a straightforward proof of deadlock-freedom must take into account all possible states of a system; in a network with many processes the set of states  ...  Section 5 gives elementary results on deadlock analy¬ sis, including simple but very useful techniques involving the interaction of the CSP hiding operation with dead¬ lock.  ... 

Hierarchical Hybrid Planning in a Mobile Service Robot [chapter]

Sebastian Stock, Masoumeh Mansouri, Federico Pecora, Joachim Hertzberg
2015 Lecture Notes in Computer Science  
Planning with diverse knowledge, i.e., hybrid planning, is essential for robotic applications. However, powerful heuristics are needed to reason efficiently in the resulting large search spaces.  ...  HTN planning provides a means to reduce the search space; furthermore, meta-CSP search has shown promise in hybrid domains, both wrt. search and online plan adaptation.  ...  [5] integrate task and motion planning with a hierarchical planner.  ... 
doi:10.1007/978-3-319-24489-1_28 fatcat:tcdqdkx7e5cw3nms6q52qyfuwq
« Previous Showing results 1 — 15 out of 6,762 results