Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Rootstocks resistant to Meloidogyne incognita and compatibility of grafting in net melon

Due to the few studies about grafting in net melon, in order to obtain better control of soil pathogens, the aim of the present study was to evaluate 16 genotypes of Cucurbitaceae: Benincasa hispida, Luffa cylindrica, pumpkin 'Jacarezinho', pumpkin 'Menina Brasileira', squash 'Exposição', squash 'Coroa', pumpkin 'Canhão Seca', pumpkin 'Squash', pumpkin 'Enrrugado Verde', pumpkin 'Mini Paulista', pumpkin 'Goianinha', watermelon 'Charleston Gray', melon 'Rendondo Gaucho', melon 'Redondo Amarelo', cucumber 'Caipira HS' and cucumber 'Caipira Rubi', regarding to compatibility of grafting in net melon and resistance to Meloidogyne incognita, based on the reproduction factor (RF), according to Oostenbrink (1966). To assess resistance, the seedlings were transplanted to ceramic pots and inoculated with 300/mL eggs and/or second stage juveniles of M. incognita. At 50 days after transplanting, the plants were removed from the pots and the resistance was evaluated. The compatibility between resistant rootstock and grafts of net melon was determined by performing simple cleft grafting, in a commercial net melon hybrid of great market acceptance and susceptible to M. incognita (Bonus no. 2). The genotypes Luffa cylindrica, pumpkin 'Goianinha', pumpkin 'Mini-Paulista', melon 'Redondo Amarelo', watermelon 'Charleston Gray' are resistant to the nematode M. incognita. The better compatibilities occurred with the rootstocks melon 'Amarelo', which presented 100% of success, followed by pumpkin 'Mini-Paulista' with 94%. On the other hand, Sponge gourd, watermelon 'Charleston Gray' and pumpkin 'Goianinha' showed low graft take percentages of 66%, 62% and 50%, respectively.

Improving FEM crash simulation accuracy through local thickness estimation based on CAD data

In this paper, we present a method for estimating local thickness distribution in nite element models, applied to injection molded and cast engineering parts. This method features considerable improved performance compared to two previously proposed approaches, and has been validated against thickness measured by di erent human operators. We also demonstrate that the use of this method for assigning a distribution of local thickness in FEM crash simulations results in a much more accurate prediction of the real part performance, thus increasing the bene ts of computer simulations in engineering design by enabling zero-prototyping and thus reducing product development costs. The simulation results have been compared to experimental tests, evidencing the advantage of the proposed method. Thus, the proposed approach to consider local thickness distribution in FEM crash simulations has high potential on the product development process of complex and highly demanding injection molded and casted parts and is currently being used by Ford Motor Company.

Ex-ante evaluation by the media of the Guimarães 2012 European Capital of Culture

The nomination of Guimarães to host the 2012 European Capital of Culture (ECC) has put on the agenda of the city the need of measuring the effects that the implementation of this mega event could have in it and in the municipality a whole. The balance of the benefits and costs and an extended community involvement tend to reduce negative impacts and enhance positive ones. This chapter analyzes the involvement of population and local associations in the planning and organization of the 2012 Guimarães European Capital of Culture, using the coverage made during 2011 by local and national press of the mega event. A content analysis of the news published covering the period between January and December 2011 and using three newspapers was conducted. From those, two were local and weekly newspapers and one was a national daily one. Looking to data results, it can be concluded that it was poor the community involvement and, also, the one of the cultural associations in the organizations of the 2012 ECC. A strong negative reaction to the model choose to plan the mega event conducted by official organizers was found, which has cast doubts on the desirable participation of the residents and, consequently, on the success of the mega event, especially in a perspective of a medium and long term effects.

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Mundos dentro de um mundo: representações interculturais na Polónia sob a influência nazi

Europa, 1939 A Alemanha, sob a influência do partido Alemão Nazi, deu início a um confronto que mudou a face do mundo. Inicialmente os seus países vizinhos Europeus, depois alguns mais distantes e até o continente Africano sentiram o seu poder e tremeram de medo. Medo, um sentimento tão poderoso que em pequenas quantidades, pode aguçar os sentidos mas que, em quantidades grandes, pode gerar pânico, suprimir o intelecto e até levar a negar aquilo que temos presente como verdades absolutas. A Europa era uma mistura de culturas; até os próprios países eram uma mistura de culturas. A Polónia era um desses países. Neste país, Polacos, Judeus, Ucranianos e Romanis viviam numa paz frágil mas duradora. Quando a II Guerra Mundial começou, as cidades polacas foram conquistadas uma após a outra e, uns após os outros, os seus cidadãos foram confinados à sua cidade para manter a ordem pública. Nesta época de incerteza e insegurança poderíamos pensar que todas estas culturas, diferentes nas suas fundações mas todas elas constituídas por seres humanos que respondem da mesma forma em situações desta natureza, sentir-se- iam na necessidade de se juntar, deixar de parte as suas diferenças e tentariam fazer tudo o que estivesse ao seu alcance para assegurar aquilo que é a necessidade básica de qualquer ser humano: sobreviver. A sobrevivência é o instinto mais básico atribuído ao ser humano. O medo de não ser capaz de sobreviver gerou algo que vai contra este tipo de certezas. Gerou ódio. Não ódio contra o inimigo comum mas sim uma cultura contra a outra. O exército Alemão Nazi foi implacável na sua marcha em busca do domínio total mas, em alguns casos, não foi ele apenas a face do terror. O exército Alemão Nazi conquistava e seguia em frente, a caminho da próxima conquista, deixando governos de fachada para manter a ordem. O medo e o terror eram gerados por outrém. Um verdadeiro choque de culturas cujo resultado foi um dos maiores derramamentos de sangue na história do mundo civilizado.

Synthesis of meeting and recommendations from the Net-Biome round table discussion on "motivated" science on biodiversity management and use in support of overseas sutainable development

Net-Biome Final Meeting (Paris, 15 & 16 February, 2012).

Os Açores em George Washington University

Na qualidade de Diretora Regional das Comunidades, fomos responsável pela redação dos artigos e coordenação da página "Comunidades", integrada no jornal Açoriano Oriental, servindo a mesma para a divulgação das atividades realizadas pela Direção Regional Das Comunidades do Governo dos Açores.

Desenvolvimento lexical: perspectivas e práticas de professores no 1.º ciclo do ensino básico

Dissertação apresentada à Escola Superior de Educação de Lisboa para a obtenção de grau de Mestre em Didática da Língua Portuguesa no 1.º e 2.º Ciclos do Ensino Básico

Diagnóstico ambiental de uma queijaria e proposta de melhorias

O presente trabalho tem como objectivo o diagnóstico ambiental da empresa Lacticinios do Paiva, S.A, a avaliação da água do processo e da ETARI e o estudo da fermentação do soro de queijo com o intuito de produção de bioetanol. No diagnóstico ambiental da empresa, observou-se que 18.227.731 litros de leite usados anualmente geram 5.031 ton/ano de queijo, 7.204 ton/ano de soro de queijo, 74.201 m3/ano de efluente liquido, 14 ton/ano de plástico e 20 ton/ano de cartão. Os principais problemas com necessidade de optimização são a recuperação de água das lavagens, avaliação da produção de biogás no digestor anaeróbio, recuperação do volume de leite que é desperdiçado na produção de queijo fresco de longa duração, avaliação da eficiência energética da empresa, valorização das natas e do soro de queijo. Decidiu-se neste trabalho avaliar a possibilidade de reciclagem das águas de lavagem, avaliar o funcionamento da ETARI face à legislação existente e estudar a possibilidade de valorização do soro de queijo. Na avaliação das águas de processo das lavagens para posterior reciclagem, verifica-se que relativamente ao pH e aos sólidos suspensos não existe problema, podendo encarar-se a hipótese de reciclagem directa. No entanto, no que respeita à carga orgânica das águas de lavagem do sistema de ultrafiltração do queijo fresco de longa duração, constata-se que esta não poderia ser utilizada novamente, uma vez que apresenta valores elevados de CQO. Para a sua reutilização, será necessário remover a CQO, hipótese que se estudou com resultados positivos. Verificou-se que, um tratamento por adsorção em carvão activado precedido de microfiltração, reduz a CQO de forma significativa permitindo admitir a hipótese de reciclagem da água, nomeadamente para as 1ª e 3ª águas de lavagem. As outras águas teriam necessidade de mais tempo de contacto com o carvão activado. No sentido de avaliar o funcionamento da ETARI, foram analisadas várias correntes da mesma, em particular a do efluente final, no que respeita a parâmetros como: pH, Sólidos Suspensos Totais, Carência Química de Oxigénio, Carência Bioquímica de Oxigénio, Turvação, Nitratos, Fósforo Total, Azoto Kjeldalh, Azoto Amoniacal e Cloretos. Observou-se que os valores para o efluente final da ETARI são os seguintes: pH compreendido entre [7,21 – 8,69], SST entre [65,3 – 3110] mg/L, CQO entre [92,5 – 711,5] mg/L, CBO5 entre [58 – 161] mg/L, NO3- entre [10,8 – 106,7] mg/L, fósforo total entre [8,3 – 64,3] mg/L, turvação entre [67,7 – 733,3] FTU e cloretos entre [459,9 – 619,81] mg/L; pode-se dizer que os parâmetros analisados se encontram quase sempre dentro da gama de valores impostos pela Câmara Municipal de Lamego pelo que o efluente pode ser lançado no Colector Municipal de Cambres. Relativamente à fermentação alcoólica do soro de queijo, verifica-se que a levedura Kluyveromyces Marxianus consegue degradar praticamente todo o açúcar presente no permeado produzindo assim uma quantidade razoável de etanol. Quando se utilizou a levedura Saccharomyces Cerevisiae, a produção de etanol foi muito reduzida, como esperado, dado que esta levedura apresenta dificuldades na metabolização da lactose. Constatou-se assim que a melhor levedura para a fermentação do permeado do soro de queijo é a Kluyveromyces Marxianus, estimando-se em 150 mg a produção de etanol por L de soro.

Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models

Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013

Teatro de personagens: dissertação [em encenação]

Mestrado Teatro, especialização em encenação

Evaluating P-NET message's response time with fixed priority queuing at application process level

P-NET is a multi-master fieldbus standard based on a virtual token passing scheme. In P-NET each master is allowed to transmit only one message per token visit. In the worst-case, the communication response time can be derived considering that, in each token cycle, all stations use the token to transmit a message. In this paper, we define a more sophisticated P-NET model, which considers the actual token utilisation. We then analyse the possibility of implementing a local priority-based scheduling policy to improve the real-time behaviour of P-NET.

Supporting real-time distributed computer-controlled systems with multi-hop P-NET networks

Fieldbus communication networks aim to interconnect sensors, actuators and controllers within process control applications. Therefore, they constitute the foundation upon which real-time distributed computer-controlled systems can be implemented. P-NET is a fieldbus communication standard, which uses a virtual token-passing medium-access-control mechanism. In this paper pre-run-time schedulability conditions for supporting real-time traffic with P-NET networks are established. Essentially, formulae to evaluate the upper bound of the end-to-end communication delay in P-NET messages are provided. Using this upper bound, a feasibility test is then provided to check the timing requirements for accessing remote process variables. This paper also shows how P-NET network segmentation can significantly reduce the end-to-end communication delays for messages with stringent timing requirements.

Communication response time in P-NET networks: worst-case analysis considering the actual token utilisation

Fieldbus networks aim at the interconnection of field devices such as sensors, actuators and small controllers. Therefore, they are an effective technology upon which Distributed Computer Controlled Systems (DCCS) can be built. DCCS impose strict timeliness requirements to the communication network. In essence, by timeliness requirements we mean that traffic must be sent and received within a bounded interval, otherwise a timing fault is said to occur. P-NET is a multi-master fieldbus standard based on a virtual token passing scheme. In P-NET each master is allowed to transmit only one message per token visit, which means that in the worst-case the communication response time could be derived considering that the token is fully utilised by all stations. However, such analysis can be proved to be quite pessimistic. In this paper we propose a more sophisticated P-NET timing analysis model, which considers the actual token utilisation by different masters. The major contribution of this model is to provide a less pessimistic, and thus more accurate, analysis for the evaluation of the worst-case communication response time in P-NET fieldbus networks.