Made available in DSpace on 2014-06-12T15:59:08Z (GMT). No. of bitstreams: 2 arquivo4856_1.pdf: 1277770 bytes, checksum: e43fd7a8ab4550aa23e4814d35021ccb (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / Devido a globalização dos mercados, diversos esforços têm sido feitos para o desenvolvimento de soluções que aumentem a competitividade no processo de produção do parque industrial estabelecido. Consequentemente, diversos estudos e um grande investimento em pesquisa têm sido feito nos sistemas de produção. Motivado por estes fatos, esta proposta de trabalho sugere o desenvolvimento de uma metodologia de modelagem dos sistemas de manufatura, voltada para análise e estimativa de políticas de estoques adotadas pela organização. Inicialmente sugere-se o desenvolvimento da metodologia de modelagem da estrutura do produto, assim como das informações relativas ao estoque. Os modelos obtidos poderão ser analisados com relação as suas propriedades qualitativas. Através destas análises, consegue-se determinar propriedades e características que não são interessantes no ambiente de produção. Com isso, consegue-se prevenir falhas, erros de planejamento e comportamentos indesejáveis no âmbito dos sistemas produtivos. Os modelos propostos neste trabalho possibilitam analisar valores adotados para a política de estoque da organização. Avaliação destes modelos permite identificar situações que provoquem interrupções inesperadas nos sistemas de produção. Aplicando o modelo proposto é possível determinar quando e de quanto o estoque seria reposto. Desta forma, uma alocação desnecessária de recursos para a produção, reduzindo os custos totais. Esta metodologia também poderia ser aplicada para o escalonamento dos sistemas produtivos. Fornecendo respostas as principais questões existentes no campo de controle e gerenciamento da produção.

Made available in DSpace on 2014-06-12T16:00:15Z (GMT). No. of bitstreams: 2 arquivo6285_1.pdf: 1527923 bytes, checksum: 78d4cb768e2160db1bd4ea015fdefa03 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Sistema Embarcado ¶e um sistema computacional projetado para uma fun»c~ao dedicada. Geralmente, este sistema executa uma tarefa espec¶³¯ca dentre um conjunto maior de tarefas, e possui particularidades tanto de hardware quanto de software. Os Sistemas Embarcados est~ao presentes no cotidiano sob diferentes formas e com diferentes objetivos. Geralmente possuem uma s¶erie de restri»c~oes, tais como: dimens~oes das mem¶orias, fonte de energia, baixa velocidade de processamento, dentre outras. Este trabalho apresenta o desenvolvimento de um modelo em Redes de Petri de desem- penho e energias para c¶odigos ANSI-C, considerando um processador de uma plataforma embarcada espec¶³¯ca, com o objetivo de estimar o consumo de energia. A linguagem ANSI-C, como c¶odigo de Sistemas Embarcados, foi escolhida por ser uma das mais utilizadas no desenvolvimento destes sistemas. Redes de Petri Temporizadas permitem a modelagem e especi¯ca»c~ao de sistemas paralelos e distribu¶³dos e, ao mesmo tempo, prov^eem o formalismo matem¶atico necess¶ario para uma avalia»c~ao de desempenho. Neste trabalho, o modelo Redes de Petri Temporizada ¶e anotado com informa»c~ao de consumo de energia, o que originou a Power Petri Net. Este trabalho contribui tamb¶em com a implementa»c~ao de um simulador estoc¶astico para avalia»c~ao de desempenho e de um ambiente computacional no qual s~ao realizadas as estimativas. Esse ambiente ¶e formado pelo tradutor de c¶odigo ANSI-C para Redes de Petri no formato PNML [1], padr~ao XML para descri»c~ao de Redes de Petri, simulador estoc¶astico e extens~ao do ambiente EzPetri [2]. Como o modelo apresentado, b¶asico, pode ser estendido em outros trabalhos ¶e caracterizada a forma»c~ao de um framework. Para valida»c~ao do m¶etodo proposto, foi utilizado um c¶odigo de avalia»c~ao, benchmark, PowerStone [3] desenvolvido para explorar o sistema sob diferentes aspectos de consumo de energia

Submitted by Haroudo Xavier Filho (haroudo.xavierfo@ufpe.br) on 2016-04-01T17:10:04Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao_Carolina_Nunes_Gouveia_CinUFPE.pdf: 2466935 bytes, checksum: 5f06f529909528db6e5c56728fc2fb45 (MD5) / Made available in DSpace on 2016-04-01T17:10:04Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao_Carolina_Nunes_Gouveia_CinUFPE.pdf: 2466935 bytes, checksum: 5f06f529909528db6e5c56728fc2fb45 (MD5) Previous issue date: 2009-04-30 / No intuito de assegurar a transparência na gestão das empresas, novas regulamentações recomendam a adoção de modelos de referência, que facilitam a adaptação dos processos de negócio às novas exigências. Com a responsabilidade de encarar esses novos desafios, a auditoria encontra na área de TI uma aliada acostumada a lidar com ambientes adversos, e interessada em envidar esforços para construir soluções aderentes, com criatividade e inovação. Neste trabalho, inicialmente, são apresentados os alicerces metodológicos que fundamentaram a estruturação da área de TI da Chesf e prepararam o corpo técnico para lidar com o desafio da certificação na lei Sarbanes-Oxley. Em seguida, são apresentadas as abordagens de Business Process Management – BPM, utilizadas na construção de ferramentas de gestão dos processos de negócio da área de TI, a serem auditados na certificação. Três abordagens foram experimentadas e suas conclusões são comparadas e analisadas, a fim de justificar a escolha da abordagem efetivamente implantada. Este trabalho propõe apresentar a evolução do investimento da área de TI da Chesf em melhores práticas e demostrar como esse investimento vem contribuindo para o alcance dos objetivos de negócio da Empresa. / In order to ensure transparency in corporate management, new regulations used to recommend the adoption of reference models, which will allow users to adapt enterprise business processes to new demands. With the responsibility to face these new challenges, the Audit’s area find in IT area an ally used to dealing with adverse environments and interested in efforts to build solutions with both creativity and innovation. In this paper, initially, we present the methodological foundation that underlie the structuring of the CHESF’s IT area and prepared the staff to deal with the challenge of certification in Sarbanes-Oxley Act. Then, we present the approaches to Business Process Management - BPM used in the construction of tools for managing business processes in the IT area to be audited in the certification process. Three approaches have been tried and its findings are compared and analyzed in order to justify the choice of approach effectively deployed. This paper proposes to present the performance of CHESF’s IT area in best practices and demonstrate how it has been contributing to the achievement of the Company’s business objectives.

Submitted by MARCIA ROVADOSCHI (marciar@unifra.br) on 2018-08-24T19:52:07Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_TatianaPriscillaMartinsTeixeiraDeCamargo.pdf: 1023201 bytes, checksum: caa2d30e4a8e1c55c17e9f38b7b4a6ef (MD5) / Made available in DSpace on 2018-08-24T19:52:07Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_TatianaPriscillaMartinsTeixeiraDeCamargo.pdf: 1023201 bytes, checksum: caa2d30e4a8e1c55c17e9f38b7b4a6ef (MD5) Previous issue date: 2014-08-01 / The aim of this study was to analyze the Gradebooks of two teachers, participants of our research, who took part in IPTIS (PIBID)/Franciscan University Center and work in two State and City schools in Santa Maria. Considering such records as a device for their continued training , we analyze the report of the facts, observations they considered relevant during the school year of 2013 - year in which they implemented the Mathematical Modelling Methodology with their students - as well as their thoughts about the pedagogical practices they performed. Therefore, the research problem was “Do the gradebooks contribute for the continued training of mathematics teachers involved in IPTIS (PIBID)/Franciscan University Center, focusing on the use of Mathematical Modelling Modelling in their practices?” The study was part of a wider project approved by NCSTD (CNPq): NCSTD (CNPq): Social, Applied Social and Human Sciences edict, announcement MSTI (MCTI)/ NCSTD (CNPq) /MEC/CIHEP (CAPES) Number 18/2012, entitled “The Mathematical Modelling Method as a possibility of improvement in the initial and continued training of teachers who work in several teaching levels”, coordinated by professor Dr. Vanilde Bisognin and of which the advisor of such study is a participant. The research was qualitative, founded on the theories of Denzin and Lincoln (1994), who corroborate ideas of Lüdke and André (1986). They consider the research qualitative when it is developed in a real situation, in a natural context. According to D‘ambrósio (1996) the qualitative research is focused on the individual inserted in his/her natural environment. In the Mathematical Modelling Methodology, we refer Bassanezi (2002), among other authors who research such methodology. The instruments involved gradebooks of two teachers with digital and documental records, and semi-structured interviews, in the end of the research. Based on the interviews, we verified that teachers. Considering their Gradebooks, there were some difficulties in the first records of their practices, since they only described the content and how they developed the content with their students, That was not the aim. However, along the monthly records sent to us, we verified that each teacher’s Gradebook was increasingly being built and that the difficulty of the teachers to write down their thoughts and describe their feelings decreased. One of the results of our endeavor was to remove the lack of habit and motivation regarding writing such registers that, earlier, were sporadic and unstructured, without corresponding to one of the Gradebook models suggested by Porlán and Martin (1997) or by Zabalza (2004). They began to develop models of Gradebooks organized by periods, subjects and well planned activities (representing a significant improvement in their written material). Such activities enabled them to read and reflect about what they had previously developed during the classes, providing a larger involvement with their pedagogical practice. . The Gradebooks, as a support device for continued training, can be used as a reference in the sense of improving those practices. They can be considered as an instrument of documental record to guide teacher’s planning and creation of materials and creative and differentiated didactic activities concerning teaching Mathematics, that can be used in the next school years. As a result, the study highlights more qualified professionals and more motivated students to learn and live Mathematics, considering the adopted methodology, internalizing it from daily situations, and changing the traditional scenery in the classroom. / No presente trabalho, teve-se como objetivo analisar os Diários de Aula de duas professoras participantes do PIBID/Centro Universitário Franciscano que atuam em duas Escolas da rede estadual e municipal de ensino na cidade de Santa Maria, sendo estas os sujeitos participantes de nossa pesquisa. Tendo seus Diários como dispositivo de formação continuada, analisamos os registros de fatos, observações que consideraram relevantes durante o período do ano letivo de 2013, em que implementaram a Metodologia de Modelagem Matemática com seus alunos e as reflexões que fizeram à cerca de sua práticas pedagógicas. Desse modo o problema de pesquisa envolveu: Os Diários de Classe contribuíram para a formação continuada de professores de Matemática envolvidos no PIBID/Centro Universitário Franciscano tendo por foco a utilização da Metodologia de Modelagem Matemática em suas práticas? O trabalho fez parte de um projeto maior aprovado pelo CNPq: Edital Ciências Humanas e Sociais Aplicadas, chamada MCTI/CNPq/MEC/CAPES Nº 18/2012, sob o título “A metodologia da Modelagem Matemática como possibilidade de qualificação da formação inicial e continuada de professores para os diferentes níveis de ensino”, coordenada pela professora Dra. Vanilde Bisognin e que contou com a atuação conjunta da orientadora deste projeto. A pesquisa foi de cunho qualitativo, fundamentada nas teorias de Denzin e Lincoln (1994) que corroboram ideias próximas de Lüdke e André (1986) e que consideram como qualitativa, pois se desenvolve numa situação real, num contexto natural. Para D‘Ambrósio (1996) a pesquisa é focalizada no indivíduo inserido em seu meio natural. Na Metodologia da Modelagem Matemática referenciamos Bassanezi (2002) dentre outros autores que pesquisam esta temática. Os instrumentos utilizados envolveram os Diários de Classe das duas professoras com registro documental e digital, e entrevistas estruturadas no final da pesquisa. Quanto aos seus Diários, houve algumas dificuldades nos primeiros registros de suas práticas, pois descreveram apenas o conteúdo e como o desenvolveram com seus alunos, o que não constitui a finalidade do mesmo. Mas ao longo de seus registros mensais que nos eram enviados o Diário de cada professora ia sendo construído. Percebemos que a dificuldade de colocar seus pensamentos no papel e descrever seus sentimentos tornava-se cada vez mais distante. Um dos resultados de nosso trabalho foi destituir a falta de hábito e estímulo em escrever esses registros que antes eram esporádicos e desestruturados sem atender a um dos modelos de Diário sugerido por Porlán e Martin (1997) ou por Zabalza (2004) e elaborar modelos de seus Diários organizados por períodos, assuntos e atividades bem planejadas (uma melhora significativa até mesmo em suas escritas), em que elas pudessem ler e refletir sobre o que já tinha sido desenvolvido em aulas anteriores, proporcionando um maior envolvimento com sua prática pedagógica. Os Diários, como dispositivo de formação continuada tornaram-se mais um referencial no sentido de melhorar essas práticas. Serviram como um instrumento de registro documental para orientá-las em seus planejamentos e elaboração de materiais e atividades didáticas criativas e diferenciadas voltadas para o ensino da Matemática, podendo ainda ser utilizados para os próximos anos letivos. Como resultados professoras mais qualificadas e alunos mais estimulados para aprender e vivenciar a Matemática a partir da metodologia adotada internalizando-a com situações cotidianas mudando assim o cenário tradicional de sala de aula.