基于能力映射的体系网络化建模与分析

从体系所具有的能力出发,准确地描述体系中实体之间的关系,建立体系结构模型是体系设计与分析的基础,也是基于能力的体系规划的关键。首先提出了能力到组分系统的映射规则,然后将所构建的体系二分网络转化为组分系统的加权合作网络,有效描述了体系组分系统间的复杂关系。最后给出了体系组分系统关系价值度量指标,并对网络模型进行社团结构分析,为基于能力的体系规划作了有益尝试。     

装备试验与评价的系统工程管理技术

试验与评价是对装备战技指标进行的全面考核与验证,涉及到多指标、多阶段、多装备层次。结合装备试验与评价的特点与需求,给出了装备试验与评价系统工程管理的概念,明确了其内涵。从寿命周期维、评价指标维和装备层次维三个角度,构建了装备试验与评价的霍尔三维结构模型(HMTE)。针对具体评价指标,对该模型的矩阵映射过程进行了阐述,实现了HMTE的具体化。最后对元模型进行了论述,并通过案例阐述了其具体形式。装备试验与评价系统工程管理方法的应用,有利于装备试验与评价的全面统筹与实施,达到降低试验总费用,提升试验总效能的目标。     

某岸舰导弹作战指挥模拟系统的设计

针对岸舰导弹作战指挥训练设计的模拟系统,运用直接模拟的方法构建系统框架,给出了作战指挥、发射过程和飞行弹道模拟的方法,分析了矢量海图的制作和嵌入技术,运用墨卡托制图原理和导弹射击理论建立了射击计算数学模型,运用GDI+绘图和数据库技术实现了战斗现场保存回放功能.     

基于转移费用矩阵的机器人路径规划方法

本文描述了机器人路径规划的一种新方法：基于转移费用矩阵的机器人路径规划方法。通过定义转移费用矩阵的概念及其上的二元运算,将最优路径的生成,转化为矩阵的运算,使得有限步的矩阵运算,即可得到环境中所有点间的最优路径,达到了在预处理阶段构造最优路径集的目的。最后,介绍了该方法在移动机器人任务规划中的应用     

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

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

基于局部色调映射的异源图像匹配方法

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

异构千核处理器系统的统一内存地址空间访问方法

为了达到异构多核处理器能直接交叉访问对方的内存地址空间的目的,通过构建统一的三级Cache结构和数据块状态标记方法,并优化Cache块状态的修改算法,提出了异构千核处理器系统的统一内存地址空间访问方法,避免了当前独立式异构计算机系统结构下复制和传输数据块所带来的大量额外访存开销。通过采用部分Rodinia基准测试程序测试,获得了最高9.8倍的系统加速比,最多减少了90%的访存频率。因此,采用该方法能有效减少异构核心间交换数据块所带来的系统开销,提高异构千核处理器的系统性能加速比。     

关于强增生算子的有限族的强收敛定理

提出了Banach空间中非线性增生算子方程带误差的三重迭程式, 研究了多个非线性增生算子解与多个强伪压缩映象的公共不动点逼近问题, 获得 2个收敛定理。     

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

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

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

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