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.

Putting the group back into unions: A social psychological contribution to understanding union support

Industrial relations research that attempts to grapple with individuals' union-related sentiments and activities often draws on one of two traditions of psychological research—the individual-level factors tradition (for example, personality and attitude-behaviour relations) and the social context tradition (for example, frustration-aggression and relative deprivation). This paper provides an overview of research conducted from within these traditions to explain union-related phenomena and identifies some of the limitations that arise as a consequence of a shared tendency to treat people in an atomistic fashion. The paper argues for an understanding of the psychological processes that underpin group-based action. To this end, it elaborates a theoretical framework based on social identity theory and self-categorisation theory that would allow us to examine the dynamic interplay between the individual, their cognitions and their environment. The paper concludes with a brief discussion of a specific case of union mobilisation, to indicate how this theoretical framework might aid empirical analysis.

Growth of papaya nodal and rooted shoot cultures as affected by ACC, STS, culture vessel size and incubation conditions

Nodal shoot cultures of 'Clone 003', a selected Australian papaya cultivar, were cultured on modified De Fossard medium supplemented with chemicals that either promote ethylene evolution or inhibit action while in culture. Nodal shoot cultures grown in the presence of 1-aminocyclopropane carboxylic acid (ACC, 1.0 mM) resulted in a significant reduction in percent fresh and dry weights, shoot length, leaf area, petiole length and chlorophyll content, but leaf development was significantly increased. In contrast, nodal cultures grown in the presence of silver thiosulphate (STS, 0.5 mM) significantly produced the highest percentage of fresh and dry weights, shoot length, leaf production, leaf area expansion, petiole length and leaf chlorophyll content. Nodal cultures and rooted whole plantlets placed in medium-sized (125 mL) culture vessels had significantly better growth than those cultures placed in small (70 mL) or in large (250 mL) vessels. Cultures grown in medium-sized vessels had higher fresh and dry weights, longer shoots, more leaves and larger leaf area than those cultures placed in smaller or larger vessels. Similarly, values for said growth parameters and for chlorophyll content of the nodal and rooted whole plantlets were higher when they were incubated under high light intensity of 120 mumol m(-2)s(-1) at a prevailing temperature of either 20+/-1 C or 25+/-1 C.

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.

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.

New insights on integer-programming models for the kidney exchange problem

In recent years several countries have set up policies that allow exchange of kidneys between two or more incompatible patient–donor pairs. These policies lead to what is commonly known as kidney exchange programs. The underlying optimization problems can be formulated as integer programming models. Previously proposed models for kidney exchange programs have exponential numbers of constraints or variables, which makes them fairly difficult to solve when the problem size is large. In this work we propose two compact formulations for the problem, explain how these formulations can be adapted to address some problem variants, and provide results on the dominance of some models over others. Finally we present a systematic comparison between our models and two previously proposed ones via thorough computational analysis. Results show that compact formulations have advantages over non-compact ones when the problem size is large.