An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation

For dynamic simulations to be credible, verification of the computer code must be an integral part of the modelling process. This two-part paper describes a novel approach to verification through program testing and debugging. In Part 1, a methodology is presented for detecting and isolating coding errors using back-to-back testing. Residuals are generated by comparing the output of two independent implementations, in response to identical inputs. The key feature of the methodology is that a specially modified observer is created using one of the implementations, so as to impose an error-dependent structure on these residuals. Each error can be associated with a fixed and known subspace, permitting errors to be isolated to specific equations in the code. It is shown that the geometric properties extend to multiple errors in either one of the two implementations. Copyright (C) 2003 John Wiley Sons, Ltd.

Expression analysis of four Pinus radiata male cone promoters in the heterologous host Arabidopsis

Four male cone-specific promoters were isolated from the genome of Pinus radiata D. Don, fused to the beta-glucuronidase (GUS) reporter gene and analysed in the heterologous host Arabidopsis thaliana (L.) Heynh. The temporal and spatial activities of the promoters PrCHS1, PrLTP2, PrMC2 and PrMALE1 during seven anther developmental stages are described in detail. The two promoters PrMC2 and PrMALE1 confer an identical GUS expression pattern on Arabidopsis anthers. DNA sequence analysis of the PrMC2 and PrMALE1 promoters revealed an 88% sequence identity over 276 bp and divergence further upstream (

Trends in physical activity participation and the impact of integrated campaigns among Australian adults, 1997-99

Objectives: To determine whether awareness of the moderate physical activity message and prevalence of participation changed among Australian adults between 1997 and 1999, and if changes differed across Australia. Methods: Data were compared on awareness of the moderate physical activity message and on physical activity participation from identical national physical activity surveys in 1997 and 1999. Results: In 1999, following integrated public health efforts, recognition of the Active Australia campaign was substantially higher in NSW/ACT (61.7%) than elsewhere (29.3%). Knowledge about benefits of moderate activity increased between 1997 and 1999, more so in States with public health campaigns. National participation in 'sufficient physical activity' declined between 1997 and 1999, from 63% to 57%, but the decline was smaller in NSW/ACT (4.4%) than in the other States (6.0%). Conclusions and implications: Declining trends in physical activity in Australia require increased public health investments, including strategic planning and public education, such as occurred in NSW (1997/98).

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Chiral resolution of hexaamine cobalt(III) cages: Substituent effects on chiral discrimination

Chiral resolution of the cobalt cage complexes [Co(diNOsar)](3+) and [Co(diAMsarH(2))](5+) have been achieved by selective crystallization with the anion bis-mu-(R),(R)-tartratodiantimonate(III) ([Sb-2(R,R-tart)(2)](2-)) and also by column chromatography with Na-2[Sb-2(R, R-tart)(2)] as eluent. The X-ray crystal structures of Lambda-[ Co(diNOsar)][Sb-2(R, R-tart)(2)] Cl . 7H(2)O and Delta-[Co(diAMsarH(2))][Sb-2(R, R-tart)(2)](2)Cl . 14H(2)O are reported, which reveal an unexpected reversal of chiral discrimination when the cage substituent is changed from nitro (Lambda-enantiomer) to ammonio (Delta-enantiomer) and shows that the ammonio- substituted cage is capable of forming a three-point hydrogen-bonding interaction with each complex anion, whereas the nitro analogue can only form two hydrogen bonds with each [Sb-2(R, R-tart)(2)](2-) anion. During cation exchange chromatography of the racemic cobalt cage complexes with Na-2[Sb-2(R, R-tart)(2)] as eluent, Lambda-[Co(diNOsar)](3+) elutes first, which implies a tighter ion pairing interaction than for the Delta-enantiomer. On the other hand, Delta-[Co(diAMsarH(2))](5+) elutes first during chromatography under identical conditions, which is also consistent with a preferred outer-sphere complex formed between Delta-[Co(diAMsarH(2))](5+) and [Sb-2(R, R-tart)(2)](2-) relative to Lambda-[Co(diAMsarH(2))](5+) and [Sb-2(R,R-tart)(2)](2-).

Quantum theory of the far-off-resonance continuous-wave Raman laser: Heisenberg-Langevin approach

We present the quantum theory of the far-off-resonance continuous-wave Raman laser using the Heisenberg-Langevin approach. We show that the simplified quantum Langevin equations for this system are mathematically identical to those of the nondegenerate optical parametric oscillator in the time domain with the following associations: pump pump, Stokes signal, and Raman coherence idler. We derive analytical results for both the steady-state behavior and the time-dependent noise spectra, using standard linearization procedures. In the semiclassical limit, these results match with previous purely semiclassical treatments, which yield excellent agreement with experimental observations. The analytical time-dependent results predict perfect photon statistics conversion from the pump to the Stokes and nonclassical behavior under certain operational conditions.

Resolution enhancement by subtraction of confocal signals taken at different pinhole sizes

Subtractive imaging in confocal fluorescence light microscopy is based on the subtraction of a suitably weighted widefield image from a confocal image. An approximation to a widefield image can be obtained by detection with an opened confocal pinhole. The subtraction of images enhances the resolution in-plane as well as along the optic axis. Due to the linearity of the approach, the effect of subtractive imaging in Fourier-space corresponds to a reduction of low spatial frequency contributions leading to a relative enhancement of the high frequencies. Along the direction of the optic axis this also results in an improved sectioning. Image processing can achieve a similar effect. However, a 3D volume dataset must be acquired and processed, yielding a result essentially identical to subtractive imaging but superior in signal-to-noise ratio. The latter can be increased further with the technique of weighted averaging in Fourier-space. A comparison of 2D and 3D experimental data analysed with subtractive imaging, the equivalent Fourier-space processing of the confocal data only, and Fourier-space weighted averaging is presented. (C) 2003 Elsevier Ltd. All rights reserved.

Efeitos da modulação do sistema endocanabinoide na interação social e extinção da memória aversiva em macacos-prego (Sapajus spp)

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Biológicas, Departamento de Ciências Fisiológicas, Programa de Pós Graduação em Biologia Animal, 2016.

Surface plasmon resonance as a tool in the functional analisys of an immunodominant site in foot-and-mouth disease virus

A fast and direct surface plasmon resonance (SPR) method for the kinetic analysis of the interactions between peptide antigens and immobilised monoclonal antibodies (mAb) has been established. Protocols have been developed to overcome the problems posed by the small size of the analytes (< 1600 Da). The interactions were well described by a simple 1:1 bimolecular interaction and the rate constants were self-consistent and reproducible. The key features for the accuracy of the kinetic constants measured were high buffer flow rates, medium antibody surface densities and high peptide concentrations. The method was applied to an extensive analysis of over 40 peptide analogues towards two distinct anti-FMDV antibodies, providing data in total agreement with previous competition ELISA experiments. Eleven linear 15-residue synthetic peptides, reproducing all possible combinations of the four replacements found in foot-and-mouth disease virus (FMDV) field isolate C-S30, were evaluated. The direct kinetic SPR analysis of the interactions between these peptides and three anti-site A mAbs suggested additivity in all combinations of the four relevant mutations, which was confirmed by parallel ELISA analysis. The four-point mutant peptide (A15S30) reproducing site A from the C-S30 strain was the least antigenic of the set, in disagreement with previously reported studies with the virus isolate. Increasing peptide size from 15 to 21 residues did not significantly improve antigenicity. Overnight incubation of A15S30 with mAb 4C4 in solution showed a marked increase in peptide antigenicity not observed for other peptide analogues, suggesting that conformational rearrangement could lead to a stable peptide-antibody complex. In fact, peptide cyclization clearly improved antigenicity, confirming an antigenic reversion in a multiply substituted peptide. Solution NMR studies of both linear and cyclic versions of the antigenic loop of FMDV C-S30 showed that structural features previously correlated with antigenicity were more pronounced in the cyclic peptide. Twenty-six synthetic peptides, corresponding to all possible combinations of five single-point antigenicity-enhancing replacements in the GH loop of FMDV C-S8c1, were also studied. SPR kinetic screening of these peptides was not possible due to problems mainly related to the high mAb affinities displayed by these synthetic antigens. Solution affinity SPR analysis was employed and affinities displayed were generally comparable to or even higher than those corresponding to the C-S8c1 reference peptide A15. The NMR characterisation of one of these multiple mutants in solution showed that it had a conformational behaviour quite similar to that of the native sequence A15 and the X-ray diffraction crystallographic analysis of the peptide ? mAb 4C4 complex showed paratope ? epitope interactions identical to all FMDV peptide ? mAb complexes studied so far. Key residues for these interactions are those directly involved in epitope ? paratope contacts (141Arg, 143Asp, 146His) as well as residues able to stabilise a particular peptide global folding. A quasi-cyclic conformation is held up by a hydrophobic cavity defined by residues 138, 144 and 147 and by other key intrapeptide hydrogen bonds, delineating an open turn at positions 141, 142 and 143 (corresponding to the Arg-Gly-Asp motif).

A systematic procedure to enhance reproducibility of SWASV cycles in the determination of toxic metals in real samples

This work presents for the first time a systematic study on the optimization of the electrochemical cleaning time of a mercury film when it is used as a working electrode material in the analysis of toxic metals, such as Pb2+, used as model metal, in real samples by SWASV. The optimization study for the film’s cleaning time aimed at attaining a Pb2+ minimum value in the film after the re-oxidation step of the pre-concentrated metal, given the impossibility of complete removal of traces of the electroactive species from the film. This value was kept constant in each concentration range studied ensuring thus that all assays were performed in initial identical conditions. An assay performed on a synthetic sample was taken as reference. In it, given the absence of matrix effects, and after the electrochemical cleaning step, a direct proportionality was observed between the residual amounts of Pb2+ in the film (which for the cleaning time used was never completely removed) and Pb2+ concentration in the solution. This fact determined a high correlation between Pb2+ peak current and Pb2+ concentration which was not observed when real samples (tree leaves) were analyzed. This behavior may result from the presence of the interfering surfactants always present in real samples of complex matrix. Cleaning time optimization was performed for the following Pb2+ concentration ranges in the real samples of complex matrix: 0.006-0.020, 0.020-0.080, 0.060-0.200 and 0.100-0.600 ppb. As expected, in order to obtain identical levels of film’s cleaning efficiency, the need for longer cleaning times has been observed for higher concentrations. The optimized cleaning times for the concentration ranges under study were 120, 150, 180 e 300 s, respectively.

Equilibrium self-assembly of colloids with distinct interaction sites: Thermodynamics, percolation, and cluster distribution functions

We calculate the equilibrium thermodynamic properties, percolation threshold, and cluster distribution functions for a model of associating colloids, which consists of hard spherical particles having on their surfaces three short-ranged attractive sites (sticky spots) of two different types, A and B. The thermodynamic properties are calculated using Wertheim's perturbation theory of associating fluids. This also allows us to find the onset of self-assembly, which can be quantified by the maxima of the specific heat at constant volume. The percolation threshold is derived, under the no-loop assumption, for the correlated bond model: In all cases it is two percolated phases that become identical at a critical point, when one exists. Finally, the cluster size distributions are calculated by mapping the model onto an effective model, characterized by a-state-dependent-functionality (f) over bar and unique bonding probability (p) over bar. The mapping is based on the asymptotic limit of the cluster distributions functions of the generic model and the effective parameters are defined through the requirement that the equilibrium cluster distributions of the true and effective models have the same number-averaged and weight-averaged sizes at all densities and temperatures. We also study the model numerically in the case where BB interactions are missing. In this limit, AB bonds either provide branching between A-chains (Y-junctions) if epsilon(AB)/epsilon(AA) is small, or drive the formation of a hyperbranched polymer if epsilon(AB)/epsilon(AA) is large. We find that the theoretical predictions describe quite accurately the numerical data, especially in the region where Y-junctions are present. There is fairly good agreement between theoretical and numerical results both for the thermodynamic (number of bonds and phase coexistence) and the connectivity properties of the model (cluster size distributions and percolation locus).

Air pollution at an urban traffic tunnel in Lisbon, Portugal

In this study, the results of chemical concentrations inside and outside of a Lisbon (Portugal) traffic tunnel were compared, during one week. They were obtained by Instrumental Neutron Activation Analysis (INAA). The tunnel values largely exceed the Air Ambient legislated values and the Pearson Correlations Coefficients point out to soil re-suspension/dispersed road dust (As, Ce, Eu, Hf, Fe, Mo, Sc, Zn), traffic-markers (Ba, Cr), tire wear (Cr, Zn), break wear (Fe, Zn, Ba, Cu, Sb), exhaust and motor oil (Zn) and sea-spray (Br, Na). On all days these elements inside the tunnel were more enriched than outside; significant statistical differences were found for Co (p=0.005), Br (p=0.008), Zn (p=0.01) and Sb (p=0.005), while enrichment factors of As and Sc are statistically identical. The highest values were found for As, Br, Zn and Sb, for both inside and outside the tunnel.

Implementação de WDM com dispositivos semicondutores

Este trabalho utiliza uma estrutura pin empilhada, baseada numa liga de siliceto de carbono amorfo hidrogenado (a-Si:H e/ou a-SiC:H), que funciona como filtro óptico na zona visível do espectro electromagnético. Pretende-se utilizar este dispositivo para realizar a demultiplexagem de sinais ópticos e desenvolver um algoritmo que permita fazer o reconhecimento autónomo do sinal transmitido em cada canal. O objectivo desta tese visa implementar um algoritmo que permita o reconhecimento autónomo da informação transmitida por cada canal através da leitura da fotocorrente fornecida pelo dispositivo. O tema deste trabalho resulta das conclusões de trabalhos anteriores, em que este dispositivo e outros de configuração idêntica foram analisados, de forma a explorar a sua utilização na implementação da tecnologia WDM. Neste trabalho foram utilizados três canais de transmissão (Azul – 470 nm, Verde – 525 nm e Vermelho – 626 nm) e vários tipos de radiação de fundo. Foram realizadas medidas da resposta espectral e da resposta temporal da fotocorrente do dispositivo, em diferentes condições experimentais. Variou-se o comprimento de onda do canal e o comprimento de onda do fundo aplicado, mantendo-se constante a intensidade do canal e a frequência de transmissão. Os resultados obtidos permitiram aferir sobre a influência da presença da radiação de fundo e da tensão aplicada ao dispositivo, usando diferentes sequências de dados transmitidos nos vários canais. Verificou-se, que sob polarização inversa, a radiação de fundo vermelho amplifica os valores de fotocorrente do canal azul e a radiação de fundo azul amplifica o canal vermelho e verde. Para polarização directa, apenas a radiação de fundo azul amplifica os valores de fotocorrente do canal vermelho. Enquanto para ambas as polarizações, a radiação de fundo verde, não tem uma grande influência nos restantes canais. Foram implementados dois algoritmos para proceder ao reconhecimento da informação de cada canal. Na primeira abordagem usou-se a informação contida nas medidas de fotocorrente geradas pelo dispositivo sob polarização inversa e directa. Pela comparação das duas medidas desenvolveu-se e testou-se um algoritmo que permite o reconhecimento dos canais individuais. Numa segunda abordagem procedeu-se ao reconhecimento da informação de cada canal mas com aplicação de radiação de fundo, tendo-se usado a informação contida nas medidas de fotocorrente geradas pelo dispositivo sob polarização inversa sem aplicação de radiação de fundo com a informação contida nas medidas de fotocorrente geradas pelo dispositivo sob polarização inversa com aplicação de radiação de fundo. Pela comparação destas duas medidas desenvolveu-se e testou-se o segundo algoritmo que permite o reconhecimento dos canais individuais com base na aplicação de radiação de fundo.

Toplological Entropy in the Syncronization of Piecewise Linear and Monotone Maps. Coupled Duffing Oscillators

In this paper is presented a relationship between the synchronization and the topological entropy. We obtain the values for the coupling parameter, in terms of the topological entropy, to achieve synchronization of two unidirectional and bidirectional coupled piecewise linear maps. In addition, we prove a result that relates the synchronizability of two m-modal maps with the synchronizability of two conjugated piecewise linear maps. An application to the unidirectional and bidirectional coupled identical chaotic Duffing equations is given. We discuss the complete synchronization of two identical double-well Duffing oscillators, from the point of view of symbolic dynamics. Working with Poincare cross-sections and the return maps associated, the synchronization of the two oscillators, in terms of the coupling strength, is characterized.

Expressão de transtirretina no sistema gastrointestinal do murganho

A transtirretina (TTR) é uma proteína plasmática constituída por quatro subunidades idênticas de aproximadamente 14KDa e de massa molecular de 55 KDa (Blake et al., 1978). A TTR é responsável pelo transporte de tiroxina (T4) (Andrea et al., 1980) e retinol (vitamina A), neste último tipo de transporte através da ligação à proteina de ligação ao retinol (RBP) (Kanai et al., 1968). É sintetizada principalmente pelo fígado e secretada para o sangue (Murakami et al., 1987) e também sintetizada pelas células epiteliais do plexo coróide e secretada para o líquido cefaloraquidiano (LCR) (Aleshire et al., 1983). Existem outros locais que expressam TTR mas em menor quantidade, nomeadamente: a retina do olho (Martone et al., 1988), o pâncreas (Kato et al., 1985), o saco vitelino visceral (Soprano et al., 1986) o intestino (Loughna et al., 1995); o estômago, coração, músculo e baço (Soprano et al., 1985). A TTR é uma proteína, do ponto de vista filogenético, extremamente conservada o que já de si é um indicador da sua importância biológica (Richardson, 2009) O objectivo deste trabalho foi avaliar a expressão de transtirretina ao longo do sistema gastrointestinal do murganho, nos seguintes órgãos esófago, estômago, duodeno, cólon e também bexiga, com cerca de 3 meses de idade. O segundo objectivo foi identificar as células responsáveis por essa expressão, nos órgãos em estudo. Foi possível verificar que apenas o estômago apresenta valores de expressão normalizada de TTR diferente de zero, expressão essa muito inferior à do fígado, tal como se esperava. Por imunohistoquímica/imunofluorescência foi possível determinar que as células que expressam TTR são pouco abundantes e estão presentes na região glandular do estômago do murganho e também do humano. Para além disto, verificou-se que a TTR co-localiza com somatostatina e que as células que sintetizam TTR correspondem às células D, responsáveis pela secreção de somatostatina