强并半格中的C-滤子及其应用

首先,在并半格中引入了上覆盖关系的概念以及由上覆盖关系确定的强并半格中的上覆盖概念,在强并半格中讨论了它们的基本性质;其次,通过上覆盖概念在强并半格中引入了C-滤子概念,证明了强并半格中的C-滤子是通常滤子,但强并半格中的通常滤子并非C-滤子;最后,研究了强并半格同态和余Frame同态之间的关系,证明了余Frame S与相应的C_S-滤子型余Frame之间的同构定理.     

基于复杂网络上的演化博弈

论述了基于复杂网络的演化博弈.通过介绍相应的演化博弈模型-囚徒困境模型以及一些复杂网络,鉴于复杂网络的优点以及博弈演化的特性,将两者巧妙的结合起来,介绍了研究这类问题的一些方法.     

带次线性中立项的二阶广义Emden-Fowler微分方程的Philos型振动准则

研究一类带次线性中立项的二阶非线性广义Emden-Fowler时滞微分方程的振动性.利用Riccati变换和不等式技巧,在非正则条件下建立了该类方程多个简便的Philos型和Kamenev型新振动准则.所得定理也适应于包括经典Euler方程等线性非中立型方程,推广和改进了已有文献中的相应结果.最后还给出应用实例展示了所...     

Relationships among quasivarieties induced by the min networks on inverse semigroups

Semigroup Forum - A congruence on an inverse semigroup S is determined uniquely by its kernel and trace. Denoting by $$\rho _k$$ and $$\rho _t$$ the least congruence on S having the same kernel and...     

时滞微分方程依照两种测度的稳定性

运用变异Liapunov方法,讨论了时滞微分方程依照两种测度的稳定性。借助于中间测度h*(t,x),在未扰动系统为常微分方程的情形下,得到了关于时滞微分方程非一致和一致稳定性的判定定理。     

有限时滞微分系统依照双测度的实际稳定性

本文对具有有限时滞的泛函微分方程建立了关于依照两种测度的实际稳定性的Razumikhin型判定定理，其中未采用通常的辅助函数，且可运用多个含有状态变量x的部分变元的Lyapunov函数，得出部分变远实际稳定性的判定定理，从而改进了已有的结果。     

拟连续Domain及其子范畴间的伴随关系

基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL（分别地,有界完备连续Domain范畴CBD）是拟连续Domain范畴QCONT（分别地,Coherent拟连续 Domain范畴QCCOH）的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴.     

Circulant preconditioners for pricing options

We use the normalized preconditioned conjugate gradient method with Strang’s circulant preconditioner to solve a nonsymmetric Toeplitz system A_nx=b, which arises from the discretization of a partial integro-differential equation in option pricing. By using the definition of family of generating functions introduced in [16], we prove that Strang’s circulant preconditioner leads to a superlinear convergence rate under certain conditions. Numerical results exemplify our theoretical analysis.     

关于交半格同态构成的函数空间与FS-交连续Domain

定义了一类序结构-FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.