Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Information professionals in business context: new professionals, old skills

This communication aims to present some reflections regarding the importance of information in organizational context, especially in business context. The ability to produce and to share expertise and knowledge among its employees is now a key factor in the success of any organization. However, it’s also true that workers are increasingly feeling that too much information can hurt their performance. The existence of skilled professionals able to organize, evaluate, select and disseminate information in organizations appears to be a prerequisite for success. The skills necessary for the formation of a professional devoted to the management of information and knowledge in the context of business organizations will be analysed. Then data collected in two focus group discussion with students from a graduate course in Business Information, from Polytechnic Institute of Porto, Portugal, a will be examined.

A Methodology for Creating an Adapted Command Language for Driving an Intelligent Wheelchair

Intelligent wheelchairs (IW) are technologies that can increase the autonomy and independence of elderly people and patients suffering from some kind of disability. Nowadays the intelligent wheelchairs and the human-machine studies are very active research areas. This paper presents a methodology and a Data Analysis System (DAS) that provides an adapted command language to an user of the IW. This command language is a set of input sequences that can be created using inputs from an input device or a combination of the inputs available in a multimodal interface. The results show that there are statistical evidences to affirm that the mean of the evaluation of the DAS generated command language is higher than the mean of the evaluation of the command language recommended by the health specialist (p value = 0.002) with a sample of 11 cerebral palsy users. This work demonstrates that it is possible to adapt an intelligent wheelchair interface to the user even when the users present heterogeneous and severe physical constraints.

Negotiation context analysis in electricity markets

Contextualization is critical in every decision making process. Adequate responses to problems depend not only on the variables with direct influence on the outcomes, but also on a correct contextualization of the problem regarding the surrounding environment. Electricity markets are dynamic environments with increasing complexity, potentiated by the last decades' restructuring process. Dealing with the growing complexity and competitiveness in this sector brought the need for using decision support tools. A solid example is MASCEM (Multi-Agent Simulator of Competitive Electricity Markets), whose players' decisions are supported by another multiagent system – ALBidS (Adaptive Learning strategic Bidding System). ALBidS uses artificial intelligence techniques to endow market players with adaptive learning capabilities that allow them to achieve the best possible results in market negotiations. This paper studies the influence of context awareness in the decision making process of agents acting in electricity markets. A context analysis mechanism is proposed, considering important characteristics of each negotiation period, so that negotiating agents can adapt their acting strategies to different contexts. The main conclusion is that context-dependant responses improve the decision making process. Suiting actions to different contexts allows adapting the behaviour of negotiating entities to different circumstances, resulting in profitable outcomes.

A multi-objective optimization of the active and reactive resource scheduling at a distribution level in a smart grid context

In the traditional paradigm, the large power plants supply the reactive power required at a transmission level and the capacitors and transformer tap changer were also used at a distribution level. However, in a near future will be necessary to schedule both active and reactive power at a distribution level, due to the high number of resources connected in distribution levels. This paper proposes a new multi-objective methodology to deal with the optimal resource scheduling considering the distributed generation, electric vehicles and capacitor banks for the joint active and reactive power scheduling. The proposed methodology considers the minimization of the cost (economic perspective) of all distributed resources, and the minimization of the voltage magnitude difference (technical perspective) in all buses. The Pareto front is determined and a fuzzy-based mechanism is applied to present the best compromise solution. The proposed methodology has been tested in the 33-bus distribution network. The case study shows the results of three different scenarios for the economic, technical, and multi-objective perspectives, and the results demonstrated the importance of incorporating the reactive scheduling in the distribution network using the multi-objective perspective to obtain the best compromise solution for the economic and technical perspectives.

Calcium signaling and the novel anti-proliferative effect of the UTP-sensitive P2Y11 receptor in rat cardiac myofibroblasts

During myocardial ischemia and reperfusion both purines and pyrimidines are released into the extracellular milieu, thus creating a signaling wave that propagates to neighboring cells via membrane-bound P2 purinoceptors activation. Cardiac fibroblasts (CF) are important players in heart remodeling, electrophysiological changes and hemodynamic alterations following myocardial infarction. Here, we investigated the role UTP on calcium signaling and proliferation of CF cultured from ventricles of adult rats. Co-expression of discoidin domain receptor 2 and -smooth muscle actin indicate that cultured CF are activated myofibroblasts. Intracellular calcium ([Ca2+]i) signals were monitored in cells loaded with Fluo-4 NW. CF proliferation was evaluated by the MTT assay. UTP and the selective P2Y4 agonist, MRS4062, caused a fast desensitizing [Ca2+]i rise originated from thapsigargin-sensitive internal stores, which partially declined to a plateau providing the existence of Ca2+ in the extracellular fluid. The biphasic [Ca2+]i response to UTP was attenuated respectively by P2Y4 blockers, like reactive blue-2 and suramin, and by the P2Y11 antagonist, NF340. UTP and the P2Y2 receptor agonist MRS2768 increased, whereas the selective P2Y11 agonist NF546 decreased, CF growth; MRS4062 was ineffective. Blockage of the P2Y11receptor or its coupling to adenylate cyclase boosted UTP-induced CF proliferation. Confocal microscopy and Western blot analysis confirmed the presence of P2Y2, P2Y4 and P2Y11 receptors. Data indicate that besides P2Y4 and P2Y2 receptors which are responsible for UTP-induced [Ca2+]i transients and growth of CF, respectively, synchronous activation of the previously unrecognized P2Y11 receptor may represent an important target for anti-fibrotic intervention in cardiac remodeling.

Modelo de avaliação de risco no sector bancário português

A globalização dos sistemas financeiros, ao longo dos anos, tem estimulado uma crescente necessidade de supervisão bancária nas instituições financeiras. O Comité de Supervisão Bancária de Basileia tem tido um papel crucial nesta área, estabelecendo princípios por via dos seus acordos entre as várias entidades nacionais de regulação e supervisão das maiores economias mundiais. Em 1988, foi criado o Acordo de Basileia (Basileia I) pelo Comité de Supervisão Bancária de forma a harmonizar os padrões de supervisão bancária. Este acordo estabeleceu mínimos de solvabilidade para o sistema bancário internacional no sentido de reforçar a sua solidez e estabilidade. Com o desenvolvimento de novas potências económicas e novas necessidades regulamentares, em Junho de 2004, foi publicado o novo Acordo de Capital – o Basileia II. Este acordo pretendia tornar os requisitos de capital mais sensíveis ao risco, promover a atuação das autoridades de supervisão e a disciplina de mercado (através do seu Pilar II) e encorajar a capacidade de cada instituição mensurar e gerir o seu risco. Em Setembro de 2010, o Acordo de Basileia III, com adoção prevista até 2019, veio reforçar estas medidas com a criação de um quadro regulamentar e de supervisão mais sólido, por parte das instituições de crédito. Surge, assim neste contexto, o Modelo de Avaliação de Risco (MAR) para o sector bancário. Em Portugal, o MAR tem como objetivo avaliar o perfil de risco das instituições de crédito, sujeitas à supervisão do Banco de Portugal, assim como apresentar o perfil de risco e a solidez da situação financeira de cada instituição de crédito. Este trabalho pretende avaliar o surgimento e a caracterização deste modelo e identificar as variáveis a ter em conta nos modelos de avaliação de risco a nível qualitativo e quantitativo.

A interacção oral na sala de aula como desafio ao professor de Língua Estrangeira

O presente relatório foi elaborado no âmbito do estágio de Prática Educativa I, II e III, do curso de 2.º ciclo do Mestrado em Ensino do Inglês e Francês ou Espanhol no Ensino Básico, da Escola Superior de Educação. Ao longo deste relatório reflicto sobre as minhas práticas, incidindo em dois aspectos basilares para a realização deste trabalho: o modo como se processam as estratégias que concorrem para que seja possível promover a interacção oral dos alunos em sala de aula, e consequente desenvolvimento da sua competência comunicativa em língua estrangeira; e a forma como planifiquei actividades assentes em recursos diversificados, nomeadamente, jogos, histórias, flashcards, vídeo, roleplay, canções e debate. De forma a documentar as minhas reflexões, faço uma análise a algumas planificações de aulas em que utilizei os recursos mencionados, incluindo algumas imagens ilustrativas desses momentos. Concluo o relatório tecendo algumas considerações finais sobre o percurso que tracei na qualidade de aluna deste mestrado e de futura professora, reflectindo sobre alguns aspectos que considero relevantes na construção da profissionalidade docente.

Perspetivas interdisciplinares na planificação didática de Línguas e Culturas Estrangeiras

O presente Relatório Final de Estágio concretiza-se num trabalho de reflexão crítica sobre as práticas realizadas como professora estagiária de Inglês e de Espanhol no âmbito das Unidades Curriculares de Prática Educativa I, II e III, do Curso de Mestrado em Ensino de Inglês e Francês ou Espanhol, da Escola Superior de Educação, do Instituto Politécnico do Porto. A problemática que se apresenta decorre da perspetiva de que o ensino e aprendizagem de uma língua estrangeira baseados na articulação entre disciplinas do currículo contribui para uma aprendizagem holística, desenvolvendo competências que permitem um entendimento geral e global dos fenómenos humanos proporcionando aos alunos a compreensão do saber escolar como um todo articulável, contribuindo para uma leitura lógica e completa da realidade. A sua concretização na sala de aula impõe que o professor planifique atividades e opte por estratégias de ensino e de aprendizagem diversificadas, onde convergem finalidades, conceitos e metodologias de diversas disciplinas do currículo. Assim, este trabalho descreve a planificação de práticas de ensino e aprendizagem de Inglês e Espanhol em articulação com os conteúdos e os objetivos da disciplina de Estudo do Meio no Primeiro Ciclo. A planificação de práticas de Inglês no Segundo Ciclo foi realizada em articulação com a disciplina de História e Geografia de Portugal, com base na metodologia de projeto. As opções adotadas na planificação didática são consideradas estratégicas para uma aprendizagem significativa. Palavras-chave: perspetiva interdisciplinar do ensino; planificação didática de línguas estrangeiras; compreensão integrada do saber escolar; aprendizagem por projeto

Tradução audiovisual

Esta dissertação de mestrado foi desenvolvida com o intuito de estudar a tradução audiovisual de spots publicitários. Mais especificamente, estudar a tradução audiovisual no contexto da implementação e aplicabilidade de uma campanha publicitária ou, neste caso, de diversos spots publicitários de uma dada empresa num público-alvo estrangeiro. Para esta dissertação, selecionei um corpus de spots publicitários do banco internacional HSBC. A tomada da decisão recaiu sobre a quantidade de filiais que o HSBC tem espalhadas pelo globo, e que estão inseridas em mercados cujas culturas predominantes se diferenciam grandemente entre umas e outras. Para aprofundar este tema, analisei os conceitos inerentes à tradução audiovisual, enveredei posteriormente, e de forma mais específica, pela análise dos conceitos intrínsecos à legendagem de spots publicitários, e, por fim, associei estes conceitos com as questões relativas à interculturalidade e à melhor forma de transmitir informações, sobre uma mesma entidade, a grupos culturais diferentes. Em seguida, legendei o corpus de spots publicitários do HSBC, selecionados para constar desta dissertação, salientando os principais momentos de reflexão: as barreiras tradutivas/culturais existentes, as soluções e a decisão final relativa à cada legenda criada. Legendei os spots publicitários do HSBC, como se estivessem destinados a um público-alvo de nacionalidade, cultura e língua portuguesa. Obtive um conjunto de oito spots publicitários legendados em português, e efetuei a respetiva análise do processo tradutivo. Apresentei elações retiradas durante a criação das legendas, sobre as quais caia o objetivo de as relacionar com os conceitos primeiramente abordados.

O papel da qualidade e auditoria interna na gestão de um município

Os Municípios, num contexto de reformas administrativas iniciadas pela filosofia da Nova Gestão Pública, vivem atualmente com um grau de exigência elevado onde questões como, a boa gestão dos escassos recursos, a prestação de serviços de qualidade aos munícipes e um maior escrutínio por parte destes, impõem pressão junto dos responsáveis e dos órgãos executivos desses municípios, para a mudança dos serviços e da gestão numa perspetiva de melhoria da qualidade. O presente relatório de estágio tem por objetivo perceber qual a relevância, que o serviço de qualidade e auditoria interna desempenha, na gestão de um município. A escolha do estudo de caso incidiu sobre, a Câmara Municipal da Maia, local de realização do estágio. Neste contexto, após a revisão da literatura, será realizado um estudo em que, será criado um modelo de análise que irá testar, a implementação da gestão da qualidade, a monitorização de indicadores de desempenho e o contributo da auditoria interna, na gestão da Camara Municipal da Maia, no sentido de se chegar a uma conclusão final. Assim, será analisada de forma detalhada, a posição do órgão executivo, mediante a realização de uma entrevista para recolha de dados qualitativos, que posteriormente serão tratados. Na parte final deste relatório, iremos discutir os resultados obtidos e concluir sobre qual o papel e a importância que o serviço de qualidade e auditoria interna desempenha, na gestão da Câmara Municipal da Maia. Como limitação principal deste estudo refere-se o facto de as matérias a tratar serem todas de natureza sensível e com caráter sigiloso, o que inviabiliza a divulgação de alguns dados relevantes.

A abordagem intercultural e plurilingue no ensino de línguas estrangeiras no ensino básico

Numa era global marcada por avanços tecnológicos e pela diversidade cultural e linguística, é necessária uma nova linha de pensamento educativo e didático que conduza à formação de falantes cada vez mais pluriculturais e plurilingues, capazes de compreender, respeitar e interagir com outros povos e culturas. O desenvolvimento de competências comunicativas em, pelo menos, dois idiomas do espaço europeu é uma das medidas promovidas pelas politicas linguísticas europeias, que visam preparar os cidadãos para um diálogo intercultural, que fomente o respeito e a abertura face a essas diferenças, e pela construção de uma identidade intercultural e plurilingue nos próprios cidadãos exercendo, assim, a sua cidadania. Este paradigma tem implicações quer na aula de Língua Estrangeira, como ferramenta que permite ao aluno a ampliar a sua visão do mundo, quer no papel do professor, que nela intervém, enquanto, responsável pela construção social e formativa dos seus aprendentes. Estrutura-se, assim, um modelo educativo que abraça todas as culturas e reportórios linguísticos presentes dentro e fora do âmbito escolar. Neste relatório de estágio, resultante da prática pedagógica centrada no ensino do Inglês e do Espanhol, teci uma reflexão crítica sobre os diferentes cenários pedagógicos construídos durante três semestres académicos, com alunos portugueses do Ensino Básico. O fio condutor de toda a prática desenvolvida centrou-se no paradigma da abordagem intercultural e, com base nessa linha de pensamento, propus-me aferir os contributos que as minhas opções metodológicas tiveram quer no processo de aprendizagem dos meus alunos, quer na sua construção pessoal e social.

Articulação de várias linguagens de programação/tecnologias no desenvolvimento aplicacional

O desenvolvimento aplicacional é uma área em grande expansão no mercado das tecnologias de informação e como tal, é uma área que evolui rápido. Os impulsionadores para esta característica são as comunicações e os equipamentos informáticos, pois detêm características mais robustas e são cada vez mais rápidos. A função das aplicações é acompanhar esta evolução, possuindo arquiteturas mais complexas/completas visando suportar todos os pedidos dos clientes, através da produção de respostas em tempos aceitáveis. Esta dissertação aborda várias arquiteturas aplicacionais possíveis de implementar, mediante o contexto que esteja inserida, como por exemplo, um cenário com poucos ou muitos clientes, pouco ou muito capital para investir em servidores, etc. É fornecido um nivelamento acerca dos conceitos subjacentes ao desenvolvimento aplicacional. Posteriormente é analisado o estado de arte das linguagens de programação web e orientadas a objetos, bases de dados, frameworks em JavaScript, arquiteturas aplicacionais e, por fim, as abordagens para definir objetivos mensuráveis no desenvolvimento aplicacional. Foram implementados dois protótipos. Um deles, numa arquitetura multicamada com várias linguagens de programação e tecnologias. O segundo, numa única camada (monolítica) com uma única linguagem de programação. Os dois protótipos foram testados e comparados com o intuito de escolher uma das arquiteturas, num determinado cenário de utilização.

Projeto de uma ETAR de 3200 habitantes equivalentes

A atividade humana e industrial usa a água para as suas atividades do quotidiano. A água é um recurso natural escasso cuja qualidade deve ser protegida, defendida, gerida e tratada em conformidade com o seu uso. Nesse âmbito, a gestão das águas prossegue objetivos de proteção da saúde humana e de preservação, proteção e melhoria da qualidade do ambiente[1]. Desde o final do seculo XIX até aos dias de hoje, verificou-se uma forte evolução nos sistemas de tratamento de águas residuais. Esta evolução foi fundamental para dar resposta às maiores exigências de qualidade do efluente tratado. O sistema de lamas ativadas é um dos processos de tratamento biológico das águas residuais mais usados em todo o mundo. Este trabalho consiste no desenvolvimento do projeto de conceção e dimensionamento de uma Estação de Tratamento de Águas Residuais (ETAR) para servir um pequeno aglomerado de cerca de 3200 habitantes equivalentes (hab.eq.), tendo como objetivo o dimensionamento de todas as etapas de tratamento necessárias ao cumprimento da legislação em vigor para a descarga das águas residuais urbanas no meio recetor. O Decreto-lei nº 152/97[2], relativo ao tratamento de águas residuais urbanas, juntamente com o Decreto-lei nº 149/2004[3] que identifica as zonas sensíveis e de zonas menos sensíveis, permitem que as entidades licenciadoras definam o grau de tratamento que a instalação deve possuir tendo em consideração a classificação do meio onde o efluente tratado é descarregado. O Decreto-Lei n.º 135/2009[1] estabelece o regime de identificação, gestão, monitorização e classificação da qualidade das águas balneares, impondo a qualidade microbiológica da água residual tratada mediante o meio recetor, e portanto conseguindo-se assim definir o tratamento de desinfeção a adotar. Resumidamente, a conceção do tratamento focou as seguintes etapas: tratamento preliminar formado por uma unidade compacta de tamisação, desarenador e desengordurador, tratamento secundário por lamas ativadas em regime de arejamento prolongado constituído por dois reatores com cerca de 400 m3 de volume seguido de um decantador com um diâmetro de 9.5 m, tratamento terciário de desinfeção composto por uma microtamisação seguido de desinfeção UV, e a utilização das operações comuns de espessamento e desidratação das lamas produzidas em excesso pelo tratamento, constituída por com um espessador gravítico com 4.6 m de diâmetro, e um filtro banda para a desidratação.

Jogos digitais com contos infantis - Uma proposta de brinquedo-jogo para dispositivos móveis

O desenvolvimento e proliferação de equipamentos e produtos multimédia, permitindo a combinação de som, imagem e texto despoletou a emergência de novos estímulos que se associam a sensações, novas formas de interagir, de comunicar e também de brincar e aprender. Jogar e brincar são excelentes fontes de estímulos, principalmente para as crianças, pois potenciam a evolução da lógica, do raciocínio, das associações e da capacidade de escolha. No contexto dos jogos, decorrente da evolução tecnológica, o mercado dos jogos digitais tem vindo a expandir-se consideravelmente, nomeadamente na área dos jogos educativos. Os jogos educativos baseados em contos infantis permitem um enriquecimento de experiências, de capacidades sequenciais de lógica e promovem a apetência da criança para fantasiar num mundo paralelo. No entanto, do nosso ponto de vista, o mercado dos jogos digitais ainda tem um longo caminho a percorrer para fornecer de forma equilibrada este tipo de jogos educativos. Com este trabalho abordam-se as potencialidades que os jogos educativos baseados em contos infantis podem ter no desenvolvimento de algumas competências das crianças, nomeadamente através da análise das suas vantagens e dos seus aspetos negativos. O mercado dos jogos digitais é também analisado para determinar os seus contributos e as ideias principais presentes. A componente prática deste trabalho de mestrado contempla a criação de um jogo educativo baseado em contos infantis que corresponda aos interesses das crianças entre os 3 e os 5 anos de idade, e que fomente o desenvolvimento de algumas das suas competências a nível da linguagem. Os testes feitos com o protótipo do jogo permitem aferir a recetividade por parte das crianças. A simplicidade no manuseamento da aplicação e o facto de integrar histórias do imaginário infantil consideram-se fatores positivos e motivadores à utilização do jogo “Contos Baralhados: Brinca com as Histórias”.