Research and improvement on the limitation of authentication test

This paper elaborated on the limitation of authentication test theorem, illustrated the fundamental cause of that limitation through examples, then enhanced authentication test to solve this problem, and also proved the soundness of that improvement with formal method. The enhanced theory can deal with protocols with test component as proper subterm of other regular node＇ s component under certain conditions, and extend the application scope of authentication test. With enhanced authentication test, the automatic protocol verification tools will be more efficient and convenient.     

论当代量子引力的空间时间观念

首先讨论当代诸种量子引力,如超弦/M理论、圈量子引力等,继而研究空间时间量子涨落对量子引力理论的经验检验,最后讨论了有关量子引力时空的物理实在问题.     

角矢量空间理论

利用质点角位移矢量复合的公式和两次绕相交轴有限转动的角位移矢量复合的公式,定义了三维角矢量及其运算规则,创立了角矢量空间的基本理论体系.结果表明,不但质点的运动和刚体的有限转动都能用这种全新的理论体系来描述,而且,还揭示了质点运动和刚体转动的各种关系式,其关系式简洁,物理意义突出.     

现代网络流量的混沌奇异吸引子

网络流量的预测和控制是现代网络中的一个重要方面,但是它所呈现出来的长相关、分形等特征已经无法用传统的流量模型来描述.利用相空间重构方法,通过计算两组典型网络流量的Lyapunov指数、关联维来找出具有共性的现代网络流量的特征量,从而刻画网络流量的混沌奇异吸引子.仿真结果表明,现代通信网流量存在有共性的奇异吸引子.从而为网络的混沌建模及分析给出了理论上的支持.     

空间机器人遥操作管理系统可靠性分析和建模

为提高空间机器人遥操作管理系统(SRTMS)的可靠性,分析了SRTMS系统的体系结构,采用随机回报网建立了SRTMS系统的可靠性模型,并对SRTMS系统中各模块对SRTMS系统可靠性的影响进行了分析.结果表明,指令检查模块是影响SRTMS系统整体可靠性的瓶颈.     

基于GIS的全民健身路径空间布局分析

以全民健身路径布设的现状以及自然、社会要素为基础,采用GIS技术和地理综合分析方法,以石家庄为例对全民健身路径布设与人口分布、行政区划、市民活动空间类型之间的关系进行了多角度的分析,得到其空间分布特征,并提出了关于全民健身路径的近期规划.     

向量空间彩色图像的Canny边缘检测

针对Canny算法检测边缘的准确性,提出了基于Canny算法的彩色图像边缘检测方法.根据Canny算法的特性,用近似高斯函数的滤波器平滑图像;利用梯度模板计算图像的向量梯度及方向角,并依据方向角对梯度图像进行非极大值抑制;计算高、低两个阈值,基于8邻域连接边缘点.实验结果证明,该方法继承了canny的性能,并充分利用了彩色信患,能较好地检测出彩色图像边缘.     

基于图像块分割及小波空间频率的多聚焦图像融合法

提出了一种基于图像块分割及小波空间频率的多聚焦图像融合算法.采用块区域局部小波空间频率作为图像是否清晰的判断依据,对于明显的清晰和模糊区域,直接选取清晰区域作为融合后的相应块区域;而对于清晰与模糊的边界区域,采用了基于像素的窗口空问频率的方法进行融合处理.实验对比结果表明,该方法明显优于小波变换方法和图像块方法.     

D_lambda-n-攀援集的一点注记

从全空间的角度来研究 $\\mathcal{D}_\\lambda$-攀援集. 借助 Furstenberg 族为工具, 把分布攀援集的定义推广到 $\\mathcal{D}_\\lambda$-$n$-攀援集, 把关于全空间的分布攀援集的已有结论推广成$\\mathcal{D}_\\lambda$-$n$-攀援集的情形. 对任意实数 $\\lambda\\in[0,1]$ 和任意整数 $n\\geqslant2$, 证得不存在紧致的动力系统以全空间为 $\\mathcal{D}_\\lambda$-$n$-攀援集; 并且构造出了只含可数多个点的非紧致的可逆系统, 以全空间为 $\\mathcal{D}_\\lambda$-$n$-攀援集.     

基于偏微分方程的带钢表面图像去噪方法

为提高带钢表面缺陷图像去噪处理中滤波器的去噪性能,更好地保留缺陷图像细节信息,在研究了偏微分方程理论的基础上,分析了AMSS(affine morphological scale space)方程的对比不变性和仿射不变性,采用有限差分法实现了AMSS算子的方法.将AMSS算子应用到带钢表面缺陷图像去噪处理的试验表明,该方法达到了既去除噪声,又保留图像细节信息的效果.