Novas tendências, o big data: deteção de fraudes e transações no comércio local: SAF-T com tecnologia big data

Dissertação apresentada à Escola Superior de Tecnologia do Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento de Software e Sistemas Interactivos, realizada sob a orientação científica da categoria profissional do orientador Doutor Eurico Ribeiro Lopes, do Instituto Politécnico de Castelo Branco.

Análise da qualidade de energia de um parque eólico com ligação à rede eléctrica

Tese de mestrado integrado em Engenharia da Energia e do Ambiente, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2016

O efeito mediador da motivação intrínseca na relação entre as características da função e o desempenho individual

Objetivo. Este trabalho testa empiricamente como as perceções acerca das características da função explicam o desempenho individual, tanto diretamente quanto através da mediação da motivação intrínseca. As características da função estudadas abarcam a variedade de trabalho, a autonomia, o feedback, a relação com os outros, a identidade da tarefa e a amizade no local de trabalho (Sims, Szilagyi e Keller, 1976). Embora seja profícua a investigação que considera estes constructos, é menos frequente aquela que: (a) os considera em simultâneo, (b) testa a evidência empírica em Portugal, e (c) considera tanto o desempenho individual autoreportado como o avaliado pelas chefias. Metodologia. A amostra abarca 153 colaboradores (95% do género feminino, 56% com o 9.º ano de escolaridade, 27% com o secundário e 17% com um curso superior, 9% desempenham funções de chefia) provenientes de cinco Instituições Particulares de Solidariedade Social. A idade média dos inquiridos cifra-se nos 43,2 anos (DP: 9,6) e a antiguidade média em 10,2 anos (DP: 8,4). As características da função foram medidas com a escala de Sims et al. (1976), a motivação intrínseca através da escala de Warr, Cook e Wall (1979) e o desempenho individual através da escala de Welbourne, Jonhson e Erez (1998). Os dados foram submetidos análises fatoriais exploratórias. Analisou-se a consistência interna das escalas e prosseguiu-se com análises de médias, correlações e regressões lineares hierárquicas. O efeito mediador da motivação intrínseca foi testado através do Teste de Sobel.Resultados. Os dados sugerem o seguinte: (a) a motivação intrínseca medeia totalmente a relação entre as características da função e o desempenho autoreportado, não ocorrendo o mesmo efeito mediador com o desempenho avaliado pelas chefias; (b) as características da função influenciam direta e positivamente a motivação intrínseca e o desempenho reportado pelas chefias; (c) a motivação intrínseca afeta positivamente o desempenho autoreportado. Emergem diferenças significativas entre a autoavaliação de desempenho e a respetiva avaliação pelas chefias, o que surpreende. Aprofundou-se o estudo para aferir a razão de tal diferença. Contributo. O presente estudo contribui para compreender como as características da função influenciam a motivação intrínseca das pessoas no trabalho e o seu desempenho individual. Limitações. O desempenho individual foi medido através de uma medida subjetiva pelo que estudos futuros devem privilegiar medidas de desempenho objetivas. A relação entre os constructos e a medida de desempenho autoreportado pode padecer de problemas atinentes à variância do método comum.

Contribuição para a validação da escala "children's auditory processing performance scale" para a população portuguesa

A perturbação do processamento auditivo pode afectar negativamente o comportamento auditivo da criança, levando, entre outros, a um baixo rendimento escolar e a alterações do comportamento. Por este motivo é importante a identificação precoce desta perturbação. No entanto em Portugal não se encontra nenhum instrumento de medida disponível para o efeito, o que motivou este estudo. Assim sendo, este estudo tem como objectivos a tradução, adaptação cultural e validação da escala Children's Auditory Processing Performance Scale (CHAPPS) (Smoski, Brunt, & Tannahill, 1992) para o Português Europeu. Depois de traduzida e adaptada culturalmente a escala foi validada. Esta foi administrada a 154 indivíduos, dos quais 125 eram pais/encarregados de educação e 29 eram professores de crianças em idade escolar, do 1º ciclo. A versão portuguesa da escala (P-CHAPPS) apresentou uma excelente consistência interna (=0,950), estabilidade temporal e uma correlação entre as subescalas e o total com valores entre 0,581 e 0,857. As características psicométricas da P-CHAPPS revelam que esta pode ser utilizada na população portuguesa, ficando assim disponível, em Portugal um instrumento de medida a ser utilizado na identificação precoce das perturbações do processamento auditivo.

Repensando a lógica de avaliação de desempenho individual: um estudo empírico em um banco de desenvolvimento no nordeste do Brasil.

Este artigo objetiva a expor a lógica de um modelo de avaliação de desempenho individual focado apenas em atitudes, sem integração com a estratégia, utilizado por um Banco Brasileiro de Desenvolvimento (BD). A literatura tem enfatizado a necessidade de consistência entre critérios de avaliação do desempenho individual e a estratégia, com base na visão de que a estratégia deve ser o centro de todas as ações da empresa. Este artigo questiona essa perspetiva mediante análise da experiência do BD estatal, cujo modelo de avaliação de desempenho individual não busca o alinhamento à estratégia empresarial mas sim a melhoria da qualidade no trabalho, considerada essencial ao seu negócio. A metodologia de pesquisa se baseou em uma abordagem qualitativa e quantitativa. Além de entrevistas e pesquisa documental, utilizou-se de estatística descritiva para analisar os resultados da avaliação de desempenho dos 5659 funcionários do BD em 2010, que obteve a média de 8,9 pontos. Os resultados mostraram que o BD prefere utilizar uma lógica peculiar de avaliação individual de desempenho, que é dissociada da estratégia e das metas da organização, enfatizando a promoção de um clima organizacional harmonioso.

A COMUNICAÇÃO MIDIATIZADA NA EAD: UM DISCURSO PEDAGÓGICO DIFERENCIADO

Analisa-se, neste trabalho, como e com quais características ocorre a comunicação pedagógica nos sistemas que atuam na modalidade Educação a Distância (EAD), modalidade esta caracterizada pela mediação de tecnologias de informação e comunicação (TIC). O corpus desta pesquisa é composto pelo recorte da regulamentação específica e dos debates que envolvem o Ministério da Educação (MEC) e a Secretaria de Educação a Distância (SEED), a Associação Brasileira de Educação a Distância (ABED) e os profissionais da área, abordando o período do início da vigência do Decreto n.º 5622/05, que regulamentou a EAD no Brasil, em 2005, até 2009, momento em que ocorrem, pela polifonia dos modelos existentes, a supervisão e consolidação das ofertas desta modalidade no Brasil. O objetivo maior desta investigação foi analisar e avaliar como e com quais características a comunicação pedagógica apresenta o discurso educativo nesta modalidade, enquanto categoria educacional e comunicativa, caracterizada pelo uso de TIC dentro da perspectiva social. Este estudo utilizou a metodologia da pesquisa descritiva e documental, de natureza qualitativa, num percurso em que a pesquisadora procura descobrir, com a maior precisão possível, a frequência com que o fenômeno ocorre, sua relação e conexão com outros, sua natureza e suas características. Como fonte de informação e da pesquisa documental, utilizaram-se as categorias analíticas, o aspecto histórico, legal, versus a realidade da oferta desta modalidade. Buscou-se ainda entender como e com quais características as relações entre a comunicação e a educação se materializam no discurso pedagógico, nos sistemas de Ensino Superior que ofertam a modalidade EAD. Em relação aos envolvidos SEED/MEC e ABED, existem questões ainda implicativas entre as concepções de comunicação, educação e tecnologia. Pautou-se a pesquisa na análise dos caminhos e descaminhos desta modalidade e assim pôdese verificar uma oscilação entre os atores envolvidos e a consistência teórica que dá suporte de investigação ao MEC e à SEED para a realização do acompanhamento e supervisão, na perspectiva de garantir as bases conceituais que determinam e (ou) determinarão a oferta da modalidade EAD no Ensino Superior. Em relação à Comunicação Pedagógica, percebeu-se uma fragilidade nos debates, cuja ênfase ainda é de cunho quantitativo e não qualitativo. Pela análise feita, considera-se que, em razão da polifonia dos modelos, existem muitas iniciativas, mas o discurso predominante ainda é o da democratização da expansão, o que prejudica sensivelmente o avanço da valorização humana em detrimento do uso da tecnologia, e isso impede avanços na construção dos espaços possíveis e essenciais na modalidade EAD.(AU)

Comparação das atividades musculares durante a mastigação nas maloclusões de classe I e II de Angle

O objetivo deste estudo foi comparar a atividade muscular dos músculos da face e pescoço nas maloclusões Classe I e II de Angle, segundo o sexo. A amostra constou de 36 indivíduos, sendo 22 indivíduos com maloclusão classe I com média de idade de 22,4 anos e 14 indivíduos com maloclusão Classe II com média de idade de 22,8 anos. Os registros foram realizados por um eletromiógrafo de superfície, sendo analisada a atividade dos músculos masseter, temporal feixe anterior, esternocleidomastoídeo e digástrico ventre anterior dos lados direito e esquerdo durante a mastigação dos alimentos uva passa, bolacha água e sal e goma de mascar-PLOC. Após análise estatística descritiva e análise de variância os resultados mostraram que houve diferença estatisticamente significante apenas para os músculos: masseter direito durante a mastigação de uva passa quando comparadas as maloclusões de Classe I e II no sexo masculino; para o músculo digástrico direito quando comparado sexo e as maloclusões Classe I e II durante a mastigação dos três alimentos. Por fim, para o músculo digástrico esquerdo durante a mastigação de uva passa também encontramos diferença estatisticamente significante entre os sexos para as maloclusões Classe I e II. Nossos resultados sugerem que dependendo da consistência do alimento o tipo de maloclusão e sexo podem influenciar na atividade muscular durante a função da mastigação.(AU)

ESTUDO COMPARATIVO DO RECONHECIMENTO E DA MENSURAÇÃO DOS ATIVOS FIXOS TANGÍVEIS NO POCAL E NO SNC-AP

Perante a atual reforma da Contabilidade Pública em Portugal, foi aprovado, em setembro de 2015, o novo Sistema de Normalização Contabilística para as Administrações Públicas (SNC-AP). Este trabalho tem por objetivos analisar o definido no POCAL e no SNC-AP quanto ao reconhecimento e à mensuração dos ativos fixos tangíveis (AFT). Este estudo permite concluir que o novo normativo evidencia um avanço face ao POCAL, definindo não só o conceito de ativo e de AFT, como também os critérios de reconhecimento que um elemento deve cumprir para que possa ser reconhecido como tal, permitindo assim uma maior consistência no reconhecimento destes elementos, por parte das diferentes entidades públicas. Por outro lado, no que respeita à mensuração, o SNC-AP segue de perto, com as devidas adaptações, os normativos internacionais, introduzindo dois momentos de mensuração dos AFT, e referindo o justo valor explicitamente enquanto critério de mensuração aplicável a situações concretas.

OS ATIVOS FIXOS TANGÍVEIS: ESTUDO COMPARATIVO DOS NORMATIVOS CONTABILÍSTICOS PÚBLICOS E PRIVADOS

Objetivo: Em virtude da necessidade de comparabilidade da informação financeira das entidades públicas dos diferentes países Europeus e, consequentemente, da necessidade de adoção das International Public Sector Accounting Standards (IPSAS), foi necessário proceder a uma reforma dos sistemas de Contabilidade Pública dos diferentes Estados membros da União Europeia. Desta reforma resultou a aprovação, do Sistema de Normalização Contabilística para as Administrações Públicas (SNC-AP), através do Decreto-lei nº 192/2015, de 11/9, que traz várias mudanças, nomeadamente quanto à contabilização dos ativos fixos tangíveis (AFT). Atendendo a este contexto, este trabalho tem por objetivos efetuar um estudo comparativo do definido nos normativos contabilísticos públicos (nomeadamente no Plano Oficial de Contabilidade das Autarquias Locais – POCAL e no SNC-AP) e privados (Sistema de Normalização Contabilística – SNC), quanto às principais particularidades da contabilização dos AFT, nomeadamente o seu reconhecimento e a sua mensuração. Metodologia: Na elaboração deste trabalho foi adotada uma metodologia qualitativa baseada num estudo comparativo dos normativos contabilísticos públicos (POCAL e SNC-AP) e privados (SNC), quanto ao reconhecimento e mensuração dos AFT. Originalidade: Consideramos que este trabalho é um tema original e atual, que tem por base um diploma recente (SNC-AP), cuja obrigatoriedade de aplicação apenas se estabelece para o ano de 2017, e que, por essa razão, ainda não foi muito abordado no âmbito da investigação científica. Por outro lado, este trabalho poderá contribuir para um estudo comparativo das diferentes normas, existentes em Portugal, no âmbito público e privado. Resultados: Este estudo permite concluir que o novo normativo (SNC-AP) evidencia um avanço face ao POCAL, definindo não só o conceito de ativo e de AFT, como também os critérios de reconhecimento que um elemento deve cumprir para que possa ser reconhecido como tal, permitindo assim uma maior consistência no reconhecimento destes elementos, por parte das diferentes entidades públicas. Portanto, no que respeita ao reconhecimento dos ativos o SNC-AP aproxima-se do SNC, com algumas particularidades específicas do âmbito público, como o facto de um elemento poder ser reconhecido como ativo mesmo que não produza rendimentos, desde que possua potencial de serviço. Por outro lado, relativamente à mensuração, o SNC-AP segue de perto, com as devidas adaptações, os normativos internacionais e também o SNC, introduzindo, comparativamente ao definido no POCAL, dois momentos de mensuração dos AFT, e referindo o justo valor explicitamente enquanto critério de mensuração aplicável a situações concretas, e já não apenas o tradicional custo histórico. Limitações: A atualidade do tema deste trabalho trouxe algumas limitações no que respeita à revisão de literatura de trabalhos de cariz científico, que são ainda escassos. Por outro lado, o facto do SNC-AP apenas ser de aplicação obrigatória no ano de 2017, e atualmente apenas estar a ser aplicado por algumas entidades piloto, não nos permitiu efetuar um estudo das consequências que, na prática, a adoção deste novo normativo terá, no que respeita ao reconhecimento e mensuração dos AFT.

Tradução, adaptação cultural e propriedades psicométricas da versão brasileira do mobility assessment tool physical activity (MAT-PA) em idosos comunitários brasileiros

Objetivo: Traduzir e avaliar as propriedades psicométricas do Mobility Assessment Tool Physical Activity (MAT-PA) em idosos comunitários brasileiros. Métodos: Trata-se de um estudo tradução, adaptação cultural, e acurácia do instrumento MAT-PA, no qual foram avaliados 329 idosos, com idade mínima de 60 anos, residentes na comunidade. Os indivíduos submeteram-se a um formulário de avaliação composto por: questionário sócio-demográfico e de saúde percebida; avaliação física; Prova Cognitiva de Leganés (PCL); Center for Epidemiologic Studies Depression Scale (CES-D); International Physical Activity Questionnaire (IPAQ); Mobility Assessment Tool Physical Activity (MAT-PA). Dessa amostra total, 42 idosos utilizaram o acelerômetro durante 8 dias. Para verificar a confiabilidade teste-reteste do MAT-PA, reaplicou-se esse instrumento em 34 idosos 8 dias após a primeira avaliação. A análise estatística utilizada foi a correlação de Spearman, o Coeficiente de Correlação Intra-classe, o coeficiente α de Cronbach, o Bland-Altman e o teste T pareado. Resultados: As correlações dos dados IPAQ e acelerômetro versus o escore total do MAT-PA foram significativas e apresentaram um coeficiente de correlação de Spearman de 0,13 e 0,41, respectivamente. Analisou-se também a confiabilidade que apresentou as seguintes medidas: consistência interna, pelo coeficiente alfa de Cronbach (α= 0,70); Concordância teste-reteste, pelo coeficiente de correlação intra-classe (CCI=0,53; p<0,001). Conclusão: A versão brasileira do Mobility Assessment Tool Physical Activity (MAT-PA) como um instrumento de avaliação da atividade física de idosos, mostrou ser um método válido e confiável.

Desempenho de analistas sell-side no mercado de ações brasileiro

The purpose of this study was to analyze the behavior of Sell-Side analysts and analysts propose a classification, considering the performance of the price forecasts and recom- mendations (sell-hold-buy) in the Brazilian stock market. For this, the first step was to analyze the consensus of analysts to understand the importance of this collective interven- tion in the market; the second was to analyze the analysts individually to understand how improve their analysis in time. Third was to understand how are the main methods of ranking used in markets. Finally, propose a form of classification that reflects the previous aspects discussed. To investigate the hypotheses proposed in the study were used linear models for panel to capture elements in time. The data of price forecasts and analyst recommendations individually and consensus, in the period 2005-2013 were obtained from Bloomberg R ○ . The main results were: (i) superior performance of consensus recommen- dations, compared with the individual analyzes; (ii) associating the number of analysts issuing recommendations with improved accuracy allows supposing that this number may be associated with increased consensus strength and hence accuracy; (iii) the anchoring effect of the analysts consensus revisions makes his predictions are biased, overvaluating the assets; (iv) analysts need to have greater caution in times of economic turbulence, noting also foreign markets such as the USA. For these may result changes in bias between optimism and pessimism; (v) effects due to changes in bias, as increased pessimism can cause excessive increase in purchase recommendations number. In this case, analysts can should be more cautious in analysis, mainly for consistency between recommendation and the expected price; (vi) the experience of the analyst with the asset economic sector and the asset contributes to the improvement of forecasts, however, the overall experience showed opposite evidence; (vii) the optimism associated with the overall experience, over time, shows a similar behavior to an excess of confidence, which could cause reduction of accuracy; (viii) the conflicting effect of general experience between the accuracy and the observed return shows evidence that, over time, the analyst has effects similar to the endowment bias on assets, which would result in a conflict analysis of recommendations and forecasts ; (ix) despite the focus on fewer sectors contribute to the quality of accuracy, the same does not occur with the focus on assets. So it is possible that analysts may have economies of scale when cover more assets within the same industry; and finally, (x) was possible to develop a proposal for classification analysts to consider both returns and the consistency of these predictions, called Analysis coefficient. This ranking resulted better results, considering the return / standard deviation.

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Algoritmo papílio como método de proteção de templates para aumentar a segurança em sistemas de identificação biométricos

There are authentication models which use passwords, keys, personal identifiers (cards, tags etc) to authenticate a particular user in the authentication/identification process. However, there are other systems that can use biometric data, such as signature, fingerprint, voice, etc., to authenticate an individual in a system. In another hand, the storage of biometric can bring some risks such as consistency and protection problems for these data. According to this problem, it is necessary to protect these biometric databases to ensure the integrity and reliability of the system. In this case, there are models for security/authentication biometric identification, for example, models and Fuzzy Vault and Fuzzy Commitment systems. Currently, these models are mostly used in the cases for protection of biometric data, but they have fragile elements in the protection process. Therefore, increasing the level of security of these methods through changes in the structure, or even by inserting new layers of protection is one of the goals of this thesis. In other words, this work proposes the simultaneous use of encryption (Encryption Algorithm Papilio) with protection models templates (Fuzzy Vault and Fuzzy Commitment) in identification systems based on biometric. The objective of this work is to improve two aspects in Biometric systems: safety and accuracy. Furthermore, it is necessary to maintain a reasonable level of efficiency of this data through the use of more elaborate classification structures, known as committees. Therefore, we intend to propose a model of a safer biometric identification systems for identification.

A motivação de licenciandos em música sob a perspectiva da teoria da autodeterminação

This research had as main aim to verify the motivational quality of music students at four public universities in the Northeast of Brazil, based on the Self-Determination Theory (SDT). This perspective was proposed by Edward Deci and Richard Ryan (1985, 2000, 2008a, 2008b), and considers the qualitative aspects of motivation. It defends that the individuals have a natural tendency to self-regulation; it adopts the concept of internalizations through a continuum of self-determination conceived in the mini-theory of organismic integration. The research presents a descriptive, exploratory and correlational approach. To collect data, it was submitted a self-report questionnaire, based on the Academic Motivational Scale, translated and validated by Guimarães and Bzuneck (2008), which allow us to verify the motivation types according to a selfdeterminational continuum. According to this application, the instrument has shown evidence of satisfactory validity, with a good internal consistence and correlations from weak to moderate scale. The obtained data were collected from 380 music students, analyzed through a descriptive and inferential statistics, considering a few procedures: frequencies, averages, standard deviation, factorial analysis, internal consistence analysis through Cronbach Alpha, Pearson’s correlational analysis and variance analysis. The analyzed data show that high averages in the evaluation of self-determined motivation and low evaluation in demotivation and less autonomy motivation. Many students revealed strong intention to conclude the course. It was identified less autonomous motivation and more motivation among the students with intention to work in other areas, some of them concluded the final training process in Music Course, and say that they are in this course because they had no other option. We conclude that those graduated in Music Course, represented in this sample, show a good motivational quality. But after a few time there is a tendency in decreasing autonomous motivation because of some requirements of an academic course. In this sense, the courses must create strategies to maintain a self-determined behavior so that students can realize their autonomous motivation, identifying its importance, value and meaning along the Course.

Buraco negros, correspondência AdS/BCFT e fluido/gravidade

Einstein’s equations with negative cosmological constant possess the so-called anti de Sitter space, AdSd+1, as one of its solutions. We will later refer to this space as to the "bulk". The holographic principle states that quantum gravity in the AdSd+1 space can be encoded by a d−dimensional quantum field theory on the boundary of AdSd+1 space, invariant under conformal transformations, a CFTd. In the most famous example, the precise statement is the duality of the type IIB string theory in the space AdS5 × S 5 and the 4−dimensional N = 4 supersymmetric Yang-Mills theory. Another example is provided by a relation between Einstein’s equations in the bulk and hydrodynamic equations describing the effective theory on the boundary, the so-called fluid/gravity correspondence. An extension of the "AdS/CFT duality"for the CFT’s with boundary was proposed by Takayanagi, which was dubbed the AdS/BCFT correspondence. The boundary of a CFT extends to the bulk and restricts a region of the AdSd+1. Neumann conditions imposed on the extension of the boundary yield a dynamic equation that determines the shape of the extension. From the perspective of fluid/gravity correspondence, the shape of the Neumann boundary, and the geometry of the bulk is sourced by the energy-momentum tensor Tµν of a fluid residing on this boundary. Clarifying the relation of the Takayanagi’s proposal to the fluid/gravity correspondence, we will study the consistence of the AdS/BCFT with finite temperature CFT’s, or equivalently black hole geometries in the bulk.