简介：在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.

简介：研究由一个可靠机器,一个不可靠机器和一个缓冲库构成的生产线.首先对应于此系统的数学模型化为抽象Cauchy问题,然后运用C0-半群理论证明此模型存在唯一的非负解.

简介：证明了开区间上的凸函数其左导数必定左连续，右导数必定右连续．

简介：在LuminitaA.Vese文章中给出的一个重要泛函算法的基础上,讨论了此泛函的一些其它理论结论,即利用Γ-收敛的性质得到该泛函极小点存在问题,泛函的变量空间的弱＊列紧等性质.同时讨论了在图像处理中一个相关泛函的极小点存在问题.

简介：本文讨论了由R·Fefferman提出的奇异积分算子Tf(x)=P·V·H*f(x),其中H(x)=k(x)h(x),h(x)为有界径向函数,k(x)为Calderon-Zygmund核,得到了在一定条件下的各种有界性,同时建立了n/(n+1)<1时的相应定理。

简介：本文讨论了混合事基函数和具有凸性性质的混合曲线的方法，给出了相应基函数应该满足的条件．并具体分析了一类三角多项式曲线具有的凸性性质，讨论了这样的二次多项式曲线与相尖的Bézier曲线的关系。

简介：本文利用侯振挺等提出的马尔可夫骨架过程理论讨论了串一并联系统的可靠性．

简介：本文利用共轭Ｃ０半群的扰动理论研究了无界容许控制算子，在太阳自反和非太阳自反Ｂａｎａｃｈ空间分别导出了一些容许性判据，并把这些抽象结果应用到了有限和无限延滞方程．

简介：首先介绍选举理论中的5种投票方法(简单多数、单轮决胜、系列决胜、Coombs法、Borda计数)和5条公平性准则(多数票、Condorcet获胜者、Condorcet失败者、无关候选人独立性、单调性),并用政治和社会领域的若干实例给以解释。然后给出著名的Arrow不可能性定理的两种不同的版本,以及对Arrow一条公平性准则的修正;按照修正后的准则,存在满足所有公平性准则的投票方法。

简介：本文引入任意随机变量序列停时变换的概念,利用截尾方法构造几乎处处收敛的鞅结合无穷乘积定理,讨论了变换的局部收敛性及强大数定理,作为推论得到了关于赌博系统的若干强极限定理.

简介：设Sn是那个对称群.让〈n〉={1,2,…,n},B*表示Sn中所有对换的集合和BB*.关于B的对换图Wn被定义为V(Wn)=〈n〉,E(Wn)={[uv]:(uv)∈B}.如果Wn是一棵树,则这个对换图称为一棵对换树Tn.Tn是Sn的一个极小生成集.在这篇文章里,我们研究了Cayley图Cay(Sn,Tn)的性质.证明了Cay(Sn,Tn)是(n-2)-可扩的,即,Cay(Sn,Tn)的可扩性达到最大.

简介：考虑了有界光滑区域ΩR~d,d=2,3上的一类半线性双调和方程.非线性项φ（｜▽u｜）是由｜▽u｜~p产生的.应用Schaefer不动点定理证明了当d=2（或d=3）,p满足2≤p〈∞（或2≤p≤6）时,该问题的解是存在的,并且解是局部唯一的.

简介：本文证明了以下定理：一个半素环是交换的当且仅当以下条件之一成立：(1)[x^my^n+xy^nx,x]=0，(2)[x^sy^t+yx^s,x]=0．其中x，y为R的任意元，m,n，s，t为正整数。

简介：通过建立比较定理，利用半序与上下解方法，在Banach空间研究了源弹性梁的—类四阶常微分方程两点边值问题的最大解与最小解的存在性．

简介：本文提出了一种带移民的碰撞分枝过程，它由三部分组成：马氏分枝过程、碰撞分枝过程和状态独立的移民过程，给出了该过程正则性和唯一性判别准则。

简介：本文给出算子迹的三个不等式,利用柯西推理方法证明其等价性,且推广了一些文献的结果.

简介：利用Crandall—Liggett半群定理和完全增长算子的性质，得到初始值属于L^2（Ω）的极小变分流第二边值问题弱解的存在性．

简介：为了研究强跟踪性,本文给出了强链回归集的定义.证明了:若度量空间上的一个连续自映射有强跟踪性,则其强链回归集与极限集相同.

简介：本文引入复广义权的外权的概念．讨论了某些与复广义权相关的函数的拟连续性．

简介：通过构造示性函数,利用示性函数与概率的关系对Chebyshev不等式、期望等几个问题给出新的证明方法.