Pupil responses derived from outer and inner retinal photoreception are normal in patients with hereditary optic neuropathy.

We compared the pupil responses originating from outer versus inner retinal photoreception between patients with isolated hereditary optic neuropathy (HON, n = 8) and healthy controls (n = 8). Three different testing protocols were used. For the first two protocols, a response function of the maximal pupil contraction versus stimulus light intensity was generated and the intensity at which half of the maximal pupil contraction, the half-max intensity, was determined. For the third protocol, the pupil size after light offset, the re-dilation rate and re-dilation amplitude were calculated to assess the post-light stimulus response. Patients with HON had bilateral, symmetric optic atrophy and significant reduction of visual acuity and visual field compared to controls. There were no significant mean differences in the response curve and pupil response parameters that reflect mainly rod, cone or melanopsin activity between patients and controls. In patients, there was a significant correlation between the half-max intensity of the red light sequence and visual field loss. In conclusion, pupil responses derived from outer or inner retinal photoreception in HON patients having mild-to moderate visual dysfunction are not quantitatively different from age-matched controls. However, an association between the degree of visual field loss and the half-max intensity of the cone response suggests that more advanced stages of disease may lead to impaired pupil light reflexes.

The Effect of Tax Revenue Budgeting Errors on Fiscal Balance : Evidence from Swiss cantons

This study is an empirical analysis of the impact of direct tax revenue budgeting errors on fiscal deficits. Using panel data from 26 Swiss cantons between 1980 and 2002, we estimate a single equation model on the fiscal balance, as well as a simultaneous equation model on revenue and expenditure. We use new data on budgeted and actual tax revenue to show that underestimating tax revenue significantly reduces fiscal deficits. Furthermore, we show that this effect is channeled through decreased expenditure. The effects of over and underestimation turn out to be symmetric.

Modules d'endo-permutation

Dans la th´eorie des repr´esentations modulaires des groupes finis, les modules d?endo-permutation occupent une place importante. En e_et, c?est le r?ole jou´e par ces modules dans l?analyse de la structure de certains modules simples pour des groupes finis p-nilpotents, qui a amen´e E. Dade `a en introduire le concept, en 1978. Quelques ann´ees plus tard, L. Puig a d´emontr´e que la source de n?importe quel module simple pour un groupe fini p-r´esoluble quelconque est un module d?endo-permutation. Plus r´ecemment, on s?est rendu compte que ces modules interviennent aussi dans l?analyse locale des cat´egories d´eriv´ees et dans l?´etude des syst`emes de fusion. La situation que l?on consid`ere est la suivante. On se donne un nombre premier p, un p-groupe fini P, un corps alg´ebriquement clos k de caract´eristique p et on veut d´eterminer tous les kP-modules d?endo-permutation couverts ind´ecomposables de type fini, c?est-`a-dire tous les kP-modules ind´ecomposables de type fini, tels que leur alg`ebre d?endomorphismes est un kP-module de permutation ayant un facteur direct trivial. On d´efinit une relation d?´equivalence sur l?ensemble de ces kP-modules et le produit tensoriel des modules induit une structure de groupe ab´elien sur l?ensemble des classes d?´equivalence. On appelle ce groupe, le groupe de Dade de P. Ainsi, classifier les modules d?endo-permutation couverts revient `a d´eterminer le groupe de Dade de P. Le groupe de Dade d?un p-groupe fini arbitraire est encore inconnu, bien qu?E. Dade, en 1978, ´etait d´ej`a parvenu `a la classification dans le cas o`u P est ab´elien. La premi`ere partie de ce travail de th`ese est consacr´ee au probl`eme de la classification dans le cas g´en´eral et r´esoud la question dans le cas de deux familles de p-groupes finis, `a savoir celle des p-groupes m´etacycliques, pour un nombre premier p impair, et celle des 2-groupes extrasp´eciaux, de la forme D8 _ · · · _ D8. Ces deux choix ont ´et´e motiv´es par le fait que ces groupes sont "presque" ab´eliens. De plus, certains r´esultats sur la structure du groupe de Dade d?un p-groupe fini quelconque rendent le groupe de Dade des groupes de ces deux familles plus simple `a ´etudier. Dans un deuxi`eme temps, nous nous sommes int´eress´es `a deux occurrences de ces modules dans la th´eorie de la repr´esentation des groupes finis, c?est-`a-dire `a deux raisons qui motivent leur ´etude. Ainsi, nous avons r´ealis´e des modules d?endo-permutation comme sources de modules simples. En particulier, il s?av`ere que, dans le cas d?un nombre premier p impair, tout module d?endo-permutation ind´ecomposable dont la classe est un ´el´ement de torsion dans le groupe de Dade est la source d?un module simple. Finalement, nous avons d´etermin´e, parmi tous les modules d?endo-permutation connus actuellement, lesquels poss`edent une r´esolution de permutation endo-scind´ee. Nous sommes arriv´es `a la conclusion que les seuls modules d?endo-permutation qui n?ont pas de r´esolution de permutation endo-scind´ee sont les modules "exceptionnels" apparaissant pour un 2-groupe de quaternions g´en´eralis´es.<br/><br/>In modular representation theory, endo-permutation modules occupy an important position. Indeed, the role that these modules play, in the analysis of the structure of some particular simple modules for finite p-nilpotent groups, induced E. Dade, in 1978, to give them their current name. A few years later, L. Puig proved that the source of any simple module for any finite psolvable group is an endo-permutation module. More recently, the occurrence of endo-permutation modules has also been noticed in the local analysis of splendid equivalences between derived categories and in the study of fusion systems. We consider the following situation. Given a prime number p, a finite pgroup P and an algebraically closed field k of characteristic p, we are looking for all finitely generated indecomposable capped endo-permutation kP-modules. That is, all finitely generated indecomposable kP-modules such that their endomorphism algebra is a permutation kP-module having a trivial direct summand. Then, we define an equivalence relation on the set of all isomorphism classes of such modules, and it turns out that the tensor product (over k) induces a structure of abelian group on this set. We call this group the Dade group of P. Hence, classifying all indecomposable finitely generated capped endo-permutation kPmodules is equivalent to determining the Dade group of P. At present, the Dade group of an arbitrary finite p-group is still unknown. However, E. Dade computed the Dade group of all finite abelian p-groups, in 1978 already. The first part of this doctoral thesis is concerned with the problem of the classification in the general case and solve it in the case of two families of finite p-groups, namely the metacyclic p-groups, for an odd prime number p, and the extraspecial 2-groups of the shape D8 _· · ·_D8. These two choices have been motivated by the fact that these groups are not far from being abelian. Moreover, some general results concerning the Dade group of arbitrary finite p-groups suggest that the Dade group of the groups belonging to these two families is easier to study. In the second part of this thesis, we have been looking at two particular occurrences of these modules in representation theory of finite groups which motivate the interest of their classification. Thus, we realised endo-permutation modules as sources of simple modules. In particular, it turns out that, in case p is an odd prime, any indecomposable module whose class in the Dade group is a torsion element is the source of some simple module. Finally, we considered all the modules we know at present and determined which ones have an endo-split permutation resolution. We could then conclude that all but the "exceptionnal" modules occurring in the generalized quaternion case have an endo-split permutation resolution.<br/><br/>"Module d?endo-permutation" n?est pas le nom d?une maladie exotique contagieuse (du moins pas `a ma connaissance), comme vous pourriez peut-?etre l?imaginer si vous faites partie des personnes qui croient que le titre de docteur n?est destin´e qu?aux m´edecins. Dans ce cas, il se peut que le sujet dont il est question ici vous cause quelques naus´ees et r´eveille de douloureux souvenirs d?´ecole, car un module d?endo-permutation est un objet math´ematique, alg´ebrique, plus pr´ecis´ement. Ce concept a ´et´e introduit il y a un quart de si`ecle, de l?autre c?ot´e de l?Atlantique, et il s?est r´ev´el´e su_samment int´eressant pour qu?aujourd?hui il ait franchi bien des fronti`eres, celles de l?alg`ebre y compris. Mais de quoi s?agit-il ? Si vous entendez le terme "endo-permutation" probablement pour la premi`ere fois, ce n?est certainement pas le cas pour celui de "module". Cependant, sa d´efinition dans le pr´esent contexte ne co¨ýncide avec aucune de celles figurant dans les dictionnaires ordinaires. Les personnes qui ont d´ej`a entendu parler de Frobenius, Burnside, Schur, ou encore Brauer, pourront vous dire qu?un module est une repr´esentation. "De quoi ?" vous demanderezvous. "Un spectacle de marionnettes, peut-?etre ?" Bien s?ur que non ! Un module d?endo-permutation est une repr´esentation particuli`ere de certains groupes finis, o`u un groupe n?est pas un groupe de rock, comme vous pouvez vous en douter, mais d´esigne un objet math´ematique connu par tous les ´etudiants en sciences au terme de leur premi`ere ann´ee universitaire (en th´eorie, du moins). La "popularit´e" de la notion de groupe, fini ou non, est due au fait que les groupes sont fr´equemment utilis´es, aussi bien dans le domaine abstrait des math´ematiques, que dans le monde r´eel des physiciens, chimistes et autres biologistes (pour ne citer qu?eux). "Mais comment peut-on utiliser concr`etement ces objets invisibles ?" vous demanderez-vous alors. Et bien, justement, en les consid´erant par l?interm´ediaire de leurs repr´esentations, c?est-`a-dire en leur associant des matrices, de fa¸con plus ou moins naturelle. Or, comme il y a "beaucoup trop" de matrices pour un groupe donn´e, elles sont classifi´ees selon certaines de leurs propri´et´es, ce qui permet de les r´epertorier dans diverses familles (celle des modules d?endo-permutation, par exemple). Un groupe est ainsi rendu "concret", car les donn´ees matricielles sont manipulables par tous les scienti- fiques (et leurs ordinateurs), qui peuvent alors les utiliser dans leurs recherches, afin de contribuer au progr`es de la science. En toute franchise, c?est bien loin de ces soucis terre-`a-terre que ce travail de th`ese sur la classification des modules d?endo-permutation a ´et´e accompli. En fait, quitte `a choquer certaines ?ames sensibles, sa r´ealisation est surtout due au caract`ere ´epicure de son auteur, qui, avouons-le, en a ´et´e pleinement satisfait !

Integral cohomology of finite postnikov towers

Depuis le séminaire H. Cartan de 1954-55, il est bien connu que l'on peut trouver des éléments de torsion arbitrairement grande dans l'homologie entière des espaces d'Eilenberg-MacLane K(G,n) où G est un groupe abélien non trivial et n>1. L'objectif majeur de ce travail est d'étendre ce résultat à des H-espaces possédant plus d'un groupe d'homotopie non trivial. Dans le but de contrôler précisément le résultat de H. Cartan, on commence par étudier la dualité entre l'homologie et la cohomologie des espaces d'Eilenberg-MacLane 2-locaux de type fini. On parvient ainsi à raffiner quelques résultats qui découlent des calculs de H. Cartan. Le résultat principal de ce travail peut être formulé comme suit. Soit X un H-espace ne possédant que deux groupes d'homotopie non triviaux, tous deux finis et de 2-torsion. Alors X n'admet pas d'exposant pour son groupe gradué d'homologie entière réduite. On construit une large classe d'espaces pour laquelle ce résultat n'est qu'une conséquence d'une caractéristique topologique, à savoir l'existence d'un rétract faible X K(G,n) pour un certain groupe abélien G et n>1. On généralise également notre résultat principal à des espaces plus compliqués en utilisant la suite spectrale d'Eilenberg-Moore ainsi que des méthodes analytiques faisant apparaître les nombres de Betti et leur comportement asymptotique. Finalement, on conjecture que les espaces qui ne possédent qu'un nombre fini de groupes d'homotopie non triviaux n'admettent pas d'exposant homologique. Ce travail contient par ailleurs la présentation de la « machine d'Eilenberg-MacLane », un programme C++ conçu pour calculer explicitement les groupes d'homologie entière des espaces d'Eilenberg-MacLane. <br/><br/>By the work of H. Cartan, it is well known that one can find elements of arbitrarilly high torsion in the integral (co)homology groups of an Eilenberg-MacLane space K(G,n), where G is a non-trivial abelian group and n>1. The main goal of this work is to extend this result to H-spaces having more than one non-trivial homotopy groups. In order to have an accurate hold on H. Cartan's result, we start by studying the duality between homology and cohomology of 2-local Eilenberg-MacLane spaces of finite type. This leads us to some improvements of H. Cartan's methods in this particular case. Our main result can be stated as follows. Let X be an H-space with two non-vanishing finite 2-torsion homotopy groups. Then X does not admit any exponent for its reduced integral graded (co)homology group. We construct a wide class of examples for which this result is a simple consequence of a topological feature, namely the existence of a weak retract X K(G,n) for some abelian group G and n>1. We also generalize our main result to more complicated stable two stage Postnikov systems, using the Eilenberg-Moore spectral sequence and analytic methods involving Betti numbers and their asymptotic behaviour. Finally, we investigate some guesses on the non-existence of homology exponents for finite Postnikov towers. We conjecture that Postnikov pieces do not admit any (co)homology exponent. This work also includes the presentation of the "Eilenberg-MacLane machine", a C++ program designed to compute explicitely all integral homology groups of Eilenberg-MacLane spaces. <br/><br/>Il est toujours difficile pour un mathématicien de parler de son travail. La difficulté réside dans le fait que les objets qu'il étudie sont abstraits. On rencontre assez rarement un espace vectoriel, une catégorie abélienne ou une transformée de Laplace au coin de la rue ! Cependant, même si les objets mathématiques sont difficiles à cerner pour un non-mathématicien, les méthodes pour les étudier sont essentiellement les mêmes que celles utilisées dans les autres disciplines scientifiques. On décortique les objets complexes en composantes plus simples à étudier. On dresse la liste des propriétés des objets mathématiques, puis on les classe en formant des familles d'objets partageant un caractère commun. On cherche des façons différentes, mais équivalentes, de formuler un problème. Etc. Mon travail concerne le domaine mathématique de la topologie algébrique. Le but ultime de cette discipline est de parvenir à classifier tous les espaces topologiques en faisant usage de l'algèbre. Cette activité est comparable à celle d'un ornithologue (topologue) qui étudierait les oiseaux (les espaces topologiques) par exemple à l'aide de jumelles (l'algèbre). S'il voit un oiseau de petite taille, arboricole, chanteur et bâtisseur de nids, pourvu de pattes à quatre doigts, dont trois en avant et un, muni d'une forte griffe, en arrière, alors il en déduira à coup sûr que c'est un passereau. Il lui restera encore à déterminer si c'est un moineau, un merle ou un rossignol. Considérons ci-dessous quelques exemples d'espaces topologiques: a) un cube creux, b) une sphère et c) un tore creux (c.-à-d. une chambre à air). a) b) c) Si toute personne normalement constituée perçoit ici trois figures différentes, le topologue, lui, n'en voit que deux ! De son point de vue, le cube et la sphère ne sont pas différents puisque ils sont homéomorphes: on peut transformer l'un en l'autre de façon continue (il suffirait de souffler dans le cube pour obtenir la sphère). Par contre, la sphère et le tore ne sont pas homéomorphes: triturez la sphère de toutes les façons (sans la déchirer), jamais vous n'obtiendrez le tore. Il existe un infinité d'espaces topologiques et, contrairement à ce que l'on serait naïvement tenté de croire, déterminer si deux d'entre eux sont homéomorphes est très difficile en général. Pour essayer de résoudre ce problème, les topologues ont eu l'idée de faire intervenir l'algèbre dans leurs raisonnements. Ce fut la naissance de la théorie de l'homotopie. Il s'agit, suivant une recette bien particulière, d'associer à tout espace topologique une infinité de ce que les algébristes appellent des groupes. Les groupes ainsi obtenus sont appelés groupes d'homotopie de l'espace topologique. Les mathématiciens ont commencé par montrer que deux espaces topologiques qui sont homéomorphes (par exemple le cube et la sphère) ont les même groupes d'homotopie. On parle alors d'invariants (les groupes d'homotopie sont bien invariants relativement à des espaces topologiques qui sont homéomorphes). Par conséquent, deux espaces topologiques qui n'ont pas les mêmes groupes d'homotopie ne peuvent en aucun cas être homéomorphes. C'est là un excellent moyen de classer les espaces topologiques (pensez à l'ornithologue qui observe les pattes des oiseaux pour déterminer s'il a affaire à un passereau ou non). Mon travail porte sur les espaces topologiques qui n'ont qu'un nombre fini de groupes d'homotopie non nuls. De tels espaces sont appelés des tours de Postnikov finies. On y étudie leurs groupes de cohomologie entière, une autre famille d'invariants, à l'instar des groupes d'homotopie. On mesure d'une certaine manière la taille d'un groupe de cohomologie à l'aide de la notion d'exposant; ainsi, un groupe de cohomologie possédant un exposant est relativement petit. L'un des résultats principaux de ce travail porte sur une étude de la taille des groupes de cohomologie des tours de Postnikov finies. Il s'agit du théorème suivant: un H-espace topologique 1-connexe 2-local et de type fini qui ne possède qu'un ou deux groupes d'homotopie non nuls n'a pas d'exposant pour son groupe gradué de cohomologie entière réduite. S'il fallait interpréter qualitativement ce résultat, on pourrait dire que plus un espace est petit du point de vue de la cohomologie (c.-à-d. s'il possède un exposant cohomologique), plus il est intéressant du point de vue de l'homotopie (c.-à-d. il aura plus de deux groupes d'homotopie non nuls). Il ressort de mon travail que de tels espaces sont très intéressants dans le sens où ils peuvent avoir une infinité de groupes d'homotopie non nuls. Jean-Pierre Serre, médaillé Fields en 1954, a montré que toutes les sphères de dimension >1 ont une infinité de groupes d'homotopie non nuls. Des espaces avec un exposant cohomologique aux sphères, il n'y a qu'un pas à franchir...

Data-parallel computation in parallel and distributed environments

The past few decades have seen a considerable increase in the number of parallel and distributed systems. With the development of more complex applications, the need for more powerful systems has emerged and various parallel and distributed environments have been designed and implemented. Each of the environments, including hardware and software, has unique strengths and weaknesses. There is no single parallel environment that can be identified as the best environment for all applications with respect to hardware and software properties. The main goal of this thesis is to provide a novel way of performing data-parallel computation in parallel and distributed environments by utilizing the best characteristics of difference aspects of parallel computing. For the purpose of this thesis, three aspects of parallel computing were identified and studied. First, three parallel environments (shared memory, distributed memory, and a network of workstations) are evaluated to quantify theirsuitability for different parallel applications. Due to the parallel and distributed nature of the environments, networks connecting the processors in these environments were investigated with respect to their performance characteristics. Second, scheduling algorithms are studied in order to make them more efficient and effective. A concept of application-specific information scheduling is introduced. The application- specific information is data about the workload extractedfrom an application, which is provided to a scheduling algorithm. Three scheduling algorithms are enhanced to utilize the application-specific information to further refine their scheduling properties. A more accurate description of the workload is especially important in cases where the workunits are heterogeneous and the parallel environment is heterogeneous and/or non-dedicated. The results obtained show that the additional information regarding the workload has a positive impact on the performance of applications. Third, a programming paradigm for networks of symmetric multiprocessor (SMP) workstations is introduced. The MPIT programming paradigm incorporates the Message Passing Interface (MPI) with threads to provide a methodology to write parallel applications that efficiently utilize the available resources and minimize the overhead. The MPIT allows for communication and computation to overlap by deploying a dedicated thread for communication. Furthermore, the programming paradigm implements an application-specific scheduling algorithm. The scheduling algorithm is executed by the communication thread. Thus, the scheduling does not affect the execution of the parallel application. Performance results achieved from the MPIT show that considerable improvements over conventional MPI applications are achieved.

Experimental and Numerical Analysis of Different Volutes in a Centrifugal Compressor

In a centrifugal compressor the flow around the diffuser is collected and led to the pipe system by a spiral-shaped volute. In this study a single-stage centrifugal compressor with three different volutes is investigated. The compressorwas first equipped with the original volute, the cross-section of which was a combination of a rectangle and semi-circle. Next a new volute with a fully circular cross-section was designed and manufactured. Finally, the circular volute wasmodified by rounding the tongue and smoothing the tongue area. The overall performance of the compressor as well as the static pressure distribution after the impeller and on the volute surface were measured. The flow entering the volute was measured using a three-hole Cobra-probe, and flow visualisations were carriedout in the exit cone of the volute. In addition, the radial force acting on theimpeller was measured using magnetic bearings. The complete compressor with thecircular volute (inlet pipe, full impeller, diffuser, volute and outlet pipe) was also modelled using computational fluid dynamics (CFD). A fully 3-D viscous flow was solved using a Navier-Stokes solver, Finflo, developed at Helsinki University of Technology. Chien's k-e model was used to take account of the turbulence. The differences observed in the performance of the different volutes were quite small. The biggest differences were at low speeds and high volume flows,i.e. when the flow entered the volute most radially. In this operating regime the efficiency of the compressor with the modified circular volute was about two percentage points higher than with the other volutes. Also, according to the Cobra-probe measurements and flow visualisations, the modified circular volute performed better than the other volutes in this operating area. The circumferential static pressure distribution in the volute showed increases at low flow, constant distribution at the design flow and decrease at high flow. The non-uniform static pressure distribution of the volute was transmitted backwards across the vaneless diffuser and observed at the impeller exit. At low volume flow a strong two-wave pattern developed into the static pressure distribution at the impeller exit due to the response of the impeller to the non-uniformity of pressure. The radial force of the impeller was the greatest at the choke limit, the smallest atthe design flow, and moderate at low flow. At low flow the force increase was quite mild, whereas the increase at high flow was rapid. Thus, the non-uniformityof pressure and the force related to it are strong especially at high flow. Theforce caused by the modified circular volute was weaker at choke and more symmetric as a function of the volume flow than the force caused by the other volutes.

Results of Anterior Tucking of the Superior Oblique Muscle Tendon in Bilateral Fourth Nerve Palsy.

Background: Bilateral fourth nerve palsy is characterised by excyclotorsion, which can be corrected by reinforcement of the anterior tendon fibres of the superior oblique muscle. Patients and Methods: A retrospective study of 40 consecutive patients with bilateral acquired fourth nerve palsy operated by a selective tuck of the anterior portion of the superior oblique tendon between 1994 and 2012 was undertaken. Horizontal, vertical and torsional deviations were measured in 9 diagnostic positions of gaze and the field of binocular single vision was evaluated with the Harms tangent screen. Postoperative follow-ups took place at 1 week, 6 months, and ≥ 3 years. Results: Preoperative mean excyclotorsion was 9° in the primary position and 15° in downgaze. These values decreased to 2° and 5° 6 months after surgery, and 2.5° and 6° at ≥ 3 years. Immediate post-operative incyclotorsion in upgaze (28 patients) and Brown syndrome (15 patients) regressed spontaneously. The median score of field of binocular single vision improved from 4 % preoperatively to 76 % postoperatively. Conclusions: The selective tuck of the anterior tendon fibers of the superior oblique tendon enables an efficient and long-lasting correction of the ocular torsion induced by bilateral trochlear palsy.

Generalization of Vélu’s formulae for isogenies between elliptic curves

Given an elliptic curve E and a finite subgroup G, V ́lu’s formulae concern to a separable isogeny IG : E → E ′ with kernel G. In particular, for a point P ∈ E these formulae express the first elementary symmetric polynomial on the abscissas of the points in the set P + G as the difference between the abscissa of IG (P ) and the first elementary symmetric polynomial on the abscissas of the nontrivial points of the kernel G. On the other hand, they express Weierstraß coefficients of E ′ as polynomials in the coefficients of E and two additional parameters: w0 = t and w1 = w. We generalize this by defining parameters wn for all n ≥ 0 and giving analogous formulae for all the elementary symmetric polynomials and the power sums on the abscissas of the points in P +G. Simultaneously, we obtain an efficient way of performing computations concerning the isogeny when G is a rational group.

The changing milliarcsecond radio morphology of the gamma-ray binary LS 5039

LS 5039 is one of the few TeV emitting X-ray binaries detected so far. The powering source of its multiwavelength emission can be accretion in a microquasar scenario or wind interaction in a young nonaccreting pulsar scenario. Aims.To present new high-resolution radio images and compare them with the expected behavior in the different scenarios. Methods.We analyze Very Long Baseline Array (VLBA) radio observations that provide morphological and astrometric information at milliarcsecond scales. Results.We detect a changing morphology between two images obtained five days apart. In both runs there is a core component with a constant flux density, and an elongated emission with a position angle (PA) that changes by 12 $\pm$ $3\degr$ between both runs. The source is nearly symmetric in the first run and asymmetric in the second one. The astrometric results are not conclusive. Conclusions.A simple and shockless microquasar scenario cannot easily explain the observed changes in morphology. An interpretation within the young nonaccreting pulsar scenario requires the inclination of the binary system to be very close to the upper limit imposed by the absence of X-ray eclipses.

Optimization of KOH etching process to obtain textured substrates suitable for heterojunction solar cells fabricated by HWCVD

In this work, we have studied the texturization process of (100) c-Si wafers using a low concentration potassium hydroxide solution in order to obtain good quality textured wafers. The optimization of the etching conditions have led to random but uniform pyramidal structures with good optical properties. Then, symmetric heterojunctions were deposited by Hot-Wire CVD onto these substrates and the Quasi-Steady-State PhotoConductance technique was used to measure passivation quality. Little degradation in the effective lifetime and implicit open circuit voltage of these devices (< 20 mV) was observed in all cases. It is especially remarkable that for big uniform pyramids, the open-circuit voltage is comparable to the values obtained on flat substrates.

Theta-duality on Prym varieties and a Torelli Theorem

Let $\pi : \widetilde C \to C$ be an unramified double covering of irreducible smooth curves and let $P$ be the attached Prym variety. We prove the scheme-theoretic theta-dual equalities in the Prym variety $T(\widetilde C)=V^2$ and $T(V^2)=\widetilde C$, where $V^2$ is the Brill-Noether locus of $P$ associated to $\pi$ considered by Welters. As an application we prove a Torelli theorem analogous to the fact that the symmetric product $D^{(g)}$ of a curve $D$ of genus $g$ determines the curve.

Paperikoneiden työskentelytasojen vaatimusten mukainen suunnittelu

Työtasojen kantavien rakenteiden on kestettävä riittävällä varmuudella mm. henkilökuormasta aiheutuvat jännitykset rakenneosissa. Lisäksi tasot eivät saa tuntua notkuvilta niillä käveltäessä, joten rakenteen siirtymille asetetaan rajoituksia. Työssä esitetään yleisimmin epäselvyyttä aiheuttaneet paperikoneiden työskentelytasoille asetetut vaatimukset. Vaatimukset ja niiden täyttäminen esitetään yksiselitteisellä tavalla esimerkiksi sovellettavien kuormitusten osalta. Materiaaliominaisuuksien osalta esitetään tärkeimmät työtasojen suunnittelussa huomioon otettavat asiat yleisimmille austeniittisille ruostumattomille teräksille ja alumiiniseoksille. Työtasorakenteiden mitoitusohjeet esitetään ritilöille, kulmaprofiilista valmistetuille jalkalistoille ja putkipalkista valmistetuille työtasojen kannattimille. Mitoituksessa otetaan myötöehdon ja siirtymärajoitusten lisäksi huomioon mm. levykenttien lommahdus. Kannattimien mitoituksessa otetaan huomioon vinoutuvien liitosten joustavuus ja kestävyys. Lisäksi esitetään mitoitusohjeet kitkaliitoksena toimivalle päätylevyliitokselle, johon kohdistuu mm. taivutus- ja vääntömomenttia.

Sähkömoottorin rakenteen analysointi tärisevässä käytössä

Tämän työn tavoitteena oli suunnitella esimerkkirakenne vaikeisiin olosuhteisiin tarkoitetusta sähkömoottorista. Ensisijaisesti tarkasteltavia osia sähkömoottorin rakenteessa olivat roottoriakseli, laakerointi sekä laakerikilvet. Laakeroinnista tarkasteltiin laakerivaurioiden syntymistä, tarvittavaa esijännitysvoimaa sekä jälkivoitelua. Lisäksi momenttiakselista tarkasteltiin sen vääntövärähtelyominaisuuksia sekä rungosta ja laakerikilvistä niiden jännityksiä B5-kiinnitysasennossa, eli laippakiinnityksessä. Työstä pyrittiin tekemään suunnitteluohje vastaavanlaisiin suunnittelutehtäviin. Tämän työn kirjallisessa osassa tarkasteltiin oikosulkumoottorin rakennetta ja laakerointia, josta perehdyttiin erityisesti erilaisiin kuormitustilanteisiin, voiteluun sekä kestoiänlaskentaan. Lisäksi tarkasteltiin roottoridynamiikkaa ja ominaismuotojen laskentaa. Kokonaisen roottorin, sisältäen roottoriakselin, –levypaketin, laakeroinnin ja ylikuormitussuojan, pienimmäksi ominaistaajuudeksi saatiin 62,1 Hz:ä, joka oli kuitenkin lähes kaksinkertainen verrattaessa roottorin käyntinopeuteen (33,3 Hz:ä). On siis varmaa, että roottorin kestoikä ei heikkene sen ominaistaajuuksien aiheuttamasta resonanssista. Pelkän roottoriakselin pienimmäksi ominaistaajuudeksi saatiin 448,0 Hz:ä. Verrattaessa tätä taajuutta roottorin käyntinopeuteen nähtiin, että roottoriakselin ominaistaajuuksien puolesta rakenne oli selvästi alikriittinen. Tarkasteltaessa roottoriakselin vääntövärähtelyn ominaistaajuutta 12,6 Hz:ä nähtiin, että se oli pienempi kuin moottorin pyörimisnopeus. Tämä ei kuitenkaan ollut moottorin kestoiän kannalta vakavaa. Koska todellisista sähkömoottorin käyttöolosuhteista ei ollut tarkkaa tietoa, tutkittiin laakeroinnin kestoikää kahdessa ääriolosuhteessa, joko moottoriin kohdistuva tärinä oli kokoajan suurin mahdollinen tunnettu tai tärinää ei ollut ollenkaan. Todellinen tilanne on jossakin näiden kahden ääriolosuhteen välissä. Oli kuitenkin varmaa, että tarkasteltava rakenne kestää halutun kestoiän eli 10000 tuntia laakeroinnin puolesta. Laakerikilpien ominaistaajuudet olivat korkeita eikä niillä ollut vaikutusta rakenteen kestoikään. Laakerikilpien korkeat ominaistaajuudet johtuivat niiden jäykästä rakenteesta ja suuresta materiaalipaksuudesta. Tarkasteltaessa momenttiakselin vääntövärähtelyn ominaistaajuutta 7,2 Hz:ä nähtiin, että se oli pienempi kuin moottorin pyörimisnopeus. Tämä ei kuitenkaan ollut moottorin kestoiän kannalta vakavaa, jos ominaistaajuus ja sen kerrannaiset ohitettaisiin sähkömoottorin käytössä hetkellisesti eikä moottoria käytettäisi vääntövärähtelyn taajuudella. Tarkasteltaessa B5-asennon jännityksiä nähdään, että ne kasvoivat rungon ja laakerikilven välisissä kiinnitysruuveissa yllättävän suuriksi. Normaalin ruuvin murtoraja on 640 MPa:a, kun jännitys rungon ja laakerikilven välisissä kiinnitysruuveissa oli suurimmillaan 400 MPa:a. Rakenne oli kuitenkin varmalla puolella kestävyyden suhteen, koska keskimääräinen vetojännitys ruuveissa oli noin 200 MPa:a. Ruuvien jännityksiä voidaan pienentää lisäämällä kiinnitys-ruuvien lukumäärää tai kasvattamalla niiden kokoa. Koko moottorin kiinnitysruuveissa jännitys oli vain 4 MPa:a, koska osan kuormituksesta kantoi laakerikilven olakkeet.

Correlation of the EPR properties of perchlorotriphenylmethyl radical and their efficiency as DNP polarizers

Water soluble perchlorinated trityl (PTM) radicals were found to be effective 95 GHz DNP (dynamic nuclear polarization) polarizers in ex situ (dissolution) 13C DNP (Gabellieri et al., Angew Chem., Int. Ed. 2010, 49, 3360). The degree of the nuclear polarization obtained was reported to be dependent on the position of the chlorine substituents on the trityl skeleton. In addition, on the basis of the DNP frequency sweeps it was suggested that the 13C NMR signal enhancement is mediated by the Cl nuclei. To understand the DNP mechanism of the PTM radicals we have explored the 95 GHz EPR characteristics of these radicals that are relevant to their performance as DNP polarizers. The EPR spectra of the radicals revealed axially symmetric g-tensors. A comparison of the spectra with the 13C DNP frequency sweeps showed that although the solid effect mechanism is operational the DNP frequency sweeps reveal some extra width suggesting that contributions from EPR forbidden transitions involving 35,37Cl nuclear flips are likely. This was substantiated experimentally by ELDOR (electron-electron double resonance) detected NMR measurements, which map the EPR forbidden transitions, and ELDOR experiments that follow the depolarization of the electron spin upon irradiation of the forbidden EPR transitions. DFT (density functional theory) calculations helped to assign the observed transitions and provided the relevant spin Hamiltonian parameters. These results show that the 35,37Cl hyperfine and nuclear quadrupolar interactions cause a considerable nuclear state mixing at 95 GHz thus facilitating the polarization of the Cl nuclei upon microwave irradiation. Overlap of Cl nuclear frequencies and the 13C Larmor frequency further facilitates the polarization of the 13C nuclei by spin diffusion. Calculation of the 13C DNP frequency sweep based on the Cl nuclear polarization showed that it does lead to an increase in the width of the spectra, improving the agreement with the experimental sweeps, thus supporting the existence of a new heteronuclear assisted DNP mechanism.

A model for the evolution of reinforcement learning in fluctuating games

Many species are able to learn to associate behaviours with rewards as this gives fitness advantages in changing environments. Social interactions between population members may, however, require more cognitive abilities than simple trial-and-error learning, in particular the capacity to make accurate hypotheses about the material payoff consequences of alternative action combinations. It is unclear in this context whether natural selection necessarily favours individuals to use information about payoffs associated with nontried actions (hypothetical payoffs), as opposed to simple reinforcement of realized payoff. Here, we develop an evolutionary model in which individuals are genetically determined to use either trial-and-error learning or learning based on hypothetical reinforcements, and ask what is the evolutionarily stable learning rule under pairwise symmetric two-action stochastic repeated games played over the individual's lifetime. We analyse through stochastic approximation theory and simulations the learning dynamics on the behavioural timescale, and derive conditions where trial-and-error learning outcompetes hypothetical reinforcement learning on the evolutionary timescale. This occurs in particular under repeated cooperative interactions with the same partner. By contrast, we find that hypothetical reinforcement learners tend to be favoured under random interactions, but stable polymorphisms can also obtain where trial-and-error learners are maintained at a low frequency. We conclude that specific game structures can select for trial-and-error learning even in the absence of costs of cognition, which illustrates that cost-free increased cognition can be counterselected under social interactions.