像素级图像融合方法分类与比较

图像融合的目的是将同一场景的多幅图像的互补信息合并成一幅新图像 ,以便更好地对场景进行监视和侦察。介绍了像素级图像融合的几种方法 ,按空间域和变换域对各种方法进行了分类 ,并对各种方法进行了比较。重点评述了小波用于图像融合的优点     

等面积纬度与子午线弧长间的直接变换

为了便于实现等面积方位投影与椭球等距离圆柱或圆锥投影之间的变换,首先借助具有强大符号运算功能的计算机代数系统Mathematica推导出了等面积纬度和子午线弧长之间变换的直接表达式;然后,将该表达式改进为适合电算的形式,并将其系数统一表示为关于椭球偏心率e和椭球第三扁率n的幂级数形式。算例分析表明:基于第三扁率n的幂级数表达式具有更紧凑的形式和更好的收敛性,且导出公式的计算误差分别小于10~(-7) m和10~(-7)″,可以满足大地测量和地图制图计算精度的要求。     

论几何直观在小学数学教学中的应用

《义务教育课程标准(2011版)》提出将几何直观作为数学学习的十大核心概念之一,其是数学学习的重要内容,也是广泛使用的数学思想方法.文章对几何直观的内涵进行了简要介绍,基于数与代数、几何与图形、概率与统计以及综合与实践四大模块,对几何直观的使用进行了说明.并提出教师要有使用几何直观的意识、使用几何直观的知识基础、信息技术基础以及培养学生利用几何直观的意识.     

基于条件事件代数理论的战术防空态势评估

态势评估是战场决策的基础,而如何进行正确的战场决策对防空战斗有着重要的影响.在对态势评估进行分析的基础上,根据条件事件代数理论,提出了一种对战术防空态势评估问题进行推理的方法,并通过示例介绍了对战术防空态势评估问题进行求解的过程.同时该方法也为解决战术防空态势评估问题提供了一种有效依据.     

基于PEPA的防空指控系统优化设计研究

信息化战争对防空指控系统设计提出了更高的要求。针对防空指控系统复杂性,结合自身内部效能和外部作战环境影响,将定性定量分析相结合,使用过程代数方法定量评价防空指控系统的设计效果,进而指引防空指控系统的优化设计方向,提出了规范的防空指控系统设计方法。案例分析表明,该方法能够从定性定量相结合的角度对防空指控系统进行设计和说明,过程明确简洁、结论真实可信。     

运载火箭姿控系统三通道Simulink建模与仿真分析

以某运载火箭为例,介绍了将姿控系统数学模型转化为Simulink三通道仿真模型的方法和过程;在仿真过程中涉及到时变系数的瞬时时间固化法,分析由此引起的计算数据局部振荡,并提出解决办法;分析了用Simulink为该大型系统建模时所遇到的代数循环问题,并加以解决。     

代数免疫度最优的旋转对称布尔函数的构造

代数免疫度是布尔函数的一个重要密码学指标,为了抵挡代数攻击,密码算法中所使用的布尔函数应当具有较高的代数免疫度.本文利用“轨道交换”技术,给出了一类具有最优代数免疫度的旋转对称布尔函数的构造,该类函数对于代数攻击具有较强的抵抗能力,同时具有较高的非线性度和最优代数次数.     

偶变元MAI旋转对称布尔函数

代数免疫度是布尔函数的一个重要密码学指标.给出了具有最大代数免疫度的偶数元旋转对称布尔函数的两种构造方法.进一步地,研究了特殊情形时所构造的旋转对称布尔函数的非线性度,当n≥18时,构造3得到的MAI旋转对称布尔函数的非线性度优于已知构造的偶数元MAI旋转对称布尔函数的非线性度.     

图形计算巧妙选“法”举例

在初中解几何计算题时,借助于一些辅助方法,可起到搭桥引线,化难为易的作用.其常见的辅助方法有:割补法、平移法、旋转法、坐标法、对称法、放缩法、反证法等.下面通过几个例题简单加以说明.     

移动智能体的形式化研究

移动智能体是当前分布计算领域的研究热点之一 ,但是其理论研究还处于一个很不成熟的阶段。文中阐述了对移动智能体作形式化研究的必要性 ,介绍了当前的研究现状 ,分析了其中的不足 ,并进一步给出了对后续工作的展望