Behavioural Analysis of a Nonlinear Mechanical System Using Transient Trajectories

This work aims at a better comprehension of the features of the solution surface of a dynamical system presenting a numerical procedure based on transient trajectories. For a given set of initial conditions an analysis is made, similar to that of a return map, looking for the new configuration of this set in the first Poincaré sections. The mentioned set of I.C. will result in a curve that can be fitted by a polynomial, i.e. an analytical expression that will be called initial function in the undamped case and transient function in the damped situation. Thus, it is possible to identify using analytical methods the main stable regions of the phase portrait without a long computational time, making easier a global comprehension of the nonlinear dynamics and the corresponding stability analysis of its solutions. This strategy allows foreseeing the dynamic behavior of the system close to the region of fundamental resonance, providing a better visualization of the structure of its phase portrait. The application chosen to present this methodology is a mechanical pendulum driven through a crankshaft that moves horizontally its suspension point.

Behavioural analysis of mouse mutants with altered neuronal and glial genes

Im ersten Teil dieser Doktorarbeit beabsichtigte meine Arbeit, die funktionelle Beteiligung des CB1 Rezeptors, einer Hauptkomponente des neuronalen Endocannabinoid-Systems (ECS), an der Ausbildung von verschiedenen Verhaltensphänotypen mit Hilfe von konditionalen Mausmutanten, denen der CB1 Rezeptor auf verschiedenen neuronalen Unterpopulationen fehlt, aufzuschlüsseln und zu untersuchen. Verschiedene Verhaltensmodelle wurden hierzu getestet. Dabei lag der Fokus dieser Arbeit auf der CB1f/f;D1-Cre Mauslinie, welche der CB1 Rezeptor auf den D1 Rezeptor exprimierenden Neuronen des Striatums fehlt. Ich konnte zeigen, dass der Verlust des CB1 Rezeptors auf diesen Neuronen keinen Einfluss auf basale neurologische Funktionen, Gewicht, Bewegung, Exploration, Sozialverhalten, Angst und Stressbewältigung der Tiere hat, jedoch eine Beteiligung an der Entwicklung von Suchtverhalten gegeben ist. Bei Betrachtung des Kokain-induzierten Suchtverhaltens zeigten die konditionalen Mausmutanten eine reduzierte Suchtanfälligkeit sowohl im Vergleich zu Tieren mit einem totalen CB1 Rezeptor Verlust in allen Körperzellen, als auch zu genetisch unveränderten Kontrollmäusen beider Linien.rnDes Weiteren zeigen die Ergebnisse dieser Studie eine große, aber gegensätzliche Beteiligung des ECS bei der Regulation von Exploration in Abhängigkeit des Verlustes des CB1 Rezeptors auf GABAergen Neuronen des Vorderhirns und kortikalen glutamatergen Neuronen, jedoch nicht auf striatalen Neuronen alleine. Zusätzlich war ich in der Lage, die Wichtigkeit des genetischen Hintergrunds von Mauslinien nicht nur auf die Ausbildung von spezifischen Verhaltensphänotypen, sondern auch auf die Genexpression zu zeigen.rnIn dem zweiten Teil dieser Arbeit, in dem ich mich auf die Funktion von Gliazellen konzentrierte, wurden ebenfalls Mausmutanten in verschiedenen Verhaltensmodellen getestet. Ein genetisches Auslöschen des NG2 Glykoproteins in Gliazellen sorgt in den Knock-out Mäusen für ein schlechteres Hörvermögen und ein reduziertes Depressionsverhalten im Vergleich zu ihren Wildtyp-Kontrollmäusen. Interessanterweise zeigten diese Tiere auch eine reduzierte Empfänglichkeit bei chemisch induzierten epileptischen Krämpfen, was eine Rolle des NG2 Glykoproteins bei der Kontrolle der glutamatergen Homöostase vorschlägt, die wahrscheinlich durch Strukturänderungen der Neuron-Glia-Synapse verursacht wird. rn

Cognitive-Behavioural Analysis System of Psychotherapy (CBASP), a drug, or their combination: differential therapeutics for persistent depressive disorder: a study protocol of an individual participant data network meta-analysis.

INTRODUCTION Despite important advances in psychological and pharmacological treatments of persistent depressive disorders in the past decades, their responses remain typically slow and poor, and differential responses among different modalities of treatments or their combinations are not well understood. Cognitive-Behavioural Analysis System of Psychotherapy (CBASP) is the only psychotherapy that has been specifically designed for chronic depression and has been examined in an increasing number of trials against medications, alone or in combination. When several treatment alternatives are available for a certain condition, network meta-analysis (NMA) provides a powerful tool to examine their relative efficacy by combining all direct and indirect comparisons. Individual participant data (IPD) meta-analysis enables exploration of impacts of individual characteristics that lead to a differentiated approach matching treatments to specific subgroups of patients. METHODS AND ANALYSIS We will search for all randomised controlled trials that compared CBASP, pharmacotherapy or their combination, in the treatment of patients with persistent depressive disorder, in Cochrane CENTRAL, PUBMED, SCOPUS and PsycINFO, supplemented by personal contacts. Individual participant data will be sought from the principal investigators of all the identified trials. Our primary outcomes are depression severity as measured on a continuous observer-rated scale for depression, and dropouts for any reason as a proxy measure of overall treatment acceptability. We will conduct a one-step IPD-NMA to compare CBASP, medications and their combinations, and also carry out a meta-regression to identify their prognostic factors and effect moderators. The model will be fitted in OpenBUGS, using vague priors for all location parameters. For the heterogeneity we will use a half-normal prior on the SD. ETHICS AND DISSEMINATION This study requires no ethical approval. We will publish the findings in a peer-reviewed journal. The study results will contribute to more finely differentiated therapeutics for patients suffering from this chronically disabling disorder. TRIAL REGISTRATION NUMBER CRD42016035886.

Influencing water consumption at South Staffordshire Water PLC : a disaggregated behavioural analysis of contributory factors

This research identifies factors which influence the consumption of potable water supplied to customers' property. A complete spectrum of the customer base is examined including household, commercial and industrial properties. The research considers information from around the world, particularly demand management and tariff related projects from North America. A device termed the Flow Moderator was developed and proven, with extensive trials, to conserve water at a rate equivalent to 40 litres/property/day whilst maintaining standards-of-service considerably in excess of Regulatory requirements. A detailed appraisal of the Moderator underlines the costs and benefits available to the industry through deliberate application of even mild demand management. More radically the concept of a charging policy utilising the Moderator is developed and appraised. Advantages include the lower costs of conventional fixed-price charging systems coupled with the conservation and equitability aspects associated with metering. Explanatory models were developed linking consumption to a range of variables demonstrated that households served by a communal water service-pipe (known in the UK as a shared supply) are subject to associated restrictions equivalent to -180 litres/property/day. The research confirmed that occupancy levels were a significant predictive element for household, commercial and industrial customers. The occurrence of on-property leakage was also demonstrated to be a significant factor recorded as an event which offers considerable scope for demand management in its own right.

Formal modelling and analysis of DNP3 secure authentication

Supervisory Control and Data Acquisition (SCADA) systems are one of the key foundations of smart grids. The Distributed Network Protocol version 3 (DNP3) is a standard SCADA protocol designed to facilitate communications in substations and smart grid nodes. The protocol is embedded with a security mechanism called Secure Authentication (DNP3-SA). This mechanism ensures that end-to-end communication security is provided in substations. This paper presents a formal model for the behavioural analysis of DNP3-SA using Coloured Petri Nets (CPN). Our DNP3-SA CPN model is capable of testing and verifying various attack scenarios: modification, replay and spoofing, combined complex attack and mitigation strategies. Using the model has revealed a previously unidentified flaw in the DNP3-SA protocol that can be exploited by an attacker that has access to the network interconnecting DNP3 devices. An attacker can launch a successful attack on an outstation without possessing the pre-shared keys by replaying a previously authenticated command with arbitrary parameters. We propose an update to the DNP3-SA protocol that removes the flaw and prevents such attacks. The update is validated and verified using our CPN model proving the effectiveness of the model and importance of the formal protocol analysis.

Evaluation of methods and applications for behavioural profiling of transgenic mice

During the last 10-15 years interest in mouse behavioural analysis has evolved considerably. The driving force is development in molecular biological techniques that allow manipulation of the mouse genome by changing the expression of genes. Therefore, with some limitations it is possible to study how genes participate in regulation of physiological functions and to create models explaining genetic contribution to various pathological conditions. The first aim of our study was to establish a framework for behavioural phenotyping of genetically modified mice. We established comprehensive battery of tests for the initial screening of mutant mice. These included tests for exploratory and locomotor activity, emotional behaviour, sensory functions, and cognitive performance. Our interest was in the behavioural patterns of common background strains used for genetic manipulations in mice. Additionally we studied the behavioural effect of sex differences, test history, and individual housing. Our findings highlight the importance of careful consideration of genetic background for analysis of mutant mice. It was evident that some backgrounds may mask or modify the behavioural phenotype of mutants and thereby lead to false positive or negative findings. Moreover, there is no universal strain that is equally suitable for all tests, and using different backgrounds allows one to address possible phenotype modifying factors. We discovered that previous experience affected performance in several tasks. The most sensitive traits were the exploratory and emotional behaviour, as well as motor and nociceptive functions. Therefore, it may be essential to repeat some of the tests in naïve animals for assuring the phenotype. Social isolation for a long time period had strong effects on exploratory behaviour, but also on learning and memory. All experiments revealed significant interactions between strain and environmental factors (test history or housing condition) indicating genotype-dependent effects of environmental manipulations. Several mutant line analyses utilize this information. For example, we studied mice overexpressing as well as those lacking extracellular matrix protein heparin-binding growth-associated molecule (HB-GAM), and mice lacking N-syndecan (a receptor for HB-GAM). All mutant mice appeared to be fertile and healthy, without any apparent neurological or sensory defects. The lack of HB-GAM and N-syndecan, however, significantly reduced the learning capacity of the mice. On the other hand, overexpression of HB-GAM resulted in facilitated learning. Moreover, HB-GAM knockout mice displayed higher anxiety-like behaviour, whereas anxiety was reduced in HB-GAM overexpressing mice. Changes in hippocampal plasticity accompanied the behavioural phenotypes. We conclude that HB-GAM and N-syndecan are involved in the modulation of synaptic plasticity in hippocampus and play a role in regulation of anxiety- and learning-related behaviour.

Behavioural and physiological responses of shelter dogs to long-term confinement

In Italy, National Law (281/1991) prohibits euthanasia of shelter dogs if they are not dangerous or suffering seriously. Adoption rates in rescue shelters are often lower than entrance rates, leading inevitably to overcrowded facilities where animals are likely to spend the rest of their lives in kennels. In this situation, housing conditions (i.e. space provided, environmental, and social stimulation) may have an impact on canine welfare. In this research project, the effects of two different forms of housing (group- and pair housing) on long-term shelter dogs were compared using behavioural and physiological parameters. Observational data and saliva samples were collected from dogs exposed to both experimental settings; behaviour and cortisol concentration levels were used as welfare indicators. Pair housing offered fewer social and environmental stimuli and behavioural analysis showed a significant decrease in locomotor, exploratory, and social behaviour. Cortisol levels show that this parameter varied independently of housing conditions. Although this study found no evidence suggesting that one form of confinement reduced animal welfare more than the other (e.g. in terms of abnormal behaviour, or higher cortisol concentrations), the type of confinement did affect the expression of a variety of behaviours and these variations should not be ignored with respect to housing decisions for long-term shelter dogs.

Does activity in computer game play have an impact on creative behavior?

This paper describes a behaviour analysis designed to measure the creative potential of computer game activities. The research approach applies a behavioural and verbal protocol to analyze the factors that influence the creative processes used by people as they play computer games from the puzzle genre. Creative components are measured by examining task motivation as well as domain-relevant and creativity-relevant skills factors. This paper focuses on how three puzzle games embody activity that might facilitate creative processes. The findings show that game playing activities significantly impact upon creative potential of computer games.

The impact of home loan key facts sheets on borrowers' comparisons of loan costs

This thesis evaluates the effectiveness of the prescribed design and distribution requirements of the Australian Government's home loan key facts sheets (KFS) aimed at helping borrowers compare loan costs. The findings show that despite effectively improving borrower decision-making, few borrowers were aware of their existence and function. It was also demonstrated that KFS have had limited market impact over the four year window since introduction, likely due to the requirement that KFS provision is not required unless formally requested by a borrower. Recommendations include transferring the burden of disclosure to lenders in the first instance to address this information gap.