Pereira, Pedro, Fábio Passos, and Helena M. Fino. "
Optimization-Based Design of RF-VCOs with Tapered Inductors."
Performance Optimization Techniques in Analog, Mixed-Signal, and Radio-Frequency Circuit Design. Eds. Mourad Fakhfakh, Esteban Tlelo-Cuautle, and Maria Helena Fino. Hershey, PA, USA: IGI Global, 2015. 134-157.
AbstractVoltage-Controlled Oscillators (VCOs) are widely used in wireless transceivers. Due to the stringent specifications regarding phase-noise, LC-VCOs are usually adopted. The need for maximizing phase-noise as well as minimizing the power consumption makes imperious the adoption of optimization-based design methodologies. For the optimization of the LC-VCO characteristics, special attention must be paid to the integrated inductor design, since its quality factor may have a strong influence in the LC-VCO phase-noise. Furthermore, designers must ensure that the higher limit of VCO operating frequency is sufficiently below the inductor resonant frequency. In this chapter, a study on the influence of the quality factor of the inductors on the LC-VCO overall behavior is presented. Then, optimization of integrated inductors by exploring the inductor geometric layout is presented. Finally, results obtained for the design of an LC-VCO in 130nm Technology using a previously optimized inductor are presented.
Rocha, H. O formal da matemática e o intuitivo da tecnologia: que articulação?. Atas do ProfMat 2015. Évora, Portugal: APM, 2015.
AbstractA tecnologia é cada vez mais indispensável no dia-a-dia, rodeando-nos constantemente. Para os nossos alunos é uma realidade que conhecem desde sempre e que tendem a encarar com uma naturalidade descontraída e intuitiva. A facilidade de acesso à tecnologia e o modo como esta tende a enfatizar o intuitivo e a relegar para segundo plano o formal e a demonstração matemática são o foco deste artigo. Partindo da análise de uma proposta de trabalho onde alunos de 10.º ano começam por uma abordagem intuitiva apoiada na calculadora gráfica e terminam a realizar uma demonstração da conjectura que formularam, procuro discutir a problemática. As conclusões alcançadas sugerem que é possível colocar aos alunos situações onde estes se podem aperceber da vantagem de recorrer tanto a abordagens mais formais como a abordagens mais intuitivas e isto mesmo quando a tecnologia é uma realidade em sala de aula. Sugere ainda que a realização de demonstrações pode, entre outros aspectos já identificados na literatura, dar um contributo importante para a compreensão de aspectos basilares da Matemática.
Rocha, H. O formalismo matemático num contexto de utilização da tecnologia [Mathematical proof in a context of technology integration]. Atas do XXVI SIEM. Évora: APM, 2015.
AbstractThe technology and how it tends to emphasize the intuitive and overshadow calculus and mathematical proof are the focus of this paper. The conclusions reached suggest that tasks where students might realize the usefulness of calculus as well as of more intuitive approaches are possible even when the technology is a reality in the classroom. They also suggest that proof may, among other things already identified in the literature, make an important contribution to the students’ understanding of fundamental aspects of mathematics.
A tecnologia e a forma como esta tende a enfatizar o intuitivo e a relegar para segundo plano o formal e a demonstração matemática são o foco deste artigo. As conclusões alcançadas sugerem que é possível colocar aos alunos situações onde estes se possam aperceber da vantagem de recorrer tanto a abordagens mais formais como a abordagens mais intuitivas e isto mesmo quando a tecnologia é uma realidade em sala de aula. Sugere ainda que a realização de demonstrações pode, entre outros aspectos já identificados na literatura, dar um contributo importante para a compreensão de aspectos basilares da Matemática.