An explicit recursive formula for computing the normal forms associated with semisimple cases

This paper presents an explicit, computationally efficient, recursive formula for computing the normal forms, center manifolds and nonlinear transformations for general n-dimensional systems, associated with semisimple singularities. Based on the formula, we develop a Maple program, which is very convenient for an end-user who only needs to prepare an input file and then execute the program to “automatically” generate the result. Several examples are presented to demonstrate the computational efficiency of the algorithm.     

de Sitter空间中法联络平坦的完备类空子流形

该文证明了de Sitter空间中具有平行平均曲率向量的常数量曲率完备类空子流形,如果其法联络是平坦的,且M的截面曲率小于0,或M的第二基本形式模长平方‖σ‖相似文献   

Use of Micelles in the TLC Separation of Polynuclear Aromatic Compounds and Amino Acids

Abstract

The polynuclear aromatic compounds (PNA): anthracene, napthalene, phenanthrene, pyrene, pyrenecarboxaldehyde, benzo (a) pyrene, benzo (e) pyrene, perylene and fluorene can be chromatographed on polyamide TLC sheets using an aqueous micellar solution cf sodium dodecylsulfate (SDS) as the mobile phase. Reversed micellar solutions (of sodium dioctylsulfosuccinate) were used in a reverse phase chromatographic separation of amino acids. Some amino acids tended to streak slightly rather than move as discrete spots. Conditions could be adjusted, however, so that most of the amino acids and all PNA's would move as spots.     

正态定限（Orthant）概率

本文采用不同以往的方法；对正态定限（Ｏｒｔｈａｎｔ）概率积分施行线性变换与极坐标变换；得到了一个新的递推公式，使积分重数至少降低了３重；并推导了四维正态定限概率的表达式，这对进行数值计算是十分有意义的．     

Normal operators and inequalities in norm ideals

In this work we characterize normal invertible operators via inequalities with unitarily invariant norm of elementary operators.     

Valuation formulae for window barrier options

In this paper we study window barrier options, where a single constant continuously-monitored barrier prevails for a period that commences strictly after the start date of the option and terminates strictly before expiry. We determine valuation formulae within a limited deterministic term-structure in terms of trivariate normal distribution functions. These formulae offer a generalization of the valuation formulae for partial barrier options given by Heynan and Kat.     

Normal surfaces as combinatorial slicings

We investigate slicings of combinatorial manifolds as properly embedded co-dimension 1 submanifolds. Focus is given to the case of dimension 3, where slicings are (discrete) normal surfaces. For the cases of 2-neighborly 3-manifolds as well as quadrangulated slicings, lower bounds on the number of quadrilaterals of slicings depending on its genus g are presented. These are shown to be sharp for infinitely many values of g. Furthermore, we classify slicings of combinatorial 3-manifolds which are weakly neighborly polyhedral maps.     

Compactness of Iterated Commutators on Weighted Bergman Spaces

Compactness of Iterated Commutators on Weighted Bergman Spaces@刘永民&&     

THE (U K)-ORBITS OF ESSENTIALLY NORMAL OPERATORS AND THEIR STRONG IRREDUCIBILITY

§１．ＩｎｔｒｏｄｕｃｔｉｏｎＬｅｔＴｂｅａｌｉｎｅａｒ，ｂｏｕｎｄｅｄｏｐｅｒａｔｏｒａｃｔｉｎｇｏｎａｃｏｍｐｌｅｘ，ｓｅｐａｒａｂｌｅ，ｉｎｆｉｎｉｔｅｄｉｍｅｎｓｉｏｎａｌＨｉｂｅｒｔｓｐａｃｅＨ．Ｗｅｃａｌ（Ｕ＋Ｋ）（Ｔ）＝｛ＲＴＲ－１，Ｒ...     

Normal forms for fuzzy logics: a proof-theoretic approach

A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to a number of prominent fuzzy logics using hypersequent rules adapted from calculi defined in the literature. In particular, a normal form with simple McNaughton functions as literals is generated for ?ukasiewicz logic, and normal forms with simple implicational formulas as literals are obtained for Gödel logic, Product logic, and Cancellative hoop logic.