基于译码重传MIMO两跳中继系统遍历容量分析

在MIMO（multiple input multiple output）两跳中继系统下基于译码重传的中继协议,给出了遍历容量的分析.对于MIMO中继系统的无序特征值给出了概率密度函数的表达,通过该概率密度函数在新随机矩阵理论下求得的封闭解,得到了整个系统遍历容量的封闭解.该解适用于任意天线布置的源节点、中继节点以及目的节点.仿真结果发现遍历容量的理论分析和实际仿真结果吻合,较简单的放大重传中继协议,提高了遍历容量.     

有源雷达组网目标定位中去除虚假目标的改进方法

作者从有源多雷达组网角度,针对雷达数据融合既与位置相关又与时间相关的特点,提出了识别和过滤雷达虚假目标的改进方法,并对此方法进行计算机仿真,证明此种方法在实际应用中有现实意义.     

几类单生Q矩阵

研究了几类特定的单生Q矩阵,得到了其决定的单生过程常返、遍历、指数遍历和强遍历的判别,同时给出了平稳分布的显式表达式.     

一种Java ME中基于RMS的记录遍历方法

RMS是JavaME中应用程序对数据进行持久性存储的唯一途径,为MIDP提供了一种数据永久储存的机制。在对RecordStore记录存储中的记录进行相关操作时,往往需要遍历记录存储中的所有记录。理论上可以按照记录存储的规律使用getNextRcordID或getNumRecords等方法对RecordStore记录存储中所有数据进行遍历。但由于记录存储中部分记录被删除后,RecordID会出现断号,从而导致RecordStore中的记录RecordID不连续,最终导致程序遍历失败。本文提出了一种利用RMS中RecordEnumeration接口解决RecordStore记录存储中记录RecordID断号后,实现遍历RecordStore记录存储中所有数据的方法。     

二叉树排序非递归算法推导及形式化证明

非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对二叉树排序算法进行推导,得出非递归Apla(Abstract Programming Language)算法及其精确而简单的循环不变式,然后用Dijkstra-Gries标准程序证明法证明算法的正确性,最后使用PAR平台C++程序自动生成系统自动生成C++代码.实例的实验结果简化了算法程序的推导和证明过程,对递归问题非递归算法的循环不变式的探测具有一定的借鉴意义,而且对非线性数据结构算法程序的推导及形式化证明具有指导意义.     

完全二叉树理论的模型及性质

定义了完全二叉树理论的决定公式. 利用该类公式证明了此理论是原子理论,且型的个数是可数的.还给出了它的可数原子模型和饱和模型.证明了完全二叉树理论的ω1-范畴性.     

随机环境中马氏链的一致强遍历性

For Markov chains in random environments, Cogbum( 1984, 1990) first introduced weak ergodic concept that “starting time“ is original point, and gave some conditions ensuring that the chains are weakly ergodic; Li Ying-qiu, Yan Xiao-bing, Wang He-song(2003) and LI Ying-qiu, YAN Xiao-bing and LI Ming-liang (2003) introduced uniformly weak ergodic and strong ergodic concept that “starting time“ is any point, and gave some conditions ensuring that the chains are uniformly weakly ergodic or strongly ergodic. In term of above ideas, the definitions of uniformly strong ergodic and XN -uniformly weak ergodic that “starting time“ is any point are introduced. Some conditions ensuring that the chains are uniformly strongly ergodic are given. It is the basis of further research for Markov chains in random environments.     

求解图最大团的并行算法

本文给出了一个求解图中最大团的异步并行算法。在算法中采用了最优先搜索和分枝限界法等人工智能搜索技术,避免了无意义的搜索。其特点是易于在共享内存多处理机的并行计算机上实现,其执行时间曲线表明,对图中任意2点之间边存在概率小于1/3的无向图,具有较高效率的求解过程。还给出了在一定条件限制下,求解 NP—完全问题的方法。     

关于遍历矩阵指数的一个猜想的证明

在本文中我们证明了陈小康关于遍历矩阵及其指数的一个猜想是正确的。     

欧拉猜想的计算机证明─—六阶正交拉丁方对的不存在性

本文阐述了这样的一个算法，即利用一个栈组通过构造及搜索解答树的所有结点，证明了Ｅｕｌｅｒ猜想在ｎ＝６时不成立，亦即没有六阶的拉丁方对。