A presente pesquisa tem por objetivos identificar as contribuições: 1) da Teoria de Registros de Representação Semiótica, aliada à Teoria das Situações Didáticas, para a conceitualização da Integral de Riemann para funções de uma variável real (chamada de Integral Definida, ao longo do texto); 2) da utilização dos Mapas Conceituais para acompanhar o desenvolvimento da conceitualização da Integral Definida. É uma pesquisa qualitativa, de natureza exploratória, que tem a Engenharia Didática como metodologia de pesquisa. Os pressupostos teóricos estão alicerçados às Teorias das Situações Didáticas e à Teoria de Registro de Representação Semiótica. Os Mapas Conceituais foram usados como instrumento didático de acompanhamento. Após pesquisa bibliográfica, foi elaborada e aplicada uma sequência didática por meio de minicurso, em um grupo de treze alunos de 1º a 3º períodos dos cursos de Engenharia Civil, de Engenharia Ambiental, Engenharia de Produção e Licenciatura em Química. Na sequência didática, aplicada no período de 06 a 15 de agosto de 2012, foi solicitada, em cinco momentos, a elaboração e/ou alteração de um Mapa Conceitual, no software Cmap Tools, envolvendo os conteúdos das atividades. Os softwares Geogebra e wxMaxima foram usados como recursos didáticos na resolução das atividades propostas. Foi observado que a discussão em grupo e a exploração computacional trazem importantes contribuições para a aprendizagem dos conceitos. Além disso, pode-se inferir que a análise dos Mapas Conceituais elaborados pelos alunos, permite, ao professor, conhecer os aspectos que devem ser reforçados para que a compreensão do conteúdo integral definida seja amplificada, identificar possíveis obstáculos didáticos e confrontar conceitos-chave de docentes e discentes. Observou-se, ainda, que, as atividades planejadas a fim de proporcionar autonomia e ação pelo aluno, baseadas nos diferentes registros de representação semiótica, tornam-se mais propícias à atribuição de significação ao conteúdo ensinado. / The purposes of the present research are to identify the contributions of: 1) the theory of Semiotic Representation Registers, allied to theory of Didactic Situations, to the construction of the concept of Riemann‘s Integral for functions of a real variable (named as Definite Integral along the text); 2) the use of Concept Maps in order to notice the development of conceptualization of Definite Integral. It is a qualitative research, of exploratory nature, which has adopted the Didactical Engineering as research methodology. The theoretical support is based on Theories of Didactic Situations and Theory of Semiotic Representation Registers. For monitoring, the Concept Maps were used as didactic instruments. After literature review, it was developed and applied a didactic sequence, through a mini course for thirteen students of 1st to 3rd grade levels of Civil Engineering, Environmental Engineering, Production Engineering and License in Chemistry. During the didactic sequence applied from 6th to 15th of August of 2012, on five occasions, it was required the production and/or alteration of a Concept Map, in the software Cmap Tools, involving the contents of the activities. The softwares Geogebra and wxMaxima were used as didactic resources for solving the respective activities. It was observed that group discussion and computational exploration can bring about important contributions for the concepts learning. Furthermore, the analysis of the Concept Maps produced by students, allows the teacher to recognize features that should be strengthened to improve the understanding of Definite Integral content. It also allows to identify possible didactic difficulties, and to confront key-concepts of teachers and students. It was noticed that, activities planned in order to provide autonomy and attitude in the students, based on different registers of semiotic representation, are more likely to provide meanings to the taught contents.

M.Sc. / In this study we consider the problem ofestiniating the slope in the simple linear errors-in-variables model. There are two different types of relationship that can he specified in the errors-in-variables model: one that specifies a functional linear relationship and one describing a structural linear relationship. The different relationship specifications can lead to different estimators with different properties. These two specifications are highlighted in this study. A least squares solution (to the estimation of the slope) is given. The problem of finding the maximum likelihood solution to these two specifications is addressed. It is noted that an unidentifiability problem arises in this attempt. The solution is seen to lie in making assumptions on the error variances. Interval estimation for the slope parameter is discussed. It is noted that any interval estimator of the slope whose length is always finite will have a confidence coefficient of zero. Various interval estimation methods are reviewed but emphasis is mainly on the investigation of a bootstrap procedure for estimating the confidence interval for the slope parameter β. More specifically, the Linder and Babu (1994) (bootstrap) method for the structural relationship model with known variance ratio is investigated here. The error distributions were assumed normal. A simulation study based on this paper is carried out. The results in the simulation study show that this bootstrap procedure performs well in comparison with the normal theory estimates for normally distributed data, that is, it has better coverage accuracy than the normal approximation.

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1981. / MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING. / Includes bibliographical references. / by Norman August Lehtomaki. / Ph.D.

Thesis (Ph. D.)--University of California, San Diego, 2009. / Title from first page of PDF file (viewed August 11, 2009). Available via ProQuest Digital Dissertations. Vita. Includes bibliographical references (p. 134-136).

Orientador: Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-15T04:58:41Z (GMT). No. of bitstreams: 1 Silva_DanielGuerreiroe_M.pdf: 2351174 bytes, checksum: 7f8ba90b6462fe7be00711143e365482 (MD5) Previous issue date: 2009 / Resumo: O planejamento das atividades de teste tem papel essencial para qualquer equipe independente de testes que realize testes de diferentes sistemas de software, desenvolvidos por diferentes equipes de desenvolvimento. Dado que o esforço empreendido no processo de testes pode chegar até a metade do esforço total de desenvolvimento de um sistema, estimar adequadamente o esforço de testes pode evitar custos desnecessários e contribuir para a boa qualidade dos produtos. Para superar este desafio, ferramentas de aprendizado de máquina têm sido usadas em pesquisa para estimar esforço e para solucionar outros problemas de engenharia de software, principalmente porque eles constituem uma classe de problemas complexos com muitas limitações à sua solução por abordagens matemáticas clássicas. Este trabalho estuda a aplicação das ferramentas de aprendizado de máquina - redes neurais artificiais e máquinas de vetor de suporte - e de ferramentas de seleção de variáveis na solução do problema de estimar esforço de execução de testes funcionais. Um estudo do processo de execução de testes é desenvolvido e são conduzidos experimentos em duas bases de dados reais com o objetivo de propor uma metodologia adequada para abordar sistematicamente o problema, tanto em termos de qualidade de resultados como em praticidade de uso. As principais contribuições deste trabalho são: a proposta de realizar a seleção de variáveis para a síntese da base de dados; a adoção de um modelo de rede neural treinada por uma função custo assimétrica; e um estudo comparativo de desempenho dos modelos preditores / Abstract: Planning and scheduling of testing activities play a key role for any independent test team that performs tests for different software systems, produced by different development teams. Since the effort that is applied in the test process can amount to up to half of the total effort of software development, adequate estimation of test effort can prevent unnecessary costs and improve the quality of delivered products. To overcome this challenge, machine learning tools have been used in research to estimate effort and to solve other software engineering problems, mainly because they constitute a class of complex problems with many limitations to their solution by classical mathematical approaches. This work studies the application of machine learning tools - artificial neural networks and support vector machines - and variable selection tools to solve the problem of estimating the execution effort of functional tests. An analysis of the test execution process is done and experiments are performed with two real databases aimed at proposing a suitable methodology to systematically tackle this problem, considering both the quality of results and ease of application. The main contributions of this work are: the proposal of applying variable selection for database synthesis; the adoption of an artificial neural network trained with an asymmetric cost function; and a comparative study of performance with the predictive models / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

This project will focus on finding formulas for E[N(t)] using one of the classical problems in the discipline first, and then extending the scope of the problem to include overall times greater than the time t in the original problem. The expected values in these cases will be found using the uniform and exponential distributions of random variables.

Orientador: Edmundo Capelas de Oliveira / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-17T12:38:24Z (GMT). No. of bitstreams: 1 Nakamura_MarciaMayumi_M.pdf: 683963 bytes, checksum: 0fbcfd687c511e4845ba13501415f91e (MD5) Previous issue date: 2011 / Resumo: Efetuamos um estudo sistemático envolvendo o caso geral de uma equação diferencial parcial, linear, de segunda ordem, com n variáveis independentes. Particularizamos para o caso bidimensional, n = 2, duas variáveis independentes. Utilizamos o método de separação de variáveis para conduzir esta equação diferencial parcial a um conjunto de duas equações diferenciais ordinárias. Introduzimos o método de Frobenius a partir de uma particular equação diferencial ordinária, a chamada equação de Bessel. Como aplicação, apresentamos e discutimos o chamado problema de forcas centrais, em particular, estudamos o problema de Kepler de onde emerge naturalmente o problema de classificação de uma cônica, onde a elipse merece tratamento destacado / Abstract: We develop a systematic study involving the general case of a second order linear partial differential equation with n independent variables. We particularize to the bidimensional case, n = 2, involving two independent variables. In this case, we present the method of separating variables to develop the partial differential equation into a set of two differential ordinary equations. We introduce the Frobenius method using a particular ordinary di1'l'erential equation, the so-called Bessel equation. As an application, we present and discuss the so-called central forces and as particular case, we study the Kepler problem from which naturally emerges the problem of the classification of a conic, where ellipse deserves special treatment / Mestrado / Equação Diferenciais / Mestre em Matemática

Dans ce travail, nous proposons des procédures de test paramétriques et nonparamétriques localement et asymptotiquement optimales au sens de Hajek et Le Cam, pour deux modèles de données de panel. Notre approche est fondée sur la théorie de Le Cam d'une part, pour obtenir les propriétés de normalité asymptotique, bases de la construction des tests paramétriques optimaux, et la théorie de Hajek d'autre part, qui, via un principe d'invariance, permet d'obtenir les procédures nonparamétriques.<p><p><p><p>Dans le premier chapitre, nous considérons un modèle à erreurs composées et nous nous intéressons au problème qui consiste à tester l'absence de l'effet individuel aléatoire. Nous<p>établissons la propriété de normalité locale asymptotique (LAN), ce qui nous permet de construire des procédures paramétriques localement et asymptotiquement optimales (“les plus stringentes”)<p>pour le problème considéré. L'optimalité de ces procédures est liée à la densité-cible f1. Ces propriétés d'optimalité sont hautement paramétriques puisqu'elles requièrent que la densité sous-jacente soit f1. De plus, ces procédures ne seront valides que si la densité-cible f1 et la densité sous-jacent g1 coincïdent. Or, en pratique, une spécification correcte de la densité sous-jacente g1 est non réaliste, et g1 doit être considérée comme un paramètre de nuissance. Pour éliminer cette nuisance, nous adoptons l'argument d'invariance et nous nous restreignons aux procédures fondées sur des statistiques qui sont mesurables par rapport au vecteur des rangs. Les tests que nous obtenons restent valide quelle que soit la densité sous-jacente et sont localement et asymptotiquement les plus stringents. Afin d'avoir des renseignements sur l'efficacité des tests<p>fondés sur les rangs sous différentes lois, nous calculons les efficacités asymptotiques relatives de ces tests par rapport aux tests pseudo-gaussiens, sous des densités g1 quelconques. Enfin, nous proposons quelques simulations pour comparer les performances des procédures proposées. <p><p><p><p>Dans le deuxième chapitre, nous considérons un modèle à erreurs composées avec autocorrélation d'ordre 1 et nous montrons que ce modèle jouit de la propriété LAN. A partir de ce résultat, nous construisons des tests optimaux, au sens local et asymptotique, pour trois problèmes de tests importants dans ce contexte :(a) test de l'absence d'effet individuel et d'autocorrélation; (b) test de l'absence d'effet individuel en présence d'une autocorrélation non<p>spécifiée; et (c) test de l'absence d'autocorrélation en présence d'un effet individuel non spécifié. Enfin, nous proposons quelques simulations pour comparer les performances des tests pseudogaussiens<p>et des tests classiques. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished