分布式计算环境下的栅格数据存储策略

针对传统的栅格数据存储策略不能满足分布式计算环境下粗粒度数据访问需求,应对海量栅格数据计算时效率低下的问题,结合分布式文件系统的存储特点,同时考虑地图代数算子在Map/Reduce阶段以栅格瓦片为单位的计算特点,提出一种基于Hadoop分布式文件系统的栅格瓦片存储策略。围绕栅格数据瓦片分割、压缩瓦片数据组织与存储、分布式文件输入输出接口改进等方面对该存储策略加以实现,并使用基于该存储策略的地图代数局部算子的分布式计算流程加以验证。理论分析与实验结果表明,该策略能够显著提高分布式计算环境下空间分析算子的运算速度。     

基于PEPA的目标选择方法

目标选择是军事作战领域的重要内容,而一体化联合作战更是要求目标选择从系统的角度出发,对指控系统进行破击目标选择。基于反映系统动态特性和消减主观因素的考虑,本文将过程代数的思想引入到指控系统破击目标选择领域中来。通过案例,对某防空指控系统进行简要分析,在硬杀伤和资源约束的条件下,进行目标方案选择的分析,过程简洁、结论客观、方案可行,证实了该方法的有效性,为指挥决策提供了借鉴和帮助。     

鲁棒D-稳定输出反馈H∞控制方法及其仿真

考虑了一类不确定系统的具有闭环极点约束的输出反馈H∞控制,运用基于线性矩阵不等式的方法(LMI),由二次D-稳定导出了鲁棒D-稳定的输出反馈控制器存在的充分条件和设计方法.该方法虽然具有一定的保守性,但求解方便有效,且易于扩展到多目标鲁棒控制.最后,仿真说明了该设计方法的正确性.     

加强修养的“七个不等式”简

党员干部作为一个单位的“领头雁”和“主心骨”,修养如何、思想作风怎样,直接关系到个人的成长进步、干部队伍的活力和单位的建设发展。党员干部加强修养,应着重解答好“七个不等式”。     

破解“三个不等式”——北京某预备役高炮师预备役军官集训活动侧记

从基本规章制度学起,从基本工作方法讲起,从基础训练科目训起……前不久,北京某预备役高炮师组织基层预备役军官集训,集训从解决"三个不等式"开始,通过严抠细训纠治官兵思想偏差。穿上军装不等于是合格军人"穿上军装,咱就是军人了……"集训前一天,师政委孙复兴看望参加培训的预备役军官时,无意中听到这句话。     

基于磁记忆的铁磁性构件定量无损检测研究

为提高磁记忆检测结果的稳定性,设计匀速采样系统,并且针对系统的实验结果进行分析。由实验结果得出提离值对系统稳定性的影响较小,扫描速度对检测结果稳定性的影响较大。     

φ-强拟增生算子零点的迭代逼近

设X为实一致光滑Banach空间,T:X→X为Lipschitzφ-强拟增生算子。设为[0,1]中数列满足(ⅰ);(ⅱ)令s=I-T,其中I:X→X为恒等算子。定义Ishikawa迭代序列:则强收敛于T的唯一零点。 一个相关的结果处理Lipschitzφ-半伪压缩算子的不动点的迭代逼近。     

水坝渗流问题的变分不等模型及有限元解

水坝的渗流问题是工程上很受关注的问题。本文采用变分不等式模型,结合有限元方法研究具有自由边界的渗流问题,在整个结构区域内作有限元剖分,避免了传统的有限元分析中需事先估计边界形态、反复修理计算区域的迭代过程。本文方法为简介而快速地分析渗流自由边界问题了一条有效的途径。     

BCK-代数的商积代数及其性质

本文对ＢＣＫ－代数的商积代数作笛卡儿积,构造了一种新的ＢＣＫ－代数－商积代数;并进一步讨论了经的一些性质。     

一种不精确推理模型与模糊关系代数

提出一种不精确推理的模型以及模糊关系代数,定义了模糊集合的并、交、差和笛卡尔积等运算,从而对非精确数据及知识描述中不确定性进行有效地处理。