Blaschke hypersurfaces with symmetric shape operator

A Blaschke hypersurface admits \(\hat \nabla S\) symmetry if and only if \(\hat \nabla S(X,Y) = \hat \nabla S(Y,X)\). We prove that the shape operator has only one eigenvalue. And such Blaschke surfaces are classified as affine spheres or ruled surfaces.     

On the Cayley-Bacharach Property

The Cayley-Bacharach Property (CBP), which has been classically stated as a property of a finite set of points in an affine or projective space, is extended to arbitrary 0-dimensional affine algebras over arbitrary base fields. We present characterizations and explicit algorithms for checking the CBP directly, via the canonical module, and in combination with the property of being a locally Gorenstein ring. Moreover, we characterize strict Gorenstein rings by the CBP and the symmetry of their affine Hilbert function, as well as by the strict CBP and the last difference of their affine Hilbert function.     

Stable intersection of affine Cantor sets defined by two expanding maps

It is shown that in the context of affine Cantor sets with two increasing maps, the arithmetic sum of both of its elements is a Cantor set otherwise, it is a closure of countable union of nontrivial intervals. Also, a new family of pairs of affine Cantor sets is introduced such that each element of it has stable intersection. At the end, pairs of affine Cantor sets are characterized such that the sum of elements of each pair is a closed interval.     

Functors of the category of abelian sheaves on regular affine scheme

In this short paper, we prove that ifR is a regular local ring of unequal characteristic, then there exists an additive covariant functorG from the category of abelian sheaves on SpecR to the category of abelian groups such that id _R (G(R))>dimG(R). This result shows that the answer to the question 3.8 (ii) in [3] may be negative.     

Hereditarily Optimal Realizations of Consistent Metrics

One of the main problems in phylogenetics is to find good approximations of metrics by weighted trees. As an aid to solving this problem, it could be tempting to consider optimal realizations of metrics—the guiding principle being that, the (necessarily unique) optimal realization of a tree metric is the weighted tree that realizes this metric. And, although optimal realizations of arbitrary metrics are, in general, not trees, but rather weighted networks, one could still hope to obtain a phylogenetically informative representation of a given metric, maybe even more informative than the best approximating tree. However, optimal realizations are not only difficult to compute, they may also be non-unique. Here we focus on one possible way out of this dilemma: hereditarily optimal realizations. These are essentially unique, and can be described in a rather explicit way. In this paper, we recall what a hereditarily optimal realization of a metric is and how it is related to the 1-skeleton of the tight span of that metric, and we investigate under what conditions it coincides with this 1-skeleton. As a consequence, we will show that hereditarily optimal realizations for consistent metrics, a large class of phylogentically relevant metrics, can be computed in a straight-forward fashion. Received August 26, 2004     

一般非线性控制系统的最小Hamiltonian实现问题研究

本文给出了一般非线性控制系统的最小Ｈａｍｉｌｔｏｎｉａｎ实现的存在性条件和唯一性结果。     

双参数变形多模玻色算符的代数结构及其应用(Ⅱ)

给出了双参数变形量子代数ＳＵ（２）ｑ，ｓ和ＳＵ（１，１）ｑ，ｓ的多模Ｊｏｒｄａｎ－Ｓｃｈｗｉｎｇｅｒ实现。     

液体火箭发动机健康诊断系统设计与实现

设计和实现了液体火箭发动机健康诊断系统,基于两种现役液体火箭发动机3种类型的20余次地面热试车数据,提取了200个特征参数,初步确定了针对不同健康状态的权重向量,建立了基于案例和基于规则的综合诊断,生成健康诊断报告.系统现已投入某型液体火箭发动机的科研与生产,为火箭发动机的校准试车后不分解交付提供依据.     

极大代数上多输入多输出线性系统的最小实现

研究了极大代数上无穷阵序列{Gi}0∞的实现问题.首先给出了周期阵序列的概念,得到了1-阶和2-阶周期阵序列{Gi}0∞元素之间的关系,并得到多输入多输出情况下线性系统存在1维和2维最小实现的充要条件.     

模糊仿射集与模糊向量子空间的再定义

利用模糊直线定义模糊仿射集，研究其有关性质。在此基础上，定义模糊向量子空间，证明一个模糊集为模糊仿射集的充要条件是该模糊集是一个模糊子空间的平移。