一种基于动态可测性测度的快速识别逻辑冗余故障的方法——DRFM

在测试生成之前,借助可测性分析方法,以线性时空开销识别数字电路的冗余故障是个至今尚未解决的问题.本文在文献[8,9]的四值动态代价分析的基础上,首次采用动态相关信号模型,提出了动态约束四值测度方法DRFM.DRFM能精确描述实用电路中常见的冗余故障,它识别一个冗余故障所需的时间为电路门数的线性增长函数.

条件概率的弱定义与随机事件间相依性的不同刻画

从不同角度刻画任意两个随机事件之间的相依关系是更一般的准确刻画随机变量之间的相依关系的前提.基于积事件概率不等式,提出了条件概率的弱定义、事件间的相依原理和事件间的相依度,并利用定性与定量方法相结合逐步深入刻画了任意两个随机事件之间的相依关系.同时,推广了条件概率、独立性等概念与相关概率命题的适用范围,使相关结论在具有理论价值和实践价值基础上,有更完美、对称的表达形式.

Devaney定义下变换的拓扑和随机性质的关系

利用拓扑和遍历理论对Devaney混沌意义下变换的弱混合与拓扑混合、拓扑传递及初值敏感的关系进行了研究,改进了已有文献的结论,证明了弱混合则初值敏感.

基于水利普查数据的函数依赖关系算法

条件函数依赖(Conditional Functional Dependencies,CFDs)在数据库一致性的检测上应用广泛。为检测水利普查数据的一致性,本文针对水利普查数据特点,将普查数据分为度量、维度2部分,并对度量数据进行聚类,引入条件函数依赖的概念,同时重新定义条件函数依赖,改进发现条件函数依赖的算法(即CTANE算法);以水库工程数据为例,验证本文改进的算法能准确高效地发现水利普查数据中的条件函数依赖,为检测数据一致性做好准备。

相关寿命函数的可压缩性

在可导与可积可交换的假设下,利用条件概率的性质,得到了生存函数条件相依度、剩余寿命函数条件相依度的强可压缩、平均可压缩的条件,同时也得到了平均寿命条件相依度、平均剩余寿命条件相依度平均可压缩的条件。

Structural Stability of p(x)-Laplace Problems with Fourier Type Boundary Condition

We study the continuous dependence on coefficients of solutions of the nonlinear nonhomogeneous Fourier boundary value problems involving the p(x)-Laplace operator.

带有相依移民的连续状态分枝过程

通过求解由轨道空间上的Poisson随机测度驱动的随机积分方程,对于满足Yamada-Watanabe型条件的移民速度函数,本文给出了带相依移民连续状态分枝过程的构造.此构造改进了Dawson和Li (2003)、Fu和Li (2004)和Li (2011)等在Lipschitz条件下的结果.

多元T分布下条件期望相依测度的可压缩性

通过讨论多元t分布的随机变量之间的相关系数及条件相关系数与条件期望相依测度的关系,从而获得了多元t分布在条件期望相依测度下关于协变量可压缩的充分必要条件.