Metodologia de Verificação Funcional para Circuitos Analógicos

This work proposes a new methodology to verify those analog circuits, providing an automated tools to help the verifiers to have a more truthful result. This work presents the development of new methodology for analog circuits verification. The main goal is to provide a more automated verification process to certify analog circuits functional behavior. The proposed methodology is based on the golden model technique. A verification environment based on this methodology was built and results of a study case based on the validation of an operational amplifier design are offered as a confirmation of its effectiveness. The results had shown that the verification process was more truthful because of the automation provided by the tool developed

Diretrizes para cessação do tabagismo - 2008

Estas diretrizes constituem uma ferramenta atualizada e abrangente para auxiliar o profissional de saúde na abordagem do tabagista, recomendando atitudes baseadas em evidências clínicas como a melhor forma de conduzir cada caso. de forma reduzida e mais objetiva possível, o texto final foi agrupado em dois grandes itens: Avaliação e Tratamento. Os dois itens apresentam comentários e níveis de recomendação das referências utilizadas, bem como algumas propostas de abordagem, como por exemplo, redução de danos, em situações específicas ainda pouco exploradas, como recaídas, tabagismo passivo, tabagismo na categoria médica e uso de tabaco em ambientes específicos.

Modelo operacional do estudo de caso como estratégia de ensino na disciplina de enfermagem médico-cirúrgica: avaliação dos alunos

O estudo trata-se de uma pesquisa descritiva, com o objetivo de avaliar as contribuições e dificuldades sentidas pelos alunos, na utilização do Modelo Operacional do Estudo de Caso, proposto pelas autoras como uma das estratégias de ensino utilizada pela disciplina de Enfermagem Médico-Cirúrgica. Para instrumentalizar e operacionalizar a análise de conteúdo das respostas concedidas pelos alunos, utilizamos da análise temática, segundo Bardin. Com a realização desta investigação concluímos que os alunos reconhecem o modelo como estratégia de ensino na formação dos mesmos, principalmente, quanto ao conhecimento teórico-prático da assistência (70%) que este oferece, estimulando-os à autonomia na tomada de decisões e solução de problemas na área, além de incentivá-los na utilização do acervo da biblioteca. A outra contribuição está relacionada ao conhecimento referente à metodologia científica (30%), onde o modelo emerge a eles como uma estratégia de iniciação a esta atividade. As dificuldades sentidas pelos alunos na elaboração do estudo de caso ocorreram nas seguintes etapas: - no levantamento bibliográfico (58%), principalmente, quanto a falta de bibliografia específica e recente na área de enfermagem e ao não acesso dos alunos da graduação aos índices informatizados: - na redação do trabalho(27%), porém ao mesmo tempo revelando que o estudo de caso propiciou conhecimentos básicos de como elaborar e escrever um trabalho científico; dentre outras (15%).

U-ages in soils and groundwater evidencing wet periods 400-600 kyr ago in southeast Brazil

U-238 and its radiogenic daughter U-234 have been utilized for dating soil formation and groundwater residence time during the last 1.5 million years, in this case based on the U-clissolution/precipitation occurring during modifications of the oxidation-reduction conditions. In this paper, we report a 400-600 kyr proxy of wet periods from sediments occurring in a soil profile developed over rocks outcropping at the Parana sedimentary basin in Brazil, and from groundwater exploited of Guarani aquifer at the same basin. The approaches indicated successful use of the U-modeled ages for suggesting wet periods exceeding the past 116-210 kyr from previous studies. (C) 2007 Elsevier Ltd. All rights reserved.

Urban Traffic Control and Monitoring - An Approach for the Brazilian Intelligent Cities Project

This paper describes an urban traffic control system which aims at contributing to a more efficient traffic management system in the cities of Brazil. It uses fuzzy sets, case-based reasoning, and genetic algorithms to handle dynamic and unpredictable traffic scenarios, as well as uncertain, incomplete, and inconsistent information. The system is composed by one supervisor and several controller agents, which cooperate with each other to improve the system's results through Artificial Intelligence Techniques.

Functional and esthetic rehabilitation with In-Ceram alumina and zirconia system: A multidisciplinary approach

The development of all-ceramic systems following metalceramics restorations allowed simulation of natural dentition due to favorable esthetics and resistance. In-Ceram is an alternative when esthetics is primordial as well as resistance required in rehabilitation. However, an ideal smile is associated to not only shape, color, texture and translucency but also harmony with gingival tissue. So, the aim of this study is to report a clinical case based on periodontal and fixed partial dentures principles to perform periodontal plastic surgery followed by esthetic rehabilitation. A female patient, 40-year-old, presented complaint about dental esthetics. After clinical and radiographic exams, metal-ceramics crowns (teeth 11, 12, 13, 21, 22 and 23) were considered unsatisfactory due to marginal leakage, color change in gingival tissue associated to metallic margin, and gummy smile. So, a crown lengthening surgery of anterior teeth was performed followed by rehabilitation of superior teeth with In-Ceram single crowns. Clinical significance: The interaction between periodontics and fixed prosthodontic area is the key of an adequated treatment planning which involves gingival smile to provide function and an esthetic condition in association with an esthetic, resistant and predictable material.

Dimensional effects on the momentum distribution of bosonic trimer states

The momentum distribution is a powerful probe of strongly interacting systems that are expected to display universal behavior. This is contained in the contact parameters which relate few- and many-body properties. Here we consider a Bose gas in two dimensions and explicitly show that the two-body contact parameter is universal and then demonstrate that the momentum distribution at next-to-leading order has a logarithmic dependence on momentum which is vastly different from the three-dimensional case. Based on this, we propose a scheme for measuring the effective dimensionality of a quantum many-body system by exploiting the functional form of the momentum distribution. © 2013 American Physical Society.

Advanced network reconfiguration system applied to CEMIG-D system

In the network reconfiguration context, the challenge nowadays is to improve the system in order to get intelligent systems that are able to monitor the network and produce refined information to support the operator decisions in real time, this because the network is wide, ramified and in some places difficult to access. The objective of this paper is to present the first results of the network reconfiguration algorithm that has been developed to CEMIG-D. The algorithm's main idea is to provide a new network configuration, after an event (fault or study case), based on an initial condition and aiming to minimize the affected load, considering the restrictions of load flow equations, maximum capacity of the lines as well as equipments and substations, voltage limits and system radial operation. Initial tests were made considering real data from the system, provided by CEMIG-D and it reveals very promising results. © 2013 IEEE.

Uma abordagem nebulosa de raciocínio baseado em casos para recomendação de sistemas marítimos de produção de petróleo

Pós-graduação em Ciência da Computação - IBILCE

Educação matemática online: a elaboração de projetos de modelagem

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

Bayesian inference for two-parameter gamma distribution assuming different noninformative priors

In this paper distinct prior distributions are derived in a Bayesian inference of the two-parameters Gamma distribution. Noniformative priors, such as Jeffreys, reference, MDIP, Tibshirani and an innovative prior based on the copula approach are investigated. We show that the maximal data information prior provides in an improper posterior density and that the different choices of the parameter of interest lead to different reference priors in this case. Based on the simulated data sets, the Bayesian estimates and credible intervals for the unknown parameters are computed and the performance of the prior distributions are evaluated. The Bayesian analysis is conducted using the Markov Chain Monte Carlo (MCMC) methods to generate samples from the posterior distributions under the above priors.

El caso de enseñanza en la formación del Pedagogo 1989-0257

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

Experimentação-com-Geogebra: revisitando alguns conceitos da análise real

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Mapeamento do conhecimento no processode atribuição de aulas em Escolas Técnicas

This article has the objective to describe the importance of management knowledge. And, for that, we have done a study upon a case, based on the mapping of the process of classes distribution in the Escolas Técnicas do Centro Paula Souza. The management of knowledge is a way to provide it to the people, considering that knowledge becomes a fundamental and necessary resource to the development of the privante or public organizations. The use of knowledge maps becomes a crucial factor in this process of transformation of tacit knowledge into explicit, because having a high knowledge level, and socialize it, is as essential and important as all the other resources that exist within the institutions.

Projeto gráfico de livros didáticos da educação de jovens e adultos: análise sob a perspectiva dos docentes de escolas de Bauru (SP) e de Avaré (SP)

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