Reactive programming: un caso di studio

L'obiettivo di questa tesi è analizzare e testare la programmazione reattiva, paradigma di programmazione particolarmente adatto per lo sviluppo di applicazioni altamente interattive. La progettazione di sistemi reattivi implica necessariamente l'utilizzo di codice asincrono e la programmazione reattiva (RP) offre al programmatore semplici meccanismi per gestirlo. In questa tesi, la programmazione reattiva è stata utilizzata e valutata mediante la realizzazione di un progetto real-world chiamato AvvocaTimer. Verrà affrontata la progettazione, implementazione e collaudo di una parte del sistema attraverso l'approccio reattivo e, successivamente, confrontata con la prima versione, realizzata con i metodi attualmente usati per gestire codice asincrono, per analizzare vantaggi e/o svantaggi derivanti dall'utilizzo del nuovo paradigma.

Groups Acting on Tensor Products

Groups preserving a distributive product are encountered often in algebra. Examples include automorphism groups of associative and nonassociative rings, classical groups, and automorphism groups of p-groups. While the great variety of such products precludes any realistic hope of describing the general structure of the groups that preserve them, it is reasonable to expect that insight may be gained from an examination of the universal distributive products: tensor products. We give a detailed description of the groups preserving tensor products over semisimple and semiprimary rings, and present effective algorithms to construct generators for these groups. We also discuss applications of our methods to algorithmic problems for which all currently known methods require an exponential amount of work. (C) 2013 Elsevier B.V. All rights reserved.

Effects of transcranial direct current stimulation (tDCS) on behaviour and electrophysiology of language production

Excitatory anodal transcranial direct current stimulation (A-tDCS) over the left dorsal prefrontal cortex (DPFC) has been shown to improve language production. The present study examined neurophysiological underpinnings of this effect. In a single-blinded within-subject design, we traced effects of A-tDCS compared to sham stimulation over the left DPFC using electrophysiological and behavioural correlates during overt picture naming. Online effects were examined during A-tDCS by employing the semantic interference (SI-)Effect – a marker that denotes the functional integrity of the language system. The behavioural SI-Effect was found to be reduced, whereas the electrophysiological SI-Effect was enhanced over left compared to right temporal scalp-electrode sites. This modulation is suggested to reflect a superior tuning of neural responses within language-related generators. After -(offline) effects of A-tDCS were detected in the delta frequency band, a marker of neural inhibition. After A-tDCS there was a reduction in delta activity during picture naming and the resting state, interpreted to indicate neural disinhibition. Together, these findings demonstrate electrophysiological modulations induced by A-tDCS of the left DPFC. They suggest that A-tDCS is capable of enhancing neural processes during and after application. The present functional and oscillatory neural markers could detect positive effects of prefrontal A-tDCS, which could be of use in the neuro-rehabilitation of frontal language functions.

Evaluation of respiratory parameters at presentation as clinical indicators of the respiratory localization in dogs and cats with respiratory distress

OBJECTIVE: To describe clinical respiratory parameters in cats and dogs with respiratory distress and identify associations between respiratory signs at presentation and localization of the disease with particular evaluation between the synchrony of abdominal and chest wall movements as a clinical indicators for pleural space disease. Design - Prospective observational clinical study. SETTING: Emergency service in a university veterinary teaching hospital. ANIMALS: Cats and dogs with respiratory distress presented to the emergency service between April 2008 and July 2009. INTERVENTIONS: None. MEASUREMENTS AND MAIN RESULTS: The following parameters were systematically determined at time of admission: respiratory rate, heart rate, temperature, type of breathing, movement of the thoracic and abdominal wall during inspiration, presence of stridor, presence and type of dyspnea, and results of thoracic auscultation. Abdominal and chest wall movement was categorized as synchronous, asynchronous, or inverse. Diagnostic test results, diagnosis, and outcome were subsequently recorded. Based on the final diagnoses, animals were assigned to 1 or more of the following groups regarding the anatomical localization of the respiratory distress: upper airways, lower airways, lung parenchyma, pleural space, thoracic wall, nonrespiratory causes, and normal animals. One hundred and seventy-six animals (103 cats and 73 dogs) were evaluated. Inspiratory dyspnea was associated with upper airway disease in dogs and expiratory dyspnea with lower airway disease in cats. Respiratory noises were significantly associated and highly sensitive and specific for upper airway disease. An asynchronous or inverse breathing pattern and decreased lung auscultation results were significantly associated with pleural space disease in both dogs and cats (P<0.001). The combination is highly sensitive (99%) but not very specific (45%). Fast and shallow breathing was not associated with pleural space disease. Increased or moist pulmonary auscultation findings were associated with parenchymal lung disease. CONCLUSIONS: Cats and dogs with pleural space disease can be identified by an asynchronous or inverse breathing pattern in combination with decreased lung sounds on auscultation.

Epileptogenic developmental venous anomaly: insights from simultaneous EEG/fMRI

Developmental venous anomalies (DVAs) are associated with epileptic seizures; however, the role of DVA in the epileptogenesis is still not established. Simultaneous interictal electroencephalogram/functional magnetic resonance imaging (EEG/fMRI) recordings provide supplementary information to electroclinical data about the epileptic generators, and thus aid in the differentiation of clinically equivocal epilepsy syndromes. The main objective of our study was to characterize the epileptic network in a patient with DVA and epilepsy by simultaneous EEG/fMRI recordings. A 17-year-old woman with recently emerging generalized tonic-clonic seizures, and atypical generalized discharges, was investigated using simultaneous EEG/fMRI at the university hospital. Previous high-resolution MRI showed no structural abnormalities, except a DVA in the right frontal operculum. Interictal EEG recordings showed atypical generalized discharges, corresponding to positive focal blood oxygen level dependent (BOLD) correlates in the right frontal operculum, a region drained by the DVA. Additionally, widespread cortical bilateral negative BOLD correlates in the frontal and parietal lobes were delineated, resembling a generalized epileptic network. The EEG/fMRI recordings support a right frontal lobe epilepsy, originating in the vicinity of the DVA, propagating rapidly to both frontal and parietal lobes, as expressed on the scalp EEG by secondary bilateral synchrony. The DVA may be causative of focal epilepsies in cases where no concomitant epileptogenic lesions can be detected. Advanced imaging techniques, such as simultaneous EEG/fMRI, may thus aid in the differentiation of clinically equivocal epilepsy syndromes.

Control of ventricular unloading using an electrocardiogram-synchronized Thoratec paracorporeal ventricular assist device

OBJECTIVE: Current pulsatile ventricular assist devices operate asynchronous with the left ventricle in fixed-rate or fill-to-empty modes because electrocardiogram-triggered modes have been abandoned. We hypothesize that varying the ejection delay in the synchronized mode yields more precise control of hemodynamics and left ventricular loading. This allows for a refined management that may be clinically beneficial. METHODS: Eight sheep received a Thoratec paracorporeal ventricular assist device (Thoratec Corp, Pleasanton, Calif) via ventriculo-aortic cannulation. Left ventricular pressure and volume, aortic pressure, pulmonary flow, pump chamber pressure, and pump inflow and outflow were recorded. The pump was driven by a clinical pneumatic drive unit (Medos Medizintechnik AG, Stolberg, Germany) synchronously with the native R-wave. The start of pump ejection was delayed between 0% and 100% of the cardiac period in 10% increments. For each of these delays, hemodynamic variables were compared with baseline data using paired t tests. RESULTS: The location of the minimum of stroke work was observed at a delay of 10% (soon after aortic valve opening), resulting in a median of 43% reduction in stroke work compared with baseline. Maximum stroke work occurred at a median delay of 70% with a median stroke work increase of 11% above baseline. Left ventricular volume unloading expressed by end-diastolic volume was most pronounced for copulsation (delay 0%). CONCLUSIONS: The timing of pump ejection in synchronized mode yields control over left ventricular energetics and can be a method to achieve gradual reloading of a recoverable left ventricle. The traditionally suggested counterpulsation is not optimal in ventriculo-aortic cannulation when maximum unloading is desired.

[Elbow dysplasia in the dog: finite element analysis]

For young active dogs of large, fast-growing breeds, diseases of the elbow represent an increasing important disorder. Genetic predisposition, overweight and joint overload have been proposed as possible causes of elbow dysplasia. In this study, the influence of various biomechanical parameters on load transfer in healthy and pathological dog elbows has been analysed by means of a two-dimensional finite element model. Pathological changes in the elbow structure, such as altered material properties or asynchronous bone growth, have a distinct influence on the contact pressure in the joint articulation, internal bone deformation and stresses in the bones. The results obtained support empirical observations made during years of experience and offer explanations for clinical findings that are not yet well understood.

Cerebral networks linked to the event-related potential P300

P300 is an event-related potential that is elicited by an oddball paradigm. In several neuropsychiatric diseases, differences in latencies and amplitude compared to healthy subjects have been reported. Because of its clinical significance, several investigations have tried to elucidate the intracranial origins of the P300 component. In the present study we could demonstrate a network of P300 generators. Investigated were 15 healthy subjects with an acoustical oddball paradigm within a fMRI block design, which enabled us to exclude attention or acoustical processing effects. The inferior and middle frontal, superior temporal, lower parietal cortex, the insula and the anterior cingulum were significantly activated symmetrical in both hemispheres.

Late Pleistocene glaciation in the Central Andes: Temperature versus humidity control A case study from the eastern Bolivian Andes (17°S) and regional synthesis

A glacier–climate model was used to calculate climatic conditions in a test site on the east Andean slope around Cochabamba (17°S, Bolivia) for the time of the maximum Late Pleistocene glaciation. Results suggest a massive temperature reduction of about − 6.4 °C (+ 1.4/− 1.3 °C), combined with annual precipitation rates of about 1100 mm (+ 570 mm/− 280 mm). This implies no major change in annual precipitation compared with today. Summer precipitation was the source for the humidity in the past, as is the case today. This climate scenario argues for a maximum advance of the paleo-glaciers in the eastern cordillera during the global Last Glacial Maximum (LGM, 20 ka BP), which is confirmed by exposure age dates. In a synthesized view over the central Andes, the results point to an increased summer precipitation-driven Late Glacial (15–10 ka BP) maximum advance in the western part of the Altiplano (18°S–23°S), a temperature-driven maximum advance during full glacial times (LGM) in the eastern cordillera, and a pre- and post-LGM (32 ka BP/14 ka BP) maximum advance around 30°S related to increased precipitation and reduced temperature on the western slope of the Andes. The results indicate the importance of understanding the seasonality and details of the mass balance–climate interaction in order to disentangle drivers for the observed regionally asynchronous past glaciations in the central Andes.

Energy harvesting from body motion using rotational micro-generation

Autonomous system applications are typically limited by the power supply operational lifetime when battery replacement is difficult or costly. A trade-off between battery size and battery life is usually calculated to determine the device capability and lifespan. As a result, energy harvesting research has gained importance as society searches for alternative energy sources for power generation. For instance, energy harvesting has been a proven alternative for powering solar-based calculators and self-winding wristwatches. Thus, the use of energy harvesting technology can make it possible to assist or replace batteries for portable, wearable, or surgically-implantable autonomous systems. Applications such as cardiac pacemakers or electrical stimulation applications can benefit from this approach since the number of surgeries for battery replacement can be reduced or eliminated. Research on energy scavenging from body motion has been investigated to evaluate the feasibility of powering wearable or implantable systems. Energy from walking has been previously extracted using generators placed on shoes, backpacks, and knee braces while producing power levels ranging from milliwatts to watts. The research presented in this paper examines the available power from walking and running at several body locations. The ankle, knee, hip, chest, wrist, elbow, upper arm, side of the head, and back of the head were the chosen target localizations. Joints were preferred since they experience the most drastic acceleration changes. For this, a motor-driven treadmill test was performed on 11 healthy individuals at several walking (1-4 mph) and running (2-5 mph) speeds. The treadmill test provided the acceleration magnitudes from the listed body locations. Power can be estimated from the treadmill evaluation since it is proportional to the acceleration and frequency of occurrence. Available power output from walking was determined to be greater than 1mW/cm³ for most body locations while being over 10mW/cm³ at the foot and ankle locations. Available power from running was found to be almost 10 times higher than that from walking. Most energy harvester topologies use linear generator approaches that are well suited to fixed-frequency vibrations with sub-millimeter amplitude oscillations. In contrast, body motion is characterized with a wide frequency spectrum and larger amplitudes. A generator prototype based on self-winding wristwatches is deemed to be appropriate for harvesting body motion since it is not limited to operate at fixed-frequencies or restricted displacements. Electromagnetic generation is typically favored because of its slightly higher power output per unit volume. Then, a nonharmonic oscillating rotational energy scavenger prototype is proposed to harness body motion. The electromagnetic generator follows the approach from small wind turbine designs that overcome the lack of a gearbox by using a larger number of coil and magnets arrangements. The device presented here is composed of a rotor with multiple-pole permanent magnets having an eccentric weight and a stator composed of stacked planar coils. The rotor oscillations induce a voltage on the planar coil due to the eccentric mass unbalance produced by body motion. A meso-scale prototype device was then built and evaluated for energy generation. The meso-scale casing and rotor were constructed on PMMA with the help of a CNC mill machine. Commercially available discrete magnets were encased in a 25mm rotor. Commercial copper-coated polyimide film was employed to manufacture the planar coils using MEMS fabrication processes. Jewel bearings were used to finalize the arrangement. The prototypes were also tested at the listed body locations. A meso-scale generator with a 2-layer coil was capable to extract up to 234 µW of power at the ankle while walking at 3mph with a 2cm³ prototype for a power density of 117 µW/cm³. This dissertation presents the analysis of available power from walking and running at different speeds and the development of an unobtrusive miniature energy harvesting generator for body motion. Power generation indicates the possibility of powering devices by extracting energy from body motion.

Hamilton decompositions of 6-regular abelian Cayley graphs

In 1969, Lovasz asked whether every connected, vertex-transitive graph has a Hamilton path. This question has generated a considerable amount of interest, yet remains vastly open. To date, there exist no known connected, vertex-transitive graph that does not possess a Hamilton path. For the Cayley graphs, a subclass of vertex-transitive graphs, the following conjecture was made: Weak Lovász Conjecture: Every nontrivial, finite, connected Cayley graph is hamiltonian. The Chen-Quimpo Theorem proves that Cayley graphs on abelian groups flourish with Hamilton cycles, thus prompting Alspach to make the following conjecture: Alspach Conjecture: Every 2k-regular, connected Cayley graph on a finite abelian group has a Hamilton decomposition. Alspach’s conjecture is true for k = 1 and 2, but even the case k = 3 is still open. It is this case that this thesis addresses. Chapters 1–3 give introductory material and past work on the conjecture. Chapter 3 investigates the relationship between 6-regular Cayley graphs and associated quotient graphs. A proof of Alspach’s conjecture is given for the odd order case when k = 3. Chapter 4 provides a proof of the conjecture for even order graphs with 3-element connection sets that have an element generating a subgroup of index 2, and having a linear dependency among the other generators. Chapter 5 shows that if Γ = Cay(A, {s1, s2, s3}) is a connected, 6-regular, abelian Cayley graph of even order, and for some1 ≤ i ≤ 3, Δi = Cay(A/(si), {sj1 , sj2}) is 4-regular, and Δi ≄ Cay(ℤ3, {1, 1}), then Γ has a Hamilton decomposition. Alternatively stated, if Γ = Cay(A, S) is a connected, 6-regular, abelian Cayley graph of even order, then Γ has a Hamilton decomposition if S has no involutions, and for some s ∈ S, Cay(A/(s), S) is 4-regular, and of order at least 4. Finally, the Appendices give computational data resulting from C and MAGMA programs used to generate Hamilton decompositions of certain non-isomorphic Cayley graphs on low order abelian groups.

Experimental and theoretical study of microstructure effect on piezoelectric property of one dimensional ZnO nanostructures

Emerging nanogenerators have attracted the attention of the research community, focusing on energy generation using piezoelectric nanomaterials. Nanogenerators can be utilized for powering NEMS/MEMS devices. Understanding the piezoelectric properties of ZnO one-dimensional materials such as ZnO nanobelts (NBs) and Nanowires (NWs) can have a significant impact on the design of new devices. The goal of this dissertation is to study the piezoelectric properties of one-dimensional ZnO nanostructures both experimentally and theoretically. First, the experimental procedure for producing the ZnO nanostructures is discussed. The produced ZnO nanostructures were characterized using an in-situ atomic force microscope and a piezoelectric force microscope. It is shown that the electrical conductivity of ZnO NBs is a function of applied mechanical force and its crystalline structure. This phenomenon was described in the context of formation of an electric field due to the piezoelectric property of ZnO NBs. In the PFM studies, it was shown that the piezoelectric response of the ZnO NBs depends on their production method and presence of defects in the NB. Second, a model was proposed for making nanocomposite electrical generators based on ZnO nanowires. The proposed model has advantages over the original configuration of nanogenerators which uses an AFM tip for bending the ZnO NWs. Higher stability of the electric source, capability for producing larger electric fields, and lower production costs are advantages of this configuration. Finally, piezoelectric properties of ZnO NBs were simulated using the molecular dynamics (MD) technique. The size-scale effect on piezoelectric properties of ZnO NBs was captured, and it is shown that the piezoelectric coefficient of ZnO NBs decreases by increasing their lateral dimensions. This phenomenon is attributed to the surface charge redistribution and compression of unit cells that are placed on the outer shell of ZnO NBs.

Wind plant interaction with series-compensated power systems

Wind power based generation has been rapidly growing world-wide during the recent past. In order to transmit large amounts of wind power over long distances, system planners may often add series compensation to existing transmission lines owing to several benefits such as improved steady-state power transfer limit, improved transient stability, and efficient utilization of transmission infrastructure. Application of series capacitors has posed resonant interaction concerns such as through subsynchronous resonance (SSR) with conventional turbine-generators. Wind turbine-generators may also be susceptible to such resonant interactions. However, not much information is available in literature and even engineering standards are yet to address these issues. The motivation problem for this research is based on an actual system switching event that resulted in undamped oscillations in a 345-kV series-compensated, typical ring-bus power system configuration. Based on time-domain ATP (Alternative Transients Program) modeling, simulations and analysis of system event records, the occurrence of subsynchronous interactions within the existing 345-kV series-compensated power system has been investigated. Effects of various small-signal and large-signal power system disturbances with both identical and non-identical wind turbine parameters (such as with a statistical-spread) has been evaluated. Effect of parameter variations on subsynchronous oscillations has been quantified using 3D-DFT plots and the oscillations have been identified as due to electrical self-excitation effects, rather than torsional interaction. Further, the generator no-load reactance and the rotor-side converter inner-loop controller gains have been identified as bearing maximum sensitivity to either damping or exacerbating the self-excited oscillations. A higher-order spectral analysis method based on modified Prony estimation has been successfully applied to the field records identifying dominant 9.79 Hz subsynchronous oscillations. Recommendations have been made for exploring countermeasures.

Effectiveness of an Online Social Constructivist Mathematical Problem Solving Course for Malaysian Pre-Service Teachers

This study assessed the effectiveness of an online mathematical problem solving course designed using a social constructivist approach for pre-service teachers. Thirty-seven pre-service teachers at the Batu Lintang Teacher Institute, Sarawak, Malaysia were randomly selected to participate in the study. The participants were required to complete the course online without the typical face-to-face classes and they were also required to solve authentic mathematical problems in small groups of 4-5 participants based on the Polya’s Problem Solving Model via asynchronous online discussions. Quantitative and qualitative methods such as questionnaires and interviews were used to evaluate the effects of the online learning course. Findings showed that a majority of the participants were satisfied with their learning experiences in the course. There were no significant changes in the participants’ attitudes toward mathematics, while the participants’ skills in problem solving for “understand the problem” and “devise a plan” steps based on the Polya’s Model were significantly enhanced, though no improvement was apparent for “carry out the plan” and “review”. The results also showed that there were significant improvements in the participants’ critical thinking skills. Furthermore, participants with higher initial computer skills were also found to show higher performance in mathematical problem solving as compared to those with lower computer skills. However, there were no significant differences in the participants’ achievements in the course based on gender. Generally, the online social constructivist mathematical problem solving course is beneficial to the participants and ought to be given the attention it deserves as an alternative to traditional classes. Nonetheless, careful considerations need to be made in the designing and implementing of online courses to minimize problems that participants might encounter while participating in such courses.

Beherrschung stark korrelierter Logistik- und Produktions-Prozesse

Bei der Simulation von Logistik- und Produktionssystem werden Zufallszahlengeneratoren verwendet, um stochastische Einflüsse zu modellieren. Ein wichtiges Qualitätsmerkmal dieser Generatoren ist die Er-zeugung möglichst unabhängiger Zufallszahlen. Werden jedoch reale Prozesse betrachtet, so sind die Daten im Allgemeinen nicht unabhängig. Diese Arbeit befasst sich mit der Analyse von Praxisdaten bezüglich des Auftretens von Abhängigkeiten. Dazu werden Korrelationsstrukturen gesucht. Außerdem wird gezeigt, dass unabhängige Zufallszahlen in der Regel ungeeignet sind, um stochastische Prozesse mit ausgeprägten Abhängigkeiten zu modellieren.