Out-of-Bounds Array Access Fault Model and Automatic Testing Method Study

Out-of-bounds array access(OOB) is one of the fault models commonly employed in the objectoriented programming language. At present, the technology of code insertion and optimization is widely used in the world to detect and fix this kind of fault. Although this method can examine some of the faults in OOB programs, it cannot test programs thoroughly, neither to find the faults correctly. The way of code insertion makes the test procedures so inefficient that the test becomes costly and time-consuming. This paper, uses a kind of special static test technology to realize the fault detection in OOB programs. We first establish the fault models in OOB program, and then develop an automatic test tool to detect the faults. Some experiments have exercised and the results show that the method proposed in the paper is efficient and feasible in practical applications.     

拓扑空间内有上下界的拟平衡问题

利用作者的一个不动点定理,在非紧拓扑空间内对具有上下界的拟平衡问题证明了解的存在性定理.这些结果进一步回答了由Isac, Sehgal和Singh提出的公开问题和推广了文献中很多重要结果.     

ON THE ALMOST SURELY ASYMPTOTIC BOUNDS OF A CLASS OF ORNSTEIN-UHLENBECK PROCESSES IN INFINITE DIMENSIONS*

Given a real-valued separable M-type 2 Banach space X with the p-th power of the norm of C2-class, the almost sure asymptotic upper bounds of the solutions of the Ornstein-Uhlenbeck Processes described by the following equations {dz（t）=A（t,z（t））dt＋σ（t,z（t））dW（t）,z（0）=z0∈X,are investigated. This study generalizes the corresponding well-known finite dimensional results of Lapeyre （1989） and Mao （1992）.     

串并联系统可靠性置信下限的近似解

对于已知部件失效分布和试验数据的并-串联系统,本文应用经典法和Bayes法分别给出了其可靠性置信下限值,其结果彼此接近。     

Ad hoc系统中基于中断概率边界的博弈功率控制算法

通过对瑞利衰落信道下Ad hoc系统中断概率的分析,给出了中断概率的上界和下界,并以此为依据设计出结构类型相似的2个博弈功率控制函数,从而求得中断概率最小时的功率发射值.同时证明了所设计的2个博弈功率控制函数的纳什均衡存在且唯一,并给出了获得纳什均衡的功率更新算法.仿真结果表明,提出的算法能够有效地逼近中断概率,且较D...     

拟树的广义零阶连通指数

设G=(V,E)是一个图,参数Mα(G)=υ∈V(d(υ))α称为G的广义零阶连通指数,其中d(υ)表示G中顶点υ的度, α为任意实数.若图G中有一个顶点x, 使得Gx是一棵树,则称G为拟树(quasitree). 对于α>1,该文给出了顶点数为n的拟树G的广义零阶连通指数Mα(G)的精确上界和下界.     

常利率环境下广义Erlang(n)见险模型

考察常利率环境下一类更新风险模型,其索赔时间间隔序列为广义Erlang(n)分布.以首次索赔间隔分别为Erlang(k)(k=1,2,…,n)分布的延迟更新过程为划分,运用全期望公式给出广义Erlang(n)模型的惩罚函数ψ(u)以及破产概率ψ(u)满足的微分-积分方程,另一方面,分别用鞅方法和递推方法得出ψ(u)的指效型上界.     

平均误差框架下的多项式逼近的正,逆定理

讨论了Ｗｉｅｎｅｒ空间上连续函数最佳逼近平均误差界的阶，它由概率测度及其所支撑的集合上其函数的结构性质决定，还讨论了Ｃ２π上最佳三角多项式一致逼近的平均逆定理，表明平均误差界的阶反映出概率测度所支撑集合上其函数的结构性质。     

不完全量测下光电跟踪系统估计误差分析

为了评估跟踪系统在不完全量测下的跟踪性能,该文利用投影定理给出了修正的去偏转换量测卡尔曼滤波(UCMKF)算法,进一步利用修正的黎卡提方程与修正的克拉美-罗下界(CRLB)给出了跟踪系统统计意义下估计误差协方差一致有界的充分条件,以及跟踪系统统计意义下CRLB的一组递推上下界。最后,Monte-Carlo仿真表明:随着采样时间的增加,递推上下界逐渐逼近了跟踪系统统计意义下CRLB的枚举真值。     

正矩阵最大特征值界的新估计

利用Frobenius定理、相似变换及一些不等式技巧,得到正矩阵谱半径的新上、下界.结果表明,新上界比Ostrowski定理的上界更优;在某些条件下,新上界优于Brauer定理的上界.最后,用实例证明结果.