Computation modules and petri nets

Petri-nets are used as a model of processes, and a property of a net called proper termination is defined and discussed. Proper termination is argued to be a useful property which a construct called a "module" should possess. This property assures reentrancy and freedom from deadlock in the net, and a theorem is given concerning the substitution or interchange of modules in a larger environment

Final Plenary Session Transcript

Let s start with the report - as you know - when we are talking about flow control it is a multi-disciplinary type of work. So it involves many people and disciplines. This group first discussed the important issues associated with flow control. As you start doing flow control what are the issues to which you really have to start paying attention? That is the first part I am going to present. Then in the second part I will present some challenges - problems that we should really be looking at. So as far as the issues - if you want to control a flow, you really need to understand the flow physics, because anything that you do comes from the flow physics. The design of the controllers, your decisions on the actuators, sensors, reduced order modeling and all of that, would be helped if you understand flow physics. And you have to have a specific objective - what exactly are you controlling? Are you trying to reduce drag, eliminate separation, reduce noise, enhance mixing? So you have to have very specific control objectives. From all the talks we have seen here actuation is extremely important and it is very problem specific. It depends on what problem you are dealing with so you have to design and build actuators for that specific problem. Sensors obviously are very important, especially when you are dealing with feedback control. Consensus was that when you dealing with flow control, you must take an integrated approach; from the beginning you have to take into account every aspect of it and even maybe to modify your experiment, your geometry, to go along with the actuation, sensors and control models. Development of tools is very important in this multi-disciplinary problem. The tools include CFD, reduced order modeling, controller design, understanding and utilizing the instabilities of the flow, etc. So, in order to have success in flow control, we really need to develop these tools

Fault-Tolerant, Real-Time, Multi-Core Computer System

A document discusses a fault-tolerant, self-aware, low-power, multi-core computer for space missions with thousands of simple cores, achieving speed through concurrency. The proposed machine decides how to achieve concurrency in real time, rather than depending on programmers. The driving features of the system are simple hardware that is modular in the extreme, with no shared memory, and software with significant runtime reorganizing capability. The document describes a mechanism for moving ongoing computations and data that is based on a functional model of execution. Because there is no shared memory, the processor connects to its neighbors through a high-speed data link. Messages are sent to a neighbor switch, which in turn forwards that message on to its neighbor until reaching the intended destination. Except for the neighbor connections, processors are isolated and independent of each other. The processors on the periphery also connect chip-to-chip, thus building up a large processor net. There is no particular topology to the larger net, as a function at each processor allows it to forward a message in the correct direction. Some chip-to-chip connections are not necessarily nearest neighbors, providing short cuts for some of the longer physical distances. The peripheral processors also provide the connections to sensors, actuators, radios, science instruments, and other devices with which the computer system interacts

The Effect of Preterm Birth on Maximal Aerobic Exercise Capacity and Lung Function in Healthy Adults: A Systematic Review and Meta-analysis

Background: A negative impact of premature birth on health in adulthood is well established. However, it is not clear whether healthy adults who were born prematurely but have similar physical activity levels compared to adults born at term have a reduced maximal aerobic exercise capacity (maximum oxygen consumption [VO2max]). Objective: We aimed to determine the effect of premature birth on aerobic exercise capacity and lung function in otherwise healthy, physically active individuals. Methods: A broad literature search was conducted in the PubMed database. Search terms included ‘preterm/premature birth’ and ‘aerobic exercise capacity’. Maximal oxygen consumption (mL/kg/min) was the main variable required for inclusion, and amongst those investigations forced expiratory volume in 1 s (FEV1, % predicted) was evaluated as a secondary parameter. For the systematic review, 29 eligible articles were identified. Importantly, for the meta-analysis, only studies which reported similar activity levels between healthy controls and the preterm group/s were included, resulting in 11 articles for the VO2max analysis (total n = 688, n = 333 preterm and n = 355 controls) and six articles for the FEV1 analysis (total n = 296, n = 147 preterm and n = 149 controls). Data were analysed using Review Manager (Review Manager. RevMan version 5.4 software. The Cochrane Collaboration; 2020.). Results: The systematic review highlighted the broad biological impact of premature birth. While the current literature tends to suggest that there may be a negative impact of premature birth on both VO2max and FEV1, several studies did not control for the potential influence of differing physical activity levels between study groups, thus justifying a focused meta-analysis of selected studies. Our meta-analysis strongly suggests that prematurely born humans who are otherwise healthy do have a reduced VO2max (mean difference: − 4.40 [95% confidence interval − 6.02, − 2.78] mL/kg/min, p < 0.00001, test for overall effect: Z = 5.32) and FEV1 (mean difference − 9.22 [95% confidence interval − 13.54, − 4.89] % predicted, p < 0.0001, test for overall effect: Z = 4.18) independent of physical activity levels. Conclusions: Whilst the current literature contains mixed findings on the effects of premature birth on VO2max and FEV1, our focused meta-analysis suggests that even when physical activity levels are similar, there is a clear reduction in VO2max and FEV1 in adults born prematurely. Therefore, future studies should carefully investigate the underlying determinants of the reduced VO2max and FEV1 in humans born preterm, and develop strategies to improve their maximal aerobic capacity and lung function beyond physical activity interventions

Response to Comment on: “The Effect of Preterm Birth on Maximal Aerobic Exercise Capacity and Lung Function in Healthy Adults: A Systematic Review and Meta-Analysis”

[No abstract available

Prospective evaluation of a protocol for transitioning porcine lente insulintreated diabetic cats to human recombinant protamine zinc insulin

Objectives The objective was to evaluate a nadir-led protocol for transitioning porcine lente insulin suspension (PLIS)-treated diabetic cats onto human recombinant protamine zinc insulin (PZIR). Methods Recently diagnosed (<5 months) diabetic cats, treated with PLIS q12h for 6 weeks, were recruited. Fructosamine, 24 h blood glucose curve (BGC), quality of life assessment (DIAQoL-pet score) and Diabetic Clinical Score (DCS) were assessed at enrolment (PLIS-treated) and 2, 4 and 12 weeks after transitioning to PZIR (starting dose 0.2-0.7 U/kg q12h). Short duration of insulin action was defined as <9 h. Linear mixed effects modelling assessed for change in fructosamine, mean blood glucose (MBG) during BGCs, DIAQoL-pet score, DCS and q12h insulin dose. McNemar's tests compared the proportion of cats with hypoglycaemia at week 0 (PLIS-treated) and week 4 (PZIR-treated). Results Twenty-two cats were recruited. Median PLIS dose at enrolment was 0.5 U/kg (interquartile range 0.3-0.7 U/kg) q12h, equalling median PZIR starting dose (0.5 U/kg; interquartile range 0.3-0.7 U/kg q12h). Transitioning was followed by significant decreases in fructosamine (P = 0.00007), insulin dose (P = 0.02), DCS (P = 8.1 x 10(-8)) and DIAQoL-pet score (P = 0.003), indicating improved quality of life. MBG did not alter significantly (P = 0.1). Five cats (22.7%) achieved remission. Hypoglycaemia was recorded in 30/190 12 h BGCs (15.8%) and five cats experienced clinical hypoglycaemia. The proportion of cats with hypoglycaemia did not differ between PLIS (week 0) and PZIR (week 4) (P = 1.0). Duration of action was analysed in 19 cats. Six cats (31.6%) showed short duration of action on PLIS, compared with two cats (10.5%) after 4 weeks on PZIR. All six cats with short PLIS duration showed duration of 9 h on PZIR. Conclusions and relevance Used alongside a low-carbohydrate diet, transitioning to PZIR was associated with significantly improved clinical signs and quality of life, with some cats achieving remission. Transition to PZIR should be considered for cats with short duration of action on PLIS

The Future of Structuralism

Structuralism represents an architecture that can interact, grow and adapt. The buildings can be recognised by their vivid open structures, composition of small units, and a spatial organisation like a city. As a reaction to CIAM functionalism, the avant-garde members of Team 10 proposed inclusive and social space and a more human form of urbanism and architecture. Starting in 1959, Dutch Structuralism became a very influential movement in the development of architecture in The Netherlands. Structuralism has been the focus of the 2017- 2018 educational programme of the Section Heritage &amp; Architecture at the Delft Faculty of Architecture. It has been a resounding success and is has been a pleasure to see so many young designers being inspired by the works and concepts of what is one of the most influential movements in post-war architecture in the Netherlands. In various Master studios, 64 students have surveyed and analysed four icons of Structuralism before embarking on a redesign project for their adaptive re-use: the Centraal Beheer office building, designed by Herman Hertzberger, the Faculty of Arts building and the Willibrordus Church, both designed by Joop van Stigt, and Aldo van Eyck’s Pastor van Ars Church in The Hague. This project ‘The Future of Structuralism’ shows our search for what Structuralism is and our assessment of some of its opportunities and shortcomings. But most importantly, it focusses on potential strategies for reuse. The structure of this booklet is thematic. By focusing on several themes that were important in Structuralism, we aim to link ideology, current examples from practice of transformed Structuralist buildings and design strategies. Through an exhibition, a debate and this publication, we hope to bring the work from within the chair to a wider audience and add new perspectives to the debate on the movement and its future values

Epidemiology of diabetes mellitus among 193,435 cats attending primary-care veterinary practices in England

BACKGROUND: Diabetes mellitus (DM) is a common endocrine disease of cats. The prevalence of DM in cats in England is not well‐defined. HYPOTHESIS/OBJECTIVES: To estimate the prevalence and identify risk factors for DM in a large population of cats attending primary‐care practices. ANIMALS: A cohort of 193,563 cats in the VetCompass Programme attending 118 primary‐care practices in England. METHODS: Cross‐sectional analysis of cohort clinical data. Data were extracted covering September 1st 2009 and August 31st 2014. Period prevalence of DM was calculated. Associations between risk factors and DM were assessed using logistic regression modelling. RESULTS: Of 1,128 DM cases were identified among 194,563 cats (period prevalence 0.58%; 95% confidence interval [CI] 0.54–0.61). Multivariable modelling indicated that Tonkinese (OR 4.1; 95% CI 1.8–9.6; P = .001), Norwegian Forest (odds ratio [OR] 3.5; 95% CI 1.3–9.6; P = .001) and Burmese (OR 3.0; 95% CI 2.0–4.4; P < .001) cats had increased odds of DM compared with crossbred cats. DM odds increased as bodyweight categories increased above 4 kg (P < .001), as cats aged beyond 6 years old (P < .001) and in insured cats (OR 2.0; 95% CI 1.6–2.4; P < .001) but sex was not significantly associated with DM. CONCLUSIONS AND CLINICAL IMPORTANCE: Diabetes mellitus is an important component of the primary‐care practice caseload with 1‐in‐200 cats affected. An increased risk of DM in certain cat breeds supports a genetic predisposition. These results can guide future research and preventative healthcare

Can financial and economic indicators explain conflict intensity?

How does money laundering affect civil wars? In the thesis, the author argues that there are considerable synergies between the two. Within money laundering, there are precise indicators but little data on the true scale of money laundering because of the sensitivity of the data. Within political violence, there is data on conflict intensity but few precise indicators that explain variation. By considering how civil war organizations use money laundering, this thesis demonstrates that money laundering indicators are more consistent predictors of political violence than those traditionally used in political violence studies. This thesis surveys civil war violence in Myanmar, Malaysia, the Philippines, Thailand, and Indonesia from 1997 to 2019