On a positive set theory with inequality

We introduce a quite natural Frege‐style set theory, which we call Strong‐Frege‐2 $(\mathsf {SF}_2)$, a sort of simplification of the theory considered in 13 (under the name Strong‐Frege‐3) and 1 (under the name F2). We give a model of a weaker variant of $\mathsf {SF}_2$, called $\mathsf {SF}_2\mathsf {AC}$, where atoms and coatoms are allowed. To construct the model we use an enumeration “almost without repetitions” of the Π¹₁ sets of natural numbers; such an enumeration can be obtained via a classical priority argument much in the style of 5 and 15 . © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

有向网络下多个体系统的整体行为

研究非时变有向通讯网络背景下一阶线性多个体动力学系统的整体行为.根据通讯网络的结构,系统可以区分为独立基本子系统和非独立基本子系统.当系统的控制规则为一类平凡的线性类型时,系统的独立基本子系统将趋于自身的一致状态,也即子系统中的每个个体趋于子系统的带权中心.独立基本子系统带权中心由子系统的系数矩阵的零特征根归一化左特征向量确定.非独立子系统中个体将趋于独立基本子系统带权中心的凸集内.当且仅当系统的独立基本子系统唯一时,系统实现一致性行为.     

基于Vague集的水电工程方案模糊综合评价

水利工程建设方案决策是多目标综合评价问题,系统指标信息具有复杂、多变,模糊、不确定等特点,采用Vague集相似度量评价模型构建水利工程建设方案综合决策模型,建立基于Vlague集的指标隶属度计算方法,构造基于Vague集相似度的多目标方案评价.针对建设方案决策评价指标的不确定性,通过肯定、踌躇、否定的Vague集相似度量概念延伸了传统模糊集的评价、分析方式.将方法应用于水利工程建设方案决策实例,取得较为满意的结果,表明了方法的合理可行性,为水利工程的建设方案评价提供了科学决策的新途径.     

半环上的粗糙集

利用同余关系把粗糙集理论引入到半环里,给出了半环中的一个子集的上,下近似的概念,并研究了其一系列性质;另外我们还讨论了半环中的粗糙理想及性质.     

二次李三系的分解定理

有限维李三系称为二次的,如果它容许一个非退化的不变对称双线性型.无论是李三系分解为不可分解理想的直和,还是二次李三系分解为不可分解非退化理想的正交直和,证明了这两类分解在同构意义下都是唯一的.     

一种结合Roe格式的高精度半拉氏方法

针对守恒形式的欧拉方程组, 构造了一种结合Roe格式的守恒型有限体 积形式的半拉氏方法. 通过发展一种基于Roe特征速度的拉氏质点回溯方法, 由此来计算 半点的流量并作为边界通量的近似, 使得这种半拉氏方法在时空离散上达到二阶精度, 并 且保证了守恒性. 其中回溯点处物理量采用本质无振荡格式(ENO)方法进行插值重 构得到, 不需要增加人工黏性且避免了有限体积多矩半拉氏方法中限制器选择的问题, 又能够达到时空的高阶精度. 方法简便, 易于实现, 兼具拉氏方法和欧拉方法的优点. 一维和二维数值算例表明, 此方法对激波和接触间断都取得了满意的模拟效果, 可用于可压缩复杂流动问题的计算.     

On the K-stability of complete intersections in polarized manifolds

We consider the problem of existence of constant scalar curvature Kähler metrics on complete intersections of sections of vector bundles. In particular we give general formulas relating the Futaki invariant of such a manifold to the weight of sections defining it and to the Futaki invariant of the ambient manifold. As applications we give a new Mukai–Umemura–Tian like example of Fano 5-fold admitting no Kähler–Einstein metric, and a strong evidence of K-stability of complete intersections in Grassmannians.     

On edge star sets in trees

Let A be a Hermitian matrix whose graph is G (i.e. there is an edge between the vertices i and j in G if and only if the (i,j) entry of A is non-zero). Let λ be an eigenvalue of A with multiplicity m_A(λ). An edge e=ij is said to be Parter (resp., neutral, downer) for λ,A if m_A(λ)−m_A−e(λ) is negative (resp., 0, positive ), where A−e is the matrix resulting from making the (i,j) and (j,i) entries of A zero. For a tree T with adjacency matrix A a subset S of the edge set of G is called an edge star set for an eigenvalue λ of A, if |S|=m_A(λ) and A−S has no eigenvalue λ. In this paper the existence of downer edges and edge star sets for non-zero eigenvalues of the adjacency matrix of a tree is proved. We prove that neutral edges always exist for eigenvalues of multiplicity more than 1. It is also proved that an edge e=uv is a downer edge for λ,A if and only if u and v are both downer vertices for λ,A; and e=uv is a neutral edge if u and v are neutral vertices. Among other results, it is shown that any edge star set for each eigenvalue of a tree is a matching.     

Divisibility of matrices associated with multiplicative functions

Let S={x₁,…,x_n} be a set of n distinct positive integers. For x,y∈S and y<x, we say the y is a greatest-type divisor of x in S if y∣x and it can be deduced that z=y from y∣z,z∣x,z<x and z∈S. For x∈S, let G_S(x) denote the set of all greatest-type divisors of x in S. For any arithmetic function f, let (f(x_i,x_j)) denote the n×n matrix having f evaluated at the greatest common divisor (x_i,x_j) of x_i and x_j as its i,j-entry and let (f[x_i,x_j]) denote the n×n matrix having f evaluated at the least common multiple [x_i,x_j] of x_i and x_j as its i,j-entry. In this paper, we assume that S is a gcd-closed set and . We show that if f is a multiplicative function such that (f∗μ)(d)∈Z whenever and f(a)|f(b) whenever a|b and a,b∈S and (f(x_i,x_j)) is nonsingular, then the matrix (f(x_i,x_j)) divides the matrix (f[x_i,x_j]) in the ring M_n(Z) of n×n matrices over the integers. As a consequence, we show that (f(x_i,x_j)) divides (f[x_i,x_j]) in the ring M_n(Z) if (f∗μ)(d)∈Z whenever and f is a completely multiplicative function such that (f(x_i,x_j)) is nonsingular. This confirms a conjecture of Hong raised in 2004.