In scientific applications, physical quantities and units of measurement are used regularly. If the inherent incompatibility between these different units is not handled properly it can lead to major, and sometimes catastrophic, problems. Although the risk of a miscalculation is high and the cost equally so, almost no programming languages has support for physical quantities. Instead developers often rely on external libraries to help them spot these mistakes or prevent them all together. There are several hundred of these types of libraries, spread across multiple sites and with no simple way to get an overview. No one has summarized what has and has not been achieved so far in the area leading to many developers trying to ‘reinvent the wheel’ instead of building on what has already been done. This shows a clear need for this type of research. Employing a systematic approach to look through and analyze all available physical quantity libraries, the search results were condensed into 82 libraries which are presented in this thesis. These are the most comprehensive and well-developed, open-source libraries, chosen from approximately 3700 search results across seven repository hosting sites. In this group, 30 different programming languages are represented. The goal is for the results of this thesis to contribute to a shared foundation on which to build future libraries as well as provide an easy way of spreading knowledge about which libraries exist in the area, thus making it easier for more people to use them.

Orientador: Mara Sueli Simão Moraes / Banca: Vinício de Macedo Santos / Banca: Nelson Antonio Pirola / Resumo: A presente pesquisa tem como objetivo verificar se o curso de formação Pró-Letramento Matemática contribuiu para a formação continuada dos professores das séries iniciais do ensino fundamental em Matemática, no que diz respeito ao trabalho com Grandezas e Medidas, com a inserção dos Temas Transversais/Político-Sociais. Participaram da pesquisa os professores tutures do programa Pró-Letramento Matemática São Paulo Retorno que iniciaram o curso de formação em fevereiro de 2008 e os professores cursistas do Pró-Letramento da cidade de Bauru, que realizaram o curso de formação no mesmo ano. A coleta dos dados para esta pesquisa se realizou através da aplicação de questionários ao início e término do curso de formação de tutores para o Pró-Letramento Matemática São Paulo Retorno bem como aplicação de questionários para os professores cursistas ao antes do estudo do fascículo de Grandezas e Medidas do material e realização de entrevistas ao final. Os resultados evidenciam uma melhora nos conceitos referentes a abordagem de Grandezas e Medidas com os alunos / Abstract: This research aims to verify whether the training course Pró-Letramento Matemática contributed to the continuing education of teachers in early grades of basic education in mathematics, with regard to working with Quantities and Measures, with the insertion of the Transversal Themes / Social - Political in this research participated tutors teachers of the Pró-Letramento Matemática São Paulo Retorno who began training in february 2008 and participant teachers of the Pró-Letramento in Bauru, who conducted the training course in the same year. Data collection for this research was conducted through questionnaires at the beginning and end of the course of continuing education of tutors for the Pró-Letramento Matemática São Paulo Retorno and questionnaires for the participant teachers prior to the study of the issue of Quantities and Measures of material and achievement of interviews in the final. The results show an improvement in the concepts about Quantities and Measures with the students / Mestre

Made available in DSpace on 2014-06-11T19:24:42Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-05-29Bitstream added on 2014-06-13T19:31:35Z : No. of bitstreams: 1 nocchi_ro_me_botfca.pdf: 206536 bytes, checksum: 35d2b1a1729a89a9f9ae228e40b00924 (MD5) / A cultura de cana-de-açúcar exige, para a sua produção (pré-plantio, plantio, colheita e transporte), a utilização de insumos agrícolas que geram do presente trabalho consistiu na qua econômica (receitas, custos e resultado para substituição da colheita manual, pe sa. Para tal demonstração, foram utilizadas equações algébricas e matrizes, instrumentos que permitiram o cálculo dos quantitativos energéticos e econômicos referentes às duas colheitas de cana-de-açúcar. Foram identificadas quantificações energéticas negativas para ambos os tipos da colheita, na manual (consumo da energia de 22.964.098,44 kcal/ha, produção da energia de 1.407.282,87 kcal/ha), e na mecânica (consumo da energia de 25.336.723,03 kcal/ha, produção da energia de 1.343.781,30 kcal/ha). Os resultados econômicos mostraram-se positivos : colheita manual com receitas de R$ 61.079,92, custo de produção de R$ 39.637,82 e resultado bruto de R$ 21.442,10; colheita mecânica com receitas de R$ 69.250,63, custo de produção de R$ 43.157,70 e resultado bruto de R$ 26.092,93, para ambas as colheitas de cana-de-açúcar. Além disso, verificouse a evidência clara da superioridade da colheita mecânica, tanto no aspecto energético, quanto no aspecto econômico. Palavras-chave: Cana-de-açúcar, quantificações energéticas, resultados econômicos um alto consumo energético e econômico.O objetivo ntificação energética (consumo e produção da energia) e bruto). Objetivou também a demonstração... / The culture of the sugar-cane demands, uses agricultural products and it genera work estimatives energetic quantity ( quantity (earnings, costs and brut resu tends to show that manual harvest can be substituted by the mechanic harvest, permittin it makes use of algebras and matrix equa and economics quantitatives concerning energetic quantitatives for both kinds ty the 22.964.098,44 Kcal/ha, energetic p harvest (energetic consumption of th ,03 Kcal/ha, energetic production of the 1.343.781,30 Kcal/ha). The economical results were positive: manual harvest with revenues of the R$ 61.079,92 ; expense of the production mechanical harvest with revenues of th and gross income, R$ 26.092,93 ; for b found evidence of superiority in mecanic tic and economic aspect. Keywords: Sugar-cane; energetics quantities; economical results. E ia / Área de concentração - Energia na A dade Estadual Paulista CCHI ABRIEL T a production (preplantation, plantation and transport), wich tes one high energetic and economical consumption. This consumption and production of energy) and economical lt). It also in g the best use of the biomass. For this demonstration, tions, instruments who permit the calculus of the energetics to the two harvests of the sugar-cane. It identifies negative pes of harvest; in manual harvest (energetic consumption of roduction of the 1.407.282,87 Kcal/ha), and in mechanic e 25.336.723 R$ 39.637,82 and gross income, R$ 21.442,10; e R$ 69.250,63 ; expense of the production R$ 43.157,70 oth harvests of the sugar-cane... (Complete abstract click electronic access below)

Made available in DSpace on 2014-06-11T19:24:49Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-06-01Bitstream added on 2014-06-13T19:11:36Z : No. of bitstreams: 1 paula_mkb_me_bauru.pdf: 956695 bytes, checksum: 8bc79be9ed68f6600f0e063d3b044b58 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / A presente pesquisa tem como objetivo verificar se o curso de formação Pró-Letramento Matemática contribuiu para a formação continuada dos professores das séries iniciais do ensino fundamental em Matemática, no que diz respeito ao trabalho com Grandezas e Medidas, com a inserção dos Temas Transversais/Político-Sociais. Participaram da pesquisa os professores tutures do programa Pró-Letramento Matemática São Paulo Retorno que iniciaram o curso de formação em fevereiro de 2008 e os professores cursistas do Pró-Letramento da cidade de Bauru, que realizaram o curso de formação no mesmo ano. A coleta dos dados para esta pesquisa se realizou através da aplicação de questionários ao início e término do curso de formação de tutores para o Pró-Letramento Matemática São Paulo Retorno bem como aplicação de questionários para os professores cursistas ao antes do estudo do fascículo de Grandezas e Medidas do material e realização de entrevistas ao final. Os resultados evidenciam uma melhora nos conceitos referentes a abordagem de Grandezas e Medidas com os alunos / This research aims to verify whether the training course Pró-Letramento Matemática contributed to the continuing education of teachers in early grades of basic education in mathematics, with regard to working with Quantities and Measures, with the insertion of the Transversal Themes / Social - Political in this research participated tutors teachers of the Pró-Letramento Matemática São Paulo Retorno who began training in february 2008 and participant teachers of the Pró-Letramento in Bauru, who conducted the training course in the same year. Data collection for this research was conducted through questionnaires at the beginning and end of the course of continuing education of tutors for the Pró-Letramento Matemática São Paulo Retorno and questionnaires for the participant teachers prior to the study of the issue of Quantities and Measures of material and achievement of interviews in the final. The results show an improvement in the concepts about Quantities and Measures with the students

Orientador: Luiz Roberto Almeida Gabriel / Banca: Geraldo Elvio Balistriero / Banca: Jurandir Savi / Resumo: A cultura de cana-de-açúcar exige, para a sua produção (pré-plantio, plantio, colheita e transporte), a utilização de insumos agrícolas que geram do presente trabalho consistiu na qua econômica (receitas, custos e resultado para substituição da colheita manual, pe sa. Para tal demonstração, foram utilizadas equações algébricas e matrizes, instrumentos que permitiram o cálculo dos quantitativos energéticos e econômicos referentes às duas colheitas de cana-de-açúcar. Foram identificadas quantificações energéticas negativas para ambos os tipos da colheita, na manual (consumo da energia de 22.964.098,44 kcal/ha, produção da energia de 1.407.282,87 kcal/ha), e na mecânica (consumo da energia de 25.336.723,03 kcal/ha, produção da energia de 1.343.781,30 kcal/ha). Os resultados econômicos mostraram-se positivos : colheita manual com receitas de R$ 61.079,92, custo de produção de R$ 39.637,82 e resultado bruto de R$ 21.442,10; colheita mecânica com receitas de R$ 69.250,63, custo de produção de R$ 43.157,70 e resultado bruto de R$ 26.092,93, para ambas as colheitas de cana-de-açúcar. Além disso, verificouse a evidência clara da superioridade da colheita mecânica, tanto no aspecto energético, quanto no aspecto econômico. Palavras-chave: Cana-de-açúcar, quantificações energéticas, resultados econômicos um alto consumo energético e econômico.O objetivo ntificação energética (consumo e produção da energia) e bruto). Objetivou também a demonstração... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The culture of the sugar-cane demands, uses agricultural products and it genera work estimatives energetic quantity ( quantity (earnings, costs and brut resu tends to show that manual harvest can be substituted by the mechanic harvest, permittin it makes use of algebras and matrix equa and economics quantitatives concerning energetic quantitatives for both kinds ty the 22.964.098,44 Kcal/ha, energetic p harvest (energetic consumption of th ,03 Kcal/ha, energetic production of the 1.343.781,30 Kcal/ha). The economical results were positive: manual harvest with revenues of the R$ 61.079,92 ; expense of the production mechanical harvest with revenues of th and gross income, R$ 26.092,93 ; for b found evidence of superiority in mecanic tic and economic aspect. Keywords: Sugar-cane; energetics quantities; economical results. E ia / Área de concentração - Energia na A dade Estadual Paulista CCHI ABRIEL T a production (preplantation, plantation and transport), wich tes one high energetic and economical consumption. This consumption and production of energy) and economical lt). It also in g the best use of the biomass. For this demonstration, tions, instruments who permit the calculus of the energetics to the two harvests of the sugar-cane. It identifies negative pes of harvest; in manual harvest (energetic consumption of roduction of the 1.407.282,87 Kcal/ha), and in mechanic e 25.336.723 R$ 39.637,82 and gross income, R$ 21.442,10; e R$ 69.250,63 ; expense of the production R$ 43.157,70 oth harvests of the sugar-cane... (Complete abstract click electronic access below) / Mestre

Diplomová práce se zabývá efektivitou oceňování stavební výroby. Teoretická část se věnuje oceňování stavební výroby, analýzou náročnosti oceňování, principem sestavení rozpočtů a představení BIM procesu ve stavebnictví. Praktická část se věnuje konkrétnímu způsobu zefektivnění oceňování stavební výroby. Efektivita je zkoumána ve fázi zpracování výkazu výměr, pomocí BIM modelů a porovnána s CAD modelem. Výsledkem je definování možné úspory zpracování výkazu výměr pomocí BIM modelu. Závěrečná část je věnována popisu standardizace stavebnictví.

The master’s thesis describes the problematics of construction budget errors. Based on the research and the survey among investors, designers and contractors, methodology changes are designed for a specific company in order to decrease its impact on stakeholders’ expenses, construction time and quality of the building.

O presente trabalho tem como objetivo a proposição de uma Sequência Didática (SD) com vistas ao processo de ensino e aprendizagem de adição de frações. Considerando o conjunto dos números racionais não-negativos Q+, a natureza das quantidades, bem como os diferentes significados de fração, propusemos uma SD para estudantes do 6o ano do Ensino Fundamental. A elaboração da SD tomou como base a Engenharia Didática (ED) e é composta de 3 fases: o Diagnóstico, organizado em 8 tarefas; a Experimentação, constituída de 3 Atividades, cada uma delas subdivididas em tarefas; e a Avaliação, que contém 11 tarefas. Em cada fase, as tarefas foram organizadas considerando graus de complexidades cada vez maiores. A proposição do desenvolvimento da SD precede da realização do diagnóstico, com o intuito de apresentar os objetivos, metodologia e materiais em cada uma das atividades; identificar procedimentos sobre o modo como os estudantes resolvem cada uma das tarefas e possíveis dificuldades no processo e solução. Os resultados do presente estudo mostrou-se bastante profícuo, especialmente porque coloca ao professor o desafio de elaborar atividades pensando nas diferentes perspectivas que um dado conceito contempla, e ao estudante, o papel de agente ativo no processo de aprendizagem. Assim, tem-se mais uma possibilidade metodológica para o ensino de adição de frações. / The present work proposing a Didactic Sequence (DS) with a view to the process of teaching and learning of fractions addition. Considering the set of rational numbers nonnegatives Q+, the nature of the quantities, as well as the different meanings of fraction, we proposed a DS for students of the 6th year of Elementary School. The elaboration of DS was based on Didactic Engineering (DE) and is composed of 3 phases: Diagnosis, organized in 8 tasks; Experimentation, consisting of 3 Activities, each subdivided into tasks; and Evaluation, which contains 11 tasks. In each phase, the tasks were organized considering degrees of increasing complexity. The DS development proposal precedes the diagnosis, with the purpose of presenting the objectives, methodology and materials in each of the activities; identify procedures about how students solve each of the tasks and possible difficulties in the process and solution. The results of the present study proved to be very fruitful, especially as it places the teacher in the challenge of elaborating activities, thinking about the different perspectives that a given concept contemplates, and the student, the role of an active agent in the learning process. Thus, there is a further methodological possibility for the teaching of addition of fractions.

<p>U disertaciji je predložena metoda za pouzdano otkrivanje kvara rotora<br />trofaznog kaveznog asinhronog motora. Metoda je zasnovana na<br />identifikaciji obeležja kvara rotora iz signala terminalnih veličina<br />jednofazno napojenog trofaznog kaveznog motora u stacionarnom stanju<br />pogona. Predložena metoda eliminiše potrebu za postojanja opterećenja<br />motora, što je osnovna prednost u odnosu na rešenja iz literature. Sva<br />teorijska razmatranja su praćena odgovarajućim rezultatima računarskih<br />simulacija, da bi se potom sprovela eksperimentalna verifikacija i<br />potvrdila efikasnost predložene metode. Takođe, predstavljen je<br />postupak za kvantitativnu procenu oštećenja štapnih provodnika rotora.</p> / <p>In this Doctoral dissertation, a novel method for broken rotor bar fault detection<br />in a three-phase squirrel-cage induction motor (IM) is introduced. The proposed<br />method is non-invasive and it is based on the analysis of the IM terminal<br />quantities in a single-phase steady-state operating condition. Compared to<br />conventional fault detection techniques, the developed method does not require<br />any loading on the motor, which is the main benefit of the method. The faulty<br />condition of broken rotor bars was investigated analytically, while the<br />effectiveness of the proposed method was proven by the variety of computer<br />simulations and experimental results. Based on these results, a methodology for<br />the quantification of broken rotor bars in the IM has been presented.</p>

In the field of diagnostic test studies, the accuracy of a diagnostic test is essential in evaluating the performance of the test. The receiver operating characteristic (ROC) curve and the area under the curve (AUC) are widely used in such evaluation procedures. Meanwhile, the Youden index is also introduced into practice to measure the accuracy of the diagnostic test from another aspect. The Youden index maximizes the sum of sensitivity and specificity, assuring decent true positive and negative rates. It draws one's attention due to its merit of finding the optimal cut-off points of biomarkers. Similar to Partial ROC, a new index, called "Partial Youden index" can be defined as an extension of Youden's Index. It is more meaningful than regular Youden index since the regular one is just a special case of the Partial Youden Index. In this thesis, we focus on construction of generalized confidence intervals for the Partial Youden Index and its corresponding optimal cut-off points. Extensive simulation studies are conducted to evaluate the finite sample performances of the new intervals.