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.

Building a bicycle suitability map for Coimbra

The adoption of faster modes of transportation (mainly the private car) has changed profoundly the spatial organisation of cities. The increase in distance covered due to increased speed of travel and to urban sprawl leads to an increase in energy consumption, being the transportation sector a huge consumer responsible for 61.5% of total world oil consumption and a global final energy consumption of 31.6% in EU-27 (2007). Due to unsustainable transportation conditions, many cities suffer from congestion and various other traffic problems. Such situations get worse with solutions mostly seen in the development of new infrastructure for motorized modes of transportation, and construction of car parking structures. The bicycle, considered the most efficient among all modes of transportation including walking, is a travel mode that can be adopted in most cities contributing for urban sustainability given the associated environmental, economic and social advantages. In many nations a large number of policy initiatives have focused on discouraging the use of private cars, encouraging the use of sustainable modes of transportation, like public transportation and other forms such as bicycling. Given the importance of developing initiatives that favour the use of bicycle as an urban transportation mode, an analysis of city suitability, including distances and slopes of street network, is crucial in order to help decision-makers to plan the city for bicycle. In this research Geographical Information Systems (GIS) technology was used for this purpose and some results are presented concerning the city of Coimbra.

O impacto energético e as emissões de CO2 dos veículos eléctricos em Portugal

Para a diminuição da dependência energética de Portugal face às importações de energia, a Estratégia Nacional para a Energia 2020 (ENE 2020) define uma aposta na produção de energia a partir de fontes renováveis, na promoção da eficiência energética tanto nos edifícios como nos transportes com vista a reduzir as emissões de gases com efeito de estufa. No campo da eficiência energética, o ENE 2020 pretende obter uma poupança energética de 9,8% face a valores de 2008, traduzindo-se em perto de 1800 milhões de tep já em 2015. Uma das medidas passa pela aposta na mobilidade eléctrica, onde se prevê que os veículos eléctricos possam contribuir significativamente para a redução do consumo de combustível e por conseguinte, para a redução das emissões de CO2 para a atmosfera. No entanto, esta redução está condicionada pelas fontes de energia utilizadas para o abastecimento das baterias. Neste estudo foram determinados os consumos de combustível e as emissões de CO2 de um veículo de combustão interna adimensional representativo do parque automóvel. É também estimada a previsão de crescimento do parque automóvel num cenário "Business-as-Usual", através dos métodos de previsão tecnológica para o horizonte 2010-2030, bem como cenários de penetração de veículos eléctricos para o mesmo período com base no método de Fisher- Pry. É ainda analisado o impacto que a introdução dos veículos eléctricos tem ao nível dos consumos de combustível, das emissões de dióxido de carbono e qual o impacto que tal medida terá na rede eléctrica, nomeadamente no diagrama de carga e no nível de emissões de CO2 do Sistema Electroprodutor Nacional. Por fim, é avaliado o impacto dos veículos eléctricos no diagrama de carga diário português, com base em vários perfis de carga das baterias. A introdução de veículos eléctricos em Portugal terá pouca expressão dado que, no melhor dos cenários haverão somente cerca de 85 mil unidades em circulação, no ano de 2030. Ao nível do consumo de combustíveis rodoviários, os veículos eléctricos poderão vir a reduzir o consumo de gasolina até 0,52% e até 0,27% no consumo de diesel, entre 2010 e 2030, contribuindo ligeiramente uma menor dependência energética externa. Ao nível do consumo eléctrico, o abastecimento das baterias dos veículos eléctricos representará até 0,5% do consumo eléctrico total, sendo que parte desse abastecimento será garantido através de centrais de ciclo combinado a gás natural. Apesar da maior utilização deste tipo de centrais térmicas para produção de energia, tanto para abastecimento das viaturas eléctricas, como para o consumo em geral, verifica-se que em 2030, o nível de emissões do sistema electroprodutor será cerca de 46% inferior aos níveis registados em 2010, prevendo-se que atinja as 0,163gCO2/kWh produzido pelo Sistema Electroprodutor Nacional devido à maior quota de produção das fontes de energia renovável, como o vento, a hídrica ou a solar.

The role of European "ro-ro" port terminals in the automotive supply chain management

The aim of this paper is concerned with the design and development of a functional framework for maritime mode integration in European automotive supply chain management when considering outbound distribution. Furthermore, it provides a readjustment of traditional concepts and terminology with findings that the role of ro-ro port terminals should be considered as decoupling points, poles and postponement platforms. Case studies examine relevant Western European ro-ro port terminals for cars and respective links to assembly/factories of vehicles localized in the hinterland and concludes that ro-ro port terminals reduce logistical friction and impedance, as well as promote space/time compression.

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.

Controlo de tráfego

O crescente número de automóveis nas ruas das grandes cidades, assim como o crescente número de transportes urbanos para atender o crescimento das populações, veio fazer com que as cidades cada vez mais fiquem mais congestionadas e mais propícias para acidentes envolvendo viaturas e peões. Devido a isso, foram criados sistemas de controlo de tráfego capazes de melhorar o tráfego urbano nas cidades, sem deixar de lado as preocupações com os peões e nem com as emissões de poluentes para o ar. Baseado nesse cenário, este trabalho tem como objetivo abordar as possíveis soluções existentes no mercado para melhorar o fluxo das viaturas, principalmente dos transportes colectivos, com prioridades para viaturas de emergências e autocarros, assim como, as passagens de peões, e sistemas de mobilidade urbana. Desempenho do transporte público pode ser melhorado através de um melhor controlo e gerenciamento de tráfego em geral. Nos testes realizados em campo: foi medida a velocidade de viagem do autocarro no cruzamento fixo (Praça de Espanha), e correlacionando-os com intervalos do ciclo dos semáforos para este cruzamento. A flexibilidade do controlador actuando, com o auxílio de detectores de veículos, sendo capaz de variar os intervalos dentro do ciclo, bem como o volume de carros e de prestações em velocidade de viagem do autocarro. Resultados mostram que, durante o período em estudo, os benefícios de velocidade da viagem do autocarro, seria possível, através de um verdadeiro controlo de tempo feedback de cooperação entre as áreas urbanas de controlo de tráfego (Gertrude) e do sistema de localização de veículos de transportes públicos (SAEIP). Ao longo prazo, sugerimos a implantação de um sistema integrado. Fazendo com que o volume no carro seja reduzido. Este efeito leva também, a um aumento da velocidade comercial do autocarro urbano, da mesma forma como foi proposto em nossa experiência.

Modelação da contribuição do tráfego automóvel para a qualidade do ar em zona industrial

A preocupação sobre a qualidade do ar nas zonas industriais confere aos estudos sobre a qualidade do ar uma importância acrescida. Este trabalho teve como objectivo saber qual a contribuição dos principais poluentes provenientes do tráfego automóvel para a qualidade do ar na zona do parque industrial da Sapec, da Península da Mitrena, concelho de Setúbal, recorrendo ao modelo meteorológico e de qualidade do ar, TAPM (The Air Pollution Model). Neste trabalho analisaram-se dados da estação de monitorização da qualidade do ar, mais próxima da zona de estudo (Subestação) por forma a caracterizar-se a zona em causa, a nível meteorológico e da qualidade do ar. Os dados metereológico desta estação também foram utilizados com o objectivo de se validar os resultados meteorológicos obtidos pelo modelo. Na avaliação da contribuição do tráfego para a qualidade do ar, recorreu-se a um estudo de tráfego realizado pela Estradas de Portugal (EP) em 2004. Este estudo realizou a contagem dos veículos que se dirigiram ao parque industrial nos dias 14 e 15 de Dezembro, num período de 24 horas. A partir dessa contagem e de factores de emissão foi possível determinar a contribuição, de cada classe de veículo, para as concentrações atmosféricas de PM10 (resultantes de processos de combustão e ressuspensão), NOx, CO e HC. A comparação entre os dados meteorológicos simulados e medidos mostram que o modelo teve um bom comportamento, isto é, as discrepâncias entre os valores simulados e medidos foram mínimas. Relativamente à contribuição de cada categoria de veículos para a qualidade do ar, verificou-se que a classe de pesados de mercadorias foi aquela que mais contribui para as emissões de PM10, NOx e HC, enquanto que para as emissões de CO foram os veículos ligeiros de passageiros que tiveram uma maior contribuição. As classes dos motociclos e ciclomotores foram aquelas que tiveram uma menor contribuição para as concentrações atmosféricas de poluentes. Comparando as emissões de PM10 provenientes dos processos de combustão e de ressuspensão conclui-se que a maior percentagem provem da ressuspensão.

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.