Sustentabilidade e responsabilidade socioambiental: crenças provendo a formação de graduandos em administração

This research aims to focus on the education problem, since its source of development is the Research Base: Teachers Training and Qualification of UFRN. Therefore, we seek guidance in the beliefs in sustainability to propose plausible alternatives to promote the education process of UFRN administration undergraduates in order to meet the demands of a market-oriented society, since the market trend is to evolve from environmental guided activities, and future administrators should be trained to meet those conditions. The need to develop an instrument capable of understanding the beliefs of undergraduates on the sustainability problem becomes the object of analysis. This research aims to develop a normative questionnaire to study administration students beliefs in sustainability. The complexity and sensitivity of this research required the integration of various methodological procedures. These proposals were made as follows: analysis and selection of literature, expert validation procedures and psychometric methods and statistics. As for the literature, types of sustainability were identified and categorized, such as: political, social, economic and environmental sustainability. However, it is understood that the educational type, although included in all of those, needed to be converted into another type to fit the theme, since education is believed to be the best way to raise awareness about sustainability. Thus, it was required the categorization of the types, which was defined using criteria such as: contexts, objectives, goals, pathways and hypotheses. The normative questionnaire was the guiding instrument to investigate the role of administration students, regarding the level of knowledge established and regulated by social educational context, especially by becoming a basic condition for carrying out research on beliefs. The study confirmed that the types of sustainability - political, social, economic, environmental and educational - for having institutionalized literatures as sources, in international and national levels, are representative in the identification of future administrators. Therefore, it is believed that the types of sustainability categorized to provide a characterization of sustainability include the structuring of knowledge for undergraduates. The economic and political types, however, were not as representative with respect to their typicality and polarity indices as the educational, environmental and social ones. Although the beliefs of the undergraduates show how much they share ideas on all types, they present more identification with the educational and environmental types. Finally, it is expected that this instrument be subject to application in similar contexts so that it can ascertain whether such statements are part of the knowledge structure of future administrators from other institutions. Therefore, it is expected this strategy to strengthen the validation of the normative questionnaire

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

On rich modal logics

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski

História da ciência, interdisciplinaridade e ensino de física: o problema do demônio de Maxwell

Propomos que uma evolução de idéias científicas seja usada como instrumento de aprendizagem de conteúdos específicos e, em particular, para ressaltar como os conteúdos se articulam entre as disciplinas. Como exemplo, apresentamos um estudo sobre a proposta do demônio de Maxwell e discussões sobre sua exorcização, isto é, um estudo sobre a compreensão da natureza de um ser inteligente que atua dentro de um sistema físico e de como seria essa atuação. Estão envolvidos nesse problema fenômenos relacionados com várias teorias - Termodinâmica, Física Molecular, Mecânica Estatística, Teoria da Informação - dentro das disciplinas de Física, Química, Biologia, Computação. Entre diversas questões epistemológicas e conceituais aí contidas, será enfatizada a questão do objeto limitado de uma eoria científica, isto é, da limitação de seu significado aos fenômenos por ela compreendidos. A delimitação dos fenômenos estudados e as teorias e técnicas caracterizam a compreensão que vai realizar sua emergência concreta nos laboratórios. Essa compreensão vai dar também a possibilidade de atuação interdisciplinar.

Produção e estética dos conteúdos televisivos em ambiente de convergência: o caso da TV Unesp

Novos processos de produção de conteúdo estão reconfigurando os organogramas e os fluxogramas de setores ligados à criação de programas informativos e de entretenimento nas emissoras de televisão. A elaboração de conteúdos centrados em um modo de Comunicação que procura contemplar a participação e a colaboração da audiência nas construções discursivas impõe a existência de estruturas capazes de responder às demandas de uma plataforma multimídia, engendrada por tecnologias que possibilitem a conectividade entre os diversos dispositivos móveis e portáteis. Além de evidenciar os desafios de caráter organizacional, o presente trabalho, baseado em pesquisa bibliográfica e documental, tem como objetivo discutir as implicações estéticas dos conteúdos gerados para o consumo multimídia. Assim, toma como objeto de análise a estrutura e a programação da Televisão Universitária Unesp, da Universidade Estadual Paulista, em fase de implantação no campus de Bauru-SP.

Relação entre modelos de programação não-linear com incerteza no conjunto de restrições

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

Reflexões sobre uma proposta de integração saúde-escola: o projeto saúde e educação de Botucatu, São Paulo

Tendo como objeto de estudo a criança em idade escolar, discute-se, no presente artigo, o processo de elaboração e desenvolvimento de uma programação em saúde pública a fim de construir uma estratégia de ações que integrem os campos da saúde e da educação. Tal programação apresenta-se apoiada em três eixos de atuação: atenção integral à saúde da criança em idade escolar, priorizando a criança que está ingressando no sistema público escolar; formação de recursos humanos nas áreas saúde e educação, por meio de estágios que possibilitem vivenciar, trabalhar e refletir criticamente a ação programática junto a uma equipe interdisciplinar; trabalho com professores da rede de ensino público fundamental para a implantação e desenvolvimento de ações inovadoras nos campos da saúde e da educação que respondam às demandas da escola, da comunidade e de uma atuação crítica em face dos problemas enfrentados pelas crianças em processo de escolarização.

Programação linear por partes: revisão teórica e aplicações

Procura-se resgatar a importância de uma subárea da Programação Matemática conhecida como Programação Linear Por Partes - PLP. de fato a PLP tem inúmeras aplicações tanto na área teórica como em situações reais. Este trabalho apresenta os resultados de uma pesquisa bibliográfica, efetuada nas principais revistas técnicas e livros disponíveis relacionados com Pesquisa Operacional, que visou situar o estado da'arte da Programação Linear por Partes, bem como a abrangência de sua aplicabilidade. Particularmente, no contexto da PLP, este texto deslaca a Programação em Redes Lineares por Partes devido a sua relevância em muitas situações práticas.

Um modelo de otimização inteira mista e heurísticas relax and fix para a programação da produção de fábricas de refrigerantes de pequeno porte

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

Um problema de programação da produção numa fundição automatizada

Este trabalho apresenta a modelagem de um problema particular de Programação da Produção numa Fundição Automatizada e sua resolução por um algoritmo de busca heurística, que explora a estrutura do problema.

Aplicação de programação por metas binária: mista em uma empresa do setor sucroenergético

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Sofrimento psíquico do trabalhador da saúde da família na organização do trabalho

Desde a regulamentação do Sistema Único de Saúde (SUS) as transformações na saúde pública têm se refletido na organização do trabalho. A Estratégia Saúde da Família (ESF), uma das medidas para tornar realidade essas mudanças, constituiu-se como objeto desta pesquisa, cujo objetivo foi identificar a relação entre o sofrimento psíquico do trabalhador e a organização do trabalho na ESF. A fundamentação teórica foi o Materialismo Histórico, com contribuições da Psicologia Social, da Psicodinâmica do Trabalho e da Saúde Coletiva, possibilitando o entendimento do sofrimento psíquico na organização do trabalho orientada pela lógica capitalista. A observação participante e entrevistas foram utilizadas no levantamento dos dados, numa abordagem qualitativa. A análise foi realizada com a divisão do estudo em temas e subtemas, procedendo-se à análise de conteúdo. Os três temas foram: Implicações de ordem pessoal , O cotidiano do trabalho de atenção e A infraestrutura institucional , não se mostrando as relações entre dificuldades estruturais e funcionais na organização do trabalho e o sofrimento psíquico.

Projeto E análise de uma rede neural para resolver problemas de programação dinâmica

Systems based on artificial neural networks have high computational rates due to the use of a massive number of simple processing elements and the high degree of connectivity between these elements. Neural networks with feedback connections provide a computing model capable of solving a large class of optimization problems. This paper presents a novel approach for solving dynamic programming problems using artificial neural networks. More specifically, a modified Hopfield network is developed and its internal parameters are computed using the valid-subspace technique. These parameters guarantee the convergence of the network to the equilibrium points which represent solutions (not necessarily optimal) for the dynamic programming problem. Simulated examples are presented and compared with other neural networks. The results demonstrate that proposed method gives a significant improvement.

Extração semi-automática de rodovias em um par de imagens aéreas digitais utilizando geometria epipolar e programação dinâmica

The purpose of this paper is to introduce a methodology for semi-automatic road extraction from aerial digital image pairs by using dynamic programming and epipolar geometry. The method uses both images from where each road feature pair is extracted. The operator identifies the corresponding road featuresand s/he selects sparse seed points along them. After all road pairs have been extracted, epipolar geometry is applied to determine the automatic point-to-point correspondence between each correspondent feature. Finally, each correspondent road pair is georeferenced by photogrammetric intersection. Experiments were made with rural aerial images. The results led to the conclusion that the methodology is robust and efficient, even in the presence of shadows of trees and buildings or other irregularities.