Técnicas probabilísticas para análise de yield em nível elétrico usando propagação de erros e derivadas numéricas

Em tecnologias nanométricas, variações nos parâmetros CMOS são um desafio para o projeto de circuitos com yield apropriado. Neste trabalho nós propomos uma metodologia eficiente e precisa para a modelagem estatística de circuitos. Propagação de erros e técnicas numéricas são aplicadas para a modelagem em nível elétrico de variações aleatórias e sistemáticas durante o processo de fabricação. O modelo considera covariâncias entre os parâmetros e correlação espacial, e tem como saída os estimadores estatísticos que podem ser usados em ferramentas de mais alto nível, tais como ferramentas de análise estatística de atraso (SSTA). Além disso, desenvolvemos uma metodologia para a análise quantitativa da contribuição de cada parâmetro para a variância da resposta do circuito. Como estudos de caso, modelamos o yield de uma memória SRAM e uma porta NOR dinâmica de pré-carga. No primeiro, consideramos o impacto do comprimento do canal e da tensão de limiar no tempo de acesso da célula de memória SRAM. Nós desenvolvemos um modelo probabilístico para o atraso de uma NOR dinâmica com keeperb estático, considerando variações na largura do canal e na tensão de limiar. Comparamos os resultados calculados pela metodologia proposta com dados estatístico obtidos a partir de simulações Monte Carlo. Reportamos ganho de desempenho de 70×, com um erro menor que 1%

Técnicas probabilísticas para análise de yield em nível elétrico usando propagação de erros e derivadas numéricas

Em tecnologias nanométricas, variações nos parâmetros CMOS são um desafio para o projeto de circuitos com yielda apropriado. Neste trabalho nós propomos uma metodologia eficiente e precisa para a modelagem estatística de circuitos. Propagação de erros e técnicas numéricas são aplicadas para a modelagem em nível elétrico de variações aleatórias e sistemáticas durante o processo de fabricação. O modelo considera covariâncias entre os parâmetros e correlação espacial, e tem como saída os estimadores estatísticos que podem ser usados em ferramentas de mais alto nível, tais como ferramentas de análise estatística de atraso (SSTA). Além disso, desenvolvemos uma metodologia para a análise quantitativa da contribuição de cada parâmetro para a variância da resposta do circuito. Como estudos de caso, modelamos o yield de uma memória SRAM e uma porta NOR dinâmica de pré-carga. No primeiro, consideramos o impacto do comprimento do canal e da tensão de limiar no tempo de acesso da célula de memória SRAM. Nós desenvolvemos um modelo probabilístico para o atraso de uma NOR dinâmica com keeperb estático, considerando variações na largura do canal e na tensão de limiar. Comparamos os resultados calculados pela metodologia proposta com dados estatístico obtidos a partir de simulações Monte Carlo. Reportamos ganho de desempenho de 70×, com um erro menor que 1%

Técnicas probabilísticas para análise de yield em nível elétrico usando propagação de erros e derivadas numéricas

Em tecnologias nanométricas, variações nos parâmetros CMOS são um desafio para o projeto de circuitos com yielda apropriado. Neste trabalho nós propomos uma metodologia eficiente e precisa para a modelagem estatística de circuitos. Propagação de erros e técnicas numéricas são aplicadas para a modelagem em nível elétrico de variações aleatórias e sistemáticas durante o processo de fabricação. O modelo considera covariâncias entre os parâmetros e correlação espacial, e tem como saída os estimadores estatísticos que podem ser usados em ferramentas de mais alto nível, tais como ferramentas de análise estatística de atraso (SSTA). Além disso, desenvolvemos uma metodologia para a análise quantitativa da contribuição de cada parâmetro para a variância da resposta do circuito. Como estudos de caso, modelamos o yield de uma memória SRAM e uma porta NOR dinâmica de pré-carga. No primeiro, consideramos o impacto do comprimento do canal e da tensão de limiar no tempo de acesso da célula de memória SRAM. Nós desenvolvemos um modelo probabilístico para o atraso de uma NOR dinâmica com keeperb estático, considerando variações na largura do canal e na tensão de limiar. Comparamos os resultados calculados pela metodologia proposta com dados estatístico obtidos a partir de simulações Monte Carlo. Reportamos ganho de desempenho de 70×, com um erro menor que 1%

Modelagem física e numérica da infiltração e escoamento em superfícies não saturadas e com cobertura vegetativa

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2019.Entender o dinamismo entre as interações hidrológicas e agrogeotécnicas, representadas pelo coeficiente de escoamento superficial, C, é extremamente importante e necessário para compreensão dos fenômenos de infiltração, percolação e escoamento superficial, principalmente quando existe a presença da cobertura vegetativa. Adoções equivocadas de C com base em julgamento pessoal (a partir de tabelas e ábacos previamente desenvolvidos para outras áreas e tipos de solo e cobertura), ao invés de dados de campo (modelos físicos) para estimativa de vazões de pico, podem ser preocupantes do ponto de vista do tempo de resposta, ainda pouco estudada quando se trata de presença vegetativa. Sendo assim, esta pesquisa apresenta como foi desenvolvido o modelo numérico capaz de representar e subsidiar a construção do modelo físico (simulador de chuva) para estudos hidrogeotécnicos aplicados a solos regionais goianos com e sem cobertura vegetativa do tipo gramínea (Paspalum notatum), considerando sua calibração e verificação. Apresenta também como foram as etapas de planejamento, projeto, forma de operação, escolha e uso de sensores e aplicabilidade do modelo físico, finalizando com calibração do equipamento (simulador de chuva, SC). Os resultados sobre o modelo numérico permitiram identificar que o mecanismo de escoamento superficial no SC possui três estágios com significado físico claro, apresentando valor de escoamento superficial do ponto central das amostras aproximadamente igual ao valor médio obtido a partir dos dois pontos das bordas. O efeito da espessura e grau inicial de saturação das amostras são perceptíveis, ou seja, a espessura afeta os tempos de equilíbrio das amostras como resultado de caminhos de movimento de umidade mais longos. Já o grau inicial de saturação, por outro lado, controla a condutividade hidráulica insaturada inicial e média. Os erros numéricos consideram o processo de calibração e foram satisfatórios, indicando índice de erro RMSE máximo de 0,29 e 0,11 para a modelagem com e sem consideração do efeito da cobertura vegetativa, respectivamente. Com relação ao modelo físico, possibilitou a geração de chuvas simuladas a qualquer tempo com características próximas às chuvas naturais, como: uniformidade, apresentando CUC maiores que 70%; distribuição do tamanho de gotas de chuvas, ou seja, número maior de produção de gotas de chuvas entre 2,0 e 2,5 mm; intensidade pluviométricas entre 86,0 a 220,0 mm h-1; velocidade e energia cinética potencialmente maiores que as produzidas por chuvas naturais (150%) para avaliação do solo não saturado com e sem cobertura vegetativa. Em especial, foi possível obter dados de interceptação para a espécie gramínea (Paspalum notatum) muito utilizada em obras civis (hídricas e geotécnicas) e na agronomia, girando em torno de 8,0 mm para chuvas de intensidades pluviométricas de até 86,0 mm h-1, inclinações menores que 15º e altura da gramínea de 30 cm. Por fim, o diferencial desta pequisa está no desenvolvimento de uma robusta ferramenta numérica, utilizando o software FlexPDE, capaz de considerar e representar adequadamente aos fenômenos físicos hidrológicos e geotécnicos monitorados a partir da invenção do simulador de chuva, envolvendo diferentes cenários de entrada, como: geometria e inclinação da amostra, intensidade pluviométrica, curva característica solo-água, permeabilidade saturada do solo e cobertura vegetativa, além de possibilitar o universo de aplicação para outras áreas, processos ou temas de interesse.Understanding the dynamism between hydrological and agrogeotechnical interactions, represented by the surface runoff coefficient, C, is extremely important and necessary to comprehend the infiltration, percolation and runoff phenomena, especially when there is the presence of vegetative cover. Misconceptions of C may be concerned, when based on personal judgment only (from tables and abacuses previously developed for other areas and soil types and coverage), rather than field data (physical models) for estimating peak flows. It happens just because of the response time, still little studied when it comes to vegetative presence. Thus, this scientific research shows how the numerical model, capable of representing and supporting the construction of the physical model (rain simulator), was developed for hydrogeotechnical studies applied to Goias regional soils with and without grass cover (Paspalum notatum), considering its calibration and verification. This study also presents the stages of planning, design, operation, choice, and use of sensors, as well as the applicability of the physical model, ending with equipment calibration (rain simulator, RS). The results on the numerical model allowed us to identify that the surface runoff mechanism in the RS has three stages with clear physical significance, presenting surface runoff value of the central point of the samples approximately equal to the mean value obtained from the two edge points. The effect of the thickness and the initial degree of saturation of the samples are noticeable. It means the thickness affects the equilibrium times of the samples as a result of longer humidity movement paths. The initial degree of saturation, on the other hand, controls the initial and the average unsaturated hydraulic conductivity. Numerical errors consider the calibration process and were satisfactory, indicating a maximum RMSE (Root of Mean Square Error) error-index of 0.29 and 0.11 for modeling with and without consideration of the vegetative cover effect, respectively. Regarding the physical model, it allowed the generation of simulated rainfall at any time with characteristics close to natural rainfall, such as uniformity, presenting CUC (Christiansen’s Uniformity Coefficient) greater than 70%; rain droplet size distribution, it means larger number of rain droplet production between 2.0 and 2.5 mm; rainfall intensity between 86.0 to 220.0 mm h-1; velocity and kinetic energy potentially higher than those produced by natural rainfall (150%), both considered to evaluate unsaturated soil with and without vegetative cover. In particular, it was possible to obtain interception data for the grass species (Paspalum notatum) widely used in civil works (water and geotechnical) and in agronomy, revolving around 8.0 mm for rainfall of up to 86.0 mm h-1, slopes less than 15º and grass height of 30 cm. Finally, the differential of this study is the development of a robust numerical tool, using FlexPDE software, able to properly consider and represent the hydrological and geotechnical physical phenomena monitored from the invention of the rain simulator, involving different input scenarios, such as sample geometry and slope, rainfall intensity, soil-water characteristic curve, saturated soil permeability and vegetative cover, as well as enabling the universe of application to other areas, processes or topics of interest

Ciência de dados na era da agricultura digital: anais.

Estes anais contêm o texto completo dos trabalhos apresentados no XI Congresso Brasileiro de Agroinformática (SBIAgro 2017), o qual foi promovido pela Embrapa Informática Agropecuária e pela Faculdade de Engenharia Agrícola, Instituto de Computação e pelo Centro de Pesquisas Meteorológicas e Climáticas Aplicadas à Agricultura da Universidade Estadual de Campinas (Unicamp). Esta edição do evento foi realizada no Centro de Convenções e na Casa do Lago da Unicamp, localizados na cidade de Campinas (SP). O propósito do evento foi o de reunir pesquisadores, professores, estudantes, empresários e funcionários de empresas para discutir o tema da informática aplicada à agricultura, além de promover um ambiente propício para o surgimento de novos relacionamentos, projetos e negócios.Organizadores: Jayme Garcia Arnal Barbedo, Maria Fernanda Moura, Luciana Alvim Santos Romani, Thiago Teixeira Santos, Débora Pignatari Drucker. SBIAgro 2017

Law, econometrics and statistics

Tese (doutorado)—Universidade de Brasília, Faculdade de Direito, Programa de Pós-Graduação em Direito, 2017.A presente tese busca defender do ponto de vista teórico como é necessária a interação entre o Direito de um lado e, de outro, diferentes técnicas quantitativas, tais como Estatística, Econometria, Aprendizado de Máquina, Teoria da Complexidade entre outras possibilidades quantitativas. Dar-se-á especial atenção à Econometria em razão da mesma permitir um debate a respeito do que são e de como se compreendem os fênomenos causais, tão relevantes à avaliação de diversos assuntos jurídicos.Tais técnicas quantitativas podem auxiliar a identificar padrões, tanto padrões pré-empíricos que existem na mente do intérprete, antes dele começar a pensar em como ou no que pesquisar, como padrões empíricos, que podem ser o tema central de pesquisas científicas ou mesmo podem ser objeto de decisões judiciais. Buscar-se-á, ao longo da tese, mostrar como há decisões judiciais, em especial, estrangeiras, que consideram Econometria nos julgamentos importantes. Do ponto de vista empírico, a tese analisou 6.732 decisões proferidas por conselheiros do CADE, entre 2004 e 2014, para verificar o nível do debate Estatístico e Econométrico em tal autarquia, encontrando poucas citações a termos quantitativos. Também, a tese buscou medir se a academia jurídica brasileira utiliza ou não Econometria. Para tanto, obteve-se com base em um robô, programado em phyton, uma população acessível de 381.338 trabalhos acadêmicos (de teses e dissertações) em formato eletrônico na internet. Destes trabalhos, foi sorteada uma amostra aleatória estratificada por ano, por tipo de trabalho e por Universidade, o que resultou em uma amostra de 3.202 trabalhos. A partir de tal amostra, foram contabilizadas quantas vezes apareceram, nas teses e dissertações, 23 termos quantitativos, como, por exemplo, p-valor, hipótese nula, Econometria, Intervalo de Confiança, entre outros. Apenas 2 dos 78 trabalhos jurídicos, selecionados na amostra, fizeram menção a dois termos quantitativos, sendo que nenhum trabalho jurídico chegou a efetivamente realizar uma regressão ou um teste de hipótese estatístico ou econométrico mínimo. Fez-se a nuvem de palavras de todos os trabalhos jurídicos da amostra, para ter uma noção mais ampla de quais são as palavras mais utilizadas no Direito, obtendo-se um elevado nível de autorreferência. Finalmente, pesquisou-se a Jurisprudência dos Tribunais de Justiça Estadual e os Tribunais Regionais Federais e Superiores, a partir do resultado de seus próprios buscadores. Ao digitar o termo “Direito” em tais buscadores, apareceram 14 milhões 674 mil 155 precedentes. Ao repetir a mesma metodologia com o vocábulo “mínimos quadrados”, pôde-se perceber que os mesmos buscadores indicaram apenas 7 precedentes, todos localizados em São Paulo, sendo que a grande maioria destinada a avaliar se o valor pago de indenização em casos de desapropriação do imóvel condizia com o preço médio de mercado. Em todos os precedentes, o Tribunal apenas aceitou o resultado do perito judicial, sem fazer qualquer consideração a respeito da adequação da metodologia de maneira mais aprofundada. O que se busca com a presente tese é mostrar como há outras perspectivas quantitativas que poderiam ser exploradas, para melhorar a qualidade do debate jurídico e social.The present thesis seeks to defend from the theoretical point of view how important is the interaction between Law and different quantitative techniques, such as Statistics, Econometrics, Machine Learning, Theory of Complexity among other quantitative methods. Special attention will be given to Econometrics as it allows a debate about what the causal phenomena are, and how they are understood, which are extremely relevant to the evaluation of various legal matters. Such quantitative techniques can help to identify patterns, both pre-empirical patterns, that exist in the interpreter's mind before he begins to think of how or what he will research, as empirical patterns that may be the central theme of scientific researches or even subject to judicial decisions. The thesis will show how some judicial decisions, especially foreign ones, took in consideration Econometric arguments in some important cases. From an empirical point of view, the thesis analyzed 6,732 decisions made by CADE between 2004 and 2014 to verify the level of the Statistical and Econometric debate in such Agency. The thesis found very few citations to quantitative terms in CADE´s precedent. Also, the thesis sought to measure whether the Brazilian legal academy uses or not Econometrics in its research. In order to achieve this goal, an accessible population of 381,338 academic works (of theses and dissertations) in an electronic format was obtained by the construction of a robot, programmed in phyton, that scrapped internet websites. Therefore, it was possible to draw a stratified random sample by year, by type of work and by University, which resulted in a sample of 3,202 works. From this sample, 23 quantitative terms, such as pvalue, null hypothesis, Econometrics, Confidence Interval, among others, were counted in each of the theses and dissertation. From 3,202 works, only 78 were made by Law students. And only 2 of the 78 legal studies mentioned quantitative terms. However, there were only two quantitative terms mentioned in these legal studies and no legal work ever effectively regressed or tested a minimal statistical or econometric hypothesis. The word cloud of all the juridical works of the sample was made, to have a broader notion of which words are most used in the Law, obtaining a high level of self-reference. Finally, the Jurisprudence of the State and Federal Courts were investigated, based on the results of their own search engines. When entering the term “Direito” (a Portuguese term that could be translated as "Law” or “Right") in such search engines, appeared 14 million 674 thousand 155 precedents. When repeating the same methodology with the word "least square", it was possible to notice that the same search engines indicated only 7 precedents, all located in São Paulo, being the great majority destined to evaluate if the amount paid of indemnification in cases of expropriation of the property was in line with the average market price. In all the foregoing 7 cases, the Court accepted the outcome of the judicial expert, without any consideration being given to the suitability of the methodology in more depth. The aim of this thesis is to show how there are other quantitative perspectives that could be explored to improve the quality of the legal and social debate

The physical by the systemic bias, the human at the same sharpe... and a domestic illustration : the (neo) positivist mould examined in the Antonio Cristofoletti's texts

Orientador: Archimedes Perez FilhoTese (doutorado) - Universidade Estadual de Campinas, Instituto de GeocienciasResumo: Estudos epistemológicos e historiográficos há muito chamam a atenção da comunidade científica. O elo que liga ao contexto a natureza das produções científicas é, por exemplo, uma questão que a tem atraído. A Geografia também deve a fundamentação do que nela se produz às circunstâncias e às visões de mundo operantes. Daí, então, surgir o interesse em examinar o desenvolvimento destas visões e, mais do que isso, o modo como elas se infiltram nos discursos. Esta Tese quer acordar aqueles dois estudos na exposição de um específico tema: a interatividade disciplinar (em termos de um método em comum, progressivo) corroborando a hipótese de que as fenomenologias podem encontrar relativa similitude nos aspectos funcional e/ou lingüístico. Para isso, a pesquisa empreendida examina a incorporação discursiva do referido tema; e averiguando sua ocorrência nas textualizações de um geógrafo brasileiro (Antonio Christofoletti, 1936-1999). A Tese sonda a adoção da fraseologia naturalista pelas ciências humanas ao longo da história e dá destaque àquela que, em tom sistêmico, vem sendo ainda aprimorada e replicada. E a narrativa do caso geográfico ¿ em circunstância que reaproximou a disciplina dos positivismos ¿ é precisamente veiculada pela análise de registros textuais do referido autor (pelo que eles permitem deduzir, portanto). Christofoletti contribuiu para a publicidade, na cena doméstica, da revolução metodológica advinda com a ¿Nova Geografia¿. Jogou, pois, o papel de divulgador (desde um sítio paulista) dos benefícios, mas também riscos inerentes às ferramentas que o movimento implantou (analogia fisicista, matematismos). Acontece que tais instrumentos têm sobrevivido em regime de contínua remodelagem, adensando, sobretudo, a linguagem sistêmica; conseqüentemente, persiste a sugestão de que o ecumenismo entre as ciências poderia se dar pela via de um bastante singular molde abstrato. Nesse norte, a Tese ¿ baseada em pesquisa estritamente bibliográfica ¿ inspeciona o pensamento de um autor que, recorrendo à leitura de sua época, pôs reparo prioritário na progressividade e larga aplicação do método sistêmico. De modo a esclarecer ao leitor a natureza das questões justificantes/condicionantes do mesmo pensamento, o texto compreende, inicialmente, uma coleção de temas. Destinada, então, a explicar os elementos que, concertados, ajudam a entender (como se ingredientes fossem) do que é feito o discurso científico de Christofoletti, dessa seção estrutural são extraídas ¿chaves¿. O artifício, ademais, tenciona evidenciar sua amarração ao contexto histórico, bem como sua filiação teóricofilosóficaAbstract: Epistemological and historiographical studies early draw attention of scientific community. The link that connects to the context the nature of the scientific productions is, for example, a question which has been attractive to this community. Geography also owes the foundation of its productions to the circumstances and the influential world visions. From that, then, arises the interest in examine the development of these visions and, more than that, the way they penetrate in the discourses. This Thesis wants to put in agreement the two mentioned studies during the exposition of a specific theme: the disciplinary interactivity (in terms of a common method, progressive) corroborating the hypothesis that phenomenologies may find relative similarity in functional and/or linguistic aspects. For this, the undertaken research examines the discursive incorporation of the mentioned theme; and investigating its occurrence in the textualizations of a brazilian geographer (Antonio Christofoletti, 1936-1999). The Thesis searches the adoption of the naturalistic phraseology for human sciences all along the history and emphasizes the one that, in systemic tone, is still under improvement and dissemination. About the narrative of the geographic case ¿ in circumstance that has again approximated the discipline to the positivisms ¿ it is precisely made through the analysis of the author¿s textual registers (by what the registers make possible to deduce, therefore). Christofoletti contributed to the publicity, in the domestic scene, of the methodological revolution succeeded with the ¿New Geography¿. Thus, he played the role of benefits¿ divulger (since an epicenter in Sao Paulo state) and also inherent risks to the tools that the movement introduced (physicist analogy, mathematisms). Nevertheless, such apparatuses have been surviving in continuous remodeling regime, and strengthening mainly the systemic language; consequently, the suggestion that ecumenism between the sciences could be presented through a very singular abstract mould persists. In this way, the Thesis ¿ based only on bibliographic research ¿ inspects the thought of an author that appealing to the reading of his time has dedicate attention to the progressiveness and large application of the systemic method. In order to explain the nature of the subjects that justify/condition the cited thought, the text includes, firstly, a themes collection. So that it explains the elements that (when arranged) help us to understand (as they were ¿ingredients¿) what Christofoletti¿s scientific discourse is made of, ¿keys¿ are extracted from this structural section. The artifice, furthermore, purpose to offer evidence of it linkage with the historic context, as well as its theoretical-philosophic filiationDoutoradoAnálise Ambiental e Dinâmica TerritorialDoutor em Ciência