A perceção dos colaboradores do Grupo Conceito sobre o Relato de Negócio

Relatório de estágio de mestrado em Contabilidade

A Thomson Reuters e o PSI20: as notícias e as decisões dos investidores

Dissertação de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)

Redes de Petri e VHDL na prototipagem rápida de sistemas digitais

O objectivo principal deste artigo é exemplificar a utilização de uma metodologia de especificação de sistemas digitais, baseada em Redes de Petri orientadas por objectos, para obter de uma forma rápida e simplificada um protótipo em VHDL do sistema pretendido. É considerado como exemplo um sistema digital, para o qual se efectua a especificação no modelo RdP-shobi e a partir da qual se pode gerar automaticamente código VHDL. Este exemplo permite demonstrar acerca da capacidade desta metodologia no projecto de sistemas digitais, suportado por princípios de orientação por objectos e por uma ferramenta de EDA concebida para o efeito.

An object-oriented model for rapid prototyping of data path/control systems - a case study

Publicado em "Information control in manufacturing 1998 : (INCOM'98) : advances in industrial engineering : a proceedings volume from the 9th IFAC Symposium, Nancy-Metz, France, 24-26 June 1998. Vol. 2"

Determination of the importance of iron acquisition for Staphylococcus epidermidis biofilm survival in human blood

Dissertação de mestrado em Bioengenharia

Effect of pH on Candida tropicalis virulence factors

Dissertação de mestrado em Bioengenharia

Electronic tongue: a versatile tool for mineral and fruit-flavored waters recognition

Natural mineral waters (still), effervescent natural mineral waters (sparkling) and aromatized waters with fruit-flavors (still or sparkling) are an emerging market. In this work, the capability of a potentiometric electronic tongue, comprised with lipid polymeric membranes, to quantitatively estimate routinely quality physicochemical parameters (pH and conductivity) as well as to qualitatively classify water samples according to the type of water was evaluated. The study showed that a linear discriminant model, based on 21 sensors selected by the simulated annealing algorithm, could correctly classify 100 % of the water samples (leave-one out cross-validation). This potential was further demonstrated by applying a repeated K-fold cross-validation (guaranteeing that at least 15 % of independent samples were only used for internal-validation) for which 96 % of correct classifications were attained. The satisfactory recognition performance of the E-tongue could be attributed to the pH, conductivity, sugars and organic acids contents of the studied waters, which turned out in significant differences of sweetness perception indexes and total acid flavor. Moreover, the E-tongue combined with multivariate linear regression models, based on sub-sets of sensors selected by the simulated annealing algorithm, could accurately estimate waters pH (25 sensors: R 2 equal to 0.99 and 0.97 for leave-one-out or repeated K-folds cross-validation) and conductivity (23 sensors: R 2 equal to 0.997 and 0.99 for leave-one-out or repeated K-folds cross-validation). So, the overall satisfactory results achieved, allow envisaging a potential future application of electronic tongue devices for bottled water analysis and classification.

Comportamento das organizações: a influência da dimensão das empresas na capacidade de internacionalização e o interesse daquelas no aumento da dimensão

Teses de Doutoramento em Ciências Empresariais.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Evaluation of the determinism of the actuator sensor interface (ASI) on programmable logic controllers (PLC), personal computers (PC) and real-time operating systems (RTOS)

The purpose of this study was to evaluate the determinism of the AS-lnterface network and the 3 main families of control systems, which may use it, namely PLC, PC and RTOS. During the course of this study the PROFIBUS and Ethernet field level networks were also considered in order to ensure that they would not introduce unacceptable latencies into the overall control system. This research demonstrated that an incorrectly configured Ethernet network introduces unacceptable variable duration latencies into the control system, thus care must be exercised if the determinism of a control system is not to be compromised. This study introduces a new concept of using statistics and process capability metrics in the form of CPk values, to specify how suitable a control system is for a given control task. The PLC systems, which were tested, demonstrated extremely deterministic responses, but when a large number of iterations were introduced in the user program, the mean control system latency was much too great for an AS-I network. Thus the PLC was found to be unsuitable for an AS-I network if a large, complex user program Is required. The PC systems, which were tested were non-deterministic and had latencies of variable duration. These latencies became extremely exaggerated when a graphing ActiveX was included in the control application. These PC systems also exhibited a non-normal frequency distribution of control system latencies, and as such are unsuitable for implementation with an AS-I network. The RTOS system, which was tested, overcame the problems identified with the PLC systems and produced an extremely deterministic response, even when a large number of iterations were introduced in the user program. The RTOS system, which was tested, is capable of providing a suitable deterministic control system response, even when an extremely large, complex user program is required.

Dessincronia ventricular e aumento dos níveis de BNP na estimulação apical do ventrículo direito

FUNDAMENTO: A estimulação apical crônica do ventrículo direito pode ocasionar dessincronia ventricular e, secundariamente, alterações neuro-humorais e aumento da morbimortalidade cardíaca. OBJETIVO: Pesquisar dessincronia ventricular e seus efeitos sobre os níveis de BNP em pacientes com marca-passo estimulados cronicamente no ápice do ventrículo direito (VD). MÉTODOS: Estudo transversal com 85 pacientes com marca-passo uni ou bicameral, em classe funcional I e II da NYHA e fração de ejeção do ventrículo esquerdo (FEVE) > 35%. A avaliação de dessincronia foi realizada utilizando-se várias técnicas ecocardiográficas, incluindo o Tissue Synchronization Imaging (TSI), com análise dos 12 segmentos. O BNP foi dosado junto com o ecocardiograma, porém com o examinador cego. RESULTADOS: Quarenta e seis mulheres e 39 homens, com idade de 58 ± 12 anos, chagásicos (56%) e hipertensos controlados (62%), foram incluídos. A fração de ejeção do VE foi 52 ± 8% e a duração média do QRS de 139 ms (120-180 ms). O BNP mostrou-se alterado em 36,5% da amostra (ponto de corte de 60 pg/ml). Na análise multivariada de regressão linear, o BNP correlacionou-se com a idade (p = 0,024), FEVE (p < 0,0001) e tempo pré-ejetivo do VE (p = 0,009), que é índice de dessincronia intraventricular. CONCLUSÃO: Em pacientes com estimulação cardíaca convencional, estáveis clinicamente, a dessincronia intraventricular foi um preditor independente do aumento dos níveis de BNP, após ajuste pela idade e FEVE.

Theoretische Untersuchungen der mikroskopischen Synchronisation von molekularen Enzymzyklen

Allosteric regulation, automaton-model, enzymes, kinetics, fluctuations, hopf-bifurcation, reaction coordinate, selforganization, synchronization

SMPI model : a stepwise process model to facilitate software measurement process improvement along the measurement paradigms

Software engineering, software measurement, software process engineering, capability, maturity

Hatching and larval export of the intertidal crab Neohelice granulata in Mar Chiquita coastal lagoon, Argentina

Synchronization in the events of the reproductive cycle in female Neohelice granulata Dana, 1851 were studied from samples taken weekly and biweekly from September to December 2006 in the Laguna Mar Chiquita. The timing and larval hatching and synchronicity were inferred from numbers of ovigerous females and observing the stages of embryonic development. Synchronization in larval hatching also was observed in females in experiments in dark for a period of 48 hours, at three different salinities (10, 23 and 33 ppm). In addition plankton sampling were performed in order to study larval exportation at the field and its link to the tidal and light/dark cycles. We found that ovigerous females of N. granulata have a marked synchronization in embryonic development which results in that most of berried females are close to hatching within a period of maximum tidal range (days). Within this period, there is a synchronization of hatching at a time scale of hours, governed by environmental conditions. The salinity range used in this study (10-32‰) did not affect hatching synchronicity neither time to hatch. Hatching was synchronized according to endogenous rhythms governed mainly by the tidal cycle and secondarily by the breadth of it. It is also conditioned by the light-dark cycle through an exogenous cycle, so that the hatchings would occur mostly at night high tides.

Between specialization and globalization. The marketing of agrarian products and its environmental impacts seen from a historical perspective: the province of Barcelona in the mid-nineteenth century

Ecological economics has five good reasons to consider that economic globalisation, spurred by commercial and financial fluxes, to be one of the main driving forces responsible for causing environmental degradation to our planet. The first, is the energy consumption and the socio-environmental impacts which long-distance haulage entails. The second, is the ever-increasing flow of goods to far-away destinations which renders their recycling practically impossible. This is particularly significant, because it prevents the metabolic lock of the nutrients present in food and other agrarian products from taking place. The third, is that the high degree of specialization attained in agriculture, forestry, cattle, mining and industry in each region, generates deleterious effects not only on the eco-landscape structure of the uses of the soil, but on the capability to provide habitat and environmental functions to maintain biodiversity as well