EOL and ETOL array languages

In this paper we study the families of ETOL and EOL array languages. Standard forms for ETOL and EOL array systems are defined and closure properties of the families are studied. Relations of these families with other developmental array languages and other array languages are studied.     

具线性退化特征场对角型方程组Goursat问题的奇性形成机制

For an inhomogeneous quasilinear hyperbolic system of diagonal form, under the assumptions that the system is linearly degenerate and the C^1 norm of the boundary data is bounded, we show that the mechanism of the formation of singularities of C^1 classical solution to the Goursat problem with C^1 compatibility conditions at the origin must be an ODE type. The similar result is also obtained for the weakly discontinuous solution with C^0 compatibility conditions at the origin.     

拟线性微分代数方程的标准形

讨论了拟线性微分代数方程在一类特殊的奇点-拟障碍点附近的标准形.通过矩阵广义逆理论,拟线性微分代数方程可化为半显式形式.然后运用标准形理论,在微分同胚变换下,给出了拟线性微分代数方程在拟障碍点附近的标准形.在此基础上进一步讨论了这类标准形的去奇异化性质.     

D→Klv～l衰变过程的研究

用光锥QCD求和规则研究D→Klv～_l衰变过程，首先计算D→K跃迁形状因子，通过构造新的关联函数，消除了twist-3波函数的不确定性给计算结果所带来的影响，从而使计算结果更加精确. 计算得到的分支比与最近的实验数据相一致. 关键词： QCD光锥求和规则 D介子半轻衰变 分支比 形状因子     

静态傅里叶变换光谱仪的机理及干涉条纹的校正

针对高速、瞬时光谱测量要求光谱仪的结构简单、装备方便、实时性强的特点,文章介绍了一种静态傅里叶变换光谱仪,并对其原理进行了推导与剖析。针对其调整中出现的干涉条纹的倾斜校正问题,进行了详细的理论分析和干涉条纹模型的数学推导,得出倾斜镜旋转参数和光学元件最小通光口径之间的数学关系,以及倾斜镜旋转参数和干涉条纹旋转参数之间的数学关系。通过利用Matlab7.0数学工具,对所总结推导的干涉条纹模型进行模拟,对所得的各种参数之间的数学关系进行验证。分析结果表明据此数学关系所求得的β角校正精度达到1.4%,是一种有效可行的校正方法。     

Non-Noether conserved quantity constructed by using form invariance for Birkhoffian system

Based on the invariance of Birkhoffian equations under the infinitesimal transformations of groups, the definition and the criterion of a form invariance for a Birkhoffian system are established. The condition under which the form invariance can lead to a non-Noether conserved quantity and the form of the conserved quantity are deduced by relyingon the total time derivative along the trajectory of the equations, and two corollaries in special cases are presented. An example is finally given to illustrate the application of the results.     

Hamiltonian Forms for a Hierarchy of Discrete Integrable Coupling Systems

A semi-direct sum of two Lie algebras of four-by-four matrices is presented, and a discrete four-by-four matrix spectral problem is introduced. A hierarchy of discrete integrable coupling systems is derived. The obtained integrable coupling systems are all written in their Hamiltonian forms by the discrete variational identity. Finally, we prove that the lattice equations in the obtained integrable coupling systems are all Liouville integrable discrete Hamiltonian systems.     

Lump and interaction solutions to the (3+1)-dimensional Burgers equation

The(3+1)-dimensional Burgers equation, which describes nonlinear waves in turbulence and the interface dynamics,is considered. Two types of semi-rational solutions, namely, the lump–kink solution and the lump–two kinks solution, are constructed from the quadratic function ansatz. Some interesting features of interactions between lumps and other solitons are revealed analytically and shown graphically, such as fusion and fission processes.     

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.     

Certain condition on the second fundamental form of CR submanifolds of maximal CR dimension of complex Euclidean space

We treat m-dimensional real submanifolds M of complex space forms ̿M when the maximal holomorphic tangent subspace is (m−1)-dimensional. On these manifolds there exists an almost contact structure F which is naturally induced from the ambient space and in this paper we study the condition h(FX,Y)−h(X,FY) = g(FX,Y)η, η∊ T⊥(M), on the structure F and on the second fundamental form h of these submanifolds. Especially when the ambient space ̿M is a complex Euclidean space, we obtain a complete classification of submanifolds M which satisfy these conditions.Mathematics Subject Classifications (2000): 53C15, 53C40, 53B20.