In this paper, the performance gain obtained by combining parallel peri- odic real-time processes is elaborated. In certain single-core mono-processor configurations, for example, embedded control systems in robotics comprising many short processes, process context switches may consume a considerable amount of the available processing power. For this reason, it can be advantageous to combine processes, to reduce the number of context switches and thereby increase the performance of the application. As we consider robotic applications only, often consisting of processes with identical periods, release times and deadlines, we restrict these configurations to periodic real-time processes executing on a single-core mono-processor. By graph-theoretical concepts and means, we provide necessary and sufficient conditions so that the number of context switches can be reduced by combining synchronising processes.
DOCUMENT
Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading actions and writing actions are synchronous, and there is a one-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2017, we introduced the extended half-synchronous al- phabetised parallel operator X ⇕ Y , which disconnects the writing to and reading from a channel in time; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the reads. In this paper, we allow multiple writers to write to the same channel set-wise asynchronously, but intra-set-wise synchronously and we study the impact on our (Extended) Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ⇕ Y gives more flexibility by indexing the writing actions and the reading actions, leading to a straightforward majority vote design. Furthermore, the extension of X ⇕ Y preserves the advantages of the X ⇕ Y operator.
DOCUMENT
Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading actions and writing actions are synchronous, and there is a one-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2016, we introduced the half-synchronous alphabetised parallel operator X ⇓ Y , which disconnects the writing to and reading from a channel in time. We introduce in this paper an extension of X ⇓ Y , where the definition of X ⇓ Y is relaxed; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the asynchronous writes and reads. Furthermore, we allow multiple writers to the same channel and we study the impact on a Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ⇓ Y gives more flexibility by indexing the reading actions and allowing multiple write actions to the same channel. Furthermore, the extension of X ⇓Y reduces the end-to-end processing time of the processor or coprocessor in a distributed computing system. We show the effects of these advantages in a case study describing a Controlled Emergency Stop for a processor-coprocessor combination.
DOCUMENT
In bepaalde single-core configuraties met één processor, b.v. embedded control systems zoals robotic applications die uit vele korte processen bestaan, kunnen de context switches van een proces een aanzienlijke hoeveelheid van de beschikbare processing power verbruiken. Het verminderen van het aantal context switches vermindert de executietijd en verhoogt daardoor de prestaties van de toepassing. Bovendien is de end-to-end executietijd van de processen langer dan strict noodzakelijk, b.v. omdat de processen moeten wachten op controllers die een taak uitvoeren. Door de regels voor synchrone communicatie via kanalen in de procesalgebraïsche specificatietaal Communicating Sequential Processes te versoepelen, kunnen we de end-to-end executietijd verkorten. In ons onderzoek definiëren we verschillende graafproducten, bewijzen we dat deze producten een prestatiewinst opleveren (onder bepaalde voorwaarden) en we werken de numerieke en combinatorische aspecten van deze graafproducten uit.
DOCUMENT
Reading and writing is modelled in CSP using actions containing the sym- bols ? and !. These reading and writing actions are synchronous and there is a one- to-one relationship between occurrences of pairs of these actions. It is cumbersome to ease the restriction of synchronous execution of the read and write actions. For this reason we introduce the half-asynchronous parallel operator that acts on actions con- taining the symbols ¿ and ¡ and study the impact on a Vertex Removing Synchronised Product.
DOCUMENT
Background: Osteoarthritis (OA) is a chronic disease primarily affecting older adults, mainly impacting the hip and knee joints. The increasing prevalence of OA contributes to rising healthcare demands and costs. Current OA treatment guidelines emphasize the importance of self-management education and guidance, particularly in promoting physical activity and weight management. In addition, improving sleep is crucial for managing OA. Developing effective self-management interventions necessitates a comprehensive understanding of the factors that facilitate these behaviors. Especially for changing health behaviors, it is important to focus on psychosocial factors. Therefore, this systematic review aimed to identify the psychosocial factors associated with physical activity, weight management, and sleep in adults with hip and/or knee OA. Methods: Five databases (PubMed, Embase, CINAHL, PyschINFO, Web of Science) were searched for observational studies reporting statistics on the association between psychosocial determinants and physical activity, weight management, or sleep in people with OA. The methodological quality was assessed using the Quality Assessment Tool for Observational Studies of the National Heart, Lung, and Blood Institute. After screening 5,812 articles, 31 studies were included for analysis. Results: The results showed that intention, self-efficacy, and willpower beliefs were positively associated with physical activity. Kinesiophobia, pain catastrophizing and pain-related fear were negatively associated with physical activity. Depressive symptoms, negative affect, pain catastrophizing, and low willpower beliefs were associated with poor weight management. Anxiety, depression, pain anxiety, and post-traumatic stress disorder were related to poor sleep behavior. Conclusions This review enhances the understanding of the psychosocial factors underlying physical activity, weight management and sleep in OA. These insights are valuable for developing tailored behavior change interventions aimed at improving physical activity, weight management and sleep in patients with hip and/or knee OA.
MULTIFILE
We present a novel architecture for an AI system that allows a priori knowledge to combine with deep learning. In traditional neural networks, all available data is pooled at the input layer. Our alternative neural network is constructed so that partial representations (invariants) are learned in the intermediate layers, which can then be combined with a priori knowledge or with other predictive analyses of the same data. This leads to smaller training datasets due to more efficient learning. In addition, because this architecture allows inclusion of a priori knowledge and interpretable predictive models, the interpretability of the entire system increases while the data can still be used in a black box neural network. Our system makes use of networks of neurons rather than single neurons to enable the representation of approximations (invariants) of the output.
LINK
Abstract Background Smoking among people with severe mental illness (SMI) is highly prevalent and strongly associated with poor physical health. Currently, evidence-based smoking cessation interventions are scarce and need to be integrated into current mental health care treatment guidelines and clinical practice. Therefore, the present study aims to evaluate the implementation and effectiveness of a smoking cessation intervention in comparison with usual care in people with SMI treated by Flexible Assertive Community Treatment (FACT) teams in the Netherlands. Methods A pragmatic, cluster-randomised controlled trial with embedded process evaluation will be conducted. Randomisation will be performed at the level of FACT teams, which will be assigned to the KISMET intervention or a control group (care as usual). The intervention will include pharmacological treatment combined with behavioural counselling and peer support provided by trained mental health care professionals. The intervention was developed using a Delphi study, through which a consensus was reached on the core elements of the intervention. We aim to include a total of 318 people with SMI (aged 18–65 years) who smoke and desire to quit smoking. The primary outcome is smoking status, as verified by carbon monoxide measurements and self-report. The secondary outcomes are depression and anxiety, psychotic symptoms, physical fitness, cardiovascular risks, substance use, quality of life, and health-related self-efficacy at 12 months. Alongside the trial, a qualitative process evaluation will be conducted to evaluate the barriers to and facilitators of its implementation as well as the satisfaction and experiences of both patients and mental health care professionals. Discussion The results of the KISMET trial will contribute to the evidence gap of effective smoking cessation interventions for people treated by FACT teams. Moreover, insights will be obtained regarding the implementation process of the intervention in current mental health care. The outcomes should advance the understanding of the interdependence of physical and mental health and the gradual integration of both within the mental health care system. Trial registration Netherlands Trial Register, NTR9783. Registered on 18 October 2021.
DOCUMENT
Abstract Background Smoking among people with severe mental illness (SMI) is highly prevalent and strongly associated with poor physical health. Currently, evidence-based smoking cessation interventions are scarce and need to be integrated into current mental health care treatment guidelines and clinical practice. Therefore, the present study aims to evaluate the implementation and efectiveness of a smoking cessation intervention in comparison with usual care in people with SMI treated by Flexible Assertive Community Treatment (FACT) teams in the Netherlands. Methods A pragmatic, cluster-randomised controlled trial with embedded process evaluation will be conducted. Randomisation will be performed at the level of FACT teams, which will be assigned to the KISMET intervention or a control group (care as usual). The intervention will include pharmacological treatment combined with behavioural counselling and peer support provided by trained mental health care professionals. The intervention was developed using a Delphi study, through which a consensus was reached on the core elements of the intervention. We aim to include a total of 318 people with SMI (aged 18–65 years) who smoke and desire to quit smoking. The primary outcome is smoking status, as verifed by carbon monoxide measurements and self-report. The secondary outcomes are depression and anxiety, psychotic symptoms, physical ftness, cardiovascular risks, substance use, quality of life, and health-related self-efcacy at 12months. Alongside the trial, a qualitative process evaluation will be conducted to evaluate the barriers to and facilitators of its implementation as well as the satisfaction and experiences of both patients and mental health care professionals. Discussion The results of the KISMET trial will contribute to the evidence gap of efective smoking cessation interventions for people treated by FACT teams. Moreover, insights will be obtained regarding the implementation process of the intervention in current mental health care. The outcomes should advance the understanding of the interdependence of physical and mental health and the gradual integration of both within the mental health care system. Trial registration Netherlands Trial Register, NTR9783. Registered on 18 October 2021.
DOCUMENT
