Certificação de composições de serviços web semânticos

This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification

Dificuldades de aprendizagem do conteúdo de soluções: proposta de ensino contextualizada

The study of solutions is considered very important to chemist’s education because most of the chemical reactions occur in aqueous medium, being also required to understand other subject such as chemical changes, electrochemical and chemical balance. Nevertheless, it is noticed that many students indicate learning difficulties related to the content of solutions, how to pass among the macro-submicroscopic knowledge levels, and how to solve quantitative problems that demanding the establishment of a stoichiometric ratios. This thesis defended considers the use of contextualized teaching strategies about some subject associated to the study of solution, can foster student learning through reflection and understanding of their own difficulties, besides to provide motivation and active participation. The target group is formed by students of the undergraduate distance education with major in chemistry education of the Universidade Federal do Rio Grande do Norte (UFRN), and they were chosen because this education system is expanding and its learning difficulties publications number is reduced as well. Thus, the first methodological stage was to identify the student’s main learning difficulties associated to the study of solutions through literature sources. Next, using an adapted script of the Plano Nacional do Livro Didático para o Ensino Médio (PNLEM, Textbook National Plan for High School), the approach of the content of solutions printed in educational materials used by the target group was analyzed. Afterward, a teaching unit was planned in the last methodological stage and, finally, a new teaching unite was given with a sequence of contextualized activities such as video presentation, dialogued lecture, questionnaires application, exercises, and an experiment, where the target group’s main difficulties related to learning of solution were identified. The participants of the teaching unit activities had some learning difficulties in understand concepts of compound, ion, charge, entropy and solubility, as well as to identify the ion charge, interpret statements, decode tables, use the chemical language, perform mathematical calculations and use concentration units, similar results raised in the literature sources. In order to work on these difficulties, these students were encouraged to expose, question and test their ideas about the phenomenon under study, allowing learn from their mistakes and reflect on the organization strategy of scientific explanatory models they use. Therefore, activities and information about learning difficulties presented in this thesis need to be critical reflection object, because it can help both students in the process of acquiring knowledge about the content of solutions and professors in the planning of their lessons.

A compreensão de reação química como um sistema complexo a partir da discussão dos erros e dificuldades de aprendizagem de estudantes do ensino médio

The study of chemical reactions is among the most important contents to the understanding of Chemistry discipline in basic education. However, there are still few studies about chemical reactions as a complex system because, generally, this content is presented in textbooks, taught and even researched in a fragmented form. The thesis here presented aims to investigate, identify and characterize the mistakes and learning difficulties of the students about chemical reactions as a complex system, using for that purpose the analysis of the answers of 126 exams of candidates for the bachelor’s degree in Chemistry Teaching on the entrance exam for the Federal University of Rio Grande do Norte (UFRN). The mistakes and learning difficulties about the parameters ΔG°, Kp, Ea and of the calculation of the amount of substance in a chemical reaction have been identified, as well as the levels of development of the ability to interpret the chemical reaction as a system. The main theoretical source of this study is structured based on the mistakes and learning difficulties (NÚÑEZ, RAMALHO, 2012), of the chemical reactions as complex systems (NÚÑEZ, 1994; RESHETOVA, 1988; SANDERSON, 1968). As methodology, it was prioritized the analysis of the answers to the exams and the interview with the teachers. The results showed typical mistakes in the study of this subject, especially low levels and skill development. No student was able to integrate the different aspects in the systemic understanding of the chemical reaction. From the interviews with Chemistry teachers from High School, it was determined the reasons the teachers assign to those mistakes and learning difficulties. The interviews revealed that the teachers do not work in the perspective of integration of the contents which leads the students to present difficulties and make mistakes related to the content previously mentioned. The study presents a proposal for the organization of the contents of Chemistry discipline for High School as a possibility of a dialectic systemic integration of contents, understanding that this systematic vision, leads to important contributions to the development of the theoretical thinking of the students. We can mention as one of the conclusions of this study, the fact that the non-systemic organization of contents do not favor this kind of thinking in students.

Gestão da segurança alimentar evolução da certificação Codex Alimentarius para a implementação da ISO 22000:2005

O efeito conjugado das imposições da grande distribuição e dos consumidores cada vez mais exigentes levou os intervenientes do sector alimentar a considerarem a certificação dos seus produtos e/ou sistemas de produção por referenciais específicos. Todas as organizações que intervêm na cadeia alimentar têm a responsabilidade de colocar no mercado produtos alimentares cujas condições de higiene e segurança estejam devidamente garantidas. O trabalho desenvolvido no presente Projecto consistiu na preparação da implementação da norma NP EN ISSO 22000:2005 na empresa Cores Doces, Lda, dedicada ao comércio de doçaria. Tendo já o sistema HACCP implementado, a certificação através da norma de gestão da segurança alimentar NP EN ISSO 22000:2005 era um objetivo estratégico da administração da empresa uma vez que é este o referencial de segurança alimentar que melhor se adapta à realidade e objetivos da empresa e seus parceiros. O plano de trabalhos teve como objetivo fazer a transição entro o sistema HACCP (hazard Analysis and Critical Control Points) já implementado e certificado, para a implementação e certificação segundo os requisitos da norma NP EN ISSO 22000:2005. Para o efeito foram numa primeira fase identificadas as principais diferenças entre os dois sistemas de gestão da segurança alimentar. Esta análise permitiu diagnosticar as alterações processuais a implantar e os documentos a elaborar para a constituição da estrutura documental do sistema segundo a ISO 22000:2005. As principais alterações efetuadas foram a nível do Planeamento e Realização de Produtos Seguros, nomeadamente a análise de risco. Numa segunda fase foram apresentadas as alterações na empresa perante a transição para a ISSO onde se deu destaque aos aspetos relacionados com a responsabilidade da gestão, a compatibilização com os outros sistemas de gestão que possam ser criados na empresa (qualidade, ambiente, segurança e saúde); onde se fez igualmente a correspondência entre o Codex e a ISSO com destaque para o capítulo 7 na Norma ( Planeamento e Realização de Produtos Seguros), explorando os restantes capítulos que permitem introduzir na organização um ciclo de PDCA (Planear, Realizar, Avaliar e Corrigir). Finalmente foi elaborado um auxiliar de transição do sistema HACCP para a ISSO 22000 que possa servir de ferramenta para outras organizações.

Estratégias na Implementação da norma ISO 9001 em IPSS (Instituições Particulares de Solidariedade Social)

A qualidade está na base do sucesso no mundo empresarial, sendo um fator de competitividade e de diferenciação entre organizações. No contexto das Instituições Particulares de Solidariedade Social, a aposta na qualidade é também uma realidade. No entanto, estas instituições enfrentam diversas dificuldades no processo de implementação do sistema de gestão da qualidade (SGQ) ISO 9001. De entre estas, destaca-se o difícil acesso à metodologia, crenças impostas, culturas resistentes à mudança, desconhecimentos e receios, que resultam em custos avultados para as organizações, dado o recurso frequente a empresas de consultoria. Como tal, o presente trabalho de investigação pretende salientar as principais dificuldades no processo de implementação da norma ISO9001:2008 em IPSS e dar o seu contributo para a clarificação da polémica que envolve a certificação desta norma, mediante a criação de um kit, com todas as ferramentas necessárias à implementação da norma. Por conseguinte, e para dar resposta ao objetivo proposto, procedeu-se numa primeira instância à realização de inquéritos a 29 organizações certificadas pelas normas ISO 9001:2008 e/ou EQUASS (European Quality in Social Services), de forma a apreender as principais dificuldades no processo de implementação da norma nas várias IPSS. Esta análise permitiu concluir que, os principais fatores que dificultaram a implementação do sistema de gestão da qualidade, segundo a norma ISO 9001:2008, são essencialmente a falta de tempo e/ou disponibilidade, assim como a dificuldade de interpretação da norma. Como tal, as organizações necessitam de ferramentas de auxílio que as apoiem e esclareçam no processo de implementação do sistema da qualidade. Neste sentido, elaborou-se o kit de implementação “Qualifica”. Este é constituído por um manual e um CD interativo com documentos, formações e ferramentas para a implementação do sistema, cujo objetivo é esclarecer, encaminhar, orientar e simplificar todo o processo de implementação da norma e utilizando uma linguagem simples e acessível. Para finalizar, a viabilidade do KIT “Qualifica” foi devidamente validada através da sua aplicação numa IPSS não certificada. Após a revisão do sistema implementado na IPSS em estudo, conclui-se que o KIT "Qualifica" ofereceu todas as bases e todos os recursos necessários para o bom entendimento, encaminhamento e implementação da norma, provando a sua potencialidade como ferramenta auxiliar fundamental que qualquer organização poderá no futuro utilizar.

Dificuldades iniciais na aprendizagem da leitura/escrita e matemática: a eficácia da adoção de estratégias específicas para a atenuação dos primeiros sinais

O presente Relatório surge da realização do projeto de Mestrado em Educação Especial – Domínio Cognitivo-Motor e apresenta a investigação realizada com o objetivo de comparar os resultados da adoção de estratégias diferenciadas na resolução de fichas de trabalho específicas: apoiada por um docente de educação especial, em comparação com a realização autónoma, seguida de correção e feedback imediatos. Recorreu-se a um desenho quasi-experimental, com pré-teste, intervenção e pós-teste, centrado numa diversidade de instrumentos e técnicas de recolha e análise dos dados (triangulação dedados/metodológica). Na fase de pré-teste participaram 60 alunos de três turmas do 1.º ano do 1.º CEB, que realizaram fichas de trabalho destinadas a avaliar competências específicas de Português e Matemática. Na fase de intervenção selecionaram-se os alunos de duas turmas – sendo a terceira o “grupo decontrolo” – que apresentaram os resultados mais baixos e procedeu-se à execução de um programa de intervenção baseado na realização de novas tarefas de resolução de exercícios segundo uma das metodologias referidas em cada grupo. Após a intervenção procedeu-se à aplicação de novos instrumentos de avaliação em todas as turmas/grupos para conhecer e comparar os níveis de desempenho dos alunos participantes (tendo como referência os seus pares na turma e o grupo de controlo).Os resultados obtidos evidenciam progressos consideráveis em cada um dos grupos experimentais, da fase de pré-teste para o pós-teste, o que aponta para a eficácia da intervenção realizada, quer por meio da resolução de fichas de trabalho de forma autónoma, seguida de feedback e correção, quer por meio do acompanhamento e apoio do docente de educação especial durante a realização das tarefas. O nível de progressão atingido foi mais acentuado nesta última modalidade. Por outro lado, os dois grupos experimentais reduziram as diferenças de desempenho em relação aos respetivos grupos de pares (restantes alunos da turma). O grupo que contou com apoio evidencia resultados mais próximos dos grupos de referência. A opinião dos docentes de cada uma das turmas também confirma uma melhoria nas aprendizagens dos alunos intervencionados.

Renovação da certificação do referencial BRC, aplicação do código de ética laboral ETI – Ethical Trading Initiative e do referencial específico da Walmart na central fruteira O Melro.OP

A crescente preocupação com a segurança alimentar por parte das empresas do setor, assim como a segurança e o bem estar dos trabalhadores cresce com o alargamento do mercado de exportação e importação de produtos. As exigências de muitos retalhistas e grossistas europeus reforçam a necessidade de implementação de referenciais específicos. Este trabalho tem por base a atualização da norma British Retail Consortium (BRC) para a sétima versão, implementação do referencial Ethical Trading Initiative (ETI) e Walmart na central fruteira O Melro.OP. Todos os referenciais foram analisados, de forma a compreender as melhores metodologias para o cumprimento dos requisitos exigidos, tendo sido consultada a legislação aplicável relevante aos vários setores, recursos humanos, ética, segurança e higiene no trabalho e ambiente. Procedeu-se à elaboração das check lists para cada referencial e a uma auditoria prévia com o objetivo de avaliar a situação atual da empresa. Elaboraram-se relatórios e planos de ação indicando as alterações a ter em conta para a implementação e atualização dos referenciais e toda a documentação associada. Posteriormente foi feita uma auditoria interna de modo a confirmar que o plano de ação da auditoria prévia foi aplicado, tendo-se elaborado o relatório da auditoria e novos planos de ação para futura melhoria e obtenção das respetivas certificações. Com a implementação destas certificações para os referenciais BRC, ETI e Walmart a empresa pode obter uma maior visibilidade no mercado, aumentado assim o seu leque de clientes.

Como microempreendedores de Bragança Paulista SP) lidam com as dificuldades para obter empréstimos no Banco do Povo.

Este trabalho tem como objetivo verificar como microempreendedores de Bragança Paulista (SP) lidam com as dificuldades para captar recursos no Banco do Povo. Trata-se de estudo exploratório realizado mediante histórias de vida de pessoas que obtiveram crédito na agência local desse banco, em 2007. Conclui-se que os microempreendedores reconhecem o Banco do Povo como órgão eficaz para obter financiamento, mas também percebem dificuldades para sua concessão, sendo que a mais presente refere-se a necessidade de apresentar avalista.

Dificuldades de Aprendizagem em Período de Latência: um estudo de caso

A presente tese irá incidir sobre a problemática das dificuldades de aprendizagem em contexto escolar através de um estudo de caso simples sistemático e faseado conduzido em crianças escolarizadas no primeiro ciclo que são objeto de apoio terapêutico individual. O objectivo deste estudo assenta na análise das mudanças da percepção de si, do relacionamento interpessoal, dos processos ideativos e da capacidade de elaboração secundária em crianças seguidas em psicoterapia individual. A avaliação das variáveis em estudo será realizada pelo teste projetivo (Rorschach, Exner,2000) e por uma grelha de análise do material registado nas sessões individuais de ludoterapia. Este estudo permitiu identificar o impacto do processo psicoterapêutico na mobilização das dificuldades escolares e comportamentais das crianças em idade escolar.

Um Estudo sobre a Ludoterapia nas Dificuldades de Aprendizagem: estudo de caso

O objectivo deste estudo centra-se na análise reflexiva da importância do papel da técnica de Ludoterapia no apaziguamento das Dificuldades de Aprendizagem de uma criança. Para tal, debruçamo-nos num estudo de caso de uma criança de seis anos de idade, no qual, metodologicamente, é aplicada uma bateria de instrumentos em dois momentos distintos. Foram realizadas, no total, 25 sessões de Ludoterapia e de apoio psicopedagógico. A bateria de testes é composta pelas provas Bar-Ilan, Escala de Inteligência de Wechsler para a Idade Pré-Escolar e Primária e pela Bateria de Provas Fonológicas. Ao fim de 25 sessões de Ludoterapia, no segundo momento de avaliação verificou-se um desenvolvimento cognitivo adequado para a sua idade, ao contrário dos resultados do primeiro momento de avaliação.

Os Efeitos da Avaliação Psicológica em Crianças com Dificuldades de Aprendizagem

O presente estudo de caso agregado teve como objetivo primordial avaliar em que medida os recursos terapêuticos utilizados durante o tempo de avaliação psicodiagnóstica (psicométrica e projetiva) das crianças encaminhadas para o serviço de psicologia escolar, tem impacto positivo na criança em processo de avaliação, no duplo plano comportamental e cognitivo. O protocolo da investigação foi composto por: desenho de família, WISC-III e CAT, com recurso a algumas sessões de ludoterapia. Os meios utilizados no processo de avaliação permitiram a superação de algumas dificuldades apresentadas pelas crianças, tendo sido, muito particularmente, identificados os contributos que a psicanálise e a psicologia psicodinâmica podem oferecer à psicopedagogia. / The main objective of this aggregated case study was the assessment of the impact of psycho-diagnostic evaluation (psychometric and projective testing) on the improvement of the school-aged children oriented to the cabinet of psychology of their school. The research protocol included: family picture test, WISC -III and CAT, plus some play therapy sessions. Some of the children overcame part of the learning and behavioral difficulties after the evaluation period. Such a result proves, most particularly, the contributions of psychoanalysis and psychodynamic psychology to psycho-pedagogy.

Perfil Cognitivo e Perfil de Capacidades e Dificuldades de Crianças com Perturbações de Hiperatividade e Défice de Atenção (PHDA)

Apesar da Perturbação de Hiperatividade e Défice de Atenção (PHDA) ser uma das perturbações mais estudadas nos últimos anos, a definição da avaliação com vista ao seu diagnóstico está longe de ser consensual. Neste estudo quantitativo, transversal, foram avaliadas duas amostras de crianças com recurso à Escala de Inteligência de Wechsler para Crianças – III (WISCIII), duas amostras de pais com recurso ao Questionário de Capacidades e Dificuldades (Versão para pais) e duas amostras de professores com recurso ao Questionário de Capacidades e Dificuldades (Versão para professores). Os resultados demonstram que as crianças com PHDA apresentam um perfil cognitivo globalmente inferior ao das crianças sem diagnóstico de PHDA, mantendo no entanto, um Coeficiente Verbal (QIV) superior ao Coeficiente de Realização (QIR). Para o perfil de capacidades e de dificuldades, as crianças com esta perturbação demonstram genericamente dificuldades mais acentuadas do que as crianças sem PHDA. A multiplicidade de sintomas que caracterizam as crianças com esta perturbação, levam os investigadores a diferentes linhas de orientação. Desta forma, a definição de um perfil tipo para estas crianças poderá auxiliar na avaliação, no diagnóstico, na intervenção e na concordância entre os profissionais de saúde. / Despite Attention Deficit and Hyperactivity Disorder (ADHD) is one of the most studied disorders in the past years, the definition of the assessment for the purpose of diagnosis is far from consensual. In this quantitative and cross-finding study, two samples of children were assessed using the Wechsler Intelligence Scale for Children - III (WISC-III), two samples of parents were assessed using the Strengths and Difficulties Questionnaire (parent version) and two samples of teachers were assessed using Strengths and Difficulties Questionnaire (teacher version). The results show that children with ADHD have an overall lower cognitive profile in comparison to children without the diagnosis of ADHD, while maintaining a better Verbal Coefficient than the Performance Coefficient. In relation to the profile of strengths and difficulties, children with this disorder generally show more pronounced difficulties than children without ADHD. The multiplicity of symptoms that characterize children with this disorder, lead investigators to different guidelines. Thus, the definition of a profile type for these children may assist the assessment, the diagnosis, the intervention and the agreement among health professionals.