In this essay we have used a qualitative interview approach to study the #Metoo movement that took place during 2017. Our aim has been to examine if ordinary Swedish citizens may have changed their views of sexual harassment in the wake of #Metoo, and if #Metoo and gender has contributed to these changes.We have carried out 8 interviews, 4 of them with men and 4 of them with women, all aged 22-25 years old and not in any close relationships or with children. Using several theories on gender roles, power structures and sex-related crimes, we put our empirical material into a theoretical context, seeking to find if our chosen theories could provide deeper explanations to the stories of our respondents and the themes we had ourselves identified.We found that the theories we had picked correlated well with our empirical material, with one important exception. While our respondents described several aspects of gender roles, power structures and sex-related crimes, the men never expressed a desire to maintain and uphold the older relationships of power within society, and instead attributed those reasonings to belong to the older generation. This turned out to partially contradict the prediction we had found in the theories.Our conclusion with this study is that there is a renewed foundation present in the viewpoints of our interviewees towards further development of the Swedish society to provide a just and equal everyday life for both women and men, to continue changing traditional gender roles and distributions of power, and that #Metoo has played a central role in that reinforcement. While these processes have been ongoing for many decades, we feel that our study has shown that #Metoo has provided a renewed boost on the path to an equal Swedish society. / Vi har gjort en kvalitativ intervjustudie om #Metoo-rörelsen som skedde under hösten 2017. Syftet var att undersöka om privatpersoners medvetenhet kring sexuella trakasserier har förändrats efter #Metoo. Vi ville även ta reda på om det är #Metoo som lett till denna eventuella förändring och om kön har haft någon påverkan på informanternas medvetenhet av #Metoo.Vi har genomfört 8 intervjuer med 4 kvinnor och 4 män, i åldrarna 22-25 år, alla våra informanter är ensamstående utan barn. Vi bearbetade det insamlade materialet genom en tematisk analys och identifierade de teman som vi fann i informanternas beskrivningar. Med hjälp av två genusteorier kring könsroller, maktstrukturer och sexualbrott har vi därefter analyserat dessa teman för att sätta våra informanters berättelser i ett teoretiskt perspektiv och för att se om teorierna kan förklara de teman som vi hade hittat i vårt material.Våra informanter beskrev många aspekter av könsroller, maktstrukturer och sexualbrott som överensstämmer med teorierna och vi fann att teorierna stämmer väl in på informanternas beskrivning av sina upplevelser med ett viktigt undantag. Det visade sig att våra manliga informanter aldrig uttryckte någon egen önskan om att behålla rådande maktförhållanden. Istället lade de dessa resonemang hos den äldre generationen män, vilket delvis gick emot vad våra teorier hade förutsett.Vår slutsats i denna studie är att de informanter vi intervjuade uppvisar en förnyad grundval för vidare förändring i det svenska samhället mot en rättvis och jämställd vardag för både kvinnor och män, att fortsätta påverka de traditionella könsrollerna och maktfördelningarna, och att #Metoo har spelat en central roll i denna förstärkning. Medan detta utvecklingsarbete redan har pågått i flera decennier, känner vi med vår undersökning att #Metoo har lett till en ökad kraft på vägen mot ett jämställt Sverige.

This diploma thesis deals with the changing status of women in the Czech society in the 70s and 80s of the 20th century, the period is called normalization. My attention is focused on the role of women in the family, in relationships, at work, educational opportunities and possibilities for filling their leisure activities. These issues are specifically examined on the example of contemporary periodicals - Vlasta magazine. After chapters dedicated to women's issues in general, it is followed an analysis of the magazine. Besides archival sources and periodicals they are also used contemporary legal norms or statistical data.

[pt] Tendo como motivação a consolidação futura de um sistema integrado de metrologia para o Ministério da Defesa, a presente dissertação de mestrado diagnostica e propõe uma re-estruturação do sistema normativo do Sistema de Metrologia Aeroespacial (SISMETRA) pertencente ao Comando da Aeronáutica (COMAER). O sistema normativo em metrologia do SISMETRA, foco deste trabalho, tem como atribuição emitir normas técnicas (NTS) que padronizem a execução das atividades relacionadas com a metrologia no âmbito do COMAER. Fundamentado em ampla pesquisa bibliográfica e no diagnóstico do acervo normativo de Normas Técnicas do SISMETRA (NTS), foi possível mapear os principais sub-processos existentes no desenvolvimento de uma NTS e propor uma sistemática alternativa mais ágil e mais eficiente. Dois projetos de normas, elaborados segundo a nova filosofia proposta e com o objetivo de sistematizar os sub-processos existentes na criação de uma NTS, foram desenvolvidos como estudos de caso para comprovar a eficiência e eficácia do método proposto. O trabalho analisou, também, a conformidade do acervo normativo do SISMETRA a procedimentos internos e preceitos estabelecidos em normas nacionais e internacionais. Como fundamentos básicos do diagnóstico, a análise tomou como substrato os princípios internacionais da normalização e o Standard Code, conforme caracterizado no Anexo 3 do Acordo de Barreiras Técnicas ao Comércio da Organização Mundial do Comércio. A análise investigou a aderência das NTS ao ABNT Guia 2 (Normalização e atividades relacionadas - vocabulário geral) e a ABNT ISO/IEC Diretiva Parte 3 (Redação e apresentação de Normas Brasileiras) e a lógica processual relacionada ao desenvolvimento, adoção e aplicação de normas no âmbito do SISMETRA. No âmbito de uma pesquisa de demanda por normas em metrologia realizada junto aos quarenta e três (43) laboratórios de calibração que integram o SISMETRA em todo o território nacional, o trabalho identificou lacunas e deficiências no sistema vigente. Como resultado foram identificados 69 novos títulos de normas/procedimentos necessários para suprir vulnerabilidades e/ou atribuir maior racionalidade a sua operação. O desenvolvimento da pesquisa de demanda por normalização em metrologia, conduzida no âmbito do SISMETRA, de per se, já estimulou ampla reflexão sobre a relevância da atividade de normalização nos laboratórios do SISMETRA sediados em todo o território nacional. Este sistema é tomado como modelo para proposição de ações futuras visando a implementação de um sistema normativo integrado. Entendido como estratégico subsídio para planejamento futuro, acredita-se que o trabalho possa colaborar para o desenvolvimento de um sistema de metrologia integrado para o atual Ministério da Defesa. / [en] Motivated by the future consolidation of an integrated metrology system for the Brazilian Defense Department, the present master s degree dissertation diagnoses and proposes the restructuring of SISMETR s (Aerospace Metrology System) standardization system, which is part of the Brazilian Air Force (COMAER). SISMETRA s standardization system, focus of this master s degree research, issues technical standards to govern the activities related to metrology within the Brazilian Air Force s scope. Based on a wide bibliographic research and on the diagnosis of SISMETRA s technical standards (NTS) collection, it was possible to map the main processes underlaid in an NTS and proposed more agile and efficient procedure. Two sets of standards were prepared, according to the new proposed philosophy, as case study to prove the efficiency of the proposed method. This master s degree research also analyzed the conformity of SISMETRA s technical standards (NTS) in conformity with internal features and precepts established on national and international standards. As a basis to the diagnosis, the study took as substratum the international principles and the Standard Code, as characterized in Annex 3 of the Agreement on Technical Barriers to Trade, of the World Trade Organization (WTO). The study contemplated the adherence of SISMETRA s Technical Standards (NTS) to the Brazilian Standards (ABNT) Guide 2 and ABNT ISO/IEC Directive - Part 3 as well as the logic that lays underneath the development, the adoption and the application of norms within the scope of the Brazilian Air Force system s metrology. As a result of a survey on demand for metrology standards performed at the 43 calibrations laboratories which integrate SISMETRA nationwide, this master s degree research carried out a thorough review of the pros and cons of the existing system, and 69 titles of standards/procedures needed to reduce (or overcome) vulnerabilities and/or to improve its operation. The development of the undertaken survey on demand for standards in metrology, by itself, have stimulated a wide reflection and awareness on the importance of the standardization within SISMETRA s laboratories nationwide. This system is considered a model for future actions to erect an integrated standardization system. Seen as strategic subsidy, this master s degree research work may contribute to a future development of an integrated metrology system to meet the Ministry of Defense s needs.

This diploma thesis is focused on period of Prague Spring 1968 and it also marginally follows its development in the following years 1969 and 1970. The thesis deals with the district of České Budějovice and studies all the key events of the year 1968 in this district and especially in its capital town. Regional events are researched and compared in the context of the whole Czechoslovakian Republic. Besides the description of the important events, the thesis is also focused on the everyday life of the town?s inhabitants in the time of the Soviet occupation. During the author?s research the records from the State Regional Archives Třeboň (the fund of South Bohemian Regional Committee of Communist Party of Czechoslovakia ? JKV KSČ) and the State District Archives České Budějovice (the fund of Town?s National Committee České Budějovice ? MěNV České Budějovice - and the chronicles) were used. The author of this thesis also worked with the period and contemporary newspapers as well as six eyewitnesses of the described events. The knowledge learned from the archive records is completed with the pieces of information from the literature. Attention in this diploma thesis is paid especially to the politics of JKV KSČ and MěNV České Budějovice in the time of the Prague Spring reforms, organizations such as KAN and K 231, daily newspaper Jihočeská pravda after the abolition of censorship, occupation of České Budějovice and other towns in the district by the Soviet forces, victims of the occupation and the events that occurred in the autumn of 1968, especially the incidents that happened during the Great October Socialist Revolution celebration.

This work focuses on the social practice of recollection, the so-called standardization in public sphere and possibilities to grasp this subject in history teaching. The aim is to describe this practice and at the same time, to define effective methods of its thematization in school environment. In the first part, I am concerned with the concepts of memory from Maurice Halbwachs to Alison Landsberg and I emphasize my preference for the concept of media memory as the basis for my further researches. Furthermore, I analyse models of historical education in Anglo-American environment on the one hand and German environment on the other hand. I analyse the strong and weak points of these models based on the concept of "historical thinking" and "historical consciousness". In the second part, I analyse the resemblance of memoir characters to the so-called standardization in movie presentations and their perception by users of the movie site www.csfd.cz. The objective of this analysis was to point out to the fact how we communicate about movies and which values are associated with watching movies. I linked the analysis of movie images and their perception to the idea of dominant cultural formations of the Czech society in Michael Kennedy's mind. I have analysed four movies, which, in my opinion, represent...

[pt] Adequação e validação de métodos econométricos para quantificar o impacto da padronização (normalização) de produtos no consumo e no bem estar dos consumidores. Três são os objetivos centrais da presente pesquisa: (i) caracterização do impacto da implementação da padronização na produção de açúcar, (ii) desenvolvimento de metodologia para a quantificação do impacto da implementação da padronização (normalização de pré-medidos) sobre o nível de produção e, portanto, sobre o bem-estar dos consumidores e (iii) análise do acervo de normas e regulamentação técnica aplicável ao setor açucareiro. Como motivação o trabalho mostra que funções da tecnologia industrial básica constituem de fato instrumentos de redução da assimetria da informação. O trabalho se desenvolveu no recente contexto de implementação de políticas públicas sociais que visam à melhoria do bem-estar de consumidores de baixa renda. O trabalho se desenvolveu em conformidade aos seguintes preceitos metodológicos: (i) revisão da literatura relacionada à assimetria da informação com o propósito de comprovar a hipótese de que a padronização de produtos pode de fato reduzir a assimetria informação; (ii) análise econométrica das sérias históricas da produção brasileira de açúcar. Os resultados do trabalho mostraram que a padronização do açúcar (normalização de pré-medidos), se devidamente implementada, pode implicar na melhoria no bem estar dos consumidores. Uma análise contra-factual clássica dos resultados consolidados mostrou que a padronização brasileira do açúcar reduziu a assimetria da informação presenciada nesse mercado, impactando num aumento de cerca de 8 porcento na produção de açúcar em 2006 devido `a padronização do produto implementada em 1992. Como conclusão a análise econométrica permitiu mostrar que a padronização de produtos constitui-se numa ferramenta estratégica a serviço do Estado promover a competitividade e como instrumento de redução de assimetria da informação em benefício do consumidor e de redução de distorções de mercados. / [en] There are two objetives in this Master dissertation in Metrology: (i) characterization of the impact of the implementation of the standardization in the production of sugar and (ii) development of methodology for quantifying the impact of the implementation of the standardization on the production level and, therefore, on the welfare of consumers. The work was motivated by the use of functions of basic industrial technology to reduce the asymmetric information as market failure is able to generate deficiencies. The investigation was developed in the recent context characterized by the implementation of social public policies aimed to improve the low income consumer s welfare. The work was developed in accordance to the following methodological precepts: (i) review of the literature on asymmetric information in order to verify the hypothesis that the products standardization can reduce the asymmetric information, generating an improvement in the consumer s welfare; (ii) econometric analysis of the Brazilian sugar production time series. As a result, the research shows that the sugar standardization, if correctly implemented, induces consumer s welfare. A contra-factual analysis of the consolidated results has shown that the Brazilian sugar standardization reduced the asymmetric information in this market. The impact of this policy was an increase in roughly 8 percent in the sugar production in 2006 due to the product standardization implemented in 1992. As a conclusion, the econometric analysis developed show that the standardization of products can be considered a powerful strategic tool. Not only to promote specific sector competitiveness, but also as an instrument to reduce the asymmetric information to the benefit of consumers.

Made available in DSpace on 2014-06-11T19:26:21Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-09-30Bitstream added on 2014-06-13T19:34:06Z : No. of bitstreams: 1 chaves_fc_me_fran.pdf: 441049 bytes, checksum: c4c916f2a887c16c914521a93c40bc37 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / A abdicação de D. Pedro I, em 7 de abril de 1831, trouxe para a sociedade que se julgava emancipada da tutela metropolitana a necessidade de inserir o Brasil no quadro das nações que se apresentavam como portadoras de uma civilização, era preciso que os homens livres do império tanto se reconhecessem quanto se fizessem reconhecer como membros de uma comunidade – “o mundo civilizado” – o qual era animado, então, pelo ideal de progresso. Coube a uma emergente elite política nacional constituída por fazendeiros, comerciantes, médicos, juristas, entre outros, que, nesse momento, assumiam o controle do país, formular as propostas norteadoras do processo de organização governamental do Brasil, por meio de um projeto civilizacional e de normalização social. O Rio de Janeiro ocupou uma posição de destaque nesse processo, devido ao seu status de capital e centro econômico do império, contudo, o rápido crescimento urbano e populacional à que essa cidade assistia, cedo, trouxe problemas relativos ao aumento da criminalidade, da vadiagem, da agitação política, em suma, à desordem das ruas. Tornou-se, então, imperioso para a administração local criar os meios aptos para controlar essa tal desordem, ou mesmo, se preciso fosse, para reprimi-la. Dentre os indivíduos propagadores dessa desordem, estavam os loucos criminosos, estes criariam um conflito de competências entre dois aparelhos de poder e de organização social, o aparelho médico e o jurídico. No seu afã de higienizar e moralizar a sociedade, adequando-a ao projeto civilizacional ao qual nos referimos, os médicos alienistas travariam uma batalha com os juristas pela preponderância e validação de seu saber no processo de punição dos insanos que cometessem crimes. A pesquisa que ora propomos objetiva avaliar o processo histórico... / The renunciation of Pedro I, on April 7, 1831, brought to the society, which was deemed as emancipated from the metropolitan custody, the need of inserting Brazil in the chart of nations considered porters of a civilization. It was necessary that free men from the empire were recognized and made recognized as members of a community – “the civilized world” –, which was very encouraged by the ideal of progress. An emerging Brazilian policy elite that included farmers, dealers, doctors, jurists, among others, who in that moment were assuming the country’s control, was responsible for creating conductive proposals of Brazil’s governmental organization process by means of a civilization project and social normalization. Rio de Janeiro occupied a great position in this process, due to its capital and empire’s business centre status. However, the fast urban and population growing that this city was seeing soon brought issues associated with crimes, vagrancy, and political conflict increase, i.e., the streets riot. Therefore, it became imperious for local administration to create the proper means to control this riot, or even if it was needed, to repress it. Among the ones who diffused this riot, the criminal ones were included, who would create a conflict of competences between two ranges of power and social organization, the medical and juridical range. Aiming at cleaning and moralizing society, adjusting it to the already mentioned civilization project, alienist physicians were starting a battle with jurists to acquire preponderancy and validation of its knowledge in the insanes’ punition process who committed crimes. The present research aims at evaluating the historical process that made such physicians become indispensable characters in the operation of the judiciary machine, by means of its investigation activity, and comprehending how a competences conflict between... (Complete abstract click electronic access below)

Il s'agit de mener une recherche sur l'éducation à la citoyenneté afin de comprendre les modalités de sa mise en œuvre en cherchant à établir des relations entre l'action et la réflexion, les pratiques et les principes épistémologiques sous-jacents. La problématique adoptée amène à interroger la réalité de cette éducation à la citoyenneté en milieu scolaire. Elle pose en particulier la question de sa transposition mais aussi celles de sa construction, de sa pérennité et des choix observés qui tendent ou non à une éducation à la citoyenneté effective. Cette recherche nécessite une première phase d'investigation s'articulant autour de la clarification du concept d'éducation à la citoyenneté et de ses référents théoriques puis passe par une phase d’analyse centrée sur la dialectique entre l’épistémologie de l'éducation à la citoyenneté et sa transposition. La recherche s’attachera donc à faire le point sur le concept d'éducation à la citoyenneté et étudiera de manière critique quelques pratiques d’enseignement et d’éducation recueillies dans un échantillon limité d’établissements. Est-il pratiqué, en milieu scolaire, une éducation à la citoyenneté ou une éducation des citoyens ? Quelle importance et quelle place pour cette éducation dans l’institution particulière qu’est l'Ecole ? En quoi la « transposition pragmatique » liée aux contraintes d’enseignement influence-t-elle les pratiques des acteurs de cette éducation ? Une seconde partie portera sur les tensions, entre les référents théoriques de cette éducation à la citoyenneté et le réel d’une activité, passées au crible d’une observation clinique, sociologique et d’entretiens avec les acteurs, vecteurs de cette éducation, pour les confronter aux traces de l’activité citoyenne. Enfin, une étude et une analyse des enseignements et des pratiques seront conduites afin d'éprouver la mise en œuvre réelle de l'éducation à la citoyenneté afin de dégager des perspectives pour le développement de cette nouvelle discipline scolaire. / This research focuses on citizenship education and understanding the way it has been integrated into schools. It attempts to establish links between action and reflection, practices and underlying epistemological principles. The approach adopted for this research leads to the interrogation of the reality of this citizenship education within upper secondary schools. In particular, the question of its transposition but also of its construction and durability is posed, as well as the observation of choices made which tend, or not, to lead to effective citizenship education. This research first requires an investigative phase that is based on clarifying the concept of citizenship education and its theoretical references, then moves on to an analytical phase centered on the dialectical relationship between citizenship education’s epistemology and its transposition. The research aims thus to report on the concept of citizenship education and to study from a critical viewpoint several teaching techniques gathered in a limited sampling of establishments. Is citizenship education or civism practiced in scholarly establishments? What importance and what place should citizenship education hold in this particular institution that is School. How does “pragmatic transposition” linked to teaching constraints influence actors of this type of education? A second part of this research will focus on the tension existing between theoretical references, sifted through a clinical and sociological observation, as well as interviews with the actors, who are the vectors of this education, confronted with practitioners’ work. Finally, a study and analysis of the practitioners’ work will be lead in order to test actual teaching of citizenship education, in order to define perspectives for developing this new scholarly discipline.

The determination of the dynamic parameters of great or complex structures can be made using modal synthesis methods subdividing the complete structure in substructures. The employment of this method may be done by using analytical or experimental procedures. Generally speaking, poor eigenvalues and eigenvectors may be identified using experimental modal synthesis methods due to a normalization deficient process of the modal bases and to the low orthogonality condition of the identified bases. The contribution of this current work is about the improvement of the great or complex structures dynamic identification process by using the experimental modal synthesis method. The basis of this research methodology is the SMFR (Modal Synthesis with Residual Flexibilities) method and an identification of the physical matrices of the system by using the experimental FRF (Frequency Response Function), called ACS (Simultaneous Curve Fitting) method. These matrices contribute to the improvement of the orthogonality conditions and normalization of the experimental modal bases. Simultaneously, two new methods (CSME and CSMF) for the automatic choice of the used substructures modal bases in the modal synthesis process have been developed. The validation procedures of these methodologies were developed by using examples of numerical simulation and experimental models. Using CSMF method, it was possible to improve the modal choice process, automatizing and minimizing the interference of the user in the modal synthesis method. In the case of experimental data with high level noise, the recommended is the iterative method. / A determinação dos parâmetros dinâmicos de estruturas grandes ou complexas pode ser feita utilizando métodos de síntese modal subdividindo a estrutura completa em subestruturas. A aplicação deste método pode ser feita utilizando formulações analítica ou experimental. Em geral, autovalores e autovetores imprecisos podem ser identificados utilizando métodos experimentais de síntese modal devido a um processo deficiente de normalização das bases modais e a condição de baixa ortogonalidade das bases identificadas. Este trabalho contribui para a melhoria do processo de identificação dinâmica de estruturas grandes ou complexas utilizando o método síntese modal experimental. A formulação utiliza como base o método SMFR (Síntese Modal com Flexibilidades Residuais) e um método de identificação das matrizes físicas do sistema usando as FRF (Função de Resposta em Freqüência) experimentais, denominado método ACS. Através dessas matrizes é possível melhorar as condições de ortogonalidade e de normalização das bases modais experimentais. Paralelamente, foram desenvolvidos dois novos métodos (CSME e CSMF) para a escolha automática das bases modais das subestruturas usadas no processo de síntese modal. As metodologias foram validadas através de exemplos de simulação numérica e modelos experimentais. Utilizando o método CSMF foi possível melhorar o processo de escolha modal, automatizando e minimizando a interferência do usuário no método de síntese modal. Através das metodologias analisadas para melhorar o processo de síntese modal experimental, recomenda-se utilizar o método iterativo quando forem utilizados dados experimentais com alto nível de ruído. / Doutor em Engenharia Mecânica

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-04-24T14:03:12Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertacao-mestrado.pdf: 2772669 bytes, checksum: 25b575026c012270168ca5a4c397d063 (MD5) / Made available in DSpace on 2017-04-24T14:03:12Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertacao-mestrado.pdf: 2772669 bytes, checksum: 25b575026c012270168ca5a4c397d063 (MD5) Previous issue date: 2015-07-29 / CNPQ / N-Graphs is a multiple conclusion natural deduction with proofs as directed graphs, motivated by the idea of proofs as geometric objects and aimed towards the study of the geometry of Natural Deduction systems. Following that line of research, this work revisits the system under a purely combinatorial perspective, determining geometrical conditions on the graphs of proofs to explain its soundness criterion and proof growth during normalization. Applying recent developments in the fields of proof graphs, proof-nets and N-Graphs itself, we propose a linear time algorithm for proof verification of the full system, a result that can be related to proof-nets solutions from Murawski (2000) and Guerrini (2011), and a normalization procedure based on the notion of sub-N-Graphs, introduced by Carvalho, in 2014. We first present a new soundness criterion for meta-edges, along with the extension of Carvalho’s sequentization proof for the full system. For this criterion we define an algorithm for proof verification that uses a DFS-like search to find invalid cycles in a proof-graph. Since the soundness criterion in proof graphs is analogous to the proof-nets procedure, the algorithm can also be extended to check proofs in the multiplicative linear logic without units (MLL−) with linear time complexity. The new normalization proposed here combines a modified version of Alves’ (2009) original beta and permutative reductions with an adaptation of Carbone’s duplication operation on sub-N-Graphs. The procedure is simpler than the original one and works as an extension of both the normalization defined by Prawitz and the combinatorial study developed by Carbone, i.e. normal proofs enjoy the separation and subformula properties and have a structure that can represent how patterns lying in normal proofs can be recovered from the graph of the original proof with cuts. / N-Grafos é uma dedução natural de múltiplas conclusões onde provas são representadas como grafos direcionados, motivado pela idéia de provas como objetos geométricos e com o objetivo de estudar a geometria de sistemas de Dedução Natural. Seguindo esta linha de pesquisa, este trabalho revisita o sistema sob uma perpectiva puramente combinatorial, determinando condições geométricas nos grafos de prova para explicar seu critério de corretude e crescimento da prova durante a normalização. Aplicando desenvolvimentos recentes nos campos de grafos de prova, proof-nets e dos próprios N-Grafos, propomos um algoritmo linear para verificação de provas para o sistema completo, um resultado que pode ser comparado com soluções para roof-nets desenvolvidas por Murawski (2000) e Guerrini (2011), e um procedimento de normalização baseado na noção de sub-N-Grafos, introduzidas por Carvalho, em 2014. Apresentamos primeiramente um novo critério de corretude para meta-arestas, juntamente com a extensão para todo o sistema da prova da sequentização desenvolvida por Carvalho. Para este critério definimos um algoritmo para verificação de provas que utiliza uma busca parecida com a DFS (Busca em Profundidade) para encontrar ciclos inválidos em um grafo de prova. Como o critério de corretude para grafos de provas é análogo ao procedimento para proof-nets, o algoritmo pode também ser estendido para validar provas em Lógica Linear multiplicativa sem units (MLL−) com complexidade de tempo linear. A nova normalização proposta aqui combina uma versão modificada das reduções beta e permutativas originais de Alves com uma adaptação da operação de duplicação proposta por Carbone para ser aplicada a sub-N-Grafos. O procedimento é mais simples do que o original e funciona como uma extensão da normalização definida por Prawitz e do estudo combinatorial desenvolvido por Carbone, i.e. provas em forma normal desfrutam das propriedades da separação e subformula e possuem uma estrutura que pode representar como padrões existentes em provas na forma normal poderiam ser recuperados a partir do grafo da prova original com cortes.