Análise de linguagens de modelagem de processos de um modelo de referência na cadeia de suprimentos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Web semântica: uma análise focada no uso de metadados

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Pangea - Arquitetura semântica para a integração de dados e modelos geoespaciais na Web

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Implementação de uma plataforma HW/SW para automação industrial, utilizando hardware reconfigurável com processador NIOS II em conformidade com o padrão IEEE 1451

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Análise e desenvolvimento de algoritmos eficientes de programação linear para o problema de planejamento de sistemas de transmissão a longo prazo

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Análise de Tópicos Relevantes em Programação Linear e Aplicações no Ensino de Engenharia

Pós-graduação em Engenharia Elétrica - FEIS

De los registros a los objetos : Semántica y comportamiento de los documentos: el desafío de la Web 3.0

Se presenta un panorama y los interrogantes fundamentales de la etapa de la Web 3.0. Se analizan las características actuales de los sistemas bibliográficos estructurados con el modelo entidad-relación. Se definen los niveles conceptual, lógico y físico en los sistemas informáticos; consecuentemente se presentan las características de los FRBR y se obervan las relaciones entre obra y documento en el modelo conceptual FRBR. Se describen los FRBRoo como una interpretación con una lógica de objetos de los mismos requerimientos funcionales. Finalmente se plantean las tendencias a futuro, tales como pasar de las modelizaciones de entidad-relación a la de objetos, la explicitación con anotación semántica consistente, el mapeo de bases bibliográficas existentes y el desarrollo de ontologías para que los sistemas documentales se integren en la Web Semática

De los registros a los objetos : Semántica y comportamiento de los documentos: el desafío de la Web 3.0

Se presenta un panorama y los interrogantes fundamentales de la etapa de la Web 3.0. Se analizan las características actuales de los sistemas bibliográficos estructurados con el modelo entidad-relación. Se definen los niveles conceptual, lógico y físico en los sistemas informáticos; consecuentemente se presentan las características de los FRBR y se obervan las relaciones entre obra y documento en el modelo conceptual FRBR. Se describen los FRBRoo como una interpretación con una lógica de objetos de los mismos requerimientos funcionales. Finalmente se plantean las tendencias a futuro, tales como pasar de las modelizaciones de entidad-relación a la de objetos, la explicitación con anotación semántica consistente, el mapeo de bases bibliográficas existentes y el desarrollo de ontologías para que los sistemas documentales se integren en la Web Semática

De los registros a los objetos : Semántica y comportamiento de los documentos: el desafío de la Web 3.0

Se presenta un panorama y los interrogantes fundamentales de la etapa de la Web 3.0. Se analizan las características actuales de los sistemas bibliográficos estructurados con el modelo entidad-relación. Se definen los niveles conceptual, lógico y físico en los sistemas informáticos; consecuentemente se presentan las características de los FRBR y se obervan las relaciones entre obra y documento en el modelo conceptual FRBR. Se describen los FRBRoo como una interpretación con una lógica de objetos de los mismos requerimientos funcionales. Finalmente se plantean las tendencias a futuro, tales como pasar de las modelizaciones de entidad-relación a la de objetos, la explicitación con anotación semántica consistente, el mapeo de bases bibliográficas existentes y el desarrollo de ontologías para que los sistemas documentales se integren en la Web Semática

Tratamiento N-categorial de la lógica de la programación

En el contexto de las técnicas de validación de programas, de las estructuras de axiomatización de la programación planteadas por Hoare y del desarrollo de la Lógica de la Programación que Dijkstra realiza con el operador wp, hemos dotado a los elementos esenciales que intervienen en dicho desarrollo de una estructura que permite su estudio en el ámbito de las categorias. En este trabajo se demuestra que el conjunto de precondiciones de un fragmento de programa anotado tiene estructura de N-categoría y que sucede lo mismo con el conjunto de postcondiciones. Más aún, se ha puesto de manifiesto (y probado) que el operador wp actúa como un funtor entre estos pares de N-categorías. Además, los conjuntos de guardas surgen de un modo natural en la lógica de la programación, han sido tratados desde el punto de vista de la semántica denotacional (Wlrth para el PASCAL y Scott y otros, después, en un enfoque más general) y presentados por Manes y Arbib en su semántica parcialmente aditiva. Pues bien, en este trabajo se demuestra que los conjuntos de guardas tienen también estructura de N-categoría y gue cualguier N-categoría dotada de una suma definida adecuadamente tiene estructura de conjunto de guardas, de tal modo, además, gue el preorden inducido por la suma en el conjunto de guardas coincide con la flecha de la N-categoría. Esta suma es, en concreto, la disyunción exclusiva, lo que adicionalmente supone una sorprendentemente sencilla definición alternativa a la suma de las categorías parcialmente aditivas definida por Manes y Arbib. Con todo esto, se aportan herramientas conceptuales para entender mejor y resolver más eficientemente los problemas que tiene planteados la lógica de la programación, pues se dispone de un punto de vista distinto y nuevo y de toda una familia de instrumentos adicionales.---ABSTRACT---In the context of program validation techniques, Hoare's systems for programming and Dijkstra's development of the logic of programming, based on the operator wp, we have endowed the essential features of this development with a structure that permits to study them in the frame of category theory. In this thesis we show that the set of preconditions of an annotated program segment is an N-category, and the same happens for the set of postconditions. Even more, it is shown that the operator wp acts as a functor between those pairs of Ncategories. Furthermore, guard sets come out in a natural way in the logic of programming, they have been considered from a denotational semantics point of view (Wirth for Pascal and afterwards Scott and al. in a more general setting) and they have been embodied by Manes and Arbib in their partially additive semantics. Then, it is shown in this thesis that the above mentioned guard sets also have the structure of an N-category and that any N-category with an appropiately defined sum has the structure of a guard set in such a way that, besides, the preorder defined in the guard set by the sum operation coincides with the arrows of the N-category. This sum is just the exclusive or of Boolean Logic and this fact adds a surprisingly simple alternative definition for the sum operation in Manes and Arbib partially additive categories. The present work, in summary, makes a contribution of conceptual tools for a better understanding and a more efficient solution of the problems posed to the logic of programming and it does so by providing a new different point of view and a whole family of additional techniques.

A DESMUSICALIZAÇÃO DA MÍDIA EM TEMPOS DE HIPERMIDIATIZAÇÃO DA MÚSICA: o empobrecimento estético da música popular na programação televisiva brasileira

O trabalho aborda o empobrecimento estético-discursivo da canção popular massiva exposta na mídia televisiva brasileira, na comparação entre o contexto histórico-midiático-musical das décadas de 1960 e 1970 e o contexto da primeira metade da segunda década do século XXI. Para definir tal empobrecimento discursivo encontrou-se o conceito de desmusicalização da mídia televisiva . O trabalho, de natureza teórica, tem como objetivo apontar que a mídia televisiva tem papel preponderante e parte importante da responsabilidade pelo empobrecimento na construção do discurso da música popular brasileira. Para tanto, primeiramente, por meio da análise poético-estética dos elementos estruturais das linguagens musical e literária de uma canção popular, delimitou-se a espécie de obra musical estruturada com acuro poético, que a ela empresta um padrão estético de excelência. Tais canções tinham espaços de veiculação nas grades de programação da mídia televisiva de outrora e nos dias atuais não mais os têm. Em seguida, por meio de pesquisas bibliográfica, documental e empírica, descreve-se de modo analítico-interpretativo o período histórico em que ocorreu essa desmusicalização da mídia. Por fim, constata-se que a partir da popularização da Internet e da proliferação de diversas mídias que permitem ao ouvinte o acesso, o armazenamento, o compartilhamento de repertórios musicais e, sobretudo, a audição em movimento, a canção popular massiva pautada pelo acuro poético deixou de estar presente na mídia televisiva e passou a figurar em outras diversas mídias. Essa ampla presença da Música nas mídias digitais definiu-se pelo conceito de hipermidiatização da música, que seria um dos componentes da desmusicalização da mídia televisiva.

Modelagem em programação linear para resolução de jogos fuzzy intervalares

A teoria de jogos modela estratégias entre agentes (jogadores), os quais possuem recompensas ao fim do jogo conforme suas ações. O melhor par de estratégias para os jogadores constitui uma solução de equilíbrio. Porém, nem sempre se consegue estimar os dados do problema. Diante disso, os parâmetros incertos presentes em modelos de jogos são formalizados pela teoria fuzzy. Assim, a teoria fuzzy auxilia a teoria de jogos, formando jogos fuzzy. Dessa forma, parâmetros, como as recompensas, tornam-se números fuzzy. Mais ainda, quando há incerteza na representação desses números fuzzy utilizam-se os números fuzzy intervalares. Então, neste trabalho modelos de jogos fuzzy intervalares são analisados e métodos computacionais são desenvolvidos para a resolução desses jogos. Por fim, realizam-se simulações de programação linear para observar melhor a aplicação das teorias estudadas e avaliar a proposta.

Desafios da introdução ao pensamento computacional e à programação no 1º ciclo do Ensino Básico: racionalizar, valorizar e atualizar.

O uso dos computadores em educação tem uma história de décadas, rica e inspiradora de programas e iniciativas muito diversificadas neste domínio. Esta história, tal como se fosse um rio em curso está povoada de pessoas, ideais, conceitos, artefactos e tecnologias, que se vão renovando a cada momento e enfrentando novos desafios. Esta história, incluindo a experiencia e o conhecimento obtidos pelo autor durante a vigência do Projeto Minerva e outros projetos e programas que se lhe seguiram até aos dias de hoje, deu lugar a uma base de conhecimento científico e pedagógico inestimável e constitui um precioso capital, se e quando o usamos, para enfrentar estes novos desafios. Este capital inclui, naturalmente, os sucessos e os insucessos e que podem ser encontrados no curso dessa história. O desenvolvimento das sociedades modernas hoje em dia impõe de forma impressiva novos desafios às instituições educativas, que enfrentam grandes dificuldades em conseguir responder de forma adequada, rápida e eficaz. A transformação social e o ritmo do progresso tecnológico andam de mãos dadas e exercem, em especial nas sociedades desenvolvidas e em desenvolvimento, um duplo efeito: torna a sociedade cada vez mais tecnologicamente evoluída e dependente através da produção e distribuição de forma massiva de artefactos digitais cada vez mais sofisticados e acessíveis aos cidadãos numa lógica de consumo e ao mesmo tempo requer uma adaptação ao estilo de vida digital, decorrente dos processos de distribuição e massificação da tecnologia. Este fenómeno tem impacto em quase todos os sectores da atividade humana. Destacamos aqui apenas o da educação e formação.

Modelo de programação quadrática para análise da movimentação logística e comercialização da soja brasileira

The purpose of this work was to analyze the logistical distribution of Brazilian soybean by applying a quadratic programming to a spatial equilibrium model. The soybean transportation system is an important part of the soybean complex in Brazil, since the major part of the costs of this commodity derives from the transportation costs. Therefore, the optimization of this part of the process is essential to a better competitiveness of the Brazilian soybean in the international market. The Brazilian soybean complex have been increasing its agricultural share in the total of the exportation value in the last ten years, but due to other countries' investments the Brazilian exportations cannot be only focused on increasing its production but it still have to be more efficient. This way, a model was reached which can project new frames by switching the transportation costs and conduce the policy makers to new investments in the sector.

Significação e contexto: uma introdução a questões de semântica e pragmática

417