使用局部色调映射匹配异源图像

色调映射是一种适用于亮度和对比度变化的快速图像匹配方法。由于异源图像间存在复杂的灰度变换关系,直接采用色调映射方法进行匹配的成功率通常难以满足应用需求。为了提高匹配成功率,本文提出基于子区弱切片变换的局部色调映射异源图像匹配方法。首先将实时图划分为不重叠的子区,对每个子区进行直方图均衡化和弱切片变换,通过局部色调映射计算子区与基准图的距离系数图。融合全部距离系数图得到图像匹配结果。实验结果表明,该方法匹配成功率高于现有的色调映射方法,且计算时间仅略高于现有方法,优于异源图像匹配中常用的互信息方法。     

度量空间的非标准特性(Ⅱ)

本文在文《度重空间的非标准特性（Ⅰ）》的基础上,用非标准分析方法刻划了度量空间上的全有界映射与紧映射的许多特性,并给出了一个赋范线性空间的维数有限的非标准特征。最后,在赋范线性空间中,通过弱拓扑性质的非标准刻划,简洁地证明了Ｅｂｅｒｌｅｉｎ－Ⅲ定理。     

保形压缩映射产生的一类递归集的分形性质

研究了由保形压缩映射产生的一类递归集的分形性质,得到了该类集合的Hausdorff维数．     

电化教材的本质与功能结构简析

本文从认识论和时空观的角度提出教材发展中的三种载体、三种型式;论述了电化教材是“形象”螺旋回归的必然;从传统教材的质变,引伸出电化教材的选择性功能结构及其五大要素;阐述了电化教材在内容选取、表述方法、过程控制、超越时空等方面的“滞后”、“同步”、“超前”机动的综合时空观及其现实意义;最后明确指出:电化教学理论的土壤在于电化教材的建设及其运用。     

局部耗散型算子的Ishikawa迭代序列收敛性判别准则

给出了局部耗散型算子的Ishikawa迭代序列的收敛定理,将近期该领域的许多结果一般化。     

基于QAM调制的物理层网络编码中继误码性能

正交幅度调制(QAM)是物理层网络编码中一种重要的调制方式,文章介绍了ARB三节点模型中物理层网络编码中继映射准则,分析了QAM调制方式下中继的误码性能,得出了物理层网络编码在节省通信时隙之外所获得的"编码增益"。另外文章对ARB模型中发送节点功率分配问题进行了考虑,通过分析,进一步说明了物理层网络编码的可行性,最后文章探讨了下一步物理层网络编码中继映射准则可能的发展方向。     

基于中间表示规则替换的二进制翻译中间代码优化方法

动态二进制翻译在实现多源到多目标的程序翻译过程中,为屏蔽不同源平台间的硬件差异引入中间代码,采用内存虚拟策略进行实现,但同时带来中间代码膨胀问题。传统的中间代码优化方法主要采用对冗余指令进行匹配删除的方法。将优化重点聚焦在针对特殊指令匹配的中间表示规则替换上,提出了一种基于中间表示规则替换的二进制翻译中间代码优化方法。该方法针对中间代码膨胀所呈现的几种典型情景,描述了中间表示替换规则,并将以往应用在后端代码优化上的寄存器直接映射策略应用在此处。通过建立映射公式,实现了将原来的内存虚拟操作替换为本地寄存器操作,从而降低了中间代码膨胀率。使用SPEC CPU2006测试集进行了实验,验证了此优化方法的正确性和有效性。测试用例在优化前和优化后的执行结果一致,验证了优化方法的正确性;优化后测试用例的中间代码平均缩减率达到32.59%,验证了优化方法的有效性。     

NHibernate在Web-MIS开发中的应用研究

描述了基于.NET的持久化框架NHibernate，分析了NHibernate的工作原理，构建了基于NHibernate的Web-MIS的框架结构，给出了系统开发的实现步骤。实践表明，NHibernate能有效地实现关系型数据与对象模型之间的转换，提高系统的开发效率。     

网络安全实验平台K - 划分映射方法

对网络安全实验平台映射问题进行形式化描述,提出基于K-划分的映射方法,其核心思想是为了尽量减少占用网络资源,尽可能将逻辑拓扑紧密连接的节点映射到同一台交换机上。基于K-划分的映射方法采用贪心法确定初始划分状态,根据评价函数进行节点移动,对生成的子图进行算法迭代,直到所有子图的节点数量不大于物理拓扑端口容量为止。基于K-划分的映射方法弥补了K-L算法中初始划分状态选取的任意性对最终结果产生较大影响的缺陷,实验结果表明该算法的求解时间远小于遗传算法,能在较短的时间内得到映射结果。     

基于防空预警使命的预警机系统效能分析

对预警机的防空预警效能提出了使用SEA进行分析的方法。首先介绍SEA的基本原理,阐述了预警机遂行防空预警使命系统效能分析问题,给出了预警机的使命描述、性能量度、系统映射与使命映射,重点研究了性能量度的系统映射模型,提出了基于防空预警使命的预警机效能计算方法,有助于后续预警机综合系统效能研究。