Continuous action system refinement

Action systems are a framework for reasoning about discrete reactive systems. Back, Petre and Porres have extended these action systems to continuous action systems, which can be. used to model hybrid systems. In this paper we define a refinement relation, and develop practical data refinement rules for continuous action systems. The meaning of continuous action systems is expressed in terms of a mapping from continuous action systems to action systems. First, we present a new mapping from continuous act ion systems to action systems, such that Back's definition of trace refinement is correct with respect to it. Second, we present a stream semantics that is compatible with the trace semantics, but is preferable to it because it is more general. Although action system trace refinement rules are applicable to continuous action systems with a stream semantics, they are not complete. Finally, we introduce a new data refinement rule that is valid with respect to the stream semantics and can be used to prove refinements that are not possible in the trace semantics, and we analyse the completeness of our new rule in conjunction with the existing trace refinement rules.

Optimal Control of Heterogeneous Systems

Цветомир Цачев - В настоящия доклад се прави преглед на някои резултати от областта на оптималното управление на непрекъснатите хетерогенни системи, публикувани в периодичната научна литература в последните години. Една динамична система се нарича хетерогенна, ако всеки от нейните елементи има собствена динамиката. Тук разглеждаме оптимално управление на системи, чиято хетерогенност се описва с едномерен или двумерен параметър – на всяка стойност на параметъра отговаря съответен елемент на системата. Хетерогенните динамични системи се използват за моделиране на процеси в икономиката, епидемиологията, биологията, опазване на обществената сигурност (ограничаване на използването на наркотици) и др. Тук разглеждаме модел на оптимално инвестиране в образование на макроикономическо ниво [11], на ограничаване на последствията от разпространението на СПИН [9], на пазар на права за въглеродни емисии [3, 4] и на оптимален макроикономически растеж при повишаване на нивото на върховите технологии [1]. Ключови думи: оптимално управление, непрекъснати хетерогенни динамични системи, приложения в икономиката и епидемиолегията

Methods for Imputing Missing Values and Synthesizing Confidential Values for Continuous and Magnitude Data

Abstract

Continuous variable is one of the major data types collected by the survey organizations. It can be incomplete such that the data collectors need to fill in the missingness. Or, it can contain sensitive information which needs protection from re-identification. One of the approaches to protect continuous microdata is to sum them up according to different cells of features. In this thesis, I represents novel methods of multiple imputation (MI) that can be applied to impute missing values and synthesize confidential values for continuous and magnitude data.

The first method is for limiting the disclosure risk of the continuous microdata whose marginal sums are fixed. The motivation for developing such a method comes from the magnitude tables of non-negative integer values in economic surveys. I present approaches based on a mixture of Poisson distributions to describe the multivariate distribution so that the marginals of the synthetic data are guaranteed to sum to the original totals. At the same time, I present methods for assessing disclosure risks in releasing such synthetic magnitude microdata. The illustration on a survey of manufacturing establishments shows that the disclosure risks are low while the information loss is acceptable.

The second method is for releasing synthetic continuous micro data by a nonstandard MI method. Traditionally, MI fits a model on the confidential values and then generates multiple synthetic datasets from this model. Its disclosure risk tends to be high, especially when the original data contain extreme values. I present a nonstandard MI approach conditioned on the protective intervals. Its basic idea is to estimate the model parameters from these intervals rather than the confidential values. The encouraging results of simple simulation studies suggest the potential of this new approach in limiting the posterior disclosure risk.

The third method is for imputing missing values in continuous and categorical variables. It is extended from a hierarchically coupled mixture model with local dependence. However, the new method separates the variables into non-focused (e.g., almost-fully-observed) and focused (e.g., missing-a-lot) ones. The sub-model structure of focused variables is more complex than that of non-focused ones. At the same time, their cluster indicators are linked together by tensor factorization and the focused continuous variables depend locally on non-focused values. The model properties suggest that moving the strongly associated non-focused variables to the side of focused ones can help to improve estimation accuracy, which is examined by several simulation studies. And this method is applied to data from the American Community Survey.

A review of the welfare of dairy cows in continuously housed and pasture-based production systems.

There is increasing interest in the use of continuous housing systems for dairy cows, with various reasons put forward to advocate such systems. However, the welfare of dairy cows is typically perceived to be better within pasture-based systems, although such judgements are often not scientifically based. The aim of this review was to interrogate the existing scientific literature to compare the welfare, including health, of dairy cows in continuously housed and pasture-based systems. While summarising existing work, knowledge gaps and directions for future research are also identified. The scope of the review is broad, examining relevant topics under three main headings; health, behaviour, and physiology. Regarding health, cows on pasture-based systems had lower levels of lameness, hoof pathologies, hock lesions, mastitis, uterine disease, and mortality compared to cows on continuously housed systems. Pasture access also had benefits for dairy cow behaviour, in terms of grazing, improved lying / resting times, and lower levels of aggression. Moreover, when given the choice between pasture and indoor housing, cows showed an overall preference for pasture, particularly at night. However, the review highlighted the need for a deeper understanding of cow preference and behaviour. Potential areas for concern within pasture-based systems included physiological indicators of more severe negative energy balance, and in some situations, the potential for compromised welfare with exposure to unpredictable weather conditions. In summary, the results from this review highlight that there remain considerable animal welfare benefits from incorporating pasture access into dairy production systems.

Bayesian latent trait modeling of migraine symptom data

Definition of disease phenotype is a necessary preliminary to research into genetic causes of a complex disease. Clinical diagnosis of migraine is currently based on diagnostic criteria developed by the International Headache Society. Previously, we examined the natural clustering of these diagnostic symptoms using latent class analysis (LCA) and found that a four-class model was preferred. However, the classes can be ordered such that all symptoms progressively intensify, suggesting that a single continuous variable representing disease severity may provide a better model. Here, we compare two models: item response theory and LCA, each constructed within a Bayesian context. A deviance information criterion is used to assess model fit. We phenotyped our population sample using these models, estimated heritability and conducted genome-wide linkage analysis using Merlin-qtl. LCA with four classes was again preferred. After transformation, phenotypic trait values derived from both models are highly correlated (correlation = 0.99) and consequently results from subsequent genetic analyses were similar. Heritability was estimated at 0.37, while multipoint linkage analysis produced genome-wide significant linkage to chromosome 7q31-q33 and suggestive linkage to chromosomes 1 and 2. We argue that such continuous measures are a powerful tool for identifying genes contributing to migraine susceptibility.

Glycaemic load is associated with insulin resistance in older Australian women

Background: Diets with a high postprandial glycemic response may contribute to long-term development of insulin resistance and diabetes, however previous epidemiological studies are conflicting on whether glycemic index (GI) or glycemic load (GL) are dietary factors associated with the progression. Our objectives were to estimate GI and GL in a group of older women, and evaluate cross-sectional associations with insulin resistance. Subjects and Methods: Subjects were 329 Australian women aged 42-81 years participating in year three of the Longitudinal Assessment of Ageing in Women (LAW). Dietary intakes were assessed by diet history interviews and analysed using a customised GI database. Insulin resistance was defined as a homeostasis model assessment (HOMA) value of >3.99, based on fasting blood glucose and insulin concentrations. Results: GL was significantly higher in the 26 subjects who were classified as insulin resistant compared to subjects who were not (134±33 versus 114±24, P<0.001). In a logistic regression model, an increment of 15 GL units increased the odds of insulin resistance by 2.09 (95%CI 1.55, 2.80, P<0.001) independently of potential confounding variables. No significant associations were found when insulin resistance was assessed as a continuous variable. Conclusions: Results of this cross-sectional study support the concept that diets with a higher GL are associated with increased risk of insulin resistance. Further studies are required to investigate whether reducing glycemic intake, by either consuming lower GI foods and/or smaller serves of carbohydrate, can contribute to a reduction in development of insulin resistance and long-term risk of type 2 diabetes.

Comparison of multiple and novel measures of dietary glycemic carbohydrate with insulin resistant status in older women

BACKGROUND:Previous epidemiological investigations of associations between dietary glycemic intake and insulin resistance have used average daily measures of glycemic index (GI) and glycemic load (GL). We explored multiple and novel measures of dietary glycemic intake to determine which was most predictive of an association with insulin resistance.METHODS:Usual dietary intakes were assessed by diet history interview in women aged 42-81 years participating in the Longitudinal Assessment of Ageing in Women. Daily measures of dietary glycemic intake (n = 329) were carbohydrate, GI, GL, and GL per megacalorie (GL/Mcal), while meal based measures (n = 200) were breakfast, lunch and dinner GL; and a new measure, GL peak score, to represent meal peaks. Insulin resistant status was defined as a homeostasis model assessment (HOMA) value of >3.99; HOMA as a continuous variable was also investigated.RESULTS:GL, GL/Mcal, carbohydrate (all P < 0.01), GL peak score (P = 0.04) and lunch GL (P = 0.04) were positively and independently associated with insulin resistant status. Daily measures were more predictive than meal-based measures, with minimal difference between GL/Mcal, GL and carbohydrate. No significant associations were observed with HOMA as a continuous variable.CONCLUSION:A dietary pattern with high peaks of GL above the individual's average intake was a significant independent predictor of insulin resistance in this population, however the contribution was less than daily GL and carbohydrate variables. Accounting for energy intake slightly increased the predictive ability of GL, which is potentially important when examining disease risk in more diverse populations with wider variations in energy requirements.

A geometrical analysis of trajectory design for underwater vehicles

Designing trajectories for a submerged rigid body motivates this paper. Two approaches are addressed: the time optimal approach and the motion planning ap- proach using concatenation of kinematic motions. We focus on the structure of singular extremals and their relation to the existence of rank-one kinematic reduc- tions; thereby linking the optimization problem to the inherent geometric frame- work. Using these kinematic reductions, we provide a solution to the motion plan- ning problem in the under-actuated scenario, or equivalently, in the case of actuator failures. We finish the paper comparing a time optimal trajectory to one formed by concatenation of pure motions.

Sampling stored-product insect pests : a comparison of four statistical sampling models for probability of pest detection

Background: Developing sampling strategies to target biological pests such as insects in stored grain is inherently difficult owing to species biology and behavioural characteristics. The design of robust sampling programmes should be based on an underlying statistical distribution that is sufficiently flexible to capture variations in the spatial distribution of the target species. Results: Comparisons are made of the accuracy of four probability-of-detection sampling models - the negative binomial model,1 the Poisson model,1 the double logarithmic model2 and the compound model3 - for detection of insects over a broad range of insect densities. Although the double log and negative binomial models performed well under specific conditions, it is shown that, of the four models examined, the compound model performed the best over a broad range of insect spatial distributions and densities. In particular, this model predicted well the number of samples required when insect density was high and clumped within experimental storages. Conclusions: This paper reinforces the need for effective sampling programs designed to detect insects over a broad range of spatial distributions. The compound model is robust over a broad range of insect densities and leads to substantial improvement in detection probabilities within highly variable systems such as grain storage.

Postnatal depression in Central Vietnam

Postnatal depression (PND) is a significant global health issue, which not only impacts maternal wellbeing, but also infant development and family structures. Mental health disorders represent approximately 14% of global burden of disease and disability, including low and middle-income countries (LMIC), and PND has direct relevance to the Millennium Development Goals of reducing child mortality, improving maternal health, and creating global partnerships (United Nations, 2012; Guiseppe, Becker & Farmer, 2011). Emerging evidence suggests that PND in LMIC is similar to, or higher than in high-income countries (HIC), however, less than 10% of LMIC have prevalence data available (Fisher, Cabral de Mello, & Izutsu 2009; Lund et al., 2011). Whilst a small number of studies on maternal mental disorders have been published in Vietnam, only one specifically focuses on PND in a hospital-based sample. Also, community based mental health studies and information on mental health in rural areas of Vietnam is still scarce. The purpose of this study was to determine the prevalence of PND, and its associated social determinants in postnatal women in Thua Thien Hue Province, Central Vietnam. In order to identify social determinants relevant to the Central Vietnamese context, two qualitative studies and one community survey were undertaken. Associations between maternal mental health and infant health outcomes were also explored. The study was comprised of three phases. Firstly, iterative, qualitative interviews with Vietnamese health professionals (n = 17) and postpartum women (n = 15) were conducted and analysed using Kleinman's theory of explanatory models to identify narratives surrounding PND in the Vietnamese context (Kleinman, 1978). Secondly, a participatory concept mapping exercise was undertaken with two groups of health professionals (n = 12) to explore perceived risk and protective factors for postnatal mental health. Qualitative phases of the research elucidated narratives surrounding maternal mental health in the Vietnamese context such as son preference, use of traditional medicines, and the popularity of confinement practices such as having one to three months of complete rest. The qualitative research also revealed the construct of depression was not widely recognised. Rather, postpartum changes in mood were conceptualised as a loss of 'vital strength' following childbirth or 'disappointment'. Most women managed postpartum changes in mood within the family although some sought help from traditional medicine practitioners or biomedical doctors. Thirdly, a cross-sectional study of twelve randomly selected communes (six urban, six rural) in Thua Thien Hue Province was then conducted. Overall, 465 women with infants between 4 weeks and six months old participated, and 431 questionnaires were analysed. Women from urban (n = 216) and rural (n = 215) areas participated. All eligible women completed a structured interview about their health, basic demographics, and social circumstances. Maternal depression was measured using the Edinburgh Postnatal Depression Scale (EPDS) as a continuous variable. Multivariate generalised linear regression was conducted using PASW Statistics version 18.0 (2009). When using the conventional EPDS threshold for probable depression (EPDS score ~ 13) 18.1% (n = 78) of women were depressed (Gibson, McKenzie-McHarg, Shakespeare, Price & Gray, 2009). Interestingly, 20.4% of urban women (n = 44) had EPDS scores~ 13, which was a higher proportion than rural women, where 15.8% (n = 34) had EPDS scores ~ 13, although this difference was not statistically significant: t(429) = -0.689, p = 0.491. Whilst qualitative narratives identified infant gender and family composition, and traditional confinement practices as relevant to postnatal mood, these were not statistically significant in multivariate analysis. Rather, poverty, food security, being frightened of your husband or family members, experiences of intimate partner violence and breastfeeding difficulties had strong statistical associations. PND was also associated with having an infant with diarrhoea in the past two weeks, but not infant malnutrition or acute respiratory infections. This study is the first to explore maternal mental health in Central Vietnam, and provides further evidence that PND is a universally experienced phenomenon. The independent social risk factors of depressive symptoms identified such as poverty, food insecurity, experiences of violence and powerlessness, and relationship adversity points to women in a context of social suffering which is relevant throughout the world (Kleinman, Das & Lock, 1997). The culturally specific risk factors explored such as infant gender were not statistically significant when included in a multivariable model. However, they feature prominently in qualitative narratives surrounding PND in Vietnam, both in this study and previous literature. It appears that whilst infant gender may not be associated with PND per se, the reactions of close relatives to the gender of the baby can adversely affect maternal wellbeing. This study used a community based participatory research approach (CBPR) (Israel.2005). This approach encourages the knowledge produced to be used for public health interventions and workforce training in the community in which the research was conducted, and such work has commenced. These results suggest that packages of interventions for LMIC devised to address maternal mental health and infant wellbeing could be applied in Central Vietnam. Such interventions could include training lay workers to follow up postpartum women, and incorporating mental health screening and referral into primary maternal and child health care (Pate! et al., 2011; Rahman, Malik, Sikander & Roberts, 2008). Addressing the underlying social determinants of PND through poverty reduction and violence elimination programs is also recommended.

Stiffness-damping matching method of an ECAS system based on LQG control

A novel method of matching stiffness and continuous variable damping of an ECAS (electronically controlled air suspension) based on LQG (linear quadratic Gaussian) control was proposed to simultaneously improve the road-friendliness and ride comfort of a two-axle school bus. Taking account of the suspension nonlinearities and target-height-dependent variation in suspension characteristics, a stiffness model of the ECAS mounted on the drive axle of the bus was developed based on thermodynamics and the key parameters were obtained through field tests. By determining the proper range of the target height for the ECAS of the fully-loaded bus based on the design requirements of vehicle body bounce frequency, the control algorithm of the target suspension height (i.e., stiffness) was derived according to driving speed and road roughness. Taking account of the nonlinearities of a continuous variable semi-active damper, the damping force was obtained through the subtraction of the air spring force from the optimum integrated suspension force, which was calculated based on LQG control. Finally, a GA (genetic algorithm)-based matching method between stepped variable damping and stiffness was employed as a benchmark to evaluate the effectiveness of the LQG-based matching method. Simulation results indicate that compared with the GA-based matching method, both dynamic tire force and vehicle body vertical acceleration responses are markedly reduced around the vehicle body bounce frequency employing the LQG-based matching method, with peak values of the dynamic tire force PSD (power spectral density) decreased by 73.6%, 60.8% and 71.9% in the three cases, and corresponding reduction are 71.3%, 59.4% and 68.2% for the vehicle body vertical acceleration. A strong robustness to variation of driving speed and road roughness is also observed for the LQG-based matching method.

On various types of decoupling for time-varying system

This paper deals with the problem of decoupling a class of linear time-varying multi-variable systems, based on the defining property that the impulse response matrix of a decoupled system is diagonal. Depending on the properties of the coefficient matrices of the vector differential equation of the open-loop system, the system may be uniformly or totally decoupled. The necessary and sufficient conditions that permit a system to be uniformly or totally decoupled by state variable feedback are given. The main contribution of this paper is the precise definition of these two classes of decoupling and a rigorous derivation of the necessary and sufficient conditions which show the necessity of requiring that the system be of constant ordered rank with respect to observability. A simple example illustrates the importance of having several definitions of decoupling. Finally, the results are specialized to the case of time invariant systems.

Existence, uniqueness, and stability of solutions of a class of nonlinear partial differential equations

In this study we investigate the existence, uniqueness and asymptotic stability of solutions of a class of nonlinear integral equations which are representations for some time dependent non- linear partial differential equations. Sufficient conditions are established which allow one to infer the stability of the nonlinear equations from the stability of the linearized equations. Improved estimates of the domain of stability are obtained using a Liapunov Functional approach. These results are applied to some nonlinear partial differential equations governing the behavior of nonlinear continuous dynamical systems.

Estresse ocupacional segundo o modelo demanda-controle e suas repercussões na saúde do trabalhador de enfermagem: análise das variações de cortisol salivar

O objeto de estudo foi o estresse no trabalho e os níveis de cortisol salivar. O objetivo geral foi avaliar a associação entre estresse no trabalho e variações de cortisol salivar de trabalhadores de Enfermagem inseridos na assistência hospitalar no Rio de Janeiro. A hipótese do estudo foi que existe associação entre trabalhadores expostos à alta exigência no trabalho e as variações de cortisol salivar. Trata-se de estudo epidemiológico observacional analítico seccional, realizado em hospital estadual localizado no Rio de Janeiro com amostra de 103 trabalhadores. Para avaliação dos aspectos psicossociais do trabalho, utilizou-se o questionário Job Content Questionnaire. O cortisol salivar foi medido através da coleta de 04 amostras de cada participante em um dia do plantão: ao acordar, 30 minutos depois, às 12h e 18 h. A coleta de dados foi realizada entre março e abril de 2012. Utilizou-se o programa SPSS 18.0 para análise dos dados. As dimensões demanda psicológica e controle e a subtração foram utilizadas sob a forma contínua nas análises de correlação com as covariáveis e desfecho. Os níveis de cortisol foram quantificados por meio de cinco índices: o cálculo da área sob a curva em relação ao zero ou base (AUCg), área sob a curva em relação ao aumento (AUCi), o aumento médio (MnInc), a excreção do cortisol no período pós acordar (AUCtrab) e a área sob a curva em relação ao zero ou base do ciclo diurno (AUCCD). Para avaliar a associação entre as covariáveis e exposição e desfecho utilizou-se os testes de Mann Whitney e Kruskall-Wallis. As covariáveis associadas à exposição ou ao desfecho com nível de significância de 20% (p≤0,20) foram testadas no modelo de regressão linear. Realizada análise de correlação utilizando-se o coeficiente de correlação de Spearmans. Como resultado encontrou-se que os trabalhadores de Enfermagem obtiveram médias para demanda psicológica e controle que tendem para o limite superior, bem como para a subtração, caracterizando alta demanda e alto controle, ou seja, trabalho ativo. O valor médio de cortisol observado ao acordar, 30 minutos após, 12h e 18h foi de 5,82 nmol/L) (4,86), 16,60 nmol/L ( 8,31), 7,49 nmol/L ( 6,97) e 3,93 nmol/L ( 3,15), respectivamente. O aumento do cortisol entre o acordar e 30 minutos após foi em média de 64%. Já para os índices de cortisol adotados observa-se o valor médio da MnInc, AUCg, AUCi, AUCtrab e AUCCD foi de 10,78 nmol/L (6,99), 5,61 nmol/L ( 2,92) 2,69 nmol/L ( 1,75), 32,51 nmol/L ( 21,99) e 107,99 nmol/L ( 61,63), respectivamente. Este estudo demonstrou que os níveis de cortisol salivar livre não estão associados à alta exigência no trabalho, mesmo quando ajustadas pelas possíveis variáveis de confusão ou modificadoras de efeito. A hipótese do estudo não foi confirmada. Os dados obtidos neste estudo revelaram aspectos importantes dos riscos psicossociais a que estão expostos os trabalhadores de Enfermagem durante o processo de trabalho, oferecendo subsídios para que sejam implementados programas de orientação e promoção à saúde do trabalhador e fornecem um contributo para entender os caminhos biológicos pelos quais o estresse no trabalho influencia a saúde.

Model Refinement for the Active Control of Thermoacoustic Instability

Active control has been shown as a feasible technology for suppressing thermoacoustic instability in continuous combustion systems, and the control strategy design is substantially dependent on the reliability of the flame model. In this paper, refinement of G-equation flame model for the dynamics of lean premixed combustion is investigated. Precisely, the dynamics between the flame speed S_u and equivalence ratio phi are proposed based on numerical calculations and physical explanations. Finally, the developed model is tested on one set of experimental data.