Orientador: Jacques Wainer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-16T22:50:12Z (GMT). No. of bitstreams: 1 Andre_AmauryBosso_M.pdf: 698462 bytes, checksum: 3a97278e3328845adbb26c7cb448204b (MD5) Previous issue date: 2010 / Resumo: O gerenciamento de workflows é uma realidade atualmente, mas os sistemas atuais carecem de suporte à verificação de correção em modelos de workflow. Este trabalho visa a realização de verificações em processos, objetivando a detecção de erros sintáticos, como a existência de atividades mal modeladas, ou seja, sem condições de entrada ou de saída. É objetivo deste trabalho também a definição de verificações de ordem estrutural, como detectar se o processo de workflow não possui deadlocks (estado em que o processo trava sem possibilidade de progredir), ou verificar se existem atividades mortas no processo (atividades impossíveis de serem executadas), ou se há terminações incompletas, ou seja, transições pendentes após o processo ter atingido seus objetivos. Além de verificações sintáticas e estruturais, é necessário também a realização de verificações semânticas do modelo, ou seja, é importante que os processos possam ser validados quanto a características que dizem respeito à sua organização lógica, a um nível um pouco mais alto de informação do que simplesmente estrutural. Por exemplo, é diretamente impactante na qualidade do modelo de um processo, definir se este possui conflitos ao acesso de recursos. Dessa forma, um processo estruturalmente correto, pode ficar travado em um deadlock, devido à concorrência quanto ao acesso de um recurso comum entre atividades distintas. Além disso, verificações de restrições de custo, por exemplo, também podem inviabilizar um processo. Todas essas verificações são importantes para decidir se um processo de workflow é correto. A maior contribuição deste trabalho, é então a definição de uma modelagem de processos de workflow que possibilite a verificação de problemas sintáticos, estruturais e semânticos, todos em uma única ferramenta, que se mostra escalável para processos reais, além de possibilitar a verificação de questões ad-hoc, específicas de cada instância, como verificar ordenações entre atividades específicas, etc / Abstract: Workflow management is a reality nowadays, but today's systems give very little support to verify correctness in workflow models. This work aims to perform formal verification, with the goal of detecting syntactic errors, like the existence of activities poorly modeled, in other words, activities with no precondition or effect. It is a goal too, the definition of workflows structural verification, as to detect if the process does not have deadlocks (state in which the process is stuck with no possibility of getting any further), or verifying if there are dead activities in the process (activities impossible to be reached), or if exist incomplete terminations, ie, pending transitions after the process reached its objectives. Besides syntactic and structural verifications, it is necessary too, to perform semantic verifications in the process, in other words, it is important to validate the processes in respect to characteristics of its logical organization, in a higher level of information than simply structural verification. For example, it is directly impacting in the quality of the process model the definition if it has resource access conflicts. In this way, a process that is structurally correct, can be stuck in a deadlock, due to the concurrency in the access of a common resource of distinct activities. Besides that, verifications of costs restrictions, for example, can spoil a process. All these verifications are important to decide if a workflow model is correct. The main contribution of this work is the definition of workflow processes modeling that makes it possible to perform syntactic, structural and semantic verifications, all in a unique tool, that is showed to be scalable for real process, and even possible to verify ad-hoc questions, specific to the model, as checking activities ordering, for example / Mestrado / Inteligência Artificial, Verificação e Validação / Mestre em Ciência da Computação

Orientador: Armando Freitas da Rocha / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-21T01:58:59Z (GMT). No. of bitstreams: 1 Serapiao_AdrianeBeatrizdeSouza_M.pdf: 6324102 bytes, checksum: 24147ff392a328bdf9bcc9a6bc9c4b42 (MD5) Previous issue date: 1996 / Resumo: O objetivo deste trabalho é utilizar um sistema distribuído, chamado SENSOR, para simular o sistema visual natural e verificar a consistência de algumas hipóteses sobre sua fisiologia. Visto que o processamento da informação visual ocorre em estágios distintos que requerem a especialização e a distribuição de células no cérebro, usamos esta analogia para criar em um sistema computacional distribuído, agentes capazes de realizar as mesmas funções que seus análogos biológicos. Para tanto, estes agentes foram modelados à partir do neurônio proposto por Rocha [Roc92], que possui capacidades computacionais numéricas e simbólicas, e cujo processamento é suportado pela teoria de linguagens formais nebulosas. Utilizou-se a abordagem sintática como ferramenta básica para o reconhecimento de padrões e análise de cenas, e para avaliar a potencialidade do sistema SENSOR. Propôs-se aqui um algoritmo para o reconhecimento e aprendizagem de padrões, chamado algoritmo de aprendizagem por moldes. Nesta abordagem, os padrões são contornos de imagem extraídos pelo sistema visual artificial que obedecem uma gramática nebulosa definida e cenas são compostas por objetos que partilham relações suportadas por gramáticas nebulosas aprendidas ou definidas ad hoc / Abstract: This work describes an artificial distributed intelligent system, called SENSOR , aimed to simulate the natural visual system and to verify the consistency of some hypothesis in the literature about its physiology. The processing of the visual information occurs in different levels, requiring the specialization and distribution of the neuron. This paradigm was used to create the artificial system, where agents able to perform the same functions of their biological analogous. These agents were modeled using the formal neuron supported by fuzzy formallanguage theory. The syntactic approach in the theory of artificial visual systems was chosen as the basic tool to handle pattern recognition and scene analysis. The patterns are extracted from the image as contours, complying a defined fuzzy grammar and scenes are composed by objects, sharing relations supported by learned fuzzy grammars ar ad hoc / Mestrado / Mestre em Engenharia Elétrica

Orientador : Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-28T18:03:20Z (GMT). No. of bitstreams: 1 Fernandez_VictorLeandro_M.pdf: 540368 bytes, checksum: 0818913d30776ed86715893fde72c2df (MD5) Previous issue date: 2001 / Mestrado

Submitted by Erika Demachki (erikademachki@gmail.com) on 2015-03-26T17:19:39Z No. of bitstreams: 2 Dissertação - Rodrigo Bastos Daude - 2014.pdf: 3101191 bytes, checksum: 8641844bbdf38811d6e1b0da59aeee39 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Erika Demachki (erikademachki@gmail.com) on 2015-03-26T19:26:10Z (GMT) No. of bitstreams: 2 Dissertação - Rodrigo Bastos Daude - 2014.pdf: 3101191 bytes, checksum: 8641844bbdf38811d6e1b0da59aeee39 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-03-26T19:26:10Z (GMT). No. of bitstreams: 2 Dissertação - Rodrigo Bastos Daude - 2014.pdf: 3101191 bytes, checksum: 8641844bbdf38811d6e1b0da59aeee39 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-11-07 / This dissertation is part of the Master degree in Education in Science and Mathematics from the research program of Universidade Federal de Goiás, and aims to examine the pedagogical potential of using non-formal spaces in teacher training of math, in Goiás city. It understands the realization that the formation of the licensee math should not be tied to a single methodology, and the need to meet the different learning processes. For that teacher training should address these differences and take place in multiple spaces. In this perspective, we seek to answer: How do the activities at the Center for Educational Activities: Mathematics Education in Non-Formal Spaces -NEMENF changes the design of the participants regarding the use of non-formal spaces in teacher training in mathematics? For this we present historical, educational and legal aspects in teacher from the LDB (1996), authors like Gatti (2010), Saviani, Curi (2000), D'Ambrosio (2001, 2003) and Fiorentini (1994 , 1995). At the same time, we present the non-formal spaces methodological pluralist perspective in approaching a mathematical education contextualized in Trilla (1996), Sarramona (1998) and Gohn (2006, 2010). The outline of the research was conducted in the course of degree in Mathematics from the Universidade Estadual de Goiás, Campus Goiás within a group of studies on the subject. In developing the survey was necessary to use a qualitative approach in the midst of a collaborative case study in which all subjects can express opinions and hypotheses to be investigated. Partly realized by resorting to issues of culture, everyday life and teaching contextualized increase the chances of success in teaching and learning. And the non-formal spaces contribute significantly in this task, from two perspectives: the teaching of scientific knowledge and educational background generated in the process of social participation. / A presente dissertação faz parte da pesquisa vinculada ao programa de mestrado em Educação em Ciências e Matemática pela Universidade Federal de Goiás, e tem por objetivo analisar o potencial pedagógico do uso dos espaços não formais da Cidade de Goiás na formação do professor de matemática. Parte-se da compreensão de que a formação do licenciado de matemática não deve ficar presa a uma única metodologia, e da necessidade de atender aos diferentes processos de aprendizagem. Para isso a formação de professores deve contemplar estas diferenças e acontecer em múltiplos espaços. Nesta perspectiva, busca-se responder: De que forma as atividades no Núcleo de Ações Educativas: Educação Matemática em Espaços Não Formais -NEMENF mudam a concepção dos participantes quanto ao uso dos espaços não formais na formação do professor de matemática? Para isto apresentam-se aspectos históricos, pedagógicos e legais na formação de professores a partir da LDB (1996), de autores como Gatti (2010), Saviani, Curi (2000), D’Ambrósio (2001, 2003) e Fiorentini (1994, 1995). Ao mesmo tempo, apresentam-se os espaços não formais na perspectiva pluralista metodológica que se aproxima de um ensino matemático contextualizado em Trilla (1996), Sarramona (1998) e Gohn (2006, 2010). O recorte da pesquisa foi realizado no curso de licenciatura em Matemática da Universidade Estadual de Goiás, Unidade Universitária de Goiás dentro de um grupo de estudos acerca da temática. Ao desenvolver a pesquisa foi necessário usar de uma abordagem qualitativa em meio a um estudo de caso colaborativo em que todos os sujeitos podem emitir opiniões e levantar hipóteses a serem investigadas. Em parte percebemos que ao recorrer a questões da cultura, do cotidiano e ao ensino contextualizado aumentamos as possibilidades de sucesso nos processos de ensino e de aprendizagem. E os espaços não formais contribuem significativamente nesta tarefa, em duas perspectivas: no ensino de conhecimentos científicos e numa formação educacional gerada no processo de participação social.

Apesar das novas e efetivas técnicas de engenharia de software, os projetos de desenvolvimento de sistemas estão propensos a ter os mesmos problemas que acometem o software de apoio à gestão. Entrega com atraso, acima do orçamento e não suprindo as reais necessidades dos usuários finais ou da organização que está financiando o desenvolvimento do sistema, são os principais problemas. Esse último problema é o que mais afeta o desenvolvimento de sistemas e é um desafio para que o desenvolvimento personalizado seja uma solução real para várias empresas. Este trabalho apresenta uma proposta de método de gestão que auxilie a comunicação entre as atividades associadas à engenharia de requisitos e as atividades associadas à modelagem dos processos de negócio. Essa abordagem concerne à gestão e tratamento de requisitos de sistemas baseando-se em técnicas de engenharia de processos de negócios e de engenharia de requisitos, no processo unificado de desenvolvimento de software e na utilização de linguagens semi-formais e formais de modelagem, UML e SysML respectivamente. O método pretende mitigar os efeitos dos problemas de comunicação existentes entre os diversos integrantes de um projeto, com especial atenção para a comunicação entre a equipe de requisitos do projeto e os stakeholders responsáveis pela aceitação e aprovação do sistema. A pesquisa, com o apoio da apresentação de dois casos que ilustram o método de gestão proposto, permite concluir que é possível tornar mais efetiva e produtiva a comunicação entre os diversos envolvidos com o projeto, podendo resultar em um processo mais eficiente para a aceitação dos requisitos junto aos stakeholders. / Despite new and effective software engineering techniques, system development projects are likely to have the same problems that affect the management support software. Delivery delay, above budget and not fitting the real needs of end users or the organization that is funding the system development, are the most common problems. The latter problem is the one that most affects the systems development and is a challenge for the custom development to be a real solution to several companies. This work presents a proposal for a management method to help the communication between the activities associated with the engineering requirements and the activities associated with business processes modeling. This approach, concerns to the systems requirements treatment and management, is based on business processes engineering and requirements engineering, in software development unified process and in the use of semi-formal and formal modeling languages as UML and SysML, respectively. The method seeks to mitigate the effects of the communication problems among the project members, with special attention to the communication between the project requirements team and the stakeholders responsible for the system acceptance and adoption. The research, supported by the presentation of two cases which illustrates the proposed management method, has concluded that it is possible to make more effective and productive communication among members related with the project, which may result a more efficient process for the stakeholders requirement acceptance.

OLIVEIRA, Carlos Augusto de. A musealização do território: uma aproximação entre Geografia, Educação e Museologia na Cohab Raposo Tavares. 2016. 228 f. Dissertação de Mestrado - Programa de Pós-Graduação Interunidades em Museologia, Universidade de São Paulo, São Paulo, 2016. O território pode ser entendido enquanto um museu a partir das perspectivas abertas pelo movimento denominado Nova Museologia e seu desdobramento acadêmico chamado Sociomuseologia. Isso nos permite compreender o patrimônio de uma maneira mais ampla, a partir de um entendimento que contemple a musealização do território enquanto estratégia de administração da memória e instrumento de desenvolvimento social. Essa proposta de musealização do território visa despertar nos indivíduos um conhecimento crítico e uma ação transformadora da sociedade. A apropriação (criação) desse espaço envolve necessariamente um conhecimento das dinâmicas sociais e sua relação com o meio natural em que está inserida, o qual precisa ser construído através de práticas educativas (formais ou não). Essas, por sua vez, podem fazer uso do próprio território da ação museológica entendido enquanto espaço não-formal de educação. Dessa forma, nesse trabalho as áreas de Geografia e Educação somam forças à Museologia para a compreensão da realidade e sua transformação. O caso prático da pesquisa se dá no bairro da Cohab Raposo Tavares (São Paulo / SP), através da ação do Centro de Memória que existe no local. / The territory may be understood as a museum considering the perspective brought by the movement known as New Museology and its academic branch known as Sociomuseology. That allows us to look at heritage in a broader sense, from an understanding that contemplates the musealization of the territory as a memory management strategy and social development tool. The proposed musealization of the territory aims to enliven individuals to a critical knowledge and actions capable of transforming the society. The appropriation (creation) of that space necessarily involves the knowledge of social dynamics and its relationship to the natural environment in which it operates, which must be built through educational practices (formal ones or not). These, in turn, can make use of their territory of museological action understood as a non-formal educational space. Thus, in this research the areas of Geography and Education join forces to Museology to understand the reality and its transformation. The study case take place at the neighborhood of Cohab Raposo Tavares (São Paulo / SP) through the action of its existing Memory Center

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-02T18:02:38Z (GMT). No. of bitstreams: 1 Cunha_DeniseMariaMaldonadoda_M.pdf: 630817 bytes, checksum: b79c7cd74fd041ea0461293543078db2 (MD5) Previous issue date: 2003 / Mestrado

Made available in DSpace on 2014-06-12T18:06:47Z (GMT). No. of bitstreams: 2 arquivo6923_1.pdf: 4137443 bytes, checksum: 915ade843957ebfcf6140b8fc53f7701 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 / A mineração urbana nos municípios do Recife e Jaboatão dos Guararapes é voltada mais especificamente para os agregados utilizados na construção civil como areia, argila, brita (granito/gnaisse), além das águas minerais. Essa atividade não tem recebido, no âmbito da RMR, o merecido realce por parte dos órgãos que a licenciam, seja no que se refere ao controle da atividade mineral, do impacto ambiental ou do uso do solo urbano. Isso fica claramente expresso pelo estado de degradação paisagística de amplos trechos dessas cidades, particularmente ao longo dos principais eixos rodoviários e, pelo intenso assoreamento do sistema de drenagem natural e formal das cidades, causa principal dos alagamentos e inundações freqüentes nos períodos de inverno. Além disso, essa atividade é em grande parte informal ou ilegal, não se traduzindo em arrecadação da compensação financeira (CFEM), sendo o município o principal prejudicado com essa omissão. Nos municípios a expedição de licenciamentos e a fiscalização da exploração são desempenhadas pelo Departamento Nacional de Produção Mineral DNPM, com a fiscalização do meio ambiente à cargo da Companhia Pernambucana de Meio Ambiente CPRH, que atua principalmente sobre as questões referentes à proteção ambiental e à expedição de licenças municipais pelas Secretarias de Planejamento Urbano. A falta de articulação desses órgãos tem levado a um crescimento desordenado de minerações informais ou ilegais na RMR, principalmente no que se refere à exploração de areia e argila, degradando áreas que são posteriormente ocupadas, criando situações de risco. Essas atividades de mineração desenvolvidas sem o competente título autorizativo da pesquisa/lavra (minerações informais), são de difícil controle por parte dos órgãos fiscalizadores, contrariando não só a legislação mineral, como também as legislações tributárias, trabalhistas e ambientais. O presente trabalho apresenta a caracterização das atividades minerais cadastradas e ilegais desses municípios, assim como uma proposta de Plano de Gestão para melhor articulação entre os órgãos fiscalizadores evitando-se assim o crescimento das minerações informais, além da elaboração do Mapa das Atividades Minerais para esses municípios, em base geo-referenciada

Made available in DSpace on 2014-06-12T18:07:03Z (GMT). No. of bitstreams: 2 arquivo6974_1.pdf: 4137443 bytes, checksum: 915ade843957ebfcf6140b8fc53f7701 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 / A mineração urbana nos municípios do Recife e Jaboatão dos Guararapes é voltada mais especificamente para os agregados utilizados na construção civil como areia, argila, brita (granito/gnaisse), além das águas minerais. Essa atividade não tem recebido, no âmbito da RMR, o merecido realce por parte dos órgãos que a licenciam, seja no que se refere ao controle da atividade mineral, do impacto ambiental ou do uso do solo urbano. Isso fica claramente expresso pelo estado de degradação paisagística de amplos trechos dessas cidades, particularmente ao longo dos principais eixos rodoviários e, pelo intenso assoreamento do sistema de drenagem natural e formal das cidades, causa principal dos alagamentos e inundações freqüentes nos períodos de inverno. Além disso, essa atividade é em grande parte informal ou ilegal, não se traduzindo em arrecadação da compensação financeira (CFEM), sendo o município o principal prejudicado com essa omissão. Nos municípios a expedição de licenciamentos e a fiscalização da exploração são desempenhadas pelo Departamento Nacional de Produção Mineral DNPM, com a fiscalização do meio ambiente à cargo da Companhia Pernambucana de Meio Ambiente CPRH, que atua principalmente sobre as questões referentes à proteção ambiental e à expedição de licenças municipais pelas Secretarias de Planejamento Urbano. A falta de articulação desses órgãos tem levado a um crescimento desordenado de minerações informais ou ilegais na RMR, principalmente no que se refere à exploração de areia e argila, degradando áreas que são posteriormente ocupadas, criando situações de risco. Essas atividades de mineração desenvolvidas sem o competente título autorizativo da pesquisa/lavra (minerações informais), são de difícil controle por parte dos órgãos fiscalizadores, contrariando não só a legislação mineral, como também as legislações tributárias, trabalhistas e ambientais. O presente trabalho apresenta a caracterização das atividades minerais cadastradas e ilegais desses municípios, assim como uma proposta de Plano de Gestão para melhor articulação entre os órgãos fiscalizadores evitando-se assim o crescimento das minerações informais, além da elaboração do Mapa das Atividades Minerais para esses municípios, em base geo-referenciada

Nos últimos anos a questão da expansão da matriz energética brasileira e a construção de novas grandes usinas hidrelétricas, principalmente na região amazônica, tem estado no centro dos debates sobre estratégias de crescimento econômico no Brasil. Nesse debate é possível identificar a questão das vantagens comparativas da tipologia hidrelétrica frente as outras formas de geração de energia no que tange aos benefícios econômicos e sociais à nação. No entanto, há uma controvérsia na literatura que aponta para evidências de que as tais vantagens comparativas não se concretizam no plano local, estando apenas voltadas para o plano nacional. Um dos mecanismos legais visto pelos planos governamentais como promotor de desenvolvimento local é a Compensação Financeira pela utilização de recursos hídricos. Tal mecanismo visa transferir valores aos entes federativos, principalmente às municipalidades diretamente alagadas, relativos à produção de energia elétrica. Este mecanismo pode ser interpretado sob a perspectiva teórica da economia institucional enquanto uma instituição que contem regras formais, regras informais e mecanismos de enforcements que devem garantir seu funcionamento. Nesse contexto, a pergunta que se coloca é se a Compensação Financeira está associada ao desenvolvimento dos municípios brasileiros alagados pelas hidrelétricas, ao longo da década de 2000 a 2010. Para responder essa pergunta, o presente trabalho analisou as variáveis de desenvolvimento de 600 municípios alagados que receberam valores de Compensação Financeira ao longo da década de 2000 a 2010 pagos por 119 hidrelétricas. Os resultados encontrados podem ser separados em duas escalas. Na escala Nacional foram encontradas evidências de associações negativas estatisticamente significantes em relação a 21 variáveis de desenvolvimento e valores auferidos de Compensação Financeira. Numa escala regional, foram encontradas evidências de associações negativas estatisticamente significantes para as regiões Sudeste e Centro-oeste para 30 variáveis. Não foram encontradas associações significantes para a região Sul. Para as regiões Nordeste e Norte foram encontradas associações positivas estatisticamente significantes para 14 variáveis de educação e de redução da desigualdade. Sob a perspectiva da teoria da economia institucional, é possível interpretar os resultados da escala nacional como sendo condicionados pela ausência de regras formais objetivas e respectivos mecanismos de enforcements efetivos no que tange ao tema de aplicação dos recursos de Compensação Financeira recebidos pelas municipalidades, o que pode influenciar os resultados negativos observados. Para a escala regional, mesmo as regras formais e mecanismos de enforcement sendo caracterizados como não efetivos, os resultados positivos observados podem estar associados às regras informais e outros elementos regionais que condicionam positivamente a aplicação dos recursos. Assim, conclui-se que a Compensação Financeira é um importante mecanismo de compartilhamento de benefícios com potencial de influenciar dimensões do desenvolvimento desde que sejam observadas as interfaces entre as regras formais e informais que as condicionam. Esse mecanismo necessita ser aprimorado do ponto de vista das regras formais e mecanismos de enforcements, para o tema de aplicação dos recursos. Além disso, é possível inferir que as regras informais e a dinâmica regional devem ser observadas pois também possuem influência no sentido de promover o desenvolvimento dos territórios mesmo na ausência de regras formais efetivas / The comparative advantages of hydroelectric typology has been discussed in the literature regarding the gains of the affected localities. One of the legal mechanisms seen as local development promoter is the Financial Compensation (FC). The question that arises is if the CF is associated to the development of brazilian municipalities flooded by hydroelectric power plants. Using a Spearman correlation analysis the results show that, in 2000-2010 decade, there is a negative association between the amount paid by the CF and development variables for 600 municipalities flooded in Brazil in a national scale. In regional scale, only the North and Northeast region had positive associations. The CF is an important mechanism, which needs to be improved from the point of view of formal rules and enforcements. It is possible to infer that the informal rules and the regional dynamics can also influence development in the absence of effective formal rules.