A presente tese tem como objetivo apresentar os resultados alcançados por meio de pesquisas sistemáticas de campo, laboratório e gabinete, que interligadas coligiram dados responsáveis uma compreensão mais assertiva sobre o modo de vida e dinâmica cultural dos grupos pré-históricos que ocuparam a Área Arqueológica de Xingó durante quase oito milênios. A pesquisa baseou-se em diferentes posicionamentos teóricos, tendo como foco as indústrias líticas evidenciadas e coletadas em dezesseis sítios arqueológicos, todos da área 03 de Xingó. Essa característica foi fundamental e nos permitiram inferir com maior segurança sobre as diferentes escolhas/estratégias envolvidas para concepção e manufatura dos conjuntos artefatuais (similaridades e diferenças), porém sempre cerceando a possibilidade de compreensão de como as populações pré-históricas que ocuparam a região estabeleceram seu sistema regional de assentamentos em terraço, tendo como hipótese norteadora que todos os sítios contemporâneos estariam conectados entre si no chamado complexo situacional de sítios. Metodologicamente, nossos dados foram sistematizados por meio da análise dos atributos formais e tecnológicos das indústrias líticas e de técnicas estatístico-comparativas, de forma que nos possibilitou reconstruir, mesmo que parcialmente, as seqüências operacionais dessa cultura material, inclusive partindo do pressuposto de variabilidade isocréstica. Em relação ao referencial teórico, foram utilizados múltiplos conceitos e abordagens que convergiram para a compreensão da paisagem enquanto construção social que, dotada de valores e significados, foi ser compreendida como o loci de ocupação continuada, ou lugares persistentes. / This thesis presents the final results of a long-term study after systematic research in field, in laboratory and in office that interconnected unify data which give us an assertive understanding of the life and cultural dynamic of prehistoric societies who occupied the Archaeological Zone of Xingo during eight thousand years. The research is based in different theoretical approaches, but focusing the lithic assemblage revealed and collected in sixteen archaeological sites, all of them into the included in the Area 3 of Xingo. These different approaches were essential in this research, giving me the opportunity to infer with security the differences on the co-participating strategies related to the conception and manufacture of the artefactual assemblages (similarities and differences), hence delimitating the possibility to understand how the Xingo an prehistoric populations established their regional settlement system on the fluvial benches. I used as a guide hypothesis the fact that all contemporaneous sites were connected among them in a situational complex of sites. Methodologically, my data was systematized through of formal analysis of the morphological and technological attributes of the lithic assemblages and through statistical-comparative techniques, which helped me to reconstruct partially the operational sequences of the material culture manufacture, including the isocrestic variability. In relation to my theoretical frames, I used multiples concepts and approaches that worked together to understand the landscape while a social construction immersed in social means and values which have been understood as a loci of continuous occupation or persistent places

Nesse trabalho buscou-se compreender como ocorreu a ocupação da Pedra Grande e o entorno, na região central do estado do Rio Grande do Sul, pelos Guarani desde o período inicial até o momento do contato, quando estes são inseridos em uma Redução Jesuítico-Guarani no início do século XVII. Com ênfase no estudo das escolhas técnicas inseridas na cadeia operatória de confecção dos artefatos cerâmicos, buscou-se perceber as permanências e as mudanças técnicas ocorridas a partir do contato nas diferentes etapas de sua confecção em relação a: a aquisição da argila, tratamento da pasta, técnicas de confecção, forma do artefato, acabamento de superfície e queima, quando as vasilhas estão prontas ao uso. Foram analisadas as coleções cerâmicas do sítio Ibm 4 Pedra Grande, onde se instalou a Redução, em comparação com os vasilhames do sítio Ibm 14 Rodolfo Mariano pertencentes a um contexto funerário datado do século XI da nossa era. A percepção da continuidade e da mudança técnica se deu pelas recorrências e variabilidades na cultura material, percebidas através de atributos técnicos aplicados a cada fragmento de artefato e com auxílio de análises de Microscopia Óptica, Fluorescência de Raios X e Difratometria de Raios X. Dessa forma, buscou-se compreender quais mudanças técnicas ocorreram inseridas num conjunto maior de transformações de todos os aspectos da cultura dentro de uma totalidade social. No momento do contato com os europeus, os Guarani se deparam com uma nova situação diferente da tradicional, em que novos artefatos e conhecimentos técnicos lhe são apresentados. Percebeu-se que dentro destas possibilidades de mudanças, os Guarani optaram por adotar algumas características técnicas novas e rejeitar outras, produzindo algumas mudanças técnicas perceptíveis no estudo da cultura material, e é sobre esse processo que procurou-se refletir na finalização do trabalho. / This work aimed at finding out how the occupation of Pedra Grande site, located at the central region of Rio Grande do Sul state, as well its surroundings, by the Guarani people, happened since the beginning of the settlement until the moment of first contact, when they were inserted into a Jesuit-Guarani settlement in the beginning of the XVII century. Focusing on the technological choices inserted in the Operation Sequence of ceramic artifact confection, one tried to notice the permanent or changed technological choices occurred from the first contact throughout the different stages of its confection considering: clay acquisition, paste treatment, techniques of manufacture, artifact forming and shaping, surface finishing, and firing, and vessels ready to be used. One analyzed the pottery collection of: Ibm 4 Pedra Grande site, where the settlement got place, in comparison to the vessels of Ibm 14 Rodolfo Mariano site that consists of a funerary context dated from the XI century from our era. The technological continuity and changing perception was possible due to the recurrence and variability on the material culture, noticed through technological attributes applied on each artifact fragment, assisted by Optical Microscopy, X Ray Fluorescence (XRF) and also X Ray Diffractometry. In this way, one searched about what technological changes occurred inserted into a bigger group of cultural transformations in a social totality. When in contact with Europeans, the Guarani people face a new situation if compared to the traditional one, in which new artifacts as well as technological knowledge are presented to them. It was noticed that among those possible changes, the Guarani people opted by adopting some of the new techniques but rejecting others, producing some of the technological changes noticed on the material culture study, which guided the final reflection in this work.

Nesse trabalho buscou-se compreender como ocorreu a ocupação da Pedra Grande e o entorno, na região central do estado do Rio Grande do Sul, pelos Guarani desde o período inicial até o momento do contato, quando estes são inseridos em uma Redução Jesuítico-Guarani no início do século XVII. Com ênfase no estudo das escolhas técnicas inseridas na cadeia operatória de confecção dos artefatos cerâmicos, buscou-se perceber as permanências e as mudanças técnicas ocorridas a partir do contato nas diferentes etapas de sua confecção em relação a: a aquisição da argila, tratamento da pasta, técnicas de confecção, forma do artefato, acabamento de superfície e queima, quando as vasilhas estão prontas ao uso. Foram analisadas as coleções cerâmicas do sítio Ibm 4 Pedra Grande, onde se instalou a Redução, em comparação com os vasilhames do sítio Ibm 14 Rodolfo Mariano pertencentes a um contexto funerário datado do século XI da nossa era. A percepção da continuidade e da mudança técnica se deu pelas recorrências e variabilidades na cultura material, percebidas através de atributos técnicos aplicados a cada fragmento de artefato e com auxílio de análises de Microscopia Óptica, Fluorescência de Raios X e Difratometria de Raios X. Dessa forma, buscou-se compreender quais mudanças técnicas ocorreram inseridas num conjunto maior de transformações de todos os aspectos da cultura dentro de uma totalidade social. No momento do contato com os europeus, os Guarani se deparam com uma nova situação diferente da tradicional, em que novos artefatos e conhecimentos técnicos lhe são apresentados. Percebeu-se que dentro destas possibilidades de mudanças, os Guarani optaram por adotar algumas características técnicas novas e rejeitar outras, produzindo algumas mudanças técnicas perceptíveis no estudo da cultura material, e é sobre esse processo que procurou-se refletir na finalização do trabalho. / This work aimed at finding out how the occupation of Pedra Grande site, located at the central region of Rio Grande do Sul state, as well its surroundings, by the Guarani people, happened since the beginning of the settlement until the moment of first contact, when they were inserted into a Jesuit-Guarani settlement in the beginning of the XVII century. Focusing on the technological choices inserted in the Operation Sequence of ceramic artifact confection, one tried to notice the permanent or changed technological choices occurred from the first contact throughout the different stages of its confection considering: clay acquisition, paste treatment, techniques of manufacture, artifact forming and shaping, surface finishing, and firing, and vessels ready to be used. One analyzed the pottery collection of: Ibm 4 Pedra Grande site, where the settlement got place, in comparison to the vessels of Ibm 14 Rodolfo Mariano site that consists of a funerary context dated from the XI century from our era. The technological continuity and changing perception was possible due to the recurrence and variability on the material culture, noticed through technological attributes applied on each artifact fragment, assisted by Optical Microscopy, X Ray Fluorescence (XRF) and also X Ray Diffractometry. In this way, one searched about what technological changes occurred inserted into a bigger group of cultural transformations in a social totality. When in contact with Europeans, the Guarani people face a new situation if compared to the traditional one, in which new artifacts as well as technological knowledge are presented to them. It was noticed that among those possible changes, the Guarani people opted by adopting some of the new techniques but rejecting others, producing some of the technological changes noticed on the material culture study, which guided the final reflection in this work.

A presente tese tem como objetivo apresentar os resultados alcançados por meio de pesquisas sistemáticas de campo, laboratório e gabinete, que interligadas coligiram dados responsáveis uma compreensão mais assertiva sobre o modo de vida e dinâmica cultural dos grupos pré-históricos que ocuparam a Área Arqueológica de Xingó durante quase oito milênios. A pesquisa baseou-se em diferentes posicionamentos teóricos, tendo como foco as indústrias líticas evidenciadas e coletadas em dezesseis sítios arqueológicos, todos da área 03 de Xingó. Essa característica foi fundamental e nos permitiram inferir com maior segurança sobre as diferentes escolhas/estratégias envolvidas para concepção e manufatura dos conjuntos artefatuais (similaridades e diferenças), porém sempre cerceando a possibilidade de compreensão de como as populações pré-históricas que ocuparam a região estabeleceram seu sistema regional de assentamentos em terraço, tendo como hipótese norteadora que todos os sítios contemporâneos estariam conectados entre si no chamado complexo situacional de sítios. Metodologicamente, nossos dados foram sistematizados por meio da análise dos atributos formais e tecnológicos das indústrias líticas e de técnicas estatístico-comparativas, de forma que nos possibilitou reconstruir, mesmo que parcialmente, as seqüências operacionais dessa cultura material, inclusive partindo do pressuposto de variabilidade isocréstica. Em relação ao referencial teórico, foram utilizados múltiplos conceitos e abordagens que convergiram para a compreensão da paisagem enquanto construção social que, dotada de valores e significados, foi ser compreendida como o loci de ocupação continuada, ou lugares persistentes. / This thesis presents the final results of a long-term study after systematic research in field, in laboratory and in office that interconnected unify data which give us an assertive understanding of the life and cultural dynamic of prehistoric societies who occupied the Archaeological Zone of Xingo during eight thousand years. The research is based in different theoretical approaches, but focusing the lithic assemblage revealed and collected in sixteen archaeological sites, all of them into the included in the Area 3 of Xingo. These different approaches were essential in this research, giving me the opportunity to infer with security the differences on the co-participating strategies related to the conception and manufacture of the artefactual assemblages (similarities and differences), hence delimitating the possibility to understand how the Xingo an prehistoric populations established their regional settlement system on the fluvial benches. I used as a guide hypothesis the fact that all contemporaneous sites were connected among them in a situational complex of sites. Methodologically, my data was systematized through of formal analysis of the morphological and technological attributes of the lithic assemblages and through statistical-comparative techniques, which helped me to reconstruct partially the operational sequences of the material culture manufacture, including the isocrestic variability. In relation to my theoretical frames, I used multiples concepts and approaches that worked together to understand the landscape while a social construction immersed in social means and values which have been understood as a loci of continuous occupation or persistent places

Les travaux présentés dans ce manuscrit portent sur la conduite de systèmes complexes critiques. Ils s'inscrivent dans le cadre du projet CONNEXION (Investissements d'Avenir, BGLE2) qui réunit les principaux acteurs de la filière nucléaire française autour de la conception des systèmes de contrôle-commande des centrales et de leur exploitation. Dans le domaine de la conduite, les actions développées par le projet concernent la phase d'ingénierie avec pour objectif d'intégrer le point de vue de l'exploitant au plus tôt dans la validation des architectures de contrôle de commande, et la phase d'exploitation avec pour objectif de fournir une aide à la préparation et à l'exécution des procédures de conduite. Dans ce contexte, la contribution présentée dans ce mémoire porte sur la génération et la vérification de séquences d'actions de conduite répondant à un objectif donné et pouvant être opérées en toute sécurité sur le procédé. L'approche proposée repose la vérification d'une propriété d'atteignabilité sur un réseau d'automates temporisés modélisant le comportement des architectures. L'originalité réside dans la définition d’un cadre formel de modélisation sous la forme de patrons favorisant la réutilisabilité des modèles ainsi que dans la proposition d'algorithmes d'abstraction et de recherche d'atteignabilité itératifs exploitant la hiérarchisation intrinsèque des architectures afin de permettre le passage à l'échelle de l'approche proposée. La contribution a été éprouvée sur la plate-forme d'expérimentation CISPI du CRAN puis sur un cas d'étude à échelle industrielle proposé dans le cadre du projet CONNEXION / The works presented in this manuscript deals with critical complex systems operation. They are part of the CONNEXION project (Investissements d'Avenir, BGLE2), which involves the main actors in the French nuclear industry around the design of control systems for power plants and their operation. In the operation field, the actions developed by the project concern the engineering phase with the aim of integrating the operator's point of view as soon as possible in the validation of control architectures, and the operation phase with the aim of providing assistance in the preparation and execution of operation procedures. In this context, the contribution presented in this manuscript deals with the generation and verification of action sequences that meet a given objective and that can be safely operated on the process. The proposed approach relies on verifying a reachability property on a network of timed automata modelling the behavior of architectures. The originality is in the definition of a formal modelling framework using patterns promoting the reusability of models, as well as in the proposition of abstraction and reachability iterative analysis algorithms exploiting the intrinsic hierarchization of architectures in order to scale-up of the proposed approach. The contribution was evaluated on the CISPI experimental platform of the CRAN, and on an industrial scale case study proposed within the framework of the CONNEXION project