Generalized backward doubly stochastic differential equations and SPDEs with nonlinear Neumann boundary conditions

In this paper, a new class of generalized backward doubly stochastic differential equations is investigated. This class involves an integral with respect to an adapted continuous increasing process. A probabilistic representation for viscosity solutions of semi-linear stochastic partial differential equations with a Neumann boundary condition is given.

Weak systems of Gandy, Jensen and Devlin

In Part I, we formulate and examine some systems that have arisen in the study of the constructible hierarchy; we find numerous transitive models for them, among which are supertransitive models containing all ordinals that show that Devlin's system BS lies strictly between Gandy's systems PZ and BST'; and we use our models to show that BS fails to handle even the simplest rudimentary functions, and is thus inadequate for the use intended for it in Devlin's treatise. In Part II we propose and study an enhancement of the underlying logic of these systems, build further models to show where the previous hierarchy of systems is preserved by our enhancement; and consider three systems that might serve for Devlin's purposes: one the enhancement of a version of BS, one a formulation of Gandy-Jensen set theory, and the third a subsystem common to those two. In Part III we give new proofs of results of Boffa by constructing three models in which, respectively, TCo, AxPair and AxSing fail; we give some sufficient conditions for a set not to belong to the rudimentary closure of another set, and thus answer a question of McAloon; and we comment on Gandy's numerals and correct and sharpen other of his observations.

Non-hyperbolic boundary equilibrium bifurcations in planar Filippov systems: a case study approach

Boundary equilibrium bifurcations in piecewise smooth discontinuous systems are characterized by the collision of an equilibrium point with the discontinuity surface. Generically, these bifurcations are of codimension one, but there are scenarios where the phenomenon can be of higher codimension. Here, the possible collision of a non-hyperbolic equilibrium with the boundary in a two-parameter framework and the nonlinear phenomena associated with such collision are considered. By dealing with planar discontinuous (Filippov) systems, some of such phenomena are pointed out through specific representative cases. A methodology for obtaining the corresponding bi-parametric bifurcation sets is developed.

Artificial diets for the production of natural enemies (predators and parasitoids) of greenhouse pest insects

The aim of this contract was to finalise in vitro rearing on artificial diets of entomophagous insects useful to control insect pests mainly in greenhouses through an analytical and rational approach. The work focuses on the development and optimisation of artificial diets for one coccinellid (Harmonia axyridis), two heteropteran predators (Orius laevigatus, Dicyphus tamaninii), and a braconid parasitoid of aphids (Aphidius ervi). The definition of the artificial diets was based on biochemical analyses of their natural food (aphids) or substitution food for the predators (Ephestia kuehniella eggs). Reliable quality control parameters of the entomophages produced were used in order to adjust dietary composition and formulation of the different diets tested.

Clean Development Mechanism and Sustainable Development: a discussion on the link between the CDM and Sustainable Development, an analysis of the current status of the CDM portfolio, and an multicriteria evaluation of the effects of additional incentives in order to foster broad local Sustainable Development dividends from the CDM projects

vegeu resum en el fitxer adjunt a l'inici del treball de recerca

The identity type weak factorisation system

We show that the classifying category C(T)of a dependent type theory T with axioms for identity types admits a nontrivial weak factorisation system. After characterising this weak factorisation system explicitly, we relate it to the homotopy theory of groupoids.

What is the Jacobian of a Riemann surface with boundary?

We define the Jacobian of a Riemann surface with analytically parametrized boundary components. These Jacobians belong to a moduli space of "open abelian varieties" which satisfies gluing axioms similar to those of Riemann surfaces, and therefore allows a notion of "conformal field theory" to be defined on this space. We further prove that chiral conformal field theories corresponding to even lattices factor through this moduli space of open abelian varieties.

H-Link simulator

Aquest projecte intenta donar solució al problema amb el qual s’ha trobat la empresa Hitachi Air Conditioning Products SA a la hora de fer probes durant el desenvolupament del seu principal producte, el CSNet Web. El simulador que s’ha realitzat en aquest projecte pretén reproduir la topologia d’una xarxa d’unitats d’aire condicionat per a que el CSNet Web les interpreti com si aquestes màquines fossin reals. Per a aconseguir-ho, el simulador reproduirà les comunicacions entre aquestes màquines i el CSNet Web.

Near-linear dynamics in KdV with periodic boundary conditions

Near linear evolution in Korteweg de Vries (KdV) equation with periodic boundary conditions is established under the assumption of high frequency initial data. This result is obtained by the method of normal form reduction.

Weak-type estimates for Haar shift operators: Sharp power on the A(p) characteristic

"Vegeu el resum a l'inici del document del fitxer adjunt."

L'albedo lunar i els satèl·lits: Recerca sobre els efectes de l'albedo lunar en les plaques solars d'un satèl·lit artificial que orbita al voltant de la Lluna

Treball de recerca realitzat per una alumna d'ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l'any 2009. L’albedo lunar i els satèl•lits és un treball que relaciona l’enginyeria aeroespacial amb l’astronomia. El seu objectiu principal investigar si l’albedo lunar, els rajos de sol reflectits a la superfície lunar, pot modificar significativament la temperatura de les plaques solars d’un satèl•lit artificial que orbiti la Lluna i, en conseqüència, afectar-ne el rendiment. El segon objectiu del treball és calcular si seria possible fer un mapa d’albedo lunar, a partir de la temperatura d’un satèl•lit en òrbita al voltant de la Lluna, que permetria conèixer amb més precisió la composició de la superfície lunar. Després d’adquirir els fonaments teòrics necessaris per a realitzar el treball, del procés per a trobar la manera de dur a terme els càlculs i d’efectuar els càlculs en si, les conclusions del treball són que l’albedo lunar causa un augment de temperatura en els satèl•lits prou significatiu per afectar-ne el rendiment; i que amb les temperatures enregistrades per un satèl•lit en òrbita al voltant de la Lluna es podria crear un mapa d’albedo. Aquesta recerca ha estat feta per suggeriment i sota la supervisió del CTAE (Centre de Tecnologia Aeroespacial) per analitzar si els resultats són aplicables al satèl•lit que s’enviarà a la Lluna, Lunar Mission BW1.

Rigorous derivation of a nonlinear diffusion equation as fast-reaction limit of a continuous coagulation-fragmentation model with diffusion

Weak solutions of the spatially inhomogeneous (diffusive) Aizenmann-Bak model of coagulation-breakup within a bounded domain with homogeneous Neumann boundary conditions are shown to converge, in the fast reaction limit, towards local equilibria determined by their mass. Moreover, this mass is the solution of a nonlinear diffusion equation whose nonlinearity depends on the (size-dependent) diffusion coefficient. Initial data are assumed to have integrable zero order moment and square integrable first order moment in size, and finite entropy. In contrast to our previous result [CDF2], we are able to show the convergence without assuming uniform bounds from above and below on the number density of clusters.

A one-dimensional Keller-Segel equation with a drift issued from the boundary

We investigate in this note the dynamics of a one-dimensional Keller-Segel type model on the half-line. On the contrary to the classical configuration, the chemical production term is located on the boundary. We prove, under suitable assumptions, the following dichotomy which is reminiscent of the two-dimensional Keller-Segel system. Solutions are global if the mass is below the critical mass, they blow-up in finite time above the critical mass, and they converge to some equilibrium at the critical mass. Entropy techniques are presented which aim at providing quantitative convergence results for the subcritical case. This note is completed with a brief introduction to a more realistic model (still one-dimensional).

Underwater Gigamosaicing

El procés de fusió de dues o més imatges de la mateixa escena en una d'única i més gran és conegut com a Image Mosaicing. Un cop finalitzat el procés de construcció d'un mosaic, els límits entre les imatges són habitualment visibles, degut a imprecisions en els registres fotomètric i geomètric. L'Image Blending és l'etapa del procediment de mosaicing a la que aquests artefactes són minimitzats o suprimits. Existeixen diverses metodologies a la literatura que tracten aquests problemes, però la majoria es troben orientades a la creació de panorames terrestres, imatges artístiques d'alta resolució o altres aplicacions a les quals el posicionament de la càmera o l'adquisició de les imatges no són etapes rellevants. El treball amb imatges subaquàtiques presenta desafiaments importants, degut a la presència d'scattering (reflexions de partícules en suspensió) i atenuació de la llum i a condicions físiques extremes a milers de metres de profunditat, amb control limitat dels sistemes d'adquisició i la utilització de tecnologia d'alt cost. Imatges amb il·luminació artificial similar, sense llum global com la oferta pel sol, han de ser unides sense mostrar una unió perceptible. Les imatges adquirides a gran profunditat presenten una qualitat altament depenent de la profunditat, i la seva degradació amb aquest factor és molt rellevant. El principal objectiu del treball és presentar dels principals problemes de la imatge subaquàtica, seleccionar les estratègies més adequades i tractar tota la seqüència adquisició-procesament-visualització del procés. Els resultats obtinguts demostren que la solució desenvolupada, basada en una Estratègia de Selecció de Límit Òptim, Fusió en el Domini del Gradient a les regions comunes i Emfatització Adaptativa d'Imatges amb baix nivell de detall permet obtenir uns resultats amb una alta qualitat. També s'ha proposat una estratègia, amb possibilitat d'implementació paral·lela, que permet processar mosaics de kilòmetres d'extensió amb resolució de centímetres per píxel.