非广义$\mathcal {H}$-张量的判定准则[英文]

给出判定非广义$\mathcal {H}$-张量的充要条件, 从理论上彻底解决了不可约非广义$\mathcal {H}$-张量的判定问题, 并给出判定不可约非广义$\mathcal {H}$-张量的具体算法. 最后, 利用数值算例表明了结果的有效性.     

$C^*$-代数上可加Jordan左$*$-导子的刻画

设$\delta$是一个$*$-代数$\mathcal A$到其左$\mathcal A$-模$\mathcal M$的可加映射, 如果对任意$A\in\mathcal A$, 有$\delta(A^2)=A\delta(A)+A^*\delta(A)$, 则称$\delta$~是一个可加Jordan左$*$-导子. 在本文中, 我们证明了复的单位$C^*$- 代数到其Banach左模的每个可加Jordan左$*$-导子都恒等于零. 设$G\in\mathcal A$, 如果对任意$A,B\in \mathcal A$, 当$AB=G$时, 有$\delta(AB)=A\delta(B)+B^*\delta(A)$, 则称$\delta$在$G$处左$*$-可导. 我们证明了复的单位$C^*$-代数到其Banach左模的在单位点处左$*$-可导的连续可加映射恒等于零.     

基于完备BR_0-代数的全蕴涵三I算法

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法,对—般蕴涵算子给出了三I算法解存在的—个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三I算法是与B(?)*系统相匹配的模糊推理方法．     

关于余挠三元组的余星子范畴和余倾斜子范畴

设$\mathcal{A}$ 是一个Abel范畴,且 $(\mathcal{X}, \mathcal{Z},\mathcal{Y})$ 是一个完全遗传余挠三元组.介绍 $\mathcal{A}$ 的 $n$-$\mathcal{Y}$-余倾斜子范畴的定义,并给出 $n$-$\mathcal{Y}$-余倾斜子范畴的一个刻画,类似于 $n$-余倾斜模的 Bazzoni 刻画.作为应用,证明了在一个几乎 Gorenstein 环 $R$ 上, 如果 $\mathcal{GP}$ 是 $n$-$\mathcal{GI}$-余倾斜的, 那么 $R$ 是一个 $n$-Gorenstein 环, 其中 $\mathcal{GP}$ 表示 Gorenstein 投射 $R$-模组成的子范畴且 $\mathcal{GI}$ 表示 Gorenstein 内射 $R$-模组成的子范畴. 进而, 研究 任意环$R$上的$n$-余星子范畴, 以及关于余挠三元组 $(\mathcal{P}, R$-Mod, $\mathcal{I})$ 的 $n$-$\mathcal{I}$-子范畴与 $n$-余星子范畴之间的关系, 其中 $\mathcal{P}$ 表示投射左 $R$-模组成的子范畴且 $\mathcal{I}$ 表示内射左 $R$-模组成的子范畴.     

$\mathbb{Z}^{k}$-作用一维子系统的Lipschitz跟踪性

本文主要研究了$\mathbb{Z}^{k}$-作用一维子系统的跟踪性质. 文中运用两种等价的方式引入了$\mathbb{Z}^{k}$-作用一维子系统的伪轨以及跟踪性的概念. 对于一个闭黎曼流形上的光滑$\mathbb{Z}^{k}$-作用$T$, 我们通过诱导的非自治动力系统提出了Anosov方向的概念. 借助Bowen几何的方法, 我们证明了$T$沿着任意Anosov方向具有Lipschitz跟踪性.     

代数$\Omega$-范畴的等价范畴

本文基于$\Omega$-范畴研究了(连续) $\mathcal{I}$-余万备$\Omega$-范畴的一些性质. 我们给出了双完备$\Omega$-范畴和逼近双模的概念并讨论了它们的性质, 证明了任何$\mathcal{I}$-余万备$\Omega$-范畴都是双完备$\Omega$-范畴. 得到了代数$\Omega$-范畴范畴等价于双完备$\Omega$-范畴.     

具有种群Logistic增长及饱和传染率的SIS模型的稳定性和Hopf分支

该文研究一类具有种群Logistic增长及饱和传染率的SIS传染病模型,讨论了平衡点的存在性及全局渐近稳定性,得到疾病消除的阈值就是基本再生数$R_{0}=1$. 证明了,当$R_{0}<1$ 时,无病平衡点全局渐近稳定;当$R_{0}>1$ 且$\alpha K\leq 1$ 时,正平衡点全局渐近稳定;当$R_{0}>1$ 且$\Delta ={0}$ 时,系统在正平衡点附近发生Hopf分支;当$R_{0}>1$ 且$\Delta <{0}$ 时,系统在正平衡点外围附近存在唯一稳定的极限环.     

基于完备BR0-代数的全蕴涵三Ⅰ算法

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三Ⅰ算法,对一般蕴涵算子给出了三Ⅰ算法解存在的一个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了Ro-单位区间W的R0-型α-三Ⅰ算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三Ⅰ算法是与BL*系统相匹配的模糊推理方法.     

论Poincar\''{e}型连续统及其某些基本性质

本文给出了Poincar\'{e}直觉主义连续统的一种超标准模型[PC],并证明了三条基本性质. [PC]是模型(PC)的深化和改进.作为其应用,文中还概述了子模型$\overline{R}$ (非Cantor型连续统)上的一种非标准微积分.     

因子von Neumann代数上完全保持 Jordan1-$*$-零积的映射

令$H$和$K$是无限维复Hilbert空间, $\mathcal{A},\mathcal{B}$分别是$H$和$K$上的因子von Neumann代数.结果表明每一个从$\mathcal{A}$到$\mathcal{B}$完全保Jordan1-$*$-零积的满射都是线性$*$-同构或者共轭线性$*$-同构的非零常数倍.     

${R}_{0}$代数中的滤子格

Abstract In the present paper, some basic properties of MP filters of Ro algebra M are investigated. It is proved that（FMP（M）,包含,′∧^-∨^-,{1},M）is a bounded distributive lattice by introducing the negation operator ′, the meet operator ∧^-, the join operator ∨^- and the implicati on operator → on the set FMP（M） of all MP filters of M. Moreover, some conditions under which （FMP（M）,包含,′∨^-,→{1},M）is an Ro algebra are given. And the relationship between prime elements of FMP （M） and prime filters of M is studied. Finally, some equivalent characterizations of prime elements of .FMP （M） are obtained.     

The dynamic behavior of deterministic and stochastic delayed SIQS model

In this paper, we present the deterministic and stochastic delayed SIQS epidemic models. For the deterministic model, the basic reproductive number $R_{0}$ is given. Moreover, when $R_{0}<1$, the disease-free equilibrium is globally asymptotical stable. When $R_{0}>1$ and additional conditions hold, the endemic equilibrium is globally asymptotical stable. For the stochastic model, a sharp threshold $\overset{\wedge }{R}_{0}$ which determines the extinction or persistence in the mean of the disease is presented. Sufficient conditions for extinction and persistence in the mean of the epidemic are established. Numerical simulations are also conducted in the analytic results.     

关于杨全会和陈永高提出的一个问题

对任意的正整数与集合,令为解的个数.杨全会和陈永高证明了:若整数且,则不存在集合使得对所有充分大的整数成立,其中.对整数和,定义为满足对所有整数成立的集合的个数.杨全会和陈永高证明了是有限的,且.同时,他们问对任意整数,是否存在使得对所有整数成立.在本文中,我们给出了在时的准确公式.从而推出在时成立.     

On Poincaré-Friedrichs Type Inequalities for the Broken Sobolev Space ${\rm W}^{2,1}$

We are concerned with the derivation of Poincaré-Friedrichs type inequalities in the broken Sobolev space $W^{2,1}$($Ω$; $\mathcal{T}_h$) with respect to a geometrically conforming, simplicial triagulation $\mathcal{T}_h$ of a bounded Lipschitz domain $Ω$ in $\mathbb{R}^d$ , $d$ $∈$ $\mathbb{N}$. Such inequalities are of interest in the numerical analysis of nonconforming finite element discretizations such as ${\rm C}^0$ Discontinuous Galerkin (${\rm C}^0$${\rm DG}$) approximations of minimization problems in the Sobolev space $W^{2,1}$($Ω$), or more generally, in the Banach space $BV^2$($Ω$) of functions of bounded second order total variation. As an application, we consider a ${\rm C}^0$${\rm DG}$ approximation of a minimization problem in$BV^2$($Ω$) which is useful for texture analysis and management in image restoration.     

纯无限单的C*-代数通过某些C*-代数扩张的非稳定K-理论

设0→B■E■A→0是有单位元C~*-代数E的一个扩张,其中A是有单位元纯无限单的C~*-代数,B是E的闭理想.当B是E的本性理想并且同时是单的、可分的而且具有实秩零及性质(PC)时,证明了K_0(E)={[p]| p是E\B中的投影};当B是稳定C~*-代数时,证明了对任意紧的Hausdorff空间X,有■(C(X,E))/■_0(C(X,E))≌K_1(C(X,E)).     

$L^{p}_{[0,1]}$空间M\"{u}ntz有理逼近的Jackson型估计 (英)

设$\Lambda=\{\lambda_{n}\}_{n=1}^{\infty}$为正的实数数列, 且当$n\rightarrow\infty$时, 有$\lambda_{n}\searrow 0$.本文给出了当 $\lambda_{n}\leq Mn^{-\frac{1}{2}},\;n=1,2, \cdots ,$(其中$M>0$为一正常数)时M\"{u}ntz系统$\{x^{\lambda_n}\}$的有理函数在$ L_{[0,1]} ^{p}$空间的逼近速度,主要结论为$R_{n} (f, \Lambda )_{L^{p}}\leq C_M \omega (f, n^{-\frac{1}{2}})_{L^{p}},\;1 \leq p \leq \infty.$     

三I表达式取最小值时的最优解

在本文中，针对蕴涵算子$R_0$,我们给出了当$A\rightarrow B$与$A^*(B^*)$给定时,求使三I表达式$(A\rightarrow B)\rightarrow(A^*\rightarrow B^*)$取最小值的全体$B^*(A^*)$之集的上确界(下确界)算法.并将上确界算法推广到多维多重的模糊推理中.从三I表达式取最值时求最优的$B^*(A^*)$的角度来看,本文是三I算法思想的延伸和完善.