Ulam-Rényi容错搜索问题与最优纠错编码

带反馈对称信道的最优e-纠错编码等价于Ulam-Rényi容错搜索问题中的最小提问次数q(n;e).情形e∈{1,2,3}时确定q(n;e)的精确值问题己经解决.本文将针对e=2所建立的著名的Guzicki算法推广到一般情形.我们的主要结果提供了用来判定搜索过程中出现的任意状态是否能够达到其信息论下界的一个精确的算法.

离散空间上单目标3维e容错搜索模型探析

针对离散空间上单目标3维e容错搜索模型中的end状态s,从理论上给出了提问者能够搜索成功的最小提问次数是其特征ch(s)。

受限制单目标容错搜索模型中单调性的证明

通过建立简洁而有效的搜索方法,给出了受限制单目标容错搜索问题中单调性的证明.该方法为解决其它受限制容错模型中的单调性提供了一种新的思路.

基于RTLinux的容错硬实时性的研究与实现

容错已逐渐成为实时系统的一个重要特性,针对RTLinux的实时调度机制尚未考虑容错的需求,对RTLinux进行了容错硬实时性的改造。改造了基于主/副版本容错模型对任务模型,对先前提出的基于最坏响应时间的容错实时任务可调度性分析,通过将改进的最佳容错分配因子搜索算法(improved fault-tolerant priority configuration search algorithmI,FPCS)运用到实时调度算法中,提高了RTLinux的容错实时性能,并给出了容错实时程序的设计框架。

带反馈非对称信道的最优纠错编码

带反馈非对称信道的最优纠错编码等同于Ulam Renyi问题的半谎搜索模型的最少提问次数qhl(m) .本文证明了qhl(m)的取值分布具有非交叉性 .借助于这一良好的分布特性 ,原始的确定最少提问次数精确值问题可以被简化为确定一个临界数问题并且这个临界数的存在性和唯一性得到了证明 .同时本文也改进了Cicalese等人的结果 ,在更大的范围内明确地给出了最少提问次数qhl(m)