A uniform white-noise model for fixed-point roundoff errors in digital systems

Fixed-point roundoff noise in digital implementation of linear systems arises due to overflow, quantization of coefficients and input signals, and arithmetical errors. In uniform white-noise models, the last two types of roundoff errors are regarded as uniformly distributed independent random vectors on cubes of suitable size. For input signal quantization errors, the heuristic model is justified by a quantization theorem, which cannot be directly applied to arithmetical errors due to the complicated input-dependence of errors. The complete uniform white-noise model is shown to be valid in the sense of weak convergence of probabilistic measures as the lattice step tends to zero if the matrices of realization of the system in the state space satisfy certain nonresonance conditions and the finite-dimensional distributions of the input signal are absolutely continuous.

Conditional simulation of random fields by successive residuals

This paper presents a new approach to the LU decomposition method for the simulation of stationary and ergodic random fields. The approach overcomes the size limitations of LU and is suitable for any size simulation. The proposed approach can facilitate fast updating of generated realizations with new data, when appropriate, without repeating the full simulation process. Based on a novel column partitioning of the L matrix, expressed in terms of successive conditional covariance matrices, the approach presented here demonstrates that LU simulation is equivalent to the successive solution of kriging residual estimates plus random terms. Consequently, it can be used for the LU decomposition of matrices of any size. The simulation approach is termed conditional simulation by successive residuals as at each step, a small set (group) of random variables is simulated with a LU decomposition of a matrix of updated conditional covariance of residuals. The simulated group is then used to estimate residuals without the need to solve large systems of equations.

Genetic constraints on the evolution of mate recognition under natural selection

Field populations of Drosophila serrata display reproductive character displacement in cuticular hydrocarbons (CHCs) when sympatric with Drosophila birchii. We have previously shown that the naturally occurring pattern of reproductive character displacement can be experimentally replicated by exposing field allopatric populations of D. serrata to experimental sympatry with D. birchii. Here, we tested whether the repeated evolution of reproductive character displacement in natural and experimental populations was a consequence of genetic constraints on the evolution of CHCs. The genetic variance-covariance (G) matrices for CHCs were determined for populations of D. serrata that had evolved in either the presence or absence of D. birchii under field and experimental conditions. Natural selection on mate recognition under both field and experimental sympatric conditions increased the genetic variance in CHCs consistent with a response to selection based on rare alleles. A close association between G eigenstructure and the eigenstructure of the phenotypic divergence (D) matrix in natural and experimental populations suggested that G matrix eigenstructure may have determined the direction in which reproductive character displacement evolved during the reinforcement of mate recognition.

Tissue engineering for bone regeneration using differentiated alveolar bone cells in collagen scaffolds

Regeneration of osseous defects by a tissue-engineering approach provides a novel means of treatment utilizing cell biology, materials science, and molecular biology. In this study the concept of tissue engineering was tested with collagen type I matrices seeded with cells with osteogenic potential and implanted into sites where osseous damage had occurred. Explant cultures of cells from human alveolar bone and gingiva were established. When seeded into a three-dimensional type I collagen-based scaffold, the bone-derived cells maintained their osteoblastic phenotype as monitored by mRNA and protein levels of the bone-related proteins including bone sialoprotein, osteocalcin, osteopontin, bone morphogenetic proteins 2 and 4, and alkaline phosphatase. These in vitro-developed matrices were implanted into critical-size bone defects in skulls of immunodeficient (SCID) mice. Wound healing was monitored for up to 4 weeks. When measured by microdensitometry the bone density within defects filled with osteoblast-derived matrix was significantly higher compared with defects filled with either collagen scaffold alone or collagen scaffold impregnated with gingival fibroblasts. New bone formation was found at all the sites treated with the osteoblast-derived matrix at 28 days, whereas no obvious new bone formation was identified at the same time point in the control groups. In situ hybridization for the human-specific Alu gene sequence indicated that the newly formed bone tissue resulted from both transplanted human osteoblasts and endogenous mesenchymal stem cells. The results indicate that cells derived from human alveolar bone can be incorporated into bioengineered scaffolds and synthesize a matrix, which on implantation can induce new bone formation.

Mean anisotropy of homogeneous Gaussian random fields and anisotropic norms of linear translation-invariant operators on multidimensional integer lattices

Sensitivity of output of a linear operator to its input can be quantified in various ways. In Control Theory, the input is usually interpreted as disturbance and the output is to be minimized in some sense. In stochastic worst-case design settings, the disturbance is considered random with imprecisely known probability distribution. The prior set of probability measures can be chosen so as to quantify how far the disturbance deviates from the white-noise hypothesis of Linear Quadratic Gaussian control. Such deviation can be measured by the minimal Kullback-Leibler informational divergence from the Gaussian distributions with zero mean and scalar covariance matrices. The resulting anisotropy functional is defined for finite power random vectors. Originally, anisotropy was introduced for directionally generic random vectors as the relative entropy of the normalized vector with respect to the uniform distribution on the unit sphere. The associated a-anisotropic norm of a matrix is then its maximum root mean square or average energy gain with respect to finite power or directionally generic inputs whose anisotropy is bounded above by a≥0. We give a systematic comparison of the anisotropy functionals and the associated norms. These are considered for unboundedly growing fragments of homogeneous Gaussian random fields on multidimensional integer lattice to yield mean anisotropy. Correspondingly, the anisotropic norms of finite matrices are extended to bounded linear translation invariant operators over such fields.

Ultrastructure of developing tooth plates in the Australian lungfish, Neoceratodus forsteri (Osteichthyes : Dipnoi)

While the lungfish dentition is partially understood as far as morphology and light microscopic structure is concerned, the ultrastructure is not. Each tooth plate is associated with a dental lamina that develops from the inner layer of endodermal cells that form the oral epithelium. Dentines, bone and cartilage of the jaws differentiate from mesenchyme cells aggregating beneath the oral endothelium. Enamel, in the developing and in the mature form, has similarities to that of other early vertebrates, but unusual characters appear as development proceeds. Ameloblasts are capable of secreting enamel, and, with mononuclear osteoclasts, of remodelling the bone below the tooth plate. The forms of dentine, all based largely on an extracellular matrix of collagen and mineralised with biological apatite, differ from each other and from the underlying bone in the ultrastructure of associated cells and in the mineralised extracellular matrices produced. Cell processes emerging from the odontoblasts and from the osteoblasts vary in length, degree of branching and of anastomoses between the processes, although all of the cell types have large amounts of rough endoplasmic reticulum. Mineralisation of the extracellular matrices varies among the enamel, dentines and bone in the tooth plate. In addition, the development of the hard tissues of the tooth plates indicates that many of the similarities in fine structure of the dentition in lungfish, to tissues in other fish and amphibia, apparent early in development, disappear as the dentition matures. (C) 2003 Elsevier Ltd. All rights reserved.

Fast, scalable master equation solution algorithms. III. Direct time propagation accelerated by a diffusion approximation preconditioned iterative solver

In this paper we propose a novel fast and linearly scalable method for solving master equations arising in the context of gas-phase reactive systems, based on an existent stiff ordinary differential equation integrator. The required solution of a linear system involving the Jacobian matrix is achieved using the GMRES iteration preconditioned using the diffusion approximation to the master equation. In this way we avoid the cubic scaling of traditional master equation solution methods and maintain the low temperature robustness of numerical integration. The method is tested using a master equation modelling the formation of propargyl from the reaction of singlet methylene with acetylene, proceeding through long lived isomerizing intermediates. (C) 2003 American Institute of Physics.

N-aminopyrroledione-hydrazonoketene-pyrazolium oxide-pyrazolone rearrangements and pyrazolone tautomerism

Flash vacuum thermolysis (FVT) of 1-(dimethylamino)pyrrole-2,3-diones 5 causes extrusion of CO with formation of transient hydrazonoketenes 7. The transient ketenes 7 are observable in the form of weak bands at 2130 (7a) or 2115 cm(-1) (7b) in the Ar matrix IR spectra resulting from either FVT or photolysis of either 5 or 1,1- dimethylpyrazolium-5- oxides 8, and these absorptions are in excellent agreement with B3LYP/6-31G* frequency calculations. Under FVT conditions the ketenes 7 cyclize to pyrazolium oxides 8, which undergo 1,4-migration of a methyl group to yield 1,4-dimethyl-3-phenylpyrazole-5(4H)-one 9a and 1,4,4-trimethyl-3-phenylpyrazole-5(4H)-one 9b. All three tautomers of 9a have been characterized, viz. the CH form 9a (most stable form in the gas phase, the solid state and solvents of low polarity), the OH form 9a' (metastable solid at room temperature) and the NH form 9a (stable in aprotic dipolar solvents). The isomeric 1,4-dimethyl-5-phenylpyrazole-3(2H)-one 12 tautomerizes to the 3-hydroxypyrazole 12'. The crystal structure of the hydrochloride 14 of 9a'/9a is reported, representing the first structurally characterised example of a protonated 5-hydroxypyrazole.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 2. Residuals analysis and a case study

In Part 1 of this paper a methodology for back-to-back testing of simulation software was described. Residuals with error-dependent geometric properties were generated. A set of potential coding errors was enumerated, along with a corresponding set of feature matrices, which describe the geometric properties imposed on the residuals by each of the errors. In this part of the paper, an algorithm is developed to isolate the coding errors present by analysing the residuals. A set of errors is isolated when the subspace spanned by their combined feature matrices corresponds to that of the residuals. Individual feature matrices are compared to the residuals and classified as 'definite', 'possible' or 'impossible'. The status of 'possible' errors is resolved using a dynamic subset testing algorithm. To demonstrate and validate the testing methodology presented in Part 1 and the isolation algorithm presented in Part 2, a case study is presented using a model for biological wastewater treatment. Both single and simultaneous errors that are deliberately introduced into the simulation code are correctly detected and isolated. Copyright (C) 2003 John Wiley Sons, Ltd.

Diálogos sobre a alfabetização, a leitura e a escrita no Programa Provinha Brasil

Esta pesquisa documental analisa as concepções de alfabetização, leitura e escrita subjacentes à Provinha Brasil no período 2008-2012 e o panorama em que esse programa de avaliação é produzido. Parte do referencial bakhtiniano e do conceito de alfabetização de Gontijo (2008, 2013). Ao tomar a Provinha como gênero do discurso, discute os elos precedentes dentro do contexto de produção dessa avaliação, a autoria do Programa e seus principais destinatários. Constata que a Provinha é criada como resposta às demandas de avaliação da alfabetização provenientes de organismos internacionais como o Banco Mundial e a Organização das Nações Unidas para a Educação (Unesco). A avaliação é elaborada pelo Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira (Inep) como órgão que coordena as avaliações no País, em colaboração com pesquisadores de universidades e de organizações da sociedade civil, para demonstrar confiabilidade científica aliada à participação democrática no processo de produção. Seus principais destinatários são gestores de Secretarias de Educação e professores. Aos primeiros, cabe aderir ao programa de avaliação e tomar medidas administrativas para sua operacionalização nas redes. Os docentes têm o papel central de seguir as orientações do material e reorganizar sua prática em função de melhorias nos desempenhos das crianças no teste. Estas, por sua vez, são desconsideradas como sujeitos de dizeres e é legitimado um discurso homogeneizador sobre seu desenvolvimento. A partir dos testes aplicados e das matrizes de referência e seus eixos, a pesquisa analisa como a diferenciação teórica entre alfabetização e letramento se concretiza na organização das provas. A alfabetização, entendida como apropriação do sistema de escrita, é avaliada no primeiro eixo do teste principalmente como identificação de unidades menores da língua, como letras, sílabas e fonemas. As habilidades de leitura, ligadas ao letramento como concebido nos pressupostos do programa, são aferidas ora como decodificação de palavras e frases descontextualizadas, ora como apreensão de significado predeterminado do texto. A escrita somente é avaliada no ano de 2008 e por meio de itens que solicitavam codificação de palavras e frases ditadas pelo aplicador. Desse modo, a Provinha Brasil contribui para a subtração das potencialidades políticas e transformadoras do aprendizado da língua materna no País.

Estudo da evolução da paisagem da área do município de Linhares (ES) nos anos de 1985 e de 2013/2014, por meio das métricas

Trata a presente pesquisa sobre o estudo da evolução da área da paisagem que compõe o município de Linhares (ES), nos anos de 1985 e 2013/2014, que constitui o maior município do Estado do Espírito Santo. Foi realizada, por meio de processamento digital de imagens de satélites LANDSAT 5 e 8, a classificação de uso e ocupação da terra da área em estudo. Além disso usou-se as imagens do satélite RapdEye para acurácia da classificação digital das imagens. A partir dos resultados levantados de uso e ocupação foram definidas as matrizes da paisagem para 1985 e 2013/2014, bem como avaliadas as manchas que compõem a matriz. Foram aplicadas as métricas da paisagem utilizando a ferramenta de estatística Fragstats, possibilitando o cálculo dos Índices de Paisagem afim de avaliar a evolução qualitativa e quantitativa da paisagem do município de Linhares.

Avaliação da adsorção do herbicida 2,4-D em carvão ativado em pó utilizando água com diferentes qualidades

O 2,4-diclorofenoxiacético (2,4-D) é um dos herbicidas mais consumidos no Brasil e é preferencialmente usado devido a sua boa seletividade e baixo custo. Possui alta toxidade e baixa biodegradabilidade, oferecendo risco à saúde humana e ao meio ambiente, podendo ser encontrado em solos, águas superficiais e subterrâneas. Estudos mostram que o tratamento convencional da água possui baixa eficácia na remoção de microcontaminantes, com isso várias técnicas têm sido utilizadas na remoção de compostos em água, como a adsorção por carvão ativado. Apresenta-se a adsorção em carvão ativado tem se demonstrado como tecnologia eficiente na remoção de diversos contaminantes, dentre eles os agrotóxicos. Assim, o presente trabalho objetivou avaliar a adsorção do 2,4-D por três carvões ativados em pó (CAP) em água ultrapura e em água bruta do Rio Santa Maria da Vitória. A quantificação do herbicida foi analisada por cromatografia líquida de alta eficiência, após concentração da amostra pelo método de extração em fase sólida. Os ensaios de adsorção foram realizados com carvões ativados derivados da casca de coco (CAP-01), pinus (CAP-02) e palha de café (CAP-03), que foram caracterizados e avaliados na sua capacidade de remoção do 2,4-D nas duas matrizes de água. Dois modelos de isoterma de adsorção, Langmuir e Freundlich, foram aplicados para descrever os dados de adsorção, que indicaram o CAP-02 como o carvão que apresentou a melhor capacidade de adsorção do 2,4-D entre os carvões estudados, tanto em água ultrapura quanto em água bruta. Nos ensaios realizados em água bruta, houve redução da adsorção do 2,4-D para as três amostras de CAP, quando comparado com os ensaios realizados em água ultrapura, indicando interferência de compostos, como a matéria orgânica, no processo de adsorção.

Type checking cryptography implementations

Cryptographic software development is a challenging eld: high performance must be achieved, while ensuring correctness and com- pliance with low-level security policies. CAO is a domain speci c language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as prede ned sized vectors, matrices and bit strings, residue classes modulo an integer, nite elds and nite eld extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system

Eigenvalue computations in the context of data-sparse approximations of integral operators

In this work, we consider the numerical solution of a large eigenvalue problem resulting from a finite rank discretization of an integral operator. We are interested in computing a few eigenpairs, with an iterative method, so a matrix representation that allows for fast matrix-vector products is required. Hierarchical matrices are appropriate for this setting, and also provide cheap LU decompositions required in the spectral transformation technique. We illustrate the use of freely available software tools to address the problem, in particular SLEPc for the eigensolvers and HLib for the construction of H-matrices. The numerical tests are performed using an astrophysics application. Results show the benefits of the data-sparse representation compared to standard storage schemes, in terms of computational cost as well as memory requirements.

Error bounds for low-rank approximations of the first exponential integral kernel

A hierarchical matrix is an efficient data-sparse representation of a matrix, especially useful for large dimensional problems. It consists of low-rank subblocks leading to low memory requirements as well as inexpensive computational costs. In this work, we discuss the use of the hierarchical matrix technique in the numerical solution of a large scale eigenvalue problem arising from a finite rank discretization of an integral operator. The operator is of convolution type, it is defined through the first exponential-integral function and, hence, it is weakly singular. We develop analytical expressions for the approximate degenerate kernels and deduce error upper bounds for these approximations. Some computational results illustrating the efficiency and robustness of the approach are presented.