ROLE OF α-PSEUDO-UNIVEX FUNCTIONS IN VECTOR VARIATIONAL-LIKE INEQUALITY PROBLEMS

In this paper, we introduce a new class of generalized convex function, namely, a-pseudounivex function, by combining the concepts of pseudo-univex and α-invex functions. Further, we establish some relationships between vector variational-like inequality problems and vector optimization problems under the assumptions of α-pseudo-univex functions. Results obtained in this paper present a refinement and improvement of previously known results.     

A theoretical model for mid-and low-latitude ionospheric electric fields in realistic geomagnetic fields

The geomagnetic fields, which play important roles in the ionospheric dynamo, can greatly affect the global distribution of ionospheric electric fields, currents and other ionospheric electrodynamics phenomena. In the study of ionospheric electrodynamics phenomena, such as the longitudinal variations of ionospheric electric fields, the non-dipolar component of the geomagnetic fields must be taken into account. In this paper, we deduce a theoretical electric field model for ionospheric dynamo at mid- and low-latitude which adopt a modified magnetic apex coordinates system. In the new electric field model, the geomagnetic fields can be calculated from either the IGRF model or the dipole field model, and the neutral winds and conductivities are calculated based on empirical models. Then the dynamo equation for the electric potential is finally solved in terms of the line-by-line iteration method, and the ionospheric electric fields and currents are derived from the calculated potential. Our model can reproduce the main features of the ionospheric electrodynamics processes, so it will be a useful tool for the investigation of the upper atmosphere and ionosphere.     

Common variation in three genes, including a noncoding variant in CFH, strongly influences risk of age-related macular degeneration

Age-related macular degeneration (AMD) is a common, late-onset disease with seemingly typical complexity: recurrence ratios for siblings of an affected individual are three- to sixfold higher than in the general population, and family-based analysis has resulted in only modestly significant evidence for linkage. In a case-control study drawn from a US-based population of European descent, we have identified a previously unrecognized common, noncoding variant in CFH, the gene encoding complement factor H, that substantially increases the influence of this locus on AMD, and we have strongly replicated the associations of four other previously reported common alleles in three genes (P values ranging from 10(-6) to 10(-70)). Despite excellent power to detect epistasis, we observed purely additive accumulation of risk from alleles at these genes. We found no differences in association of these loci with major phenotypic categories of advanced AMD. Genotypes at these five common SNPs define a broad spectrum of interindividual disease risk and explain about half of the classical sibling risk of AMD in our study population.     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

“The True” in Gottlob Frege's “Über die Grundlagen der Geometrie”

In this essay, I examine the metaphysical and metalogical ramifications of Gottlob Frege's controversy with David Hilbert and Alwin Korselt, over Hilbert's Grundlagen der Geometrie. These ramifications include(1) Korselt's original appeals to general metatheoretic Deutungen (interpretations);(2) Hilbert's puzzling belief that whatever is consistent in some sense exists; and(3) Frege's semantic monist conviction that theoretical sense and reference (mathematical and other) must be eindeutig lösbar (uniquely solvable).My principal conclusions are(4) that Frege's position in (3) represented a pervasively dogmatic presumption that his newly discovered quantification theory must have a propositional metatheory (the True; the False); and(5) that this needless assumption adversely affected not only his polemic against the moderate semantic relativism of Hilbert and Korselt, but also his reception of type-theoretic ideas, and greatly facilitated his vulnerability to the sort of self-referential inconsistency Russell discovered in Grundgesetz V.These conclusions also seem to me to provide a conceptual framework for several of Frege's other arguments and reactions which might seem more particular and disparate. These include(6) his arbitrary restrictions on the range of second-order quantification, which undercut his own tentative attempts to give accounts of independence and semantic consequence;(7) his uncharacteristic hesitation, even dismay, at the prospect that such accounts might eventuate in a genuinely quantificational metamathematics, whose Gegenstände (objects) might themselves be Gedanken (thoughts); and, perhaps most revealingly(8) his otherwise quite enigmatic, quasi-stoic doctrine that genuine formal deduction must be from premises that are true.A deep reluctance to pluralize or iterate the transition from theory to meta-theory would also be consonant, of course, with Frege's vigorous insistence that there can be only one level each of linguistic Begriffe (concepts) and Gegenstände (objects). With hindsight, such an assumption may seem more gratuitous in the philosophy of language (where it contributed, I would argue, to Wittgenstein's famous transition to the mystical in 6.45 and 6.522 of the Tractatus); but its more implausible implications in this wider context seemed to emerge more slowly.In the mathematical test-case discussed here, however, such strains were immediately and painfully apparent; the first models of hyperbolic geometry were described some thirty years before Frege drafted his polemic against Hilbert's pioneering exposition. It is my hope that a careful study of Frege's lines of argument in this relatively straightforward mathematical controversy may suggest other, parallel approaches to the richer and more ambiguous problems of his philosophy of language.Niemand kann zwei Herren dienen. Man kann nicht der Wahrheit dienen und der Unwahrheit. Wenn die euklidische Geometrie wahr ist, so ist die nichteuklidische Geometrie falsch, und wenn die nichteuklidische wahr ist, so ist die euklidische Geometrie falsch.No one can serve two masters. One cannot serve truth and untruth. If Euclidean geometry is true, non-Euclidean geometry is false, and if non-Euclidean [geometry] is true, Euclidean geometry is false. Über Euklidische Geometrie [Frege 1969], p. 183.     

A novel mechanism for jumping in the indian ant<Emphasis Type="Italic">Harpegnathos saltator</Emphasis> (Jerdon) (Formicidae,Ponerinae)

The Indian antHarpegnathos saltator may be unique among insects in using its jumping capacity not only as an escape mechanism but also as a normal means of locomotion, and for catching its prey in flight. High-speed cinematography used to analyse the various phases of the jump suggests thatHarpegnathos employs a novel jumping mechanism to mediate these behaviours: namely the synchronous activation of its middle and hindlegs. Electrophysiological recordings from muscles or nerves in pairs of middle and hindlegs show remarkably synchronous activity during fictive jumping, supporting the synchronous activation hypothesis.Harpegnathos is not the only ant to jump, and a cladistic analysis suggests that jumping behaviour evolved independently three times during ant evolutionary history.     

美东地区罗德河流域地下水中铝形态分布的化学平衡模式计算

美东地区的罗德河流域遭受着严重的酸沉降侵蚀．在酸性条件下,铝从土壤中大量溶解并迁移到水环境中．地表水中升高的铝浓度对鱼类产生毒害,监测地表水和土壤水中的铝形态及浓度变化已成为问题的关键．本文报导了用化学平衡模式计算法分析美东地区罗德河流域地下水中的铝形态分布,获得了有价值的结论