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.

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)

Análise Biomecânica em implantes com diferentes tipos de conexão: estudo pelo MEF-3D

The aim of this study was to evaluate the biomechanical behavior of different implant connection types, by means of three-dimensional finite element analysis. 3 Three-dimensional models were created with a graphic modeling software: SolidWorks 2006 and Rhinoceros 4.0, and InVesalius (CTI, São Paulo, Brasil), the bone was obtained by computerized tomography of a sagittal section of the molar region. The model was composed by bone block with an implant (4 x 10 mm) (Conexão Sistemas de Prótese, São Paulo), with different implant connections: external hex, internal hex and Morse-taper with the corresponding prosthetic component Ucla or Morse-taper abutment. The Three-dimensional models were transferred to finite element software Femap 10.0 (Siemens PLM Software Inc., CA, USA), to generate a mesh, boundary conditions and loading. An axial (200N) and oblique load (100N) was applied on the occlusal surface of the crowns. Analyses were performed using the finite element software NEiNastran 9.0 (Noran Engineering, Inc., USA) and transferred to the Femap 10.0 to obtain the results; after the results were visualized using von Mises stress maps and Maximum stress principal. The results showed the stress distribution was similar between models, with a little superiority of Morse-taper connection. It was concluded that: the three connection types were biomechanical viable; The Morse-taper connection presented the better internal stress distribution; there was not significant biomechanical differences on the bone.

Análise das tensões em próteses implantossuportadas esplintadas, variando o tipo de conexão protética e a inclinação do implante: estudo pelo método dos elementos finitos tridimensionais não linear

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