API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

Exogenous induction of ovarian activity and ovulation and transfer of fresh embryos of domestic cat (Felis catus)

The objective of the present study was the exogenous stimulation of ovarian activity and definition of embryo collection, and transfer protocols, in the domestic cat for potential application in non-domestic endangered species. Sixteen adult queens and two adult male reproducers kept in the experimental cat house at the Morphology sector at the Veterinary Department (DVT), UFV, were used in this study. All the queens received a single application of 150 IU Equine Chorionic Gonadotropin (eCG) in the post estrus to induce ovarian activity and 80 to 84 hours later, received a single application of 100 UI Human Chorionic Gonadotropin (hCG) to induce ovulation. After hCG application, only the donor queens were naturally mated. The receptor queens received extra stimulus for induction of ovulation through manipulation of an intravaginal swab. Five to six days after hCG application, the donor queens were subjected to a laparotomy for embryo collection that was performed by trans-horn uterine washing. On average, six embryos were surgically inovulated. They were classified as type I and III compact morula and blastocysts in four receptor queens. Three animals presented pregnancy confirmed by ultrasound at day 36 and two of these animals gave birth to litters of two and four offsprings, respectively, at 66 and 63 days after induction of ovulation. Except for one still birth, all the offspring developed normally.

Evaluación metodológica de la relación entre presión arterial sanguinea y pliegue cutáneo: un enfoque epidemiológico

Se presentan las conclusiones de la revisión de varios trabajos que estudian la relación entre ciertas características antropométricas (pliegue del tríceps, adiposidad y circunferencia del brazo) y la presión arterial sanguinea. Después de analizar críticamente la calidad de diversos estudios basándonos en el diseño del estudio, la calidad de las mediciones y el tipo de análisis estadísticos, se encontró que en los trabajos elegidos la asociación entre el pliegue cutáneo del tríceps y la presión arterial se relaciona con tres características demográficas. Sin embargo, la pregunta sobre la independencia de esta asociación aún permanece sin respuesta. Se discute el efecto del panículo adiposo del brazo sobre la medición de la presión arterial. Se hacen una serie de recommendaciones para la medición estandarizada de la presión arterial con el fin de uniformizar el procedimiento de medida clínica y de investigación epidemiológica en esta área.

Avances y retos de la economía de la salud

La economía de la salud como especialidad, incorpora la perspectiva económica en el campo de la salud, los servicios, y el complejo médico industrial. Se presenta su evolución desde la perspectiva de sus áreas de interés y su consolidación reflejada en la generación, difusión, réplica y aplicación del conocimiento especializado.

Strange matter in the universe

The strange quark matter hypothesis is one of the most exciting speculations of the XX Century Physics. If this hypothesis is correct, the ground state of the matter would be the strange matter, which could form the core of compact objects like neutron stars or even more exotic objects like quarks stars. Due to the high-density and low-temperature regime in these stars, the interaction between quarks through gluon exchange could favor the appearance of a color superconducting state, significantl modifying the equation of state of the system. In this paper we present a general overview of this Subject, taking also into account the effect of strong magnetic field in the quark stars.

Performance of microstrip antennas in the presence of EBG in an indoor localization system

Indoor localization systems in nowadays is a huge area of interest not only at academic but also at industry and commercial level. The correct location in these systems is strongly influenced by antennas performance which can provide several gains, bandwidths, polarizations and radiation patterns, due to large variety of antennas types and formats. This paper presents the design, manufacture and measurement of a compact microstrip antenna, for a 2.4 GHZ frequency band, enhanced with the use of Electromagnetic Band-Gap (EBG) structures, which improve the electromagnetic behavior of the conventional antennas. The microstrip antenna with an EBG structure integrated allows an improvement of the location system performance in about 25% to 30% relatively to a conventional microstrip antenna.

Membrane selectivity versus sensor response in hydrogenated amorphous silicon CHEMFETs using a semi-empirical model

Toxic amides, such as acrylamide, are potentially harmful to Human health, so there is great interest in the fabrication of compact and economical devices to measure their concentration in food products and effluents. The CHEmically Modified Field Effect Transistor (CHEMFET) based onamorphous silicon technology is a candidate for this type of application due to its low fabrication cost. In this article we have used a semi-empirical modelof the device to predict its performance in a solution of interfering ions. The actual semiconductor unit of the sensor was fabricated by the PECVD technique in the top gate configuration. The CHEMFET simulation was performed based on the experimental current voltage curves of the semiconductor unit and on an empirical model of the polymeric membrane. Results presented here are useful for selection and design of CHEMFET membranes and provide an idea of the limitations of the amorphous CHEMFET device. In addition to the economical advantage, the small size of this prototype means it is appropriate for in situ operation and integration in a sensor array.

Unified min-max and interlacing theorems for linear operators

There exist striking analogies in the behaviour of eigenvalues of Hermitian compact operators, singular values of compact operators and invariant factors of homomorphisms of modules over principal ideal domains, namely diagonalization theorems, interlacing inequalities and Courant-Fischer type formulae. Carlson and Sa [D. Carlson and E.M. Sa, Generalized minimax and interlacing inequalities, Linear Multilinear Algebra 15 (1984) pp. 77-103.] introduced an abstract structure, the s-space, where they proved unified versions of these theorems in the finite-dimensional case. We show that this unification can be done using modular lattices with Goldie dimension, which have a natural structure of s-space in the finite-dimensional case, and extend the unification to the countable-dimensional case.

Gestão e monitorização de uma rede departamental: um caso de estudo

Mestrado em Engenharia Electrotécnica e de Computadores

Correntes harmónicas em lâmpadas compactas: sistema de aquisição e processamento de sinal e impacto nas instalações eléctricas

Dissertação para a obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

Controlo directo de binário de uma máquina assíncrona trifásica

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

Diagnóstico energético e reengenharia do processo de secagem na fábrica de revestimentos

Este trabalho surgiu no âmbito da Tese de Mestrado em Engenharia Química - Ramo Optimização Energética na Indústria Química, aliando a necessidade da Empresa Monteiro Ribas – Indústrias, S.A. em resolver alguns problemas relacionados com as estufas da unidade J da fábrica de revestimentos. Outro dos objectivos era propor melhorias de eficiência energética neste sector da empresa. Para tal, foi necessário fazer um levantamento energético de toda a unidade, o que permitiu verificar que as estufas de secagem (Recobrimento 1 e 2) seriam o principal objecto de estudo. O levantamento energético da empresa permitiu conhecer o seu consumo anual de energia de 697,9 tep, o que a classifica, segundo o Decreto-lei nº 71 de 15 de Abril de 2008, como Consumidora Intensiva de Energia (CIE). Além disso, as situações que devem ser alvo de melhoria são: a rede de termofluido, que apresenta válvulas sem isolamento, o sistema de iluminação, que não é o mais eficiente e a rede de distribuição de ar comprimido, que não tem a estrutura mais adequada. Desta forma sugere-se que a rede de distribuição de termofluido passe a ter válvulas isoladas com lã de rocha, o investimento total é de 2.481,56 €, mas a poupança pode ser de 21.145,14 €/ano, com o período de retorno de 0,12 anos. No sistema de iluminação propõe-se a substituição dos balastros normais por electrónicos, o investimento total é de 13.873,74 €, mas a poupança é de 2.620,26 €/ano, com período de retorno de 5 anos. No processo de secagem das linhas de recobrimento mediram-se temperaturas de todos os seus componentes, velocidades de ar o que permitiu conhecer a distribuição do calor fornecido pelo termofluido. No Recobrimento 1, o ar recebe entre 39 a 51% do calor total, a tela recebe cerca de 25% e na terceira estufa este é apenas de 6%. Nesta linha as perdas de calor por radiação oscilam entre 6 e 11% enquanto as perdas por convecção representam cerca de 17 a 44%. Como o calor que a tela recebe é muito inferior ao calor recebido pelo ar no Recobrimento 1, propõe-se uma redução do caudal de ar que entra na estufa, o que conduzirá certamente à poupança de energia térmica. No Recobrimento 2 o calor fornecido ao ar representa cerca de 51 a 77% do calor total e o cedido à tela oscila entre 2 e 3%. As perdas de calor por convecção oscilam entre 12 e 26%, enquanto que as perdas por radiação têm valores entre 4 e 8%. No que diz respeito ao calor necessário para evaporar os solventes este oscila entre os 4 e 13%. Os balanços de massa e energia realizados ao processo de secagem permitiram ainda determinar o rendimento das 3 estufas do Recobrimento 1, com 36, 47 e 24% paras as estufa 1, 2 e 3, respectivamente. No Recobrimento 2 os valores de rendimento foram superiores, tendo-se obtido valores próximos dos 41, 81 e 88%, para as estufas 1, 2 e 3, respectivamente. Face aos resultados obtidos propõem-se a reengenharia do processo introduzindo permutadores compactos para aquecer o ar antes de este entrar nas estufas. O estudo desta alteração foi apenas realizado para a estufa 1 do Recobrimento 1, tendo-se obtido uma área de transferência de calor de 6,80 m2, um investimento associado de 8.867,81 €. e uma poupança de 708,88 €/ano, com um período de retorno do investimento de 13 anos. Outra sugestão consiste na recirculação de parte do ar de saída (5%), que conduz à poupança de 158,02 €/ano. Estes valores, pouco significativos, não estimulam a adopção das referidas sugestões.

Antenas cornetas para o satélite CosmoGal

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Electrónica e Telecomunicações

Optimização de recursos numa industria de curtumes

O presente relatório descreve o trabalho de estágio efectuado na empresa Curtumes Aveneda, Lda com o objectivo de optimizar recursos como a água e energia. Foi realizado um diagnóstico energético que permitiu concluir que o consumo de energia na empresa é de 300 tep/ano, pelo que a empresa não é obrigada a adoptar as medidas de Regulamento de Gestão do Consumo de Energia (RGCE). O mesmo diagnóstico aponta para a existência de ineficiências, nomeadamente na tinturaria. Assim, foi projectado um sistema de controlo para adição de água na tinturaria com o intuito de reduzir o consumo de energia e água, e também melhorar a qualidade dos processos de tinturaria, dado que a adição de água é feita manualmente sem controlo de quantidade. Após consulta de fornecedor, o investimento em equipamento para tal sistema é de 10.012,00€ Foi desenvolvido um processo de recurtume compacto no sentido de promover a redução do consumo de água e de energia. Tal processo, quando comparado com um processo normal da empresa, gera uma redução de energia eléctrica no valor de 6.157,05 €/ano, uma redução no consumo de energia térmica da ordem de 904,00 €/ano, e ainda uma redução do consumo de água na ordem de 962 m3/ano correspondente a uma redução de 2.998,76 €/ano no tratamento de efluentes. Outras medidas foram sugeridas, mas sem uma fundamentação técnica e científica suficiente pelo que carecem de um estudo pormenorizado, como a instalação de arrancadores progressivos nos motores dos fulões, a optimização do aquecimento do ar de secagem na estufa com eventual recurso a painéis solares, e a optimização do funcionamento da caldeira dado o seu baixo rendimento.