Dissertations / Theses on the topic 'Transactional model of stress'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Transactional model of stress.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Newness, Kerry A. "Stress and Coping Style: An Extension to the Transactional Cognitive-Appraisal Model." FIU Digital Commons, 2011. http://digitalcommons.fiu.edu/etd/346.
Full textLopez, Jody D. "HEALTHY AND MALADAPTIVE COPING STRATEGIES AMONG MASTER OF SOCIAL WORK STUDENTS." CSUSB ScholarWorks, 2014. https://scholarworks.lib.csusb.edu/etd/23.
Full textRoberts, Polly Sheffield. "Alleviating Stress in Clergy Wives: The Development and Formative Evaluation of a Psychoeducational Group Intervention." Diss., Virginia Tech, 2004. http://hdl.handle.net/10919/27362.
Full textPh. D.
Harris-Dale, Gillian. "Constructs of Coping for Adult Victims of Bullying." ScholarWorks, 2020. https://scholarworks.waldenu.edu/dissertations/7970.
Full textBruursema, Kari. "Leadership Style and the Link with Counterproductive Work Behavior (CWB): An Investigation Using the Job-Stress/CWB Model." [Tampa, Fla.] : University of South Florida, 2004. http://purl.fcla.edu/fcla/etd/SFE0001015.
Full textMawdsley, Helena Pan. "The Transactional Relation between Child Behavior Problems and Parenting Stress and the Impact of Coping and Social Support within Families who have Children with Developmental Disabilities." Thesis, Boston College, 2010. http://hdl.handle.net/2345/1567.
Full textThis study is a secondary data analysis of data from the Early Intervention Collaborative Study (EICS) (Hauser-Cram, Warfield, Shonkoff, & Krauss, 2001), a longitudinal investigation of families who have children with developmental disabilities (DD) (i.e. Down syndrome, motor impairment, and developmental delay). The study investigated a transactional relation between child problem behavior and parenting stress during the early (ages 3 to 5 years) and middle childhood (ages 5 to 10 years) years. Parental planful problem solving coping and positive reappraisal coping and the helpfulness of social support were examined as moderators of the relation between child problem behavior and parenting stress from the ages 3 to 5 years. Child problem behavior and parents' levels of stress, coping strategies, and ratings of social support were collected during home visits with the families when children were 3, 5, and 10 years. Using hierarchical regression techniques a transactional relation was found between child problem behavior and parenting stress from ages 3 to 5 years for both mother-child and father-child dyads. A transactional relation was again found between these constructs from ages 5 to 10 years for only mother-child dyads. Maternal positive reappraisal coping significantly moderated the relation between child problem behavior and maternal parenting stress. Maternal report of the helpfulness of social support significantly moderated the relation between child behavior and parenting stress at both the early and middle childhood levels. The findings support the design of familial interventions. Interventions that promote adaptive coping strategies may be particularly helpful for families of children with DD who exhibit high levels of problem behavior. Finally, improving the helpfulness of current support systems may positively impact parents' stress who have children with developmental disabilities
Thesis (PhD) — Boston College, 2010
Submitted to: Boston College. Lynch School of Education
Discipline: Counseling, Developmental, and Educational Psychology
Hulbert-Williams, Nicholas James. "Systematic review and empirical investigation of adjustment to cancer diagnosis : predicting clinically relevant psychosocial outcomes and testing Lazarus's Transactional Model of stress." Thesis, Cardiff University, 2009. http://orca.cf.ac.uk/55823/.
Full textBroadnax, Sonya Kali. "Role of Coping Self-Efficacy in Working Mothers' Management of Daily Hassles and Health Outcomes." ScholarWorks, 2016. https://scholarworks.waldenu.edu/dissertations/2639.
Full textCesareo, Jacqueline M. "Psychosocial stress and health-related outcomes in chronic childhood asthma : using a biopsychosocial approach to understand transactional relationships across childhood and adolescence." University of Western Australia. School of Psychology, 2007. http://theses.library.uwa.edu.au/adt-WU2007.0077.
Full textEkholm, Julia, and Olivia Holmgren. "Kämpa, fly eller ta en snus : Skillnader och likheter mellan och inom könens skolrelaterade stress och stresshantering." Thesis, Linnéuniversitetet, Institutionen för idrottsvetenskap (ID), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-80257.
Full textThe purpose of this study is to examine students experienced stress and their ways of coping with that stress using coping strategies, which is later also put in relation to biological sex. The study is using a mixed method in the form of an electronic questionnaire. The results of this study turned out to deviate from previous research, which leads to interesting analyzes and discussions. One of these results is the boys’ usage of emotion-focused coping methods, which otherwise is fewer than the girls. Another interesting and deviating result is the stress levels within the girls’ group, since it turns out that girls who attend a profession-based program are more stressed, percentage wise, than the girls who attend a college-based program.
Tatjana, Knežević. "Odnos profesionalnog i životnog stila zaposlenih i stila upravljanja organizacijom." Phd thesis, Univerzitet u Novom Sadu, Fakultet tehničkih nauka u Novom Sadu, 2016. http://www.cris.uns.ac.rs/record.jsf?recordId=101396&source=NDLTD&language=en.
Full textModern organizations in their everyday care for the fulfillment of the goalsincreasingly expect from their employees, especially managers, to beexclusively committed to the organization and its success. The aim of thispaper is to present the conceptual and theoretical issues related toconnectivity management styles and stress at work with managers, a groupthat includes the definition of these terms and their delimitation from relatedconcepts, with a management style viewed from the standpoint of situationalleadership model developed by Hersеy and Blanchard, and stress from theviewpoint of transactional theory of stress.
Briercliffe, Creagh. "Poisson Process Infinite Relational Model : a Bayesian nonparametric model for transactional data." Thesis, University of British Columbia, 2016. http://hdl.handle.net/2429/58921.
Full textScience, Faculty of
Statistics, Department of
Graduate
Dillard, Dana Marie. "The Transactional Theory of Stress and Coping: Predicting Posttraumatic Distress in Telecommunicators." ScholarWorks, 2019. https://scholarworks.waldenu.edu/dissertations/6719.
Full textPoe, James Michael. "Developing representative workloads for future hardware transactional memory research using a cycle-accurate, multi-dimensional hardware transactional memory model." [Gainesville, Fla.] : University of Florida, 2009. http://purl.fcla.edu/fcla/etd/UFE0041005.
Full textRitchie, Harriet Anne. "The construction, implementation and evaluation of a transactional analysis stress management course for adolescents." Thesis, Rhodes University, 1993. http://hdl.handle.net/10962/d1003342.
Full textLee, Jillian April. "Gender differences in psychopathology examined under an expanded transactional theory of stress framework." Thesis, [College Station, Tex. : Texas A&M University, 2007. http://hdl.handle.net/1969.1/ETD-TAMU-2590.
Full textWolverton, Robert L. "Internet education a middle-range theoretical model for overcoming transactional distance /." Laramie, Wyo. : University of Wyoming, 2007. http://proquest.umi.com/pqdweb?did=1400968491&sid=1&Fmt=2&clientId=18949&RQT=309&VName=PQD.
Full textOsborne, Lisa Anne. "A dynamic transactional model of parent-child interactions in autistic spectrum conditions." Thesis, Swansea University, 2007. https://cronfa.swan.ac.uk/Record/cronfa42478.
Full textMampane, Kgale Bethuel. "Educators’ experiences and perceptions of teacher absenteeism." Diss., University of Pretoria, 2013. http://hdl.handle.net/2263/40450.
Full textDissertation (MEd)--University of Pretoria, 2013.
gm2014
Education Management and Policy Studies
unrestricted
Seward, Lori Welte. "A multiple stress, multiple component stress screening cost model." Thesis, Virginia Tech, 1985. http://hdl.handle.net/10919/41578.
Full textEnvironmental stress screening is used to enhance reliability by decreasing the number of failures experienced during customer use. It is suggested that added benefit can be gained by applying multiple stresses rather than a single stress, as is done presently. A further modification is to apply the stress at the assembly level, accelerating different types of components at the same time. Different component E A e acceleration effects must then be considered.
The problem these modifications present is how to choose the appropriate stress levels and the time duration of the stress screen. A cost model is developed that trades off the cost of a field failure with the cost of applying a multiple stress, multiple component stress screen. The objective is to minimize this cost function in order to find an economical stress regimen.
The problem is solved using the software package GINO. The interesting result is that if a stress is used at all during the stress screen, the maximum amount of stress is the economic choice. Either the cost of stressing is low enough to justify the use of a stress, in which case the maximum amount of stress is used, or the cost is too high and the stress is not used at all.
Master of Science
Van, Dyke Ruth. "A Cognitive Model of Stress." University of Arizona, Department of Anthropology, 1992. http://hdl.handle.net/10150/112058.
Full textCheng, Sau-lan, and 鄭秀蘭. "Case studies of integrating affective education with Chinese novel teaching based on the transactional model." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2011. http://hub.hku.hk/bib/B48329848.
Full textpublished_or_final_version
Education
Doctoral
Doctor of Philosophy
Gagné, Marie-Anik. "Worry and the traditional stress model." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape11/PQDD_0004/NQ44434.pdf.
Full textBrownstein, Naomi. "Estimation and the Stress-Strength Model." Honors in the Major Thesis, University of Central Florida, 2007. http://digital.library.ucf.edu/cdm/ref/collection/ETH/id/1160.
Full textBachelors
Sciences
Mathematics
Johnson, Sharon Mary. "Impact of stress and burnout interventions on educators in high-risk secondary schools." Thesis, Stellenbosch : Stellenbosch University, 2013. http://hdl.handle.net/10019.1/85642.
Full textENGLISH ABSTRACT: This study focused on the plight of teachers in the challenging traumatic context of high-risk schools on the Cape Flats, Western Cape, South Africa. Study aims were to measure the stress and burnout of educators and analyse the effect of three different interventions using psycho-educational workshops. Forty-three educators in three secondary schools took part for 15 hours in total over 10 weeks, as well as a control group of 20 teachers. Interventions were grounded in trauma release exercises (TRE), transpersonal psychology (TP) and transactional analysis (TA) practice, and can be conceptualised as primarily physical, emotional and cognitive approaches to stress and burnout prevention. In a mixed-methods study based on the transactional stress model, quantitative data comprised statistical analysis of stress, personal, work and learner-induced burnout and well-being, at the pre- and post-intervention stages. An analysis of the text coding of the educators’ stress, burnout, coping and well-being accounts followed. The study then focused on qualitative thematic analysis of the focus group interviews. Perceived stress was significantly different between the three intervention groups and control group and learner burnout was significantly reduced in the TRE (p=0.02) and TA (p=0.02) groups. There were trends for stress and burnout reduction for the TP group. Coding analysis focused on the intra-and inter-individual TRE, TP and TA tools that had an impact on educators in their efforts to cope with stress and burnout. Focus group interviews gave thematic insights into physical, emotional and cognitive responses to stress and burnout interventions on the individual, interpersonal and organisational levels and revealed new perspectives on classroom competency, with educators taking more responsibility for discipline in the classroom, their greatest stressor. This study indicated that TRE, TP and TA interventions offer educators in high-risk schools physiological, affective and cognitive approaches to dealing with threat and trauma, assisting with stress and burnout reduction, facilitating renewed insights into classroom competency.
AFRIKAANSE OPSOMMING: Hierdie studie het gefokus op die toestand van onderwysers in die uitdagende, traumatiese konteks van hoë-risiko skole op die Kaapse Vlakte van die Wes-Kaap, Suid-Afrika. Die doelstellings van die ondersoek was om stres en uitbranding by onderwysers te meet en om die invloed van drie verskillende intervensies, in die vorm van psigo-opvoedkundige werkswinkels, te analiseer. Drie-en-veertig opvoeders in drie sekondêre skole het oor 10 weke vir 15 uur in totaal deelgeneem, sowel as ‘n kontrolegroep van 20 onderwysers. Die ingrypings is gegrond in die praktyke van trauma-ontladingsoefeninge (trauma release exercises [TRE]), transpersoonlike sielkunde (transpersonal psychology [TP]) en transaksionele analise (transactional analysis [TA]), en kan hoofsaaklik as fisiese, emosionele en kognitiewe benaderings tot die voorkoming van stres en uitbranding gekonseptualiseer word. In ’n gemengde metode studie gebaseer op die transaksionele stresmodel, het die kwantitatiewe data bestaan uit statistiese analises van stres, persoonlike, werks- en leerdergeïnduseerde uitbranding en welstand, vóór en ná die ingrypings. Dit is gevolg deur ’n analise van die tekskodering van die opvoeders se verslae oor hulle stres, uitbranding, behartiging en welstand. Die studie het hierna gefokus op ’n kwalitatiewe tematiese analise van die fokusgroeponderhoude. Waargenome stres het beduidend tussen die drie intervensiegroepe en die kontrolegroep verskil en leerderuitbranding het beduidend in die TRE (p=.02) en TA (p=.02) groepe verminder. Daar was tekens van vermindering van stres en uitbranding in die TP groep. Koderingsanalise het gefokus op die intra- en inter-individuele TRE, TP en TA gereedskap wat ’n impak op opvoeders gehad het in hulle pogings om stres en uitbranding te hanteer. Fokusgroeponderhoude het tematiese insigte oor die fisiese, emosionele en kognitiewe reaksies op stres- en uitbrandingsingrypings op die individuele, interpersoonlike en organisatoriese vlak verskaf, met onderwysers wat groter verantwoordelikheid geneem het vir dissipline in die klaskamer, wat hulle vernaamste stressor is. Hierdie studie dui daarop dat TRE-, TP- en TA-ingrypings aan opvoeders in hoë-risiko skole fisiologiese, affektiewe en kognitiewe benaderings bied om bedreiging en trauma te hanteer. Dit dra by tot ’n vermindering van stres en uitbranding en fasiliteer nuwe insigte in klaskamerbevoegdheid.
Meira, Jorge Augusto. "Model-based stress testing for database systems." reponame:Repositório Institucional da UFPR, 2014. http://hdl.handle.net/1884/37344.
Full textCo-orientador : Prof. Dr. Yves Le Traon
Tese (doutorado) - Universidade Federal do Paraná, Setor de Tecnologia, Programa de Pós-Graduação em Ciências da Computação. Defesa: Curitiba, 17/12/2014
Inclui referências
Abstract: Database Management Systems (DBMS) have been successful at processing transaction workloads over decades. But contemporary systems, including Cloud computing, Internet-based systems, and sensors (i.e., Internet of Things (IoT)), are challenging the architecture of the DBMS with burgeoning transaction workloads. The direct consequence is that the development agenda of the DBMS is now heavily concerned with meeting non-functional requirements, such as performance, robustness and scalability [85]. Otherwise, any stressing workload will make the DBMS lose control of simple functional requirements, such as responding to a transaction request [62]. While traditional DBMS, including DB2, Oracle, and PostgreSQL, require embedding new features to meet non-functional requirements, the contemporary DBMS called as NewSQL [56, 98, 65] present a completely new architecture. What is still lacking in the development agenda is a proper testing approach coupled with burgeoning transaction workloads for validating the DBMS with nonfunctional requirements in mind. The typical non-functional validation is carried out by performance benchmarks. However, they focus on metrics comparison instead of finding defects. In this thesis, we address this lack by presenting different contributions for the domain of DBMS stress testing. These contributions fit different testing objectives to challenge each specific architecture of traditional and contemporary DBMS. For instance, testing the earlier DBMS (e.g., DB2, Oracle) requires incremental performance tuning (i.e., from simple setup to complex one), while testing the latter DBMS (e.g., VoltDB, NuoDB) requires driving it into different performance states due to its self-tuning capabilities [85]. Overall, this thesis makes the following contributions: 1) Stress TEsting Methodology (STEM): A methodology to capture performance degradation and expose system defects in the internal code due to the combination of a stress workload and mistuning; 2) Model-based approach for Database Stress Testing (MoDaST): An approach to test NewSQL database systems. Supported by a Database State Machine (DSM), MoDaST infers internal states of the database based on performance observations under different workload levels; 3) Under Pressure Benchmark (UPB): A benchmark to assess the impact of availability mechanisms in NewSQL database systems. We validate our contributions with several popular DBMS. Among the outcomes, we highlight that our methodologies succeed in driving the DBMS up to stress state conditions and expose several related defects, including a new major defect in a popular NewSQL.
Resumo: Sistemas de Gerenciamento de Bando de Dados (SGBD) têm sido bem sucedidos no processamento de cargas de trabalho transacionais ao longo de décadas. No entanto, sistemas atuais, incluindo Cloud computing, sistemas baseados na Internet, e os sensores (ou seja, Internet of Things (IoT)), estão desafiando a arquitetura dos SGBD com crescentes cargas de trabalho. A conseqüência direta é que a agenda de desenvolvimento de SGBD está agora fortemente preocupada em atender requisitos não funcionais, tais como desempenho, robustez e escalabilidade [85]. Caso contrário, uma simples carga de trabalho de estresse pode fazer com que os SGBD não atendam requisitos funcionais simples, como responder a um pedido de transação [62]. Enquanto SGBD tradicionais exigem a incorporação de novos recursos para atender tais requisitos não-funcionais, os SGBD contemporâneos conhecidos como NewSQL [56, 98, 65] apresentam uma arquitetura completamente nova. O que ainda falta na agenda do desenvolvimento é uma abordagem de teste adequada que leve em conta requisitos não-funcionais. A validação não-funcional típica para SGBD é realizada por benchmarks. No entanto, eles se concentram na comparação baseada em métricas em vez de encontrar defeitos. Nesta tese, abordamos essa deficiência na agenda de desenvolvimento, apresentando contribuições diferentes para o domínio de testes de estresse para SGBD. Estas contribuições atendem diferentes objetivos de teste que desafiam arquiteturas específica de SGBD tradicionais e contemporâneos. No geral, esta tese faz as seguintes contribuições: 1) Stress TEstingMethodology (STEM): Uma metodologia para capturar a degradação do desempenho e expor os defeitos do sistema no código interno devido a combinação de uma carga de trabalho de estresse e problemas de configuração; 2) Model-based Database Stress Testing (MoDaST): Uma abordagem para testar sistemas de banco de dados NewSQL. Apoiado por uma máquina de estado de banco de dados (DSM), MoDaST infere estados internos do banco de dados com base em observações de desempenho sob diferentes níveis de carga de trabalho; 3) Under Pressure Benchmark (UPB): Um benchmark para avaliar o impacto dos mecanismos de disponibilidade em sistemas de banco de dados NewSQL. Nós validamos nossas contribuições com vários SGBD populares. Entre os resultados, destaca-se em nossas metodologias o sucesso em conduzir o SGBD para condições de estresse e expor defeitos relacionados, incluindo um novo major bug em um SGBD NewSQL popular.
Andrews, M. C. "Stress transfer in aramid/epoxy model composites." Thesis, University of Manchester, 1994. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.751928.
Full textFerreira, Joana Filipa Teixeira. "Familia, benção ou praga? Exploração das relações entre liderança transformacional, equilibrio trabalho-familia e stress." Master's thesis, Instituto Superior de Economia e Gestão, 2016. http://hdl.handle.net/10400.5/12724.
Full textNo estudo procurou-se analisar qual o impacto que a liderança tem sobre as dimensões extratrabalho, mormente o equilíbrio trabalho-família, e qual o papel do stress nessa relação. Para a operacionalização do mesmo foi preparado um Questionário Fechado sobre os conceitos em análise: liderança transacional/transformacional, equilíbrio trabalho-família e stress. Em suma, os resultados revelaram-se bons quanto à fidelidade. Quanto às correlações entre as variáveis em estudo, os resultados sugeriram relações significativas, contudo fracas ou moderadas. A correlação entre a Liderança Transformacional e o WFB Positivo é de 0,289**, sendo assim significativa mas fraca. Entre o Stress Negativo e o WFB Negativo a correlação é de 0,559**, ou seja, significativa moderada. Em relação à correlação da interação da Liderança Transformacional e do Stress Negativo, com o WFB Negativo, é significativa mas fraca com o valor de 0,332**.
The study sought to analyze the impact that leadership has on extra work dimensions, especially the work-family balance, and the role of stress in the relationship. In order to conduct this study, a closed questionnaire was prepared to analyse of these variables: transactional/transformational leadership, work-family balance and stress. In short, the results have proved to be good for giving the reliability of scales. As for the correlations between the study variables, the results suggested significant relationships, however weak or moderate. The correlation between Transformational Leadership and the Positive WFB is 0.289**, thus being significant but weak. Between Negative Stress and Negative WFB, the correlation is 0.559**, that is, moderate. Regarding the correlation of the Transformational Leadership and Negative Stress interaction with the Negative WFB, it is significant but weak with the value of 0.332**.
N/A
Cummings, Sahl Jorden. "Hostility, interpersonal competence, and daily dependent stress a daily model of stress generation /." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 46 p, 2007. http://proquest.umi.com/pqdweb?did=1338886261&sid=7&Fmt=2&clientId=8331&RQT=309&VName=PQD.
Full textStennett, Sabrina. "Minority stress in people who identify as transgender : testing the minority stress model." Thesis, University of Nottingham, 2016. http://eprints.nottingham.ac.uk/36582/.
Full textIrwin, Jay A. "Stress and support among Southern lesbians an application of the stress process model /." Thesis, Birmingham, Ala. : University of Alabama at Birmingham, 2009. https://www.mhsl.uab.edu/dt/2009p/irwin.pdf.
Full textHe, Zhengyu. "On algorithm design and programming model for multi-threaded computing." Diss., Georgia Institute of Technology, 2012. http://hdl.handle.net/1853/43635.
Full textCesareo, Jacqueline M. "Psychosocial stress and health-related outcomes in chronic childhood asthma : using a biopsychosocial approach to understand transactional relationships across childhood and adolescence /." Connect to this title, 2006. http://theses.library.uwa.edu.au/adt-WU2007.0077.
Full textBosco, Arianna [Verfasser]. "Reynolds stress model for hypersonic flows / Arianna Bosco." Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011. http://d-nb.info/1014297168/34.
Full textHaim, Achikam. "GESTATIONAL STRESS – A TRANSLATIONAL MODEL FOR POSTPARTUM DEPRESSION." The Ohio State University, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=osu1461070189.
Full textRimoli, Julian Jose Ortiz Michael Ortiz Michael. "A computational model for intergranular stress corrosion cracking /." Diss., Pasadena, Calif. : California Institute of Technology, 2009. http://resolver.caltech.edu/CaltechETD:etd-05142009-135909.
Full textAntonakis, John. "The validity of the transformational, transactional, and laissez-faire leadership model as measured by the Multifactor Leadership Questionnaire (MLQ 5X)." ScholarWorks, 2001. http://scholarworks.waldenu.edu/dilley/8.
Full textHarrath, Nesrine. "A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level." Thesis, Paris, CNAM, 2014. http://www.theses.fr/2014CNAM0957/document.
Full textEmbedded systems are increasingly integrated into existing real-time applications. They are usually composed of deeply integrated but heterogeneous hardware and software components. These components are developed under strict constraints. Accordingly, the work of design engineers became more tricky and challenging. To meet the high quality standards in nowadays embedded systems and to satisfy the rising industrial demands, the automatization of the developing process of those systems is gaining more and more importance. A major challenge is to develop an automated approach that can be used for the integrated verification and validation of complex and heterogeneous HW/SW systems.In this thesis, we propose a new compositional approach to model and verify hardware and software written in SystemC language. This approach is based on the SystemC Waiting State Automata (WSA). The SystemC Waiting State Automata are used to model the abstract behavior of hardware or software systems described in SystemC. They preserve the semantics of the SystemC scheduler at the temporal and the delta-cycle level. This model allows to reduce the complexity of the modeling process of complex systems due to the problem of state explosion during modeling while remaining faithful to the original system. The SystemC waiting state automaton is also compositional and supports refinement. In addition, this model is extended with parameters such as time and counters in order to take into account further aspects like temporality and other extra-functional properties such as QoS.In this thesis, we propose a stepwise approach on how to automatically extract the SystemC WSAs from SystemC descriptions. This construction is based on symbolic execution together with predicate abstraction. We propose a set of algorithms to symbolically compose and reduce the SystemC WSAs in order to study, analyze and verify concurrent behavior of systems as well as the data exchange between various components. We then propose to use the SystemC WSA to model and simulate hardware and software systems, and to compute the worst cas execution time (WCET) using the Timed SystemC WSA. Finally, we define how to apply model checking techniques to prove the correctness of the abstract analysis
Fallon, Joanne. "GROWING UP IN IRELAND: FACTORS IMPACTING SLEEP PATTERNS OF PRETERM INFANTS." VCU Scholars Compass, 2015. http://scholarscompass.vcu.edu/etd/3736.
Full textCaviness, James A. "Stress biomarkers in a rat model of decompression sickness /." Download the thesis in PDF, 2005. http://www.lrc.usuhs.mil/dissertations/pdf/Caviness2005.pdf/.
Full textWilsman, Kristi. "Development of the Posttraumatic Stress Symptoms -- Childhood Obesity Model." TopSCHOLAR®, 2012. http://digitalcommons.wku.edu/theses/1185.
Full textDe, Noronha Motta Carlos Henrique. "A fatigue crack growth model with mean stress effects." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq21163.pdf.
Full textButters, Jennifer Ellen. "Understanding adolescent cannabis use, a stress process model application." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/NQ59074.pdf.
Full textTurkay, Saygun. "Market model of stochastic implied volatility and correlation stress." Thesis, Imperial College London, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.405832.
Full textMarshall, Alyssa. "Toward a Model of Team Decision Making Under Stress." Honors in the Major Thesis, University of Central Florida, 2014. http://digital.library.ucf.edu/cdm/ref/collection/ETH/id/1621.
Full textB.S.
Bachelors
Psychology
Sciences
Gardener, Nigel Ian. "Probabilistic strength-life model for graphite fibers under stress." Thesis, Monterey, California. Naval Postgraduate School, 1992. http://hdl.handle.net/10945/23754.
Full textMcKinley, Richard Andrew. "A Predictive Model of Cognitive Performance Under Acceleration Stress." Wright State University / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=wright1246569044.
Full textOrtega, Catherine 1963. "Tournament-related anxiety in professional female tennis players : an application of the transactional model of stress and coping." Thesis, 2006. http://hdl.handle.net/2152/29648.
Full texttext
Carvalho, Joana Pinheiro de. "De corpo e alma na competição : o papel da resiliência mental e da avaliação cognitiva no rendimento desportivo." Master's thesis, 2021. http://hdl.handle.net/10400.14/34799.
Full textThe relationship between mental toughness and sports performance has become widely known. However, the process by which this relationship occurs, particularly in situations of high stress such as sporting competitions, remains unknown. This study aimed to analyze the role of mental resilience in the way athletes interpret competitive situations (cognitive appraisal) and, consequently, the influence of this interpretation on sports performance. Over 7 matches, pre- and post-game data were collected from 12 male basketball athletes playing on the national league (56 units of analysis). Mental toughness and cognitive appraisal were predictors of objective performance indicators (e.g., points scored and minutes played) but not of the athletes’ perception of sports performance. There was a relationship of total mediation between mental toughness and total points scored and minutes played, both via perception of control: higher levels of mental toughness predicted greater perception of control of the stressful situation, which, in turn, predicted a more positive performance (more points achieved and minutes played).Thus, it was concluded that mental toughness is important in predicting objective sports performance, but not subjective performance, and this relationship was partially explained by cognitive assessment.
Gonçalves, Beatriz Martins. "Adaptação a um evento stressante em jovens atletas de futebol federados." Master's thesis, 2018. http://hdl.handle.net/1822/55698.
Full textEste estudo teve como objetivo perceber como é que os jovens atletas de alta competição se adaptam, lidam e reagem a uma situação específica de stress no desporto. Participaram 373 jovens atletas do sexo masculino a competir no campeonato nacional de futebol, com idades dos 14 aos 19 anos (M = 16.93; DP = 1.00). O protocolo de avaliação incluiu um Questionário Demográfico, Questionário de Stress na Competição Desportiva, Escala de Avaliação Cognitiva, Questionário de Perceção do Rendimento Desportivo e o Inventário de Confiança no Desporto. Os resultados indicaram que a maioria dos atletas apontam como principais fontes de stress a possibilidade de obterem um rendimento desportivo negativo ou abaixo do esperado e a possibilidade de cometerem erros. Foi também observado que a avaliação cognitiva mediou parcialmente a relação estabelecida entre os fatores de stress e a perceção de rendimento desportivo e mediou totalmente a relação entre os fatores de stress e a confiança. Em suma, torna-se importante ter em conta o papel dos processos de avaliação cognitiva na adaptação ao stress por parte dos jovens atletas, sugerindo a continuação de investigação futura relativamente a esta temática.
The aim of this study was to understand how young federate athletes, adapt, deal with, and react themselves to a specific stressful situation in sports. The target group was 373 youth male athletes, between 14 to 19 years of age (M = 16.93; DP = 1.00), who are competing in the national football championship. The evaluation protocol included a Demographic Questionnaire, the Questionnaire of Competitive Stressors in Sport, Cognitive Appraisal Scale, Sport Performance Perception Questionnaire and Sport Confidence Inventory. The results revealed that the majority of the athletes pointed out as main sources of stress, the possibility of obtaining a negative or lower than expected sports performance and the possibility of making mistakes. It was also revealed that the cognitive appraisal partially mediated the established relationship between the stress factors and sports performance perception and totally mediated the relationship between the stress factors and confidence. In conclusion, it is important to take into account the role of the cognitive appraisal processes in adaptation to stress by youth athletes, suggesting a further investigation in the future on this theme.