Towards model checking electrum specifications with LTSmin

Dissertação de mestrado integrado em Engenharia InformáticaModel checking é uma técnica comum de verificação; garante a consistência e integridade de qualquer sistema fazendo uma exploração exaustiva de todos os possíveis estados. Devido à grande quantidade de intercalações possíveis entre eventos, modelos de sistemas distribuídos muitas vezes acabam por gerar um número de estados muito grande. Nesta dissertação vamos explorar os efeitos de partial order reduction — uma técnica para mitigar os efeitos da explosão de estados — implementando uma linguagem semelhante ao Electrum com LTSmin. Vamos também propor um event layer por cima do Electrum e uma análise sintática para extrair informação necessária para que esta técnica possa ser implementada.Model checking is a common verification technique to guarantee the consistency and integrity of any system by an exhaustive exploration of all possible states. Due to the large amount of interleavings, models on distributed systems often end up with a huge state-space. In this dissertation we will explore the effects of partial order reduction — a technique to mitigate the effects of this state-explosion problem — by implementing an electrum-like language with LTSmin. We will also propose an event layer over Electrum and a syntactic analysis to extract valuable information for this technique to be implemented.This work is financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER-01682

The role of emotions mediating decision-making among successful poker players

Thesis (Ed.D.)--Boston UniversityThis study was designed to explore the role of emotions mediating the decision-making process in poker. The research questions included: (1) What emotions are reported by poker players? (2) What are the poker-related predictors of the reported emotions? (3) How do the reported emotions influence decision-making? A qualitative approach was chosen for the eight intermediate poker players in the study. Data analyzed according to content analysis derived from semi-structured retrospective interviews and a think aloud protocol offered evidence that emotions impacted the decision-making process of intermediate poker players. Six distinct emotions were found to influence the decision-making process in poker: Pride, excitement, happiness, anxiety, frustration, and anger. Findings confirmed prior research of the role of frustration and anger in influencing suboptimal decision-making. Three main findings deviated from previous research: Positive emotions of pride and excitement were found to impact suboptimal decision-making, the negative emotion of anxiety was found to impact optimal decision-making, and the role of experience facilitated a healthier interpretation of, and reaction to, multiple emotions. The findings in this study provide practical and academic applications for researchers, poker players, and poker consultants. A number of different directions for future research are suggested, including more observation of naturalistic poker play, using real money for naturalistic poker play, and comparing the emotional experience of different stratum of experts and intermediates. Poker players could improve profit margins through using more active, facilitative forms of coping for strong emotional reactions, while poker consultants could help clients in proactively entering emotional zones that facilitate optimal decision-making.2024-09-3

FIELD, Issue 48, Spring 1993

https://digitalcommons.oberlin.edu/field/1044/thumbnail.jp