Phase-space analysis of wavefront coding imaging systems

We explore the use of the Radon-Wigner transform, which is associated with the fractional Fourier transform of the pupil function, for determining the point spread function (PSF) of an incoherant defocused optical system. Then we introduce these phase-space tools to analyse the wavefront coding imaging system. It is shown that the shape of the PSF for such a system is highly invarient to the defocous-related aberrations except for a lateral shift. The optical transfer function of this system is also investigated briefly from a new understanding of ambiguity function.

Prediction- and simulation-error based perceptron training: Solution space analysis and a novel combined training scheme

Previous papers have noted the difficulty in obtaining neural models which are stable under simulation when trained using prediction-error-based methods. Here the differences between series-parallel and parallel identification structures for training neural models are investigated. The effect of the error surface shape on training convergence and simulation performance is analysed using a standard algorithm operating in both training modes. A combined series-parallel/parallel training scheme is proposed, aiming to provide a more effective means of obtaining accurate neural simulation models. Simulation examples show the combined scheme is advantageous in circumstances where the solution space is known or suspected to be complex. (c) 2006 Elsevier B.V. All rights reserved.

Fractional State Space Analysis of Economy Systems

This paper examines modern economic growth according to the multidimensional scaling (MDS) method and state space portrait (SSP) analysis. Electing GDP per capita as the main indicator for economic growth and prosperity, the long-run perspective from 1870 to 2010 identifies the main similarities among 34 world partners’ modern economic growth and exemplifies the historical waving mechanics of the largest world economy, the USA. MDS reveals two main clusters among the European countries and their old offshore territories, and SSP identifies the Great Depression as a mild challenge to the American global performance, when compared to the Second World War and the 2008 crisis.

Comparison of space analysis performed on plaster vs. digital dental casts applying Tanaka and Johnston's equation

OBJETIVO: comparar medidas de tamanhos dentários, suas reprodutibilidades e a aplicação da equação de regressão de Tanaka e Johnston na predição do tamanho dos caninos e pré-molares em modelos de gesso e digital. MÉTODOS: trinta modelos de gesso foram escaneados para obtenção dos modelos digitais. As medidas do comprimento mesiodistal dos dentes foram obtidas com paquímetro digital nos modelos de gesso e nos modelos digitais utilizando o software O3d (Widialabs). A somatória do tamanho dos incisivos inferiores foi utilizada para obter os valores de predição do tamanho dos pré-molares e caninos utilizando equação de regressão, e esses valores foram comparados ao tamanho real dos dentes. Os dados foram analisados estatisticamente, aplicando-se aos resultados o teste de correlação de Pearson, a fórmula de Dahlberg, o teste t pareado e a análise de variância (p < 0,05). RESULTADOS: excelente concordância intraexaminador foi observada nas medidas realizadas em ambos os modelos. O erro aleatório não esteve presente nas medidas obtidas com paquímetro, e o erro sistemático foi mais frequente no modelo digital. A previsão de espaço obtida pela aplicação da equação de regressão foi maior que a somatória dos pré-molares e caninos presentes nos modelos de gesso e nos modelos digitais. CONCLUSÃO: apesar da boa reprodutibilidade das medidas realizadas em ambos os modelos, a maioria das medidas dos modelos digitais foram superiores às do modelos de gesso. O espaço previsto foi superestimado em ambos os modelos e significativamente maior nos modelos digitais.

Space analysis of water erosion in the red-yellow latosol under conilon coffee cultivation

This work aimed to study the space behavior of the water erosion in a red-yellow latosol. Then a study was developed in an area with colinon coffee cultivation in an Experimental Farm of Bananal do Norte of INCAPER in Cachoeiro de Itapemirim - ES. Soil samples were obtained from 0,0 to 0,20 m depth in an irregular grid with 109 samples. The analyzed variables were granulometric fractions, erodibility (K), natural erosion potential (PNE), soil loss (A) and erosion risk (RE). All the variables showed space dependency with moderate index of space dependency and similar standard of space distribution. The soil loss is related with the space distribution of the granulometric fractions.

Composition Space Analysis in the Development of Copper Molybdate Hybrids Decorated by a Bifunctional Pyrazolyl/1,2,4-Triazole Ligand

A bitopic ligand, 4-(3,5-dimethylpyrazol-4-yl)-1,2,4-triazole (Hpz-tr) (1), containing two different heterocyclic moieties was employed for the design of copper(II)–molybdate solids under hydrothermal conditions. In the multicomponent CuII/Hpz-tr/MoVI system, a diverse set of coordination hybrids, [Cu(Hpz-tr)2SO4]·3H2O (2), [Cu(Hpz-tr)Mo3O10] (3), [Cu4(OH)4(Hpz-tr)4Mo8O26]·6H2O (4), [Cu(Hpz-tr)2Mo4O13] (5), and [Mo2O6(Hpz-tr)]·H2O (6), was prepared and characterized. A systematic investigation of these systems in the form of a ternary crystallization diagram approach was utilized to show the influence of the molar ratios of starting reagents, the metal (CuII and MoVI) sources, the temperature, etc., on the reaction products outcome. Complexes 2–4 dominate throughout a wide crystallization range of the composition triangle, while the other two compounds 5 and 6 crystallize as minor phases in a narrow concentration range. In the crystal structures of 2–6, the organic ligand behaves as a short [N–N]-triazole linker between metal centers Cu···Cu in 2–4, Cu···Mo in 5, and Mo···Mo in 6, while the pyrazolyl function remains uncoordinated. This is the reason for the exceptional formation of low-dimensional coordination motifs: 1D for 2, 4, and 6 and 2D for 3 and 5. In all cases, the pyrazolyl group is involved in H bonding (H-donor/H-acceptor) and is responsible for π–π stacking, thus connecting the chain and layer structures in more complicated H-bonding architectures. These compounds possess moderate thermal stability up to 250–300 °C. The magnetic measurements were performed for 2–4, revealing in all three cases antiferromagnetic exchange interactions between neighboring CuII centers and long-range order with a net moment below Tc of 13 K for compound 4.

Phase-space analysis of bosonic spontaneous emission

We present phase-space techniques for the modelling of spontaneous emission in two-level bosonic atoms. The positive-P representation is shown to give a full and complete description within the limits of our model. The Wigner representation, even when truncated at second order, is shown to need a doubling of the phase-space to allow for a positive-definite diffusion matrix in the appropriate Fokker-Planck equation and still fails to agree with the full quantum results of the positive-P representation. We show that quantum statistics and correlations between the ground and excited states affect the dynamics of the emission process, so that it is in general non-exponential. (c) 2005 Elsevier B.V. All rights reserved.

From filters to features:Scale-space analysis of edge and blur coding in human vision

To make vision possible, the visual nervous system must represent the most informative features in the light pattern captured by the eye. Here we use Gaussian scale-space theory to derive a multiscale model for edge analysis and we test it in perceptual experiments. At all scales there are two stages of spatial filtering. An odd-symmetric, Gaussian first derivative filter provides the input to a Gaussian second derivative filter. Crucially, the output at each stage is half-wave rectified before feeding forward to the next. This creates nonlinear channels selectively responsive to one edge polarity while suppressing spurious or "phantom" edges. The two stages have properties analogous to simple and complex cells in the visual cortex. Edges are found as peaks in a scale-space response map that is the output of the second stage. The position and scale of the peak response identify the location and blur of the edge. The model predicts remarkably accurately our results on human perception of edge location and blur for a wide range of luminance profiles, including the surprising finding that blurred edges look sharper when their length is made shorter. The model enhances our understanding of early vision by integrating computational, physiological, and psychophysical approaches. © ARVO.

Essays on numerically efficient inference in nonlinear and non-Gaussian state space models, and commodity market analysis.

The first two articles build procedures to simulate vector of univariate states and estimate parameters in nonlinear and non Gaussian state space models. We propose state space speci fications that offer more flexibility in modeling dynamic relationship with latent variables. Our procedures are extension of the HESSIAN method of McCausland[2012]. Thus, they use approximation of the posterior density of the vector of states that allow to : simulate directly from the state vector posterior distribution, to simulate the states vector in one bloc and jointly with the vector of parameters, and to not allow data augmentation. These properties allow to build posterior simulators with very high relative numerical efficiency. Generic, they open a new path in nonlinear and non Gaussian state space analysis with limited contribution of the modeler. The third article is an essay in commodity market analysis. Private firms coexist with farmers' cooperatives in commodity markets in subsaharan african countries. The private firms have the biggest market share while some theoretical models predict they disappearance once confronted to farmers cooperatives. Elsewhere, some empirical studies and observations link cooperative incidence in a region with interpersonal trust, and thus to farmers trust toward cooperatives. We propose a model that sustain these empirical facts. A model where the cooperative reputation is a leading factor determining the market equilibrium of a price competition between a cooperative and a private firm

Analysis of Object-Specific Authorization Protocol (OSAP) using coloured Petri nets

The use of Trusted Platform Module (TPM) is be- coming increasingly popular in many security sys- tems. To access objects protected by TPM (such as cryptographic keys), several cryptographic proto- cols, such as the Object Specific Authorization Pro- tocol (OSAP), can be used. Given the sensitivity and the importance of those objects protected by TPM, the security of this protocol is vital. Formal meth- ods allow a precise and complete analysis of crypto- graphic protocols such that their security properties can be asserted with high assurance. Unfortunately, formal verification of these protocols are limited, de- spite the abundance of formal tools that one can use. In this paper, we demonstrate the use of Coloured Petri Nets (CPN) - a type of formal technique, to formally model the OSAP. Using this model, we then verify the authentication property of this protocol us- ing the state space analysis technique. The results of analysis demonstrates that as reported by Chen and Ryan the authentication property of OSAP can be violated.

Formal security analysis of the DNP3-secure authentication protocol

This thesis evaluates the security of Supervisory Control and Data Acquisition (SCADA) systems, which are one of the key foundations of many critical infrastructures. Specifically, it examines one of the standardised SCADA protocols called the Distributed Network Protocol Version 3, which attempts to provide a security mechanism to ensure that messages transmitted between devices, are adequately secured from rogue applications. To achieve this, the thesis applies formal methods from theoretical computer science to formally analyse the correctness of the protocol.