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.

Thermomechanical environment characterisation in injection moulding and its relation to the mechanical properties of talc-filled polypropylene

This study is focused on the establishment of relationships between the injection moulding processing conditions, the applied thermomechanical environment (TME) and the tensile properties of talc-filled polypropylene,adopting a new extended concept of thermomechanical indices (TMI). In this approach, TMI are calculated from computational simulations of the moulding process that characterise the TME during processing, which are then related to the mechanical properties of the mouldings. In this study, this concept is extended to both the filling and the packing phases, with new TMI defined related to the morphology developed during these phases. A design of experiments approach based on Taguchi orthogonal arrays was adopted to vary the injection moulding parameters (injection flow rate, injection temperature, mould wall temperature and holding pressure), and thus, the TME. Results from analysis of variance for injection-moulded tensile specimens have shown that among the considered processing conditions, the flow rate is the most significant parameter for the Young’s modulus; the flow rate and melt temperature are the most significant for the strain at break; and the holding pressure and flow rate are the most significant for the stress at yield. The yield stress and Young’s modulus were found to be governed mostly by the thermostress index (TSI, related to the orientation of the skin layer), whilst the strain at break depends on both the TSI and the cooling index (CI, associated to the crystallinity degree of the core region). The proposed TMI approach provides predictive capabilities of the mechanical response of injection-moulded components, which is a valuable input during their design stage.

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.

Conceito de volume

Este estudo analisa o modo como se desenvolve a aprendizagem do conceito de volume nos alunos do 6º ano de escolaridade, no quadro de uma proposta pedagógica que dá ênfase a actividades que apelam à visualização e ao raciocínio espacial. O seu objectivo principal foi o de compreender as ideias que os alunos do 6.º ano têm sobre volume e perceber como se desenvolvem quando são envolvidos numa experiência de ensino, tendo por base uma cadeia de tarefas que apelam à visualização e ao raciocínio espacial. O estudo seguiu uma metodologia de investigação qualitativa baseada em estudos de caso. A proposta pedagógica foi desenvolvida em quatro aulas; três de noventa minutos e uma de quarenta e cinco minutos, durante os 2º e 3º períodos do ano lectivo de 2009/2010. A recolha de dados envolveu a realização de gravações áudio, em ambiente de sala de aula, dos alunos que constituíram os estudos de caso, registo de observações do desempenho dos alunos e os documentos produzidos por estes. Os resultados mostram que, ao longo da proposta pedagógica, os alunos adquiriram estratégias de contagem que lhes permitiram criar estruturas, para compreender a organização dos paralelepípedos e desenvolver o conceito de volume. iii ABSTRACT This study examines how 6th graders’ students develop the concept of volume in a learning experience context which emphasizes the visualization and spatial reasoning. The main objective of this study is to understand the ideas of 6th grade students about volume and see how they develop them when they are involved in a learning experience, based on a sequence of tasks that call for visualization and spatial reasoning. The study followed a qualitative research methodology based on case studies. The learning experience was developed in four classes, three ninety minutes period and one forty-five minutes, during the 2nd and 3rd terms of the school year 2009/2010. Data collection involved the use of audio recordings in the classroom environment, recording observations of student performance and the documents produced by them. The results showed that, over the learning experience, students acquired counting strategies that allowed them to create structures for understanding the organization of cubes arrays and develop the concept of volume.

New p-i-n Si : H imager configuration for spatial resolution improvement

Amorphous glass/ZnO-Al/p(a-Si:H)/i(a-Si:H)/n(a-Si1-xCx:H)/Al imagers with different n-layer resistivities were produced by plasma enhanced chemical vapour deposition technique (PE-CVD). An image is projected onto the sensing element and leads to spatially confined depletion regions that can be readout by scanning the photodiode with a low-power modulated laser beam. The essence of the scheme is the analog readout, and the absence of semiconductor arrays or electrode potential manipulations to transfer the information coming from the transducer. The influence of the intensity of the optical image projected onto the sensor surface is correlated with the sensor output characteristics (sensitivity, linearity blooming, resolution and signal-to-noise ratio) are analysed for different material compositions (0.5 < x < 1). The results show that the responsivity and the spatial resolution are limited by the conductivity of the doped layers. An enhancement of one order of magnitude in the image intensity signal and on the spatial resolution are achieved at 0.2 mW cm(-2) light flux by decreasing the n-layer conductivity by the same amount. A physical model supported by electrical simulation gives insight into the image-sensing technique used.

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.

Digital radiography detectors: a technical overview

Developments in digital detector technologies have been taking place and new digital technologies are available for clinical practice. This chapter is intended to give a technical state-of-the-art overview about computed radiography (CR) and digital radiography (DR) detectors. CR systems use storage-phosphor image plates with a separate image readout process and DR technology converts X-rays into electrical charges by means of a readout process using TFT arrays. Digital detectors offer several advantages when compared to analogue detectors. The knowledge about digital detector technology for use in plain radiograph examinations is thus a fundamental topic to be acquired by radiology professionals and students. In this chapter an overview of digital radiography systems (both CR and DR) currently available for clinical practice is provided.

Ageing effects on the wettability behavior of laser textured silicon

In the present work we investigate the ageing of acid cleaned femtosecond laser textured < 100 > silicon surfaces. Changes in the surface structure and chemistry were analysed by Rutherford backscattering spectrometry (RBS) and X-ray photoelectron spectroscopy (XPS), in order to explain the variation with time of the water contact angles of the laser textured surfaces. It is shown that highly hydrophobic silicon surfaces are obtained immediately after laser texturing and cleaning with acid solutions (water contact angle >120 degrees). However these surfaces are not stable and ageing leads to a decrease of the water contact angle which reaches a value of 80 degrees. XPS analysis of the surfaces shows that the growth of the native oxide layer is most probably responsible for this behavior. (C) 2010 Elsevier B.V. All rights reserved.

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

Sub-micron structuring of silicon using femtosecond laser interferometry

We report the fabrication of planar sub-micron gratings in silicon with a period of 720 nm using a modified Michelson interferometer and femtosecond laser radiation. The gratings consist of alternated stripes of laser ablated and unmodified material. Ablated stripes are bordered by parallel ridges which protrude above the unmodified material. In the regions where ridges are formed, the laser radiation intensity is not sufficient to cause ablation. Nevertheless, melting and a significant temperature increase are expected, and ridges may be formed due to expansion of silicon during resolidification or silicon oxidation. These conclusions are consistent with the evolution of the stripes morphology as a function of the distance from the center of the grating. (C) 2013 Elsevier Ltd. All rights reserved.

Avaliação técnica e econômica de um biodigestor de fluxo tubular: estudo de caso do modelo implantado na etec "orlando quagliato" em Santa Cruz do Rio Pardo, SP

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Subunits of the chaperonin CCT are associated with Tetrahymena microtubule structures and are involved in cilia biogenesis

The cytosolic chaperonin CCT is a heterooligomeric complex of about 900 kDa that mediates the folding of cytoskeletal proteins. We observed by indirect immunofluorescence that the Tetrahymena TpCCTalpha, TpCCTdelta, TpCCTepsilon, and TpCCTeta-subunits colocalize with tubulin in cilia, basal bodies, oral apparatus, and contractile vacuole pores. TpCCT-subunits localization was affected during reciliation. These findings combined with atomic force microscopy measurements in reciliating cells indicate that these proteins play a role during cilia biogenesis related to microtubule nucleation, tubulin transport, and/or axoneme assembly. The TpCCT-subunits were also found to be associated with cortex and cytoplasmic microtubules suggesting that they can act as microtubule-associated proteins. The TpCCTdelta being the only subunit found associated with the macronuclear envelope indicates that it has functions outside of the 900 kDa complex. Tetrahymena cytoplasm contains granular/globular-structures of TpCCT-subunits in close association with microtubule arrays. Studies of reciliation and with cycloheximide suggest that these structures may be sites of translation and folding. Combined biochemical techniques revealed that reciliation affects the oligomeric state of TpCCT-subunits being tubulin preferentially associated with smaller CCT oligomeric species in early stages of reciliation. Collectively, these findings indicate that the oligomeric state of CCT-subunits reflects the translation capacity of the cell and microtubules integrity.