Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-08-14T11:29:03Z No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-08-14T11:41:59Z (GMT) No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) / Made available in DSpace on 2017-08-14T11:42:00Z (GMT). No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) Previous issue date: 2016-06-10 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Arquiteturas de software exercem um papel significativo no desenvolvimento de sistemas intensivos de software a fim de permitir satisfazer tanto requisitos funcionais quanto n?ofuncionais. Em particular, arquiteturas de software din?micas t?m surgido para endere?ar caracter?sticas dos sistemas contempor?neos que operam em ambientes din?micos e consequentemente sujeitos a mudan?as em tempo de execu??o. Linguagens de descri??o arquitetural (ADLs) s?o utilizadas para representar arquiteturas de software, produzindo modelos que podem ser utilizados tanto em tempo de projeto quanto em tempo de execu??o. Contudo, a maioria das ADLs existentes possui limita??es em diversos aspectos: (i) possui enfoque em aspectos estruturais, topol?gicos da arquitetura; (ii) n?o prov? um suporte adequado ? representa??o de aspectos comportamentais da arquitetura; (iii) n?o permite descrever aspectos avan?ados relativos ? din?mica da arquitetura; (iv) ? limitada com rela??o ? verifica??o de propriedades arquiteturais e restri??es, e; (v) ? desconectada do n?vel de implementa??o, resultando em inconsist?ncias entre arquitetura e implementa??o. No intuito de endere?ar esses problemas, esta tese prop?e um framework formal para arquiteturas de software din?micas. Tal framework envolve: (i) ?-ADL, uma linguagem formal para descrever arquiteturas de software sob as perspectivas estrutural e comportamental; (ii) a especifica??o de opera??es de reconfigura??o din?mica programada; (iii) a gera??o autom?tica de c?digo fonte a partir de descri??es arquiteturais, e; (iv) uma abordagem baseada em verifica??o estat?stica (SMC) para expressar e verificar formalmente propriedades em arquiteturas de software din?micas. As principais contribui??es trazidas pelo framework proposto s?o quatro. Primeiro, a linguagem ?-ADL passou a ser dotada de primitivas de n?vel arquitetural para descrever reconfigura??es din?micas programadas. Segundo, descri??es arquiteturais em ?-ADL s?o traduzidas para c?digo fonte de implementa??o na linguagem de programa??o Go, contribuindo assim para minimizar desvios arquiteturais. Terceiro, uma nova l?gica chamada DynBLTL ? utilizada para expressar formalmente propriedades em arquiteturas de software din?micas. Quarto, um ferramental baseado em SMC foi constru?do para automatizar verifica??o de propriedades arquiteturais enquanto busca reduzir esfor?o, recursos computacionais e tempo para realizar essa tarefa. Neste trabalho, dois sistemas baseados em redes de sensores sem fio s?o utilizados para validar os elementos do framework. / Software architectures play a significant role in the development of software-intensive systems in order to allow satisfying both functional and non-functional requirements. In particular, dynamic software architectures have emerged to address characteristics of the contemporary systems that operate on dynamic environments and consequently subjected to changes at runtime. Architecture description languages (ADLs) are used to represent software architectures, producing models that can be used at design time and/or runtime. However, most existing ADLs have limitations in several facets: (i) they are focused on structural, topological aspects of the architecture; (ii) they do not provide an adequate support for representing behavioral aspects of the architecture; (iii) they do not allow describing advanced aspects regarding the dynamics of the architecture; (iv) they are limited with respect to the automated verification of architectural properties and constraints; and (v) they are disconnected from the implementation level, thus entailing inconsistencies between architecture and implementation. In order to tackle these problems, this thesis proposes formally founded framework for dynamic software architectures. Such a framework comprises: (i) ?-ADL, a formal language for describing software architectures under both structural and behavioral viewpoints; (ii) the specification of programmed dynamic reconfiguration operations; (iii) the automated generation of source code from architecture descriptions; and (iv) an approach based on statistical model checking (SMC) to formally express and verify properties in dynamic software architectures. The main contributions brought by the proposed framework are fourfold. First, the ?-ADL language was endowed with architectural-level primitives for describing programmed dynamic reconfigurations. Second, architecture descriptions in ?- ADL are translated towards implementation source code in the Go programming language, thereby contributing to minimize architectural drifts. Third, a novel logic, called DynBLTL, is used to formally express properties in dynamic software architectures. Fourth, a toolchain relying on SMC was built to automate the verification of architectural properties while striving to reduce effort, computational resources, and time for performing such a task. In this work, two wireless sensor network-based systems are used to validate the framework elements.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-10-04T22:42:25Z No. of bitstreams: 1 ManoelMessiasDeAraujoGomes_DISSERT.pdf: 875902 bytes, checksum: d26a724421b9fc1cef85f5f5474f29ca (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-10-13T23:18:59Z (GMT) No. of bitstreams: 1 ManoelMessiasDeAraujoGomes_DISSERT.pdf: 875902 bytes, checksum: d26a724421b9fc1cef85f5f5474f29ca (MD5) / Made available in DSpace on 2017-10-13T23:18:59Z (GMT). No. of bitstreams: 1 ManoelMessiasDeAraujoGomes_DISSERT.pdf: 875902 bytes, checksum: d26a724421b9fc1cef85f5f5474f29ca (MD5) Previous issue date: 2017-08-08 / Este trabalho tem por objetivo o estudo dos automorfismos fortemente est?veis da categoria de todas as ?lgebras livres finitamente geradas na variedade de todas as ?lgebras Lineares Nilpotentes de grau 5. Apresentamos uma breve explica??o sobre o m?todo de opera??es verbais. Nosso interesse principal ? computar o grupo A/Y no caso da variedade de todas as ?lgebras lineares nilpotentes de grau 5. Tendo em vista que o estudo do grupo A/Y ? muito importante na ?rea de Geometria Alg?brica Universal, pois esse grupo nos d? as poss?veis diferen?as entre equival?ncia geom?trica e autom?rfica de ?lgebras.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-10-04T22:42:26Z No. of bitstreams: 1 WandersonLaerteDeOliveiraCarvalho_DISSERT.pdf: 1338180 bytes, checksum: ab85e7ead71c427d2515347edf5bb1bb (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-10-13T23:34:51Z (GMT) No. of bitstreams: 1 WandersonLaerteDeOliveiraCarvalho_DISSERT.pdf: 1338180 bytes, checksum: ab85e7ead71c427d2515347edf5bb1bb (MD5) / Made available in DSpace on 2017-10-13T23:34:51Z (GMT). No. of bitstreams: 1 WandersonLaerteDeOliveiraCarvalho_DISSERT.pdf: 1338180 bytes, checksum: ab85e7ead71c427d2515347edf5bb1bb (MD5) Previous issue date: 2017-02-09 / O algoritmo gen?tico ? um processo iterativo de busca, utilizado para encontraro m?ximo global no dom??nio de fun??es n?o convencionais. Esse algoritmo se baseiaem fundamentos naturalistas, evoluindo uma amostra de candidatos a m?ximo globala cada itera??o. Essa evolu??o ? consequ?ncia de tr?s operadores (Sele??o, Muta??oe Cruzamento) que vasculham o dom??nio da fun??o e ao mesmo tempo selecionam osmelhores candidatos obtidos. Nesse estudo, apresentaremos uma cadeia de Markovque modela a evolu??o desse algoritmo, e demonstraremos algumas propriedades dessacadeia que justificam a converg?ncia do algoritmo. Realizaremos uma simula??o paramodelar o efeito da parametriza??o do algoritmo em sua velocidade de converg?ncia,estimada pelo n?mero de itera??es at? obten??o do m?ximo global. Nessas simula??esobservaremos esse efeito em fun??es: unidimensionais, bidimensionais, com um ?nicom?ximo local (o m?ximo global) e com v?rios m?ximos locais. Finalmente, esse tra-balho apresenta resultados que questionam a relev?ncia do operador cruzamento nasfun??es estudadas e argumentos para acreditar que o operador muta??o otimiza a ve-locidade de converg?ncia do algoritmo quando ocorre com probabilidade de muta??opr?xima a 0, 2).

Mgr de Saint-Vallier, grand vicaire et futur évêque de Québec, aborde pour la première fois son futur diocèse en juillet 1685, il le parcourt pendant près 16 mois. Il publie le récit de sa visite pastorale en 1688, ce compte rendu a pour objectif premier de susciter des dons en faveur de la Nouvelle-France, cependant, l'analyse de son discours nous révèle bien davantage. Ce compte rendu illustre la perception du Nouveau Monde de Saint-Vallier. Il témoigne de la représentation qu'il se fait de son futur diocèse comme d'un lieu propice à l'établissement du Royaume divin, où la présence de Dieu est particulièrement prégnante. Les vertus des habitants de la colonie apparaissent, elles aussi, idéales ; leur attitude répond exactement à la norme promue par la Réforme catholique. Ainsi, cette présentation souligne la référence tridentine du prélat. Le récit de Saint-Vallier suggère, en outre, son ambition de parfaire et de généraliser ces dispositions vertueuses au moyen d'un encadrement étroit du fidèle au sein d'une Église canadienne établie, et ce, dans le dessein d'établir le règne de Dieu en Nouvelle-France. / Québec Université Laval, Bibliothèque 2013

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-07-26T19:48:07Z No. of bitstreams: 1 CARLOS ALBERTO DOS SANTOS_DIS.pdf: 1271475 bytes, checksum: 856ae87ad633d3c772b413816caa43d1 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-08-01T13:39:36Z (GMT) No. of bitstreams: 1 CARLOS ALBERTO DOS SANTOS_DIS.pdf: 1271475 bytes, checksum: 856ae87ad633d3c772b413816caa43d1 (MD5) / Made available in DSpace on 2018-08-01T14:31:21Z (GMT). No. of bitstreams: 1 CARLOS ALBERTO DOS SANTOS_DIS.pdf: 1271475 bytes, checksum: 856ae87ad633d3c772b413816caa43d1 (MD5) Previous issue date: 2018-04-27 / It is known that linguistic processing of corpora demands high computational effort because of the complexity of its algorithms, but despite this, the results reached are better than that generated by the statistical processing, where the computational demand is lower. This dissertation describes a comparative analysis between the process linguistic and statistical of term extraction. Experiments were carried out through four corpora in English idiom, built from scientific papers, on which terms extractions were carried out using the approaches. The resulting terms lists were refined with use of relevance metrics and stop list, and then compared with the reference lists of the corpora across the recall technical. These lists, in its turn, were built from the context these corpora, whith help of Internet searches. The results shown that the statistical extraction combined with the stop list and relevance metrics can produce superior results to linguistic process extraction using the same metrics. It?s concluded that statistical approach composed by these metrics can be ideal option to relevance terms extraction, by requiring few computational resources and by to show superior results that found in the linguistic processing. / Sabe-se que o processamento lingu?stico de corpora demanda grande esfor?o computacional devido ? complexidade dos seus algoritmos, mas que, apesar disso, os resultados alcan?ados s?o melhores que aqueles gerados pelo processamento estat?stico, onde a demanda computacional ? menor. Esta disserta??o descreve uma an?lise comparativa entre os processos lingu?stico e estat?stico de extra??o de termos. Foram realizados experimentos atrav?s de quatro corpora em l?ngua inglesa, constru?dos a partir de artigos cient?ficos, sobre os quais foram executadas extra??es de termos utilizando essas abordagens. As listas de termos resultantes foram refinadas com o uso de m?tricas de relev?ncia e stop list, e em seguida comparadas com as listas de refer?ncia dos corpora atrav?s da t?cnica do recall. Essas listas, por sua vez, foram constru?das a partir do contexto desses corpora e com ajuda de pesquisas na Internet. Os resultados mostraram que a extra??o estat?stica combinada com as t?cnicas da stop list e as m?tricas de relev?ncia pode produzir resultados superiores ao processo de extra??o lingu?stico refinado pelas mesmas m?tricas. Concluiu se que a abordagem estat?stica composta por essas t?cnicas pode ser a op??o ideal para extra??o de termos relevantes, por exigir poucos recursos computacionais e por apresentar resultados superiores ?queles encontrados no processamento lingu?stico.

Made available in DSpace on 2015-03-03T15:15:26Z (GMT). No. of bitstreams: 1 EliangelaPB_DISSERT.pdf: 614353 bytes, checksum: 050737d0ef158e6082d81254619adac0 (MD5) Previous issue date: 2011-09-19 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Considering a non-relativistic ideal gas, the standard foundations of kinetic theory are investigated in the context of non-gaussian statistical mechanics introduced by Kaniadakis. The new formalism is based on the generalization of the Boltzmann H-theorem and the deduction of Maxwells statistical distribution. The calculated power law distribution is parameterized through a parameter measuring the degree of non-gaussianity. In the limit = 0, the theory of gaussian Maxwell-Boltzmann distribution is recovered. Two physical applications of the non-gaussian effects have been considered. The first one, the -Doppler broadening of spectral lines from an excited gas is obtained from analytical expressions. The second one, a mathematical relationship between the entropic index and the stellar polytropic index is shown by using the thermodynamic formulation for self-gravitational systems / Considerando um g?s ideal n?o relativ?stico, os fundamentos da teoria cin?tica padr?o s?o investigados no contexto da mec?nica estat?stica n?o-gaussiana introduzida por Kaniadakis. O novo formalismo ? baseado na generaliza??o do teorema-H de Boltzmann e na dedu??o de Maxwell da distribui??o estat?stica. A distribui??o lei de pot?ncia calculada ? parametrizada por um par?metro medindo o grau de n?o-gaussianidade do sistema. No limite = 0, a teoria gaussiana de Maxwell-Boltzmann ? recuperada. Duas aplica??es dos efeitos n?o-gaussiano s?o estudados. Na primeira, o -alargamento Doppler das linhas espectrais de um g?s excitado ? obtido a partir das express?es anal?ticas. Na segunda, uma rela??o matem?tica entre o ?ndice entr?pico e o ?ndice politr?pico estelar ? mostrada usando uma formula??o termodin?mica para sistemas autogravitantes

Made available in DSpace on 2015-04-14T14:12:37Z (GMT). No. of bitstreams: 1 419236.pdf: 2478367 bytes, checksum: 57d1143dd1a00212bc87ec52f8b52739 (MD5) Previous issue date: 2009-08-28 / Este estudo teve como objetivo investigar as concep??es dos alunos do Curso Normal M?dio a respeito do ensino de Matem?tica e de Estat?stica e comparar a percep??o dos alunos do 3? e 4? anos sobre a Estat?stica a partir de duas abordagens de ensino: aula tradicional e aula com utiliza??o de recursos computacionais. O delineamento deste estudo foi do tipo observacional descritivo. Participaram numa primeira etapa todos os alunos de um curso Normal M?dio de uma Escola do interior ga?cho e numa segunda etapa os alunos do 3? e 4? anos deste mesmo curso. Foram aplicados dois question?rios, sendo que no primeiro foi investigada a percep??o dos alunos em rela??o ? Estat?stica, bem como a satisfa??o com rela??o ? carga hor?ria da disciplina de Matem?tica no curso Normal M?dio. Tamb?m os alunos responderam como classificariam o relacionamento deles com a disciplina de Matem?tica e ainda apresentaram sugest?es de mudan?as na sua forma de ensino. O segundo question?rio teve como objetivo fazer uma coleta de dados para a organiza??o de um banco de dados. A proposta de trabalho foi desenvolvida no primeiro trimestre de 2009, a partir do banco de dados obtido. Com os alunos do 3? ano utilizou-se o m?todo chamado de tradicional de ensino, em sala de aula, com aulas expositivas e dialogadas e no 4? ano no laborat?rio de inform?tica fazendo uso de planilha eletr?nica. As principais atividades desenvolvidas foram: constru??o de tabelas, gr?ficos, cruzamento de dados e c?lculos estat?sticos. No final das atividades foi aplicado um novo question?rio envolvendo as turmas de 3? e 4? anos visando coletar informa??es para fazer uma an?lise comparativa das duas formas de abordagem de ensino. Em rela??o ?s aulas tradicionais os alunos afirmaram que as aulas eram repetitivas e pouco interessantes, ao passo que, as aulas com recursos computacionais tornavam o trabalho atrativo, criativo, inovador e o professor sendo um mediador do conhecimento.

Made available in DSpace on 2015-12-03T18:33:06Z (GMT). No. of bitstreams: 1 Robson_Quinello.pdf: 2050383 bytes, checksum: 7903668378dee5cb7851cf3a27a13555 (MD5) Previous issue date: 2005-06-14 / This study has for objective to analyze the Six Sigma Process of Institutionalization in an automotive company located in Grande ABC - S??o Paulo state and to present a research instrument that assists measurement of the institutionality of this program. Recent research demonstrates that the practicality of the contemporaries Quality movements is not always effectively applied in the organizations, showing that rational aspects not only would be on the legitimation of these strategical choices. To understand the mechanisms of legitimation of such practice could minimize the efforts technicians and human beings demanded in the implantation of new technologies. In the last few years, theoretical projects have been considered that assist the interpretation of the organizational phenomena, between them the quality programs, through the Institutional Theory. However, the majority of these studies is based on the vision of sociologists, scientists politicians and economists who have contributed much for the development of the theory. The contribution of this work is to offer another vision: of the administrator, inserting new perspectives in the speech of the theoretical construction of this movement. The object of this analysis - the Six Sigma Program is a relatively new model for the automobile, therefore is of interest for those who investigate the new organizational paradigms. This way, due to low the frequency of national and international academic works that tested the institutionalization process of quality programs under the optics of the new-institutionalist school, it was looked to delineate a questionnaire contend variable-key of the stages that would take the legitimation of the program. Giving sustentation to the results of this quantitative phase, we opted to the contribution two other qualitative instruments: a focus group and some individual interviews, generating a triangulation method. The results pointed out that professed models are not always effectively practiced in the organizations, suggesting gaps between institutional and practical act of day-by-day. Through the analysis of the triangulation it can be evidenced that the Six Sigma program, in this organization, surpassed the stage of habitualization, but it was not sedimented. This intermediate phase is called objetification or half-institutional stage. The applied instruments of research have revealed good to the study and can contribute, since duly is suitable, for the institutionalization process analysis of other institutional programs. The cycle of this research, as well as the proper Institutional Theory, is not locked in. It only extends itself instigating new academic contributions in the field of organizational studies. / Este trabalho tem por objetivo analisar o Processo de Institucionaliza????o do Seis Sigma em uma empresa do setor automotivo localizada no Grande ABC - Estado de S??o Paulo e apresentar um instrumento de pesquisa que auxilie a mensura????o da institucionalidade do programa. Pesquisas recentes demonstram que as pr??ticas dos movimentos contempor??neos da Qualidade nem sempre s??o efetivamente aplicadas nas organiza????es, mostrando que aspectos n??o apenas racionais estariam ligados ?? legitima????o destas escolhas estrat??gicas. Entender os mecanismos de legitima????o de tais pr??ticas poderia minimizar os esfor??os t??cnicos e humanos exigidos na implanta????o de novas tecnologias. Nos ??ltimos anos foram propostos esquemas te??ricos que auxiliaram a interpreta????o dos fen??menos organizacionais, entre eles os programas de qualidade, atrav??s da Teoria Institucional. Entretanto, a maioria destes estudos est?? baseada na vis??o de soci??logos, de cientistas pol??ticos e de economistas que muito contribu??ram para o desenvolvimento da teoria. A colabora????o deste trabalho est?? em oferecer uma outra vis??o - a do administrador, inserindo no debate da constru????o te??rica deste movimento, novas perspectivas. O objeto desta an??lise - o Programa Seis Sigma ?? um modelo relativamente novo para as automobil??sticas, portanto de interesse para ??queles que investigam novos paradigmas organizacionais. Para tanto, devido a baixa freq????ncia de trabalhos acad??micos nacionais e internacionais que testassem o processo de institucionaliza????o de programas da qualidade sob a ??tica da escola neo-institucionalista, procurou-se delinear um question??rio contendo as vari??veis-chave das etapas que levariam a legitima????o do programa. Dando sustenta????o aos resultados desta fase quantitativa, optou-se pela conjuga????o de outros dois instrumentos qualitativos: um grupo de foco e algumas entrevistas individuais, gerando uma triangula????o metodol??gica. Os resultados apontaram que modelos professados nem sempre s??o efetivamente praticados nas organiza????es, sugerindo distanciamento entre discursos institucionais e pr??ticas do dia-a-dia. Atrav??s da an??lise da triangula????o metodol??gica pode-se constatar que o programa Seis Sigma, nesta organiza????o, superou a etapa de habitualiza????o, mas n??o se sedimentou. Esta fase intermedi??ria ?? denominada objetifica????o ou etapa semi-institucional. Os instrumentos de pesquisa aplicados mostraram-se adequados ao estudo e podem contribuir, deste que devidamente adaptados, para a an??lise do processo de institucionaliza????o de outros programas institucionais. O ciclo desta pesquisa, assim como a pr??pria Teoria Institucional, n??o se encerra. Ele apenas se amplia instigando novas contribui????es acad??micas no campo dos estudos organizacionais.

Made available in DSpace on 2015-12-04T11:45:32Z (GMT). No. of bitstreams: 1 Mauricio_da_Conceicao_Passos_Cerqueira.pdf: 1452284 bytes, checksum: 22ebb81abb78a4ac11bb7e1f848b2961 (MD5) Previous issue date: 2004-09-27 / The principal aim of this dissertation it's to verifying if the use of Information Technology (I.T.) in a Insurance Broker Company provides best information to this. The major emphasis in I.T. occurs in the implantation of a corporative data warehouse that lately should be used like a query source. In the proposed model, are use some others tools with specific application. First, it's proposed the Activity Based Costing (ABC) like a pattern for input data. It's be used in searching of the data quality. It's used too the Bayesian Theorem like a statistical tool in search of the best use for selected information during the decision-making process. Evaluating the use of data warehouse with this tools, it's make use of Quantified Exception Decision with the aim to compare the actual situation, the solution project and the future scenery. In the conclusion of this work, using DEQ tool, it was possible to prove the hypothesis of competitive improvement across the use of Information Technology (I.T.). It's proposed that I.T. can produce good effects to other kinds of companies and not only to Insurance Broker Companies. / O objetivo principal desta disserta????o ?? verificar se a utiliza????o da Tecnologia da Informa????o (T.I) em uma Corretora de Seguros faz com que a empresa obtenha melhores informa????es. A ??nfase maior em Tecnologia da Informa????o est?? a proposta de implanta????o de um data warehouse corporativo que posteriormente serviria de fonte de consultas. O modelo proposto, s??o utilizadas outras ferramentas com fins espec??ficos. Primeiramente, ?? colocado o custeio por Atividade (Activity Based Costing - ABC) como uma forma de padroniza????o na entrada de dados. Sua utiliza????o se d?? pela busca na qualidade dos dados. ?? utilizada tamb??m o Teorema de Bayes como ferramenta estat??stica na busca de melhor direcionamento das informa????es selecionadas durante o processo de tomada de decis??es. Avaliando a utiliza????o do data warehouse com estas duas ferramentas como acess??rios, faz-se uso da ferramenta de Decis??o por Exce????o Quantificada (DEQ) com o intuito de comparar a situa????o atual, do projeto da solu????o e do cen??rio futuro. Na conclus??o deste trabalho, por meio da ferramenta DEQ, foi poss??vel a comprova????o da hip??tese de gera????o de melhores informa????es atrav??s da utiliza????o da Tecnologia da Informa????o (T.I.). Tamb??m sugere-se que a T.I. pode produzir efeitos ben??ficos em outras empresas e ao somente a Corretoras de Seguros.

Un sitio arqueológico urbano es una realidad diversa y compleja, cuyo conocimiento, protección y puesta en valor necesariamente debe de realizarse dentro de la concepción unitaria e integral que ofrece la Gestión del Patrimonio. En este marco general, la figura del parque ecoarqueológico se ha convertido en un modelo en donde es posible interrelacionar de forma eficaz los planes de gestión y los de investigación, con objeto de alcanzar una finalidad social. En esta tesis se defiende una propuesta metodológica integral para la investigación de un sitio arqueológico que se basa en la aplicación sistemática, secuencial y sumatoria de un conjunto de estudios fundamentados en la prospección arqueológica. Se ha tomado como ejemplo la serie de trabajos que se han desarrollado y puesto en práctica en el Parque Ecoarqueológico de Xoclán, en la ciudad de Mérida, Yucatán, que alberga vestigios arqueológicos de un sitio maya prehispánico. La aplicación de estos estudios ha permitido realizar, en un primer momento, una aproximación al sitio de carácter diagnóstico; y, posteriormente, obtener un conocimiento preciso del mismo con el menor impacto posible sobre el patrimonio cultural y natural del parque. De este modo, se ha proporcionado una información cuantitativa y cualitativa con respecto al sitio arqueológico y al espacio en donde éste se halla, la cual ha podido ser utilizada por los responsables del parque tanto para la gestión inmediata del mismo como para el diseño de futuras actuaciones. / An urban archaeological site is a diverse and complex reality, whose knowledge, protection and valorization must necessarily be conducted within the unitary and integral design that offers the Heritage Management. Within this general framework, the figure of the Ecoarchaeological Park has become a model where it’s possible to interact effectively management and research goals, in order to achieve a social objective. In this thesis, we defend an integral methodological proposition for the investigation of an archaeological site, based on the systematic, sequential and summation implementation of a set of studies based on the archaeological prospecting. The series of works which have been developed and implemented in the Xoclán Ecoarchaeological Park, in the city of Mérida, Yucatán, which hosts archaeological vestiges of a pre-Columbian maya site, had taken as an example. The application of these studies has allowed to realize, at first, a diagnostic approximation to the site; and, later, to obtain a precise knowledge of the same one with the least possible impact on the cultural and natural heritage of the Park. In this way, a quantitative and qualitative information on the archaeological site and the space where it is has been provided, which has been able to be used by the Park Administrations for the immediate management actions and for the design of future activities.