Educação estatística crítica: uma possibilidade?

Pós-graduação em Educação Matemática - IGCE

Simulação de modelagem quali-quantitativa para avaliação preliminar da qualidade da água na bacia do Ribeirão das Perdizes em Campos do Jordão/SP como subsídio ao enquadramento

Pós-graduação em Engenharia Civil e Ambiental - FEB

Modelagem e otimização por metodologia de superfícies de resposta: um estudo em arames de aço SAE 9254 para molas automobilísticas

Pós-graduação em Engenharia Mecânica - FEG

Modelos geoestatísticos espaço-tempo aplicados a dados pluviométricos no oeste do Estado de São Paulo

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Comportamento caótico em modelos matemáticos de câncer

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Ensino e aprendizagem de estatística por meio da modelagem matemática: uma investigação com o ensino médio

Pós-graduação em Educação Matemática - IGCE

Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos

A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu conseqüente desenvolvimento. Isto fez com que mecanismos para facilitar especificação, delimitação e solução de problemas passem a ser itens importantes para tais aplicações. Este trabalho propõe mecanismos para atuarem no desenvolvimento de sistemas de tempo real, com o objetivo de serem empregados como ferramenta de apoio no problema da verificação de presença de inconsistências, que podem vir a ocorrer nos vários modelos gerados partir da notação da linguagem de modelagem gráfica para sistemas de tempo real - UML-RT(Unified Modeling Language for Real Time). Estes mecanismos foram projetados através da construção de um metamodelo dos conceitos presentes nos diagramas de classe, de objetos, de seqüência, de colaboração e de estados. Para construir o metamodelo, utiliza-se a notação do diagrama de classes da UML (Unified Modeling Language). Contudo, por intermédio das representações gráficas do diagrama de classes não é possível descrever toda a semântica presente em tais diagramas. Assim, regras descritas em linguagem de modelagem OCL (Object Constraint Language) são utilizadas como um formalismo adicional ao metamodelo. Com estas descrições em OCL será possível a diminuição das possíveis ambigüidades e inconsistências, além de complementar as limitações impostas pelo caráter gráfico da UML. O metamodelo projetado é mapeado para um modelo Entidade&Relacionamento. A partir deste modelo, são gerados os scripts DDL (Data Definition Language) que serão usados na criação do dicionário de dados, no banco de dados Oracle. As descrições semânticas escritas através de regras em OCL são mapeadas para triggers, que disparam no momento em que o dicionário de dados é manipulado. O MET Editor do SiMOO-RT é a ferramenta diagramática que faz o povoamento dos dados no dicionário de dados. SiMOO-RT é uma ferramenta orientada a objetos para a modelagem, simulação e geração automática de código para sistemas de tempo real.

Carta Económica Municipal. Comércio grossista e Indústria

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Planeamento e Ordenamento do Território

Qualidade de solo submetido a sistemas de cultivo com preparo convencional e plantio direto

O objetivo deste trabalho foi avaliar a qualidade de um Latossolo Vermelho submetido a sistemas de cultivo com preparo convencional e plantio direto. Foram estudadas duas áreas experimentais, localizadas na Embrapa Cerrados, em Planaltina, DF, com oito e dez anos de cultivo. Foram coletadas amostras de solo, em diversas profundidades, nas parcelas experimentais e em área de cerrado nativo. Os seguintes atributos foram avaliados: densidade do solo, porosidade total, capacidade de água disponível, grau de floculação, resistência do solo à penetração, teor de matéria orgânica, capacidade de troca catiônica, fósforo remanescente, carbono da biomassa microbiana e respiração basal. Os dados obtidos foram comparados a valores referenciais quanto à qualidade do solo, mediante modelagem gráfica. Observou-se que a qualidade do solo, em ambos os sistemas de cultivo, é similar quanto aos atributos físicos; os teores de matéria orgânica e fósforo remanescente também são semelhantes, mas a capacidade de troca catiônica é mais alta no solo sob plantio direto. Em relação aos atributos biológicos, o solo sob plantio direto apresenta atividade biológica mais elevada. A qualidade do solo em ambos os sistemas é similar, em relação aos atributos avaliados.

Contribuição à teoria matemática do custo padrão

A teoria do custo padrão ressente-se de um tratamento matemático, como o que aqui é proposto. Conforme foi salientado no início, este tratamento matemático, embora substancialmente simples, é todavia absolutamente rigoroso e também é completo quando visto do prisma que se adotou. Modelamos a distinção necessariamente explícita entre a produção contínua e a produção descreta, através do uso dos modelos algébricos a dois e três fatores, respectivamente. Unificamos de uma maneira sitemática a abordagem dos três elementos básicos do custo, simplificando de um lado e generalizando do outro. Esta unificação levou aos elementos diretos também, como deve ser, todo o rigorismo analítico do elemento indireto. Ampliou-see a estreita visão das variações de preço e quantidade com a consideração da variação de unidades, qua acarretou automaticamente a substituição do conceito de variação total pelo de variação total orçamentária. A modelagem algébrica não tem a vantagem da visualidade que a modelagem gráfica oferece, mas tem, por outro lado, a superioridade que a generalização apresente. Com efeito, foi a generalização das definições das variações que permitiu os resultados obtidos, aqui resumidos. Mas as razões do método gráfico são também apreciáveis.Assim, o desdobramento da variação total em variação de preço e variação de quantidade é ainda mais ressaltada pelo método gráfico, no qual se vê a variação de quantidade como o resultado de um deslocamento horizontal do ponto cuja abcissa é a quantidade e cuja ordenada é o custo total. Também a variação de preço lá aparece como o resultado da variação do coeficiente angular da reta do custo. Implicando em um deslocamento do ponto representativo da produção. Graficamente também se vê a análise das variações de preço e quantidade nas suas componentes pura e mista.Finalmente os modelos tabulares para os sistemas de produção discreto e contínuo apresentam da maneira mais simples possível todas as variações e seus respectivos custos analisadores. A forma tabular é a mais apreciada pelo administrador prático, pouco efeito à algebra e a geometria. Já o mesmo não se pode dizer do desdobramento, feito por muitos autores, da variação de preço em variação de capacidade e variação de orçamento. Da variação de capacidade já se evidenciou a inadequação do nome, dado que ela não é função da variação de preço. Isto não é mera questão teminológica. A terminologia apenas traz à luz a essência da dificuldade. E nossa proposição que este desdobramento seja descartado por ser totalmente sem significação, mesmo para o elemento indireto, para o qual foi proposto. Esta consideração é importante para a consideração da variação das unidades. Assim, introduzido o orçamento na análise das variaçãoes, a variação de orçamento que verdadeiramente merece este nome é a variação total orçamentária, ou seja, a diferença entre o custo efetivo e o custo orçado, a qual inclui como suas componentes a variação de unidades, a variação da quantidade e a variação de preço. O que é importante na análise da variação de preço é a consideração de variação mista de preço e de quantidade. Foi dado bastante destaque a este desdobramento com a apresentação de mais de um método para o tratamento analítico do desdobramento. Também foi devidamente ressaltada a questão das responsabilidades administrativas derivadas da variação mista

Avaliação da influência da angulação dos implantes com diferentes tipos de conexão protética na distribuição de tensões: estudo pelo método dos elementos finitos tridimensionais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Influência da carga oclusal parafuncional em próteses implantossuportadas, variando-se a proporção coroa/implante e o sistema de conexão protética: estudo pelo método dos elementos finitos tridimensionais

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Influência da altura da coroa em implantes osseointegrados: estudo pelo método dos elementos finitos tridimensionais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Análise das tensões em próteses unitárias implantossuportadas com diferentes tipos de conexões e qualidade óssea: estudo pelo método dos elementos finitos tridimensionais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Avaliação da distribuição das tensões em prótese do tipo “All on Four”: estudo pelo método dos elementos finitos tridimensionais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)