958 resultados para Linguagens de programação em lógica - Semântica
Resumo:
Este trabalho tem por objetivo apresentar e estudar a aplicação de uma ferramenta chamada PCP – Pseudo-Compilador Portugol, criada para auxiliar estudantes de programação a aprimorar o raciocínio lógico e a criar programas estruturados, sem que precisem se preocupar com comandos e instruções em Inglês ou tenham conhecimento de uma linguagem de programação específica. Por ser uma ferramenta que usa somente palavras do nosso idioma, os alunos podem direcionar todo o seu raciocínio no entendimento e resolução do problema em forma de algoritmo. O estudo experimental realizado neste trabalho pretende analisar e comparar o aprendizado entre grupos de alunos de disciplinas de programação utilizando e não utilizando esta ferramenta. Além de acompanhar o desempenho dos alunos, pretende também coletar informações durante as baterias de testes e obter as opiniões dos mesmos em relação ao PCP, no que se refere às facilidades, dificuldades, pontos positivos e falhas apresentadas. Este estudo é apresentado em duas etapas, com oito baterias de teste em cada uma. Na primeira etapa foram selecionados alunos do Curso de Ciência da Computação da UNIGRAN, em Dourados-MS; na segunda etapa foram selecionados alunos da Escola Anglo Decisivo. Estas duas etapas possibilitam a análise do aprendizado proporcionado pela ferramenta com alunos que já têm alguma noção de programação e com alunos que não tiveram nenhum contato com o desenvolvimento de programas.
Resumo:
Essa pesquisa procurou investigar o processo de composição narrativa pela dupla estagiário-terapeuta/paciente, em uma situação de psicoterapia psicanalítica, a partir do contexto de uma prática supervisionada de estágio em Psicologia Clínica. Participaram da pesquisa duas acadêmicas de Psicologia que realizaram o estágio em um abrigo municipal. O trabalho clínico desenvolvido pelas estagiárias foi acompanhado pela supervisão acadêmica, cuja responsável na época era a pesquisadora. Também participaram dessa pesquisa três meninas de seis, nove e dez anos de idade, acolhidas temporariamente na instituição e em acompanhamento psicoterapêutico pelas estagiárias. Os atendimentos foram realizados uma vez por semana, individualmente, na própria instituição. As estagiárias relataram cada entrevista preliminar realizada com as crianças sob a forma escrita de entrevista dialogada, cujo objetivo é a memorização do desenvolvimento da entrevista. Essa memorização associada às reflexões acerca do estágio produzidas no espaço de supervisão acadêmica formaram as fontes dos dados. Para atingir o objetivo dessa pesquisa, três estudos foram realizados e, em cada um deles, três casos, constituídos por diferentes duplas terapêuticas, foram analisados. Os resultados dos três estudos demonstram, inicialmente, que o discurso elaborado pelas duplas terapêuticas, em cada entrevista preliminar isoladamente, estrutura-se narrativamente porque esse discurso apresenta os dois princípios da narrativa, que são a sucessão e a transformação, como propõe Tzvetan Todorov. A análise conjunta dessas entrevistas denota, entretanto, que as narrativas constituídas nesse processo não podem ser reduzidas a uma lógica de sucessão linear como formula esse autor. A seqüência narrativa é regida pela lógica de causalidade semântica, que é de natureza polifônica, como propõe Paul Ricoeur. As intervenções das estagiárias sob a forma de construções, conforme conceito estabelecido por Freud, mesmo que guiadas pelo princípio da associação livre, são demarcadas, em sua maioria, pela repetição de uma versão já conhecida da história da vida de seu paciente, geralmente àquela que versa sobre o motivo do abrigamento. Assim, essas intervenções, cujo efeito possível seria que o paciente pudesse desconstruir os sentidos dados a priori, reconstruindo novas versões para os acontecimentos de sua vida e, com isso, ocupasse o lugar de autor de sua história, acabam insistindo no trauma. Dessa forma, fica explicitado um dos paradoxos do processo de formação da escuta clínica: o estagiário, ao procurar abrir os sentidos para o seu paciente, construindo junto com ele uma versão possível para a sua história, acaba, muitas vezes, fechando o sentido, construindo uma única versão para os eventos narrados pelo paciente.
Resumo:
O setor aumotomotivo é considerado inovador em aspectos de desenvolvimento tecnológico e de grandes esforços em favor da modernização da produção. No entanto, as linhas de montagem de automóveis e autopeças exigem dos trabalhadroes demandas físicas importantes, tais como posturas inadequadas, movimentos repetitivos e ritmo intenso de trabalho, provocando acidentes e doenças nos trabalhadores, além da perda de produtividade e queda na qualidade dos produtos fabricados, acarretando enormes prejuízos às empresas e ao país. Algumas empresas do setor trazem grandes contribuições para o estudo da ergonomia, através de métodos e técnicas que identificam as condições inadequadas de trabalho. Este estudo tem como objetivo aplicar e analisar um método de solução de problemas, que permita, passo a passo, planejar, realizar e verificar ações efetivas, ou seja, que atendam às necessidades do usuário do posto nas questões de conforto, segurança e eficiência. Visa também, de posse dos resultados, oportunizar ações futuras para a empresa, de modo a reverter em ganhosde produtividade e de qualidade. Para isso, foi escolhido aplicar uma intervenção ergonômica, com a participação dos trabalhadores, baseada na lógica do PDCA, seguindo os passos: planejar, fazer, verificar e agir. A escolha do método mostrou-se adequada, uma vez que ao analisar o afastamento dos operadores de seus postos de trabalho, devido a dores e desconfortos musculares, foi possível identificar causas e propor soluções para os problemas, e, após implementadas as ações propostas, houve redução no número de afastamentos. A partir dos resultados obtidos, pode-se creditar que a aplicação do método, de modo mais aprofundado em outras situações, possibilite a melhora das condições de trabalho e de vida do trabalhador.
Resumo:
Propõe-se com a presente dissertação conduzir estudo exploratório sobre a razoabilidade de um método de apoio à tomada de decisão para ordenar os controles internos contábeis, utilizando critérios estabelecidos pelo regulador do mercado de capitais dos Estados Unidos, quantificados por meio de uma escala baseada em operadores da lógica fuzzy. O método foi elaborado com base em pesquisa bibliográfica sobre o controle interno contábil e sua relação com os controles internos em geral; a exigência de constituição, avaliação e divulgação da avaliação dos controles internos contábeis pela legislação do mercado de capitais americano ao longo das últimas três décadas; o conceito de matriz de risco; os métodos de apoio à decisão; e os fundamentos da lógica fuzzy. A metodologia proposta foi adaptada à realidade da entidade objeto do estudo de caso e aplicada sobre 2,4 mil controles. Uma amostra de aproximadamente 14% desse universo foi analisada e permitiu concluir pela razoabilidade do método proposto, que será utilizado pela entidade estudada como parte de seu processo de avaliação dos controles internos contábeis.
Resumo:
Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.
Resumo:
A modelagem conceitual de banco de dados geográficos (BDG) é um aspecto fundamental para o reuso, uma vez que a realidade geográfica é bastante complexa e, mais que isso, parte dela é utilizada recorrentemente na maioria dos projetos de BDG. A modelagem conceitual garante a independência da implementação do banco de dados e melhora a documentação do projeto, evitando que esta seja apenas um conjunto de documentos escritos no jargão da aplicação. Um modelo conceitual bem definido oferece uma representação canônica da realidade geográfica, possibilitando o reuso de subesquemas. Para a obtenção dos sub-esquemas a serem reutilizados, o processo de Descoberta de Conhecimento em Bancos de Dados (DCBD – KDD) pode ser aplicado. O resultado final do DCBD produz os chamados padrões de análise. No escopo deste trabalho os padrões de análise constituem os sub-esquemas reutilizáveis da modelagem conceitual de um banco de dados. O processo de DCBD possui várias etapas, desde a seleção e preparação de dados até a mineração e pós-processamento (análise dos resultados). Na preparação dos dados, um dos principais problemas a serem enfrentados é a possível heterogeneidade de dados. Neste trabalho, visto que os dados de entrada são os esquemas conceituais de BDG, e devido à inexistência de um padrão de modelagem de BDG largamente aceito, as heterogeneidades tendem a aumentar. A preparação dos dados deve integrar diferentes esquemas conceituais, baseados em diferentes modelos de dados e projetados por diferentes grupos, trabalhando autonomamente como uma comunidade distribuída. Para solucionar os conflitos entre esquemas conceituais foi desenvolvida uma metodologia, suportada por uma arquitetura de software, a qual divide a fase de préprocessamento em duas etapas, uma sintática e uma semântica. A fase sintática visa converter os esquemas em um formato canônico, a Geographic Markup Language (GML). Um número razoável de modelos de dados deve ser considerado, em conseqüência da inexistência de um modelo de dados largamente aceito como padrão para o projeto de BDG. Para cada um dos diferentes modelos de dados um conjunto de regras foi desenvolvido e um wrapper implementado. Para suportar a etapa semântica da integração uma ontologia é utilizada para integrar semanticamente os esquemas conceituais dos diferentes projetos. O algoritmo para consulta e atualização da base de conhecimento consiste em métodos matemáticos de medida de similaridade entre os conceitos. Uma vez os padrões de análise tendo sido identificados eles são armazenados em uma base de conhecimento que deve ser de fácil consulta e atualização. Novamente a ontologia pode ser utilizada como a base de conhecimento, armazenando os padrões de análise e possibilitando que projetistas a consultem durante a modelagem de suas aplicações. Os resultados da consulta ajudam a comparar o esquema conceitual em construção com soluções passadas, aceitas como corretas.
Resumo:
Este trabalho tem por objetivo propor uma carteira composta por posições compradas e vendidas de ações que supere os principais Índices de mercado. O resultado é obtido através de um modelo de Lógica Fuzzy, que é um modelo de inteligência artificial que trata os dados de maneira lógica, ou seja, sem relacionar as variáveis através de modelos matemáticos convencionais. Para esse estudo utilizamos como variáveis de entrada os múltiplos Preço/Lucro Esperado e Preço/Valor Patrimonial da Empresa de cada ação considerada. Foram estudadas as ações do mercado americano pertencentes ao índice S&P 500, do ano de 2000 até 2007. Com o intuito de comparar a eficiência do Modelo de Lógica Fuzzy, utilizamos o modelo de Regressão Linear Multivariada e os índices de mercado S&P 500 e o S&P 500 com uma modificação para se adequar aos dados escolhidos para o estudo. O modelo proposto produziu resultados satisfatórios. Para quase todos os anos estudados o retorno da carteira obtida foi muito superior ao dos Índices de mercado e do modelo linear convencional. Através de testes adequados comprovamos estatisticamente a eficiência do modelo em comparação aos Índices de mercado e ao modelo linear convencional.
Resumo:
A elaboração de um projeto de obra de edificação é fruto da interação entre profissionais de diversas disciplinas desenvolvendo, simultaneamente, suas opções e decisões com relação ao mesmo. É necessário considerar a qualidade do processo de elaboração do projeto dependente de uma efetiva comunicação entre os membros da equipe. A indústria da construção civil está sendo beneficiada pelos recursos oferecidos pela tecnologia da informação como, por exemplo, os sistemas colaborativos (extranets de projeto). Estes sistemas corroboram na integração e comunicação entre os membros de um projeto. O objetivo da presente pesquisa foi a apresentação do desenvolvimento de modelo validado de ferramenta computacional projetada para complementar um sistema colaborativo pré-existente. Esta ferramenta foi denominada Sistema de Programação e Controle do Processo de Projeto (SIPROCON/PP). A finalidade do SIPROCON/PP é auxiliar no processo de tomada de decisão dos coordenadores através do monitoramento do cronograma e do fluxo do intercâmbio de informações das atividades geradoras de informações neste processo. O processo de desenvolvimento da ferramenta foi delineado em harmonia com a organização da pesquisa. Neste sentido, é assinalado o uso da prototipação e da simulação como estratégias de pesquisa, utilizados respectivamente na construção e validação do modelo da ferramenta. Ante a necessidade do experimento, foi criada uma atividade lúdica através da qual foi reproduzido o intercâmbio de informações de um processo de projeto denominada Sistemática de Simulação do Processo de Projeto (SS/PP) para validação do modelo da ferramenta. Logo, por meio do uso das simulações foram obtidos os dados correspondentes a validação da modelagem e aplicação do SIPROCON/PP e, ao mesmo tempo, necessários à conclusão da pesquisa. Diante disso, a partir da análise dos dados coletados é apontada a melhoria na qualidade do processo de elaboração do projeto considerando a formação de uma equipe equilibrada de projeto. Isso, fruto do conhecimento mais acurado do coordenador sobre o desempenho de cada projetista.
Resumo:
Neste trabalho é discutido o impacto causado pelos parâmetros de processo com comportamento estocástico em um modelo de otimização, aplicado ao planejamento mineiro. Com base em um estudo de caso real, construiu-se um modelo matemático representando o processo produtivo associado à mineração, beneficiamento e comercialização de carvão mineral. Este modelo foi otimizado com a técnica de programação linear, sendo a solução ótima perturbada pelo comportamento estocástico de um dos principais parâmetros envolvidos no processo produtivo. A análise dos resultados permitiu avaliar o risco associado à decisão ótima, sendo com isto proposta uma metodologia para avaliação do risco operacional.
Resumo:
Esse trabalho de dissertação está incluído no contexto das pesquisas realizadas no Grupo de Processamento Paralelo e Distribuído da UFRGS. Ele aborda as áreas da computação de alto desempenho, interfaces simples de programação e de sistemas de interconexão de redes velozes. A máquina paralela formada por agregados (clusters) tem se destacado por apresentar os recursos computacionais necessários às aplicações intensivas que necessitam de alto desempenho. Referente a interfaces de programação, Java tem se mostrado uma boa opção para a escrita de aplicações paralelas por oferecer os sistemas de RMI e de soquetes que realizam comunicação entre dois computadores, além de todas as facilidades da orientação a objetos. Na área a respeito de interconexão de rede velozes está emergindo como uma tentativa de padronização a nova tecnologia Infiniband. Ela proporciona uma baixa latência de comunicação e uma alta vazão de dados, além de uma série de vantagens implementadas diretamente no hardware. É neste contexto que se desenvolve o presente trabalho de dissertação de mestrado. O seu tema principal é o sistema Aldeia que reimplementa a interface bastante conhecida de soquetes Java para realizar comunicação assíncrona em agregados formados por redes de sistema. Em especial, o seu foco é redes configuradas com equipamentos Infiniband. O Aldeia objetiva assim preencher a lacuna de desempenho do sistema padrão de soquetes Java, que além de usar TCP/IP possui um caráter síncrono. Além de Infiniband, o Aldeia também procura usufruir dos avanços já realizados na biblioteca DECK, desenvolvida no GPPD da UFRGS. Com a sua adoção, é possível realizar comunicação com uma interface Java sobre redes Myrinet, SCI, além de TCP/IP. Somada a essa vantagem, a utilização do DECK também proporciona a propriedade de geração de rastros para a depuração de programas paralelos escritos com o Aldeia. Uma das grandes vantagens do Aldeia está na sua capacidade de transmitir dados assincronamente. Usando essa técnica, cálculos da aplicação podem ser realizados concorrentemente com as operações pela rede. Por fim, os canais de dados do Aldeia substituem perfeitamente aqueles utilizados para a serialização de objetos. Nesse mesmo caminho, o Aldeia pode ser integrado à sistemas que utilizem a implementação de soquetes Java, agora para operar sobre redes de alta velocidade. Palavras-chave: Arquitetura Infiniband, agregado de computadores, linguagem de programação Java, alto desempenho, interface de programação.
Resumo:
Este trabalho tem por objetivo o estudo do m~todo da Programação Linear e de sua aplicação no planejamento da empresa agricola, tendo em vista a demonstração de sua importancia como instrumento analItico no processo de tomada de decisões. Inicialmente ~ feita uma abordagem sobre a problematica da programação e seus fundamentos, sendo examinados os principais conceitos sobre os quais o assunto se baseia. A discussão encaminhada no sentido de chamar a atenção para o fato de que, em vista das pressões a que esta submetida a agricultura no estagio contemporâneo do desenvolvimento, - que lhe exigem melhores niveis de desempenho traduzidos em Indices mais elevados de produtividade, generalizou-se o consenso sobre a conveniência de se dar maior atenção i programação das atividades do setor agrIcola, tanto a nIvel de Região como no ambito de sua area empresarial. Entre os varias modelos gerados com o objetivo de oferecer respostas aos problemas de organização da produção, otimização de resuItados c racionalização do uso dos fatores, o da Programação Linear considerado o mais geralmente aceito pela comunidade cientIfica, por sua estrutura teórico sofisticada e pela capacidade de dar respostas exatas e diretas a questões de maior complexidade. A parte teórica do metodo da Programação Linear ~ examinada no Capítulo 11. De maneira sumária são abordados os seus fundamentos matemáticos e discutidos os principais teoremas sobre conjuntos convexos, corno elementos do espaço das soluções possiveis. A álgebra do algorÍtmo Simplex ~ abordada em sua forma ardinária, com a demonstração dos passos sucessivos do algoritmo, ato encontro do vertice característico da solução otima. No Capítulo 111 os conceitos teoricos da Programação Linear sao aplicados aos dados de uma empresa agricola, com a finalidade de demonstrar a operacionalização do algoritmo Simplcx ! através de programas de computador.
Resumo:
Este estudo tem por objetivo levantar algumas explicações para o fracasso escolar de uma parcela definida de alunos das escolas pGblicas Ao Rio de Janeiro. São ana lisadas, através de uma abordagem transdisciplinar, situa- çoes de sala de aula onde o material básico é o diálogo tr~ vado entre professores e estud~ntes da Escola Tia Ciata. Buscou-se, nas falas dos sujeitos, a possibilidade de uma relação dialógica. A Escola Tia Ciata reunia características singul~ res, tanto com relação à sua clientela, quanto à metodologia adotada. Ela teria como meta atender a meninos recusa dos por outras escolas da Rede Oficial de ensino, ou por terem ultrapassado a idade fixada como limite para a alfabetização, ou por terem mantido um comportamento classificado como inadequado aos padrões dessas instituições. Esses meninos carregam o estigma da J[~arginal i dade e são nomeados pela sociedade, "pivetes", "meninos de rua", "menores" , "favelados", etc. Os fundrunentos da pesquisa que informaram inicia! mente esta dissertação faziam parte da proposta pedagógica da escola: a procura da "interdisciplinariedade" dos conteGdos, através da pesquisa da história de vida dos alunos. Teve seus procedimentos discutidos pela equipe de coordenação até 1989. O grupo pesquisado constitui-se de 69 alunos, cog centrados na faixa etária de 12 a 18 anos e seus 7 respectivos professores. As conclusões decorrentes limitam-se ao contexto investigado. No entanto, poderão servir como subsídio a outras iniciativas semelhantes.
Resumo:
Este trabalho trata de analisar o modo como aconteceu, no processo de ocupação e povoamento do espaço na região do Planalto do Rio Grande do Sul durante a segunda metade do século XIX, o encontro entre imigrantes europeus e lavradores nacionais, principais agentes envolvidos no processo de povoamento. Para realizar a pesquisa foram utilizados pressupostos teóricos relacionados as questões ligadas à etnicidade, ao campesinato e aos estudos de história agrária. O objetivo foi compreender o encontro entre caboclos e imigrantes, no sentido de especificar aspectos gerais vinculados ao modo de vida de cada grupo, assim como as alterações provocadas nos mesmos a partir do encontro e da inserção do Rio Grande do Sul no processo de constituição do capitalismo.