基于Bernstein Copula函数的随机变量序列的Max-Sum局部等价式

该文考虑一类具有局部长尾分布,但不一定具有相同分布的随机变量序列,其联合分布由Bernstein copula函数进行联系.研究其部分和及其最大值的局部分布的渐近性质.在假设诸随机变量服从局部次指数分布的条件下,得到了Max-Sum局部等价性.该等价性从局部和相依的角度描述了随机游动的一次大跳原理.数值实验表明所得结果稳定可行.

服从FGM Copula的实值重尾随机游动的局部Max-Sum等价

该文考虑了服从FGM copula的实值重尾随机游动.在边缘分布满足一定条件下,利用局部重尾分布理论和FGM copula的有关性质研究了部分和的尾分布局部渐近性质,进而将在该相依结构下重尾随机游动的局部Max-Sum等价成立的范围由正实数推广到全体实数情形.该结果在风险理论中具有一定的应用价值.

局部紧群上概率测度卷积幂弱收敛等价性定理

本文研究拓扑代数结构上概率测度的极限性质.把Kawada-Ito等人在紧群上得到的有关卷积幂弱收敛等价性的经典结果完整地推广到局部紧群上.

求解恰当可满足性问题的随机局部搜索算法

可满足性问题(SAT)是一种NP完全问题,被广泛运用于人工智能和机器学习等研究。恰当可满足性问题(XSAT)是SAT中一类重要的子问题。目前的大部分关于XSAT的研究主要为理论层面,对高效的求解算法特别是具有高效验证性的随机局部搜索算法研究很少。针对以上问题,分析了基础编码和等价编码两种转化方式的公式的部分性质,提出一种直接求解XSAT的随机局部搜索算法WalkXSAT。首先使用随机局部搜索框架进行基础搜索与条件判定;其次加入变元所属文字的恰当不可满足计分值,优先处理不易恰当满足的变元;然后使用防重复选择翻转变元的启发式策略减小搜索空间;最后,采用多种来源以及多种格式的实例进行对比实验。在直接求解XSAT时,相较于ProbSAT,WalkXSAT的变元翻转次数与求解时间显著减少;在求解基础编码转化后的实例中,当实例变元规模大于100时,ProbSAT已失效,而WalkXSAT依然能够在短时间内求解。实验结果表明,所提WalkXSAT精确性高、稳定性强、收敛快。

取值于局部凸空间的矢值测度各种有界变差的等价性

文［１］引入了取值于局部凸空间和磁值测度的各种有界变差，并讨论了这些有界变差矢值测量的一些性质，本文我们研究了各种有界变差的等价性，从而推广了文［２］的一些结果。有关局部凸空间和矢值测度的符号和术语参见文［５，６］。

面向等价性验证的锁存器匹配算法

为了克服现有等价性验证技术中难以精确匹配锁存器的局限性,提出了一种结合多种方法的新型锁存器匹配算法.该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配,提出的局部二叉判决图技术降低了发生内存爆炸的可能性,目标模拟则针对性地对锁存器作进一步的划分.ISCAS89电路实验结果表明,该算法与模拟和自动测试矢量生成等方法相比,在运行时间、占用内存和匹配精度等方面均体现出有效性,可用于处理较大规模的时序电路验证问题.

T_E(X)中局部方向保序变换半群的Green关系和正则性

设X为有限集合,OPPE(X)为TE(X)中局部方向保序变换半群.研究了OPPE(X)的G reen关系与正则性.

一类广义波方程的低正则性

利用等价积分算子和Fourier变换的方法 ,研究高维空间中一类广义波方程utt-Δmu+p(x ,D)u=uk(x∈Rn,m、k∈Z+ ,k≥ 2 ,m ≥ 1,｜p(x ,ξ) ｜≤C｜ξ｜2m-1)的低正则性 ,得到了其Sobolev指数为 n2 - mk - 1.

合作性生态模型的两个定理

引言 n种群相互作用生态模型的一般形式是如下的常微分方程组。

Farlie-Gumbel-Morgenstern联合分布的Max-Sum局部等价式

设n个随机变量服从Farlie-Gumbel-Morgenstern联合分布,本文分别研究它们的和与最大值的局部渐近性.进而,在这些随机变量服从局部次指数分布的条件下,得到Max-Sum局部等价式.该等价式从局部和相依的角度刻画了随机游动的一个大跳原理.

Adams完备化与局部化的等价性

本文在一般的范畴上考虑了幂等对与Ａｄａｍｓ完备化的关系。

不变平均和拓扑不变平均

设 G为局部紧群 ,在一致连续函数空间 U( G)上 ,用两种方法证明左不变平均和拓扑左不变的等价性 .当 G是交换群时 。

无界域上一类非线性积分微分方程解的存在性

在比较宽松的条件下,研究了无界域上一类非线性积分微分方程解的存在性.通过引进等价的范数,利用递归法、Tonelii近似序列和局部凸拓扑,建立了新的存在性定理,改进了定义在有界域上的非线性湿气迁移方程的相应结果.