Transition to complete synchronization in phase-coupled oscillators with nearest neighbor coupling

We investigate synchronization in a Kuramoto-like model with nearest neighbor coupling. Upon analyzing the behavior of individual oscillators at the onset of complete synchronization, we show that the time interval between bursts in the time dependence of the frequencies of the oscillators exhibits universal scaling and blows up at the critical coupling strength. We also bring out a key mechanism that leads to phase locking. Finally, we deduce forms for the phases and frequencies at the onset of complete synchronization.

Transiting exoplanets from the CoRoT space mission XV. CoRoT-15b: a brown-dwarf transiting companion

We report the discovery by the CoRoT space mission of a transiting brown dwarf orbiting a F7V star with an orbital period of 3.06 days. CoRoT-15b has a radius of 1.12(-0.15)(+0.30) R(Jup) and a mass of 63.3 +/- 4.1 M(Jup), and is thus the second transiting companion lying in the theoretical mass domain of brown dwarfs. CoRoT-15b is either very young or inflated compared to standard evolution models, a situation similar to that of M-dwarf stars orbiting close to solar-type stars. Spectroscopic constraints and an analysis of the lightcurve imply a spin period in the range 2.9-3.1 days for the central star, which is compatible with a double-synchronisation of the system.

Mutually connected phase-locked loop networks: dynamical models and design parameters

Distribution of timing signals is an essential factor for the development of digital systems for telecommunication networks, integrated circuits and manufacturing automation. Originally, this distribution was implemented by using the master-slave architecture with a precise master clock generator sending signals to phase-locked loops (PLL) working as slave oscillators. Nowadays, wireless networks with dynamical connectivity and the increase in size and operation frequency of the integrated circuits suggest that the distribution of clock signals could be more efficient if mutually connected architectures were used. Here, mutually connected PLL networks are studied and conditions for synchronous states existence are analytically derived, depending on individual node parameters and network connectivity, considering that the nodes are nonlinear oscillators with nonlinear coupling conditions. An expression for the network synchronisation frequency is obtained. The lock-in range and the transmission error bounds are analysed providing hints to the design of this kind of clock distribution system.

The effects of viscous loading of the human forearm flexors on the stability of coordination

This experiment investigated whether the stability of rhythmic unimanual movements is primarily a function of perceptual/spatial orientation or neuro-mechanical in nature. Eight participants performed rhythmic flexion and extension movements of the left wrist for 30 s at a frequency of 2.25 Hz paced by an auditory metronome. Each participant performed 8 flex-on-the-beat trials and 8 extend-on-the-beat trials in one of two load conditions, loaded and unload. In the loaded condition, a servo-controlled torque motor was used to apply a small viscous load that resisted the flexion phase of the movement only. Both the amplitude and frequency of the movement generated in the loaded and unloaded conditions were statistically equivalent. However, in the loaded condition movements in which participants were required to flex-on-the-beat became less stable (more variable) while extend-on-the-beat movements remained unchanged compared with the unload condition. The small alteration in required muscle force was sufficient to result in reliable changes in movement stability even a situation where the movement kinematics were identical. These findings support the notion that muscular constraints, independent of spatial dependencies, can be sufficiently strong to reliably influence coordination in a simple unimanual task.

Developing human minor salivary glands: morphological parallel relation between the expression of TGF-beta isoforms and cytoskeletal markers of glandular maturation

Morphogenesis of salivary glands involves complex coordinated events. Synchronisation between cell proliferation, polarisation and differentiation, which are dependent on epithelial-mesenchymal interactions and on the microenvironment, is a requirement. Growth factors mediate many of these orchestrated biological processes and transforming growth factor-beta (TGF-beta) appear to be relevant. Using immunohistochemistry and immunofluorescence, we have mapped the distribution of TGF-beta 1, 2 and 3 and compared it with the expression of maturation markers in human salivary glands obtained from foetuses ranging from weeks 4 to 24 of gestation. TGF-beta 1 first appeared during canalisation stage in the surrounding mesenchyme and, in the more differentiated stages, was expressed in the cytoplasm of acinar cells throughout the adult gland. TGF-beta 2 was detected since the bud stage of the salivary gland. Its expression was observed in ductal cells and increased along gland differentiation, TGF-beta 3 was detected from the canalisation stage of the salivary gland, being weakly expressed on ductal cells, and it was the only factor detected on myoepithelial cells. The data suggest that TGF-beta have a role to play in salivary gland development and differentiation.

Interaction of temperature and vegetative flush maturity influences shoot structure and development of lychee (Litchi chinensis Sonn.)

Potted lychee trees (cv. Tai so) of varying vegetative flush maturity were grown under a range of temperature regimes and monitored for subsequent shoot structure and development. A combination of low temperature (15/17 or 18/13 degreesC day/night) and high vegetative flush maturity was necessary for floral initiation to occur, Exposure to high temperatures (28/23 degreesC) invariably resulted in the production of vegetative shoots, irrespective of flush maturity. Strong floral initiation was marked by the emergence of terminal particles and accompanying axillary particles. A decrea,;e in vegetative flush maturity or increase in temperature (e.g. 23/18 degreesC) resulted in a decrease in axillary shoot formation and the production of several intermediate shoot structures. These included leafy particles, stunted particles, partially emerged buds and non-emergent swollen buds, often produced on the same tree. At 23/18 degreesC, closer synchronisation of initial flush maturity was required for the production of a consistent shoot-type. Trees with synchronised mature flushes (I-2) at 23/18 degreesC resulted in the production of swollen terminal buds. Healthy trees were maintained in this state for at least 11 months. These results indicate that both temperature and flush maturity can influence subsequent shoot structure of lychee. In the absence of either a strong floral temperature (18/13 degreesC) or strong vegetative temperature (28/23 degreesC), slight differences in initial flush maturity have gteater impact on the type of emerging shoot formed. (C) 2002 Elsevier Science B.V. All rights reserved.

Controlador Boundary-Scan

A crescente complexidade dos sistemas electrónicos associada a um desenvolvimento nas tecnologias de encapsulamento levou à miniaturização dos circuitos integrados, provocando dificuldades e limitações no diagnóstico e detecção de falhas, diminuindo drasticamente a aplicabilidade dos equipamentos ICT. Como forma de lidar com este problema surgiu a infra-estrutura Boundary Scan descrita na norma IEEE1149.1 “Test Access Port and Boundary-Scan Architecture”, aprovada em 1990. Sendo esta solução tecnicamente viável e interessante economicamente para o diagnóstico de defeitos, efectua também outras aplicações. O SVF surgiu do desejo de incutir e fazer com que os fornecedores independentes incluíssem a norma IEEE 1149.1, é desenvolvido num formato ASCII, com o objectivo de enviar sinais, aguardar pela sua resposta, segundo a máscara de dados baseada na norma IEEE1149.1. Actualmente a incorporação do Boundary Scan nos circuitos integrados está em grande expansão e consequentemente usufrui de uma forte implementação no mercado. Neste contexto o objectivo da dissertação é o desenvolvimento de um controlador boundary scan que implemente uma interface com o PC e possibilite o controlo e monitorização da aplicação de teste ao PCB. A arquitectura do controlador desenvolvido contém um módulo de Memória de entrada, um Controlador TAP e uma Memória de saída. A implementação do controlador foi feita através da utilização de uma FPGA, é um dispositivo lógico reconfiguráveis constituído por blocos lógicos e por uma rede de interligações, ambos configuráveis, que permitem ao utilizador implementar as mais variadas funções digitais. A utilização de uma FPGA tem a vantagem de permitir a versatilidade do controlador, facilidade na alteração do seu código e possibilidade de inserir mais controladores dentro da FPGA. Foi desenvolvido o protocolo de comunicação e sincronização entre os vários módulos, permitindo o controlo e monitorização dos estímulos enviados e recebidos ao PCB, executados automaticamente através do software do Controlador TAP e de acordo com a norma IEEE 1149.1. A solução proposta foi validada por simulação utilizando o simulador da Xilinx. Foram analisados todos os sinais que constituem o controlador e verificado o correcto funcionamento de todos os seus módulos. Esta solução executa todas as sequências pretendidas e necessárias (envio de estímulos) à realização dos testes ao PCB. Recebe e armazena os dados obtidos, enviando-os posteriormente para a memória de saída. A execução do trabalho permitiu concluir que os projectos de componentes electrónicos tenderão a ser descritos num nível de abstracção mais elevado, recorrendo cada vez mais ao uso de linguagens de hardware, no qual o VHDL é uma excelente ferramenta de programação. O controlador desenvolvido será uma ferramenta bastante útil e versátil para o teste de PCBs e outras funcionalidades disponibilizadas pelas infra-estruturas BS.

Supporting intra-task parallelism in real-time multiprocessor systems

Os sistemas de tempo real modernos geram, cada vez mais, cargas computacionais pesadas e dinâmicas, começando-se a tornar pouco expectável que sejam implementados em sistemas uniprocessador. Na verdade, a mudança de sistemas com um único processador para sistemas multi- processador pode ser vista, tanto no domínio geral, como no de sistemas embebidos, como uma forma eficiente, em termos energéticos, de melhorar a performance das aplicações. Simultaneamente, a proliferação das plataformas multi-processador transformaram a programação paralela num tópico de elevado interesse, levando o paralelismo dinâmico a ganhar rapidamente popularidade como um modelo de programação. A ideia, por detrás deste modelo, é encorajar os programadores a exporem todas as oportunidades de paralelismo através da simples indicação de potenciais regiões paralelas dentro das aplicações. Todas estas anotações são encaradas pelo sistema unicamente como sugestões, podendo estas serem ignoradas e substituídas, por construtores sequenciais equivalentes, pela própria linguagem. Assim, o modo como a computação é na realidade subdividida, e mapeada nos vários processadores, é da responsabilidade do compilador e do sistema computacional subjacente. Ao retirar este fardo do programador, a complexidade da programação é consideravelmente reduzida, o que normalmente se traduz num aumento de produtividade. Todavia, se o mecanismo de escalonamento subjacente não for simples e rápido, de modo a manter o overhead geral em níveis reduzidos, os benefícios da geração de um paralelismo com uma granularidade tão fina serão meramente hipotéticos. Nesta perspetiva de escalonamento, os algoritmos que empregam uma política de workstealing são cada vez mais populares, com uma eficiência comprovada em termos de tempo, espaço e necessidades de comunicação. Contudo, estes algoritmos não contemplam restrições temporais, nem outra qualquer forma de atribuição de prioridades às tarefas, o que impossibilita que sejam diretamente aplicados a sistemas de tempo real. Além disso, são tradicionalmente implementados no runtime da linguagem, criando assim um sistema de escalonamento com dois níveis, onde a previsibilidade, essencial a um sistema de tempo real, não pode ser assegurada. Nesta tese, é descrita a forma como a abordagem de work-stealing pode ser resenhada para cumprir os requisitos de tempo real, mantendo, ao mesmo tempo, os seus princípios fundamentais que tão bons resultados têm demonstrado. Muito resumidamente, a única fila de gestão de processos convencional (deque) é substituída por uma fila de deques, ordenada de forma crescente por prioridade das tarefas. De seguida, aplicamos por cima o conhecido algoritmo de escalonamento dinâmico G-EDF, misturamos as regras de ambos, e assim nasce a nossa proposta: o algoritmo de escalonamento RTWS. Tirando partido da modularidade oferecida pelo escalonador do Linux, o RTWS é adicionado como uma nova classe de escalonamento, de forma a avaliar na prática se o algoritmo proposto é viável, ou seja, se garante a eficiência e escalonabilidade desejadas. Modificar o núcleo do Linux é uma tarefa complicada, devido à complexidade das suas funções internas e às fortes interdependências entre os vários subsistemas. Não obstante, um dos objetivos desta tese era ter a certeza que o RTWS é mais do que um conceito interessante. Assim, uma parte significativa deste documento é dedicada à discussão sobre a implementação do RTWS e à exposição de situações problemáticas, muitas delas não consideradas em teoria, como é o caso do desfasamento entre vários mecanismo de sincronização. Os resultados experimentais mostram que o RTWS, em comparação com outro trabalho prático de escalonamento dinâmico de tarefas com restrições temporais, reduz significativamente o overhead de escalonamento através de um controlo de migrações, e mudanças de contexto, eficiente e escalável (pelo menos até 8 CPUs), ao mesmo tempo que alcança um bom balanceamento dinâmico da carga do sistema, até mesmo de uma forma não custosa. Contudo, durante a avaliação realizada foi detetada uma falha na implementação do RTWS, pela forma como facilmente desiste de roubar trabalho, o que origina períodos de inatividade, no CPU em questão, quando a utilização geral do sistema é baixa. Embora o trabalho realizado se tenha focado em manter o custo de escalonamento baixo e em alcançar boa localidade dos dados, a escalonabilidade do sistema nunca foi negligenciada. Na verdade, o algoritmo de escalonamento proposto provou ser bastante robusto, não falhando qualquer meta temporal nas experiências realizadas. Portanto, podemos afirmar que alguma inversão de prioridades, causada pela sub-política de roubo BAS, não compromete os objetivos de escalonabilidade, e até ajuda a reduzir a contenção nas estruturas de dados. Mesmo assim, o RTWS também suporta uma sub-política de roubo determinística: PAS. A avaliação experimental, porém, não ajudou a ter uma noção clara do impacto de uma e de outra. No entanto, de uma maneira geral, podemos concluir que o RTWS é uma solução promissora para um escalonamento eficiente de tarefas paralelas com restrições temporais.

Real-time scheduling of parallel tasks in the Linux Kernel

This paper proposes a global multiprocessor scheduling algorithm for the Linux kernel that combines the global EDF scheduler with a priority-aware work-stealing load balancing scheme, enabling parallel real-time tasks to be executed on more than one processor at a given time instant. We state that some priority inversion may actually be acceptable, provided it helps reduce contention, communication, synchronisation and coordination between parallel threads, while still guaranteeing the expected system’s predictability. Experimental results demonstrate the low scheduling overhead of the proposed approach comparatively to an existing real-time deadline-oriented scheduling class for the Linux kernel.

Dynamical behaviour of multi-particle large-scale systems

Collective behaviours can be observed in both natural and man-made systems composed of a large number of elemental subsystems. Typically, each elemental subsystem has its own dynamics but, whenever interaction between individuals occurs, the individual behaviours tend to be relaxed, and collective behaviours emerge. In this paper, the collective behaviour of a large-scale system composed of several coupled elemental particles is analysed. The dynamics of the particles are governed by the same type of equations but having different parameter values and initial conditions. Coupling between particles is based on statistical feedback, which means that each particle is affected by the average behaviour of its neighbours. It is shown that the global system may unveil several types of collective behaviours, corresponding to partial synchronisation, characterised by the existence of several clusters of synchronised subsystems, and global synchronisation between particles, where all the elemental particles synchronise completely.

Managing contention of software transactional memory in real-time systems

The foreseen evolution of chip architectures to higher number of, heterogeneous, cores, with non-uniform memory and non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as an alternative to lock-based synchronisation. However, STM relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upperbounded and task sets can be feasibly scheduled. In this paper we defend the role of the transaction contention manager to reduce the number of transaction retries and to help the real-time scheduler assuring schedulability. For such purpose, the contention management policy should be aware of on-line scheduling information.

On the Scalability of Constructive Interference in Low-Power Wireless Networks

12th European Conference on Wireless Sensor Networks (EWSN 2015). 9 to 11, Feb, 2015. Porto, Portugal

Spatial and temporal distribution of a tiger beetle guild (Coleoptera: Carabidae: Cicindelinae) along a 105m long transect in the reserva florestal A. Ducke near Manaus (Central Amazonia)

The spatial and temporal distribution of a guild of eight diurnal tiger beetle species was studied on a 105 m long transect near the field station of the Reserva Florestal A. Ducke near Manaus (AM), Brazil. The transect followed a path that included both shaded and an open areas. Five of the species, restricted to primary forest, occurrred only in shaded areas of the transect, and three species occurred in open areas. Of all eight species only two of the open habitat species showed no clear seasonality in adult activity. In six species the activity of adults was limited to the rainy season. The most pronounced annual rhythm was found in Pentacomia ventralis, an open habitat species. Activity of adults was limited to October/November. First in-star larvae appeared shortly thereafter. Larval development mainly took place from January to May. The third instar larva entered a dormancy which lasted up to 10 months, and which enabled the synchronisation of emerging adults with annual seasons.

Population ecology of the multivoltine Neotropical gall midge Eugeniamyia dispar (Diptera, Cecidomyiidae)

Our understanding of the population ecology of insect gallers is largely built on examples from temperate zones, but tropical and subtropical gallers may present distinct patterns of abundance and distribution across time. Eugeniamyia dispar Maia, Mendonça & Romanowski, 1996 is a multivoltine Neotropical cecidomyiid that induces spongy leaf galls on Eugenia uniflora (Myrtaceae). Galls were censused in the urban area of Porto Alegre, southern Brazil on six plants at two sites, for two years, at roughly weekly intervals. Overall 9,694 eggs, galling attempts and galls were counted. New galls continuously appear on developing leaves, but galls with live inducers are absent from June to at least early August. Galls on a same shoot develop synchronically, thus the shoot is probably the unit for oviposition. Given the also synchronic appearance of galls on different plants on a site, it seems midges can disperse and attack close-by plants. Gall cohorts varied in abundance by two orders of magnitude; there were more galls during summer than for spring and autumn, in a wave-like pattern. Host plant leaf production was seasonal, with low production during winter and cyclic production during the rest of the year. Perhaps because of this very variable pattern, gall abundance did not follow leaf production: this galler is not synchronised with its host at least during most of the year. This multivoltine gall inducer with "labile" galls, short development time, partially overlapping generations and low host synchronisation differs from the commonly studied species of the temperate regions providing a subject for ecological comparisons.

Influence de deux milieux séquentiels pour la culture d'embryons sur la production d'hormone gonadotrophine chorionique et de progestérone par des cellules JEG-3 et BeWo [Effects of different embryo development media on hCG and progesterone release by JEG-3 and BeWo cells]

Current in vitro fertilisation (IVF) practice requires synchronisation between the¦environment of cultured oocytes and embryos and the surroundings to what they would have¦been exposed to in vivo. Commercial, sequential media follow this requirement but their exact¦composition is not available. We have compared two widely used IVF culture media systems using¦the two choriocarcinoma cell lines JEG-3 and BeWo. The two hormones hCG and progesterone¦were determined in the culture supernatants as endpoints. In both cell lines, but in a more¦pronounced way in JEG-3, progesterone rather than hCG production was stimulated, and a¦higher hormone release was observed in the fertilisation than in the cleavage media. Differences¦between manufacturers were small and did not favour one system over the other. We conclude¦that both sequential media systems can be equally well used in current IVF laboratory practice.¦© 2012 Elsevier Masson SAS. All rights reserved.