Distributed controllers modeling through Petri nets with multi-asynchronous-channels

This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between two or more distributed controllers. These channels, together with the time-domain concept, ensure the creation of network-independent models to support implementations using heterogeneous communication networks. The created models support not only the systems documentation but also their validation and implementation through simulation tools, verification tools, and automatic code generators. An application example illustrates the use of a Petri net class extended with the proposed channels. © 2015 IEEE.

Projecto timecloud: software de gestão de tempo laboral numa plataforma cloud

O presente projecto tem como objectivo a disponibilização de uma plataforma de serviços para gestão e contabilização de tempo remunerável, através da marcação de horas de trabalho, férias e faltas (com ou sem justificação). Pretende-se a disponibilização de relatórios com base nesta informação e a possibilidade de análise automática dos dados, como por exemplo excesso de faltas e férias sobrepostas de trabalhadores. A ênfase do projecto está na disponibilização de uma arquitectura que facilite a inclusão destas funcionalidades. O projecto está implementado sobre a plataforma Google App Engine (i.e. GAE), de forma a disponibilizar uma solução sob o paradigma de Software as a Service, com garantia de disponibilidade e replicação de dados. A plataforma foi escolhida a partir da análise das principais plataformas cloud existentes: Google App Engine, Windows Azure e Amazon Web Services. Foram analisadas as características de cada plataforma, nomeadamente os modelos de programação, os modelos de dados disponibilizados, os serviços existentes e respectivos custos. A escolha da plataforma foi realizada com base nas suas características à data de iniciação do presente projecto. A solução está estruturada em camadas, com as seguintes componentes: interface da plataforma, lógica de negócio e lógica de acesso a dados. A interface disponibilizada está concebida com observação dos princípios arquitecturais REST, suportando dados nos formatos JSON e XML. A esta arquitectura base foi acrescentada uma componente de autorização, suportada em Spring-Security, sendo a autenticação delegada para os serviços Google Acounts. De forma a permitir o desacoplamento entre as várias camadas foi utilizado o padrão Dependency Injection. A utilização deste padrão reduz a dependência das tecnologias utilizadas nas diversas camadas. Foi implementado um protótipo, para a demonstração do trabalho realizado, que permite interagir com as funcionalidades do serviço implementadas, via pedidos AJAX. Neste protótipo tirou-se partido de várias bibliotecas javascript e padrões que simplificaram a sua realização, tal como o model-view-viewmodel através de data binding. Para dar suporte ao desenvolvimento do projecto foi adoptada uma abordagem de desenvolvimento ágil, baseada em Scrum, de forma a implementar os requisitos do sistema, expressos em user stories. De forma a garantir a qualidade da implementação do serviço foram realizados testes unitários, sendo também feita previamente a análise da funcionalidade e posteriormente produzida a documentação recorrendo a diagramas UML.

Modalidades síncronas e assíncronas no ensino da radiologia do sistema nervoso: estilos e resultados de aprendizagem

Lidar com as problemáticas da saúde, implica um domínio dos processos cognitivos (raciocínio, resolução de problemas e tomada de decisão) e de desempenhos práticos, o que obriga a afectação de um conjunto de atitudes e comportamentos específicos. Este estudo, implementou e avaliou o impacto de experiências pedagógicas desenvolvidas com os estudantes da unidade curricular Radiologia do Sistema Nervoso (RSN) da Escola Superior de Tecnologia da Saúde de Lisboa (ESTeSL). Aplicaram-se metodologias de ensino mistas (presenciais e virtuais) utilizadas na leccionação teórica e prática no ano curricular 2008/2009. Para a avaliação do perfil de aprendizagem dos estudantes foi aplicado o método de Honey & Munford e para a avaliação e monitorização dos conhecimentos aplicaram-se check list baseadas nos conteúdos programáticos. A monitorização das ferramentas da plataforma moodle complementaram a restante informação. Verificou-se uma progressão de aprendizagem positiva para um grupo de estudantes maioritariamente do estilo reflexivo (média=10,6 estudantes). As conclusões apontaram para um impacto positivo quanto à aplicação das metodologias híbridas com maior índice de sucesso para a metodologia assíncrona. Verificou-se também mais flexibilidade no acesso aos conteúdos porém com algumas limitações tais como residência inicial por parte dos estudantes, maior carga de trabalho para os docentes, falta de terminais para acesso à plataforma e pouca experiência de todos os envolvidos no domínio e manipulação da plataforma. ABSTRACT - This study focused on the role of cognitive processes (reasoning, problem solving and decision making) and performance practice in the formation of attitudes and behaviours relating to health issues. It was conducted to evaluate the effects of pedagogical experiences on students who participated in the course in radiography in the Nervous System Imaging Unit (RSN) of the Lisbon Health School of Technology. Mixed (face-to-face and virtual) teaching methodologies were used in theory and practice sessions. Honey and Munford’s method was used to evaluate the learning profile of students. To monitor and evaluate students’ knowledge acquisition, check lists based on program topics were applied. Other information was supplied through the learning platform of Moodle. The student group with mostly a reflective learning style increased their knowledge. The asynchronous method was shown to produce a higher success rate and more flexibility in accessing content but also registered some limitations such as resistance by students, increased workload for teachers, lack of access to the platform and inexperience of all involved in handling the platform.

Identification of a 0.4 Kb deletion region in 10q26 associated with endometrial carcinoma

We have identified an allelic deletion common region in the q26 region of chromosome 10 in endometrial carcinomas, which has been reported previously as a potential target of genetic alterations related to this neoplasia. An allelotyping analysis of 19 pairs of tumoral and non-tumoral samples was accomplished using seven microsatellite polymorphic markers mapping in the 10q26 chromosomal region. Loss of heterozygosity for one or more loci was detected in 29% of the endometrial carcinoma samples. The observed pattern of loss enabled the identification of a 3.5 Mb common deleted region located between the D10S587 and D10S186 markers. An additional result from an endometrial sample with evidence of a RER phenotype may suggest a more centromeric region of loss within the above-mentioned interval. This 401.84 Kb interval flanked by the D10S587 and D10S216 markers may be a plausible location for a putative suppressor gene involved in early stage endometrial carcinogenesis.

Analysis of a 17.9 kb region from Saccharomyces cerevisiae chromosome VII reveals the presence of eight open reading frames, including BRF1 (TFIIIB70) and GCN5 genes

We report the nucleotide sequence of a 17,893 bp DNA segment from the right arm of Saccharomyces cerevisiae chromosome VII. This fragment begins at 482 kb from the centromere. The sequence includes the BRF1 gene, encoding TFIIIB70, the 5' portion of the GCN5 gene, an open reading frame (ORF) previously identified as ORF MGA1, whose translation product shows similarity to heat-shock transcription factors and five new ORFs. Among these, YGR250 encodes a polypeptide that harbours a domain present in several polyA binding proteins. YGR245 is similar to a putative Schizosaccharomyces pombe gene, YGR248 shows significant similarity with three ORFs of S. cerevisiae situated on different chromosomes, while the remaining two ORFs, YGR247 and YGR251, do not show significant similarity to sequences present in databases.

Controlo directo de binário de uma máquina assíncrona trifásica

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

Emulação de um motor de combustão interna através de um acionamento eletromecânico de velocidade variável utilizando um motor de indução trifásico

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Besnoitia besnoiti and Toxoplasma gondii: two apicomplexan strategies to manipulate the host cell centrosome and Golgi apparatus

Besnoitia besnoiti and Toxoplasma gondii are two closely related parasites that interact with the host cell microtubule cytoskeleton during host cell invasion. Here we studied the relationship between the ability of these parasites to invade and to recruit the host cell centrosome and the Golgi apparatus. We observed that T. gondii recruits the host cell centrosome towards the parasitophorous vacuole (PV), whereas B. besnoiti does not. Notably, both parasites recruit the host Golgi apparatus to the PV but its organization is affected in different ways. We also investigated the impact of depleting and over-expressing the host centrosomal protein TBCCD1, involved in centrosome positioning and Golgi apparatus integrity, on the ability of these parasites to invade and replicate. Toxoplasma gondii replication rate decreases in cells over-expressing TBCCD1 but not in TBCCD1-depleted cells; while for B. besnoiti no differences were found. However, B. besnoiti promotes a reorganization of the Golgi ribbon previously fragmented by TBCCD1 depletion. These results suggest that successful establishment of PVs in the host cell requires modulation of the Golgi apparatus which probably involves modifications in microtubule cytoskeleton organization and dynamics. These differences in how T. gondii and B. besnoiti interact with their host cells may indicate different evolutionary paths.

Simulação de processos de adsorção recorrendo ao Aspen Chromatography

As operações de separação por adsorção têm vindo a ganhar importância nos últimos anos, especialmente com o desenvolvimento de técnicas de simulação de leitos móveis em colunas, tal como a cromatografia de Leito Móvel Simulado (Simulated Moving Bed, SMB). Esta tecnologia foi desenvolvida no início dos anos 60 como método alternativo ao processo de Leito Móvel Verdadeiro (True Moving Bed, TMB), de modo a resolver vários dos problemas associados ao movimento da fase sólida, usuais nestes métodos de separação cromatográficos de contracorrente. A tecnologia de SMB tem sido amplamente utilizada em escala industrial principalmente nas indústrias petroquímica e de transformação de açúcares e, mais recentemente, na indústria farmacêutica e de química fina. Nas últimas décadas, o crescente interesse na tecnologia de SMB, fruto do alto rendimento e eficiente consumo de solvente, levou à formulação de diferentes modos de operação, ditos não convencionais, que conseguem unidades mais flexíveis, capazes de aumentar o desempenho de separação e alargar ainda mais a gama de aplicação da tecnologia. Um dos exemplos mais estudados e implementados é o caso do processo Varicol, no qual se procede a um movimento assíncrono de portas. Neste âmbito, o presente trabalho foca-se na simulação, análise e avaliação da tecnologia de SMB para dois casos de separação distintos: a separação de uma mistura de frutose-glucose e a separação de uma mistura racémica de pindolol. Para ambos os casos foram considerados e comparados dois modos de operação da unidade de SMB: o modo convencional e o modo Varicol. Desta forma, foi realizada a implementação e simulação de ambos os casos de separação no simulador de processos Aspen Chromatography, mediante a utilização de duas unidades de SMB distintas (SMB convencional e SMB Varicol). Para a separação da mistura frutose-glucose, no quediz respeito à modelização da unidade de SMB convencional, foram utilizadas duas abordagens: a de um leito móvel verdadeiro (modelo TMB) e a de um leito móvel simulado real (modelo SMB). Para a separação da mistura racémica de pindolol foi considerada apenas a modelização pelo modelo SMB. No caso da separação da mistura frutose-glucose, procedeu-se ainda à otimização de ambas as unidades de SMB convencional e Varicol, com o intuito do aumento das suas produtividades. A otimização foi realizada mediante a aplicação de um procedimento de planeamento experimental, onde as experiências foram planeadas, conduzidas e posteriormente analisadas através da análise de variância (ANOVA). A análise estatística permitiu selecionar os níveis dos fatores de controlo de modo a obter melhores resultados para ambas as unidades de SMB.

Influence of the use of recycled concrete aggregates from different sources on structural concrete

This paper intends to evaluate the capacity of producing concrete with a pre-established performance (in terms of mechanical strength) incorporating recycled concrete aggregates (RCA) from different sources. To this purpose, rejected products from the precasting industry and concrete produced in laboratory were used. The appraisal of the self-replication capacity was made for three strength ranges: 15-25 MPa, 35-45 MPa and 65-75 MPa. The mixes produced tried to replicate the strength of the source concrete (SC) of the RA. Only total, (100%) replacement of coarse natural aggregates (CNA) by coarse recycled concrete aggregates (CRCA) was tested. The results show that, both in mechanical and durability terms, there were no significant differences between aggregates from controlled sources and those from precast rejects for the highest levels of the target strength. Furthermore, the performance losses resulting from the RA's incorporation are substantially reduced when used medium or high strength SC's. (C) 2014 Elsevier Ltd. All rights reserved.

A CMOS micro power switched-capacitor DC-DC step-up converter for indoor light energy harvesting applications

This paper presents a micro power light energy harvesting system for indoor environments. Light energy is collected by amorphous silicon photovoltaic (a-Si:H PV) cells, processed by a switched capacitor (SC) voltage doubler circuit with maximum power point tracking (MPPT), and finally stored in a large capacitor. The MPPT fractional open circuit voltage (V-OC) technique is implemented by an asynchronous state machine (ASM) that creates and dynamically adjusts the clock frequency of the step-up SC circuit, matching the input impedance of the SC circuit to the maximum power point condition of the PV cells. The ASM has a separate local power supply to make it robust against load variations. In order to reduce the area occupied by the SC circuit, while maintaining an acceptable efficiency value, the SC circuit uses MOSFET capacitors with a charge sharing scheme for the bottom plate parasitic capacitors. The circuit occupies an area of 0.31 mm(2) in a 130 nm CMOS technology. The system was designed in order to work under realistic indoor light intensities. Experimental results show that the proposed system, using PV cells with an area of 14 cm(2), is capable of starting-up from a 0 V condition, with an irradiance of only 0.32 W/m(2). After starting-up, the system requires an irradiance of only 0.18 W/m(2) (18 mu W/cm(2)) to remain operating. The ASM circuit can operate correctly using a local power supply voltage of 453 mV, dissipating only 0.085 mu W. These values are, to the best of the authors' knowledge, the lowest reported in the literature. The maximum efficiency of the SC converter is 70.3 % for an input power of 48 mu W, which is comparable with reported values from circuits operating at similar power levels.

Topological entropy of catalytic sets: Hypercycles revisited

The dynamics of catalytic networks have been widely studied over the last decades because of their implications in several fields like prebiotic evolution, virology, neural networks, immunology or ecology. One of the most studied mathematical bodies for catalytic networks was initially formulated in the context of prebiotic evolution, by means of the hypercycle theory. The hypercycle is a set of self-replicating species able to catalyze other replicator species within a cyclic architecture. Hypercyclic organization might arise from a quasispecies as a way to increase the informational containt surpassing the so-called error threshold. The catalytic coupling between replicators makes all the species to behave like a single and coherent evolutionary multimolecular unit. The inherent nonlinearities of catalytic interactions are responsible for the emergence of several types of dynamics, among them, chaos. In this article we begin with a brief review of the hypercycle theory focusing on its evolutionary implications as well as on different dynamics associated to different types of small catalytic networks. Then we study the properties of chaotic hypercycles with error-prone replication with symbolic dynamics theory, characterizing, by means of the theory of topological Markov chains, the topological entropy and the periods of the orbits of unimodal-like iterated maps obtained from the strange attractor. We will focus our study on some key parameters responsible for the structure of the catalytic network: mutation rates, autocatalytic and cross-catalytic interactions.