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

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

移动智能体的形式化研究

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

条件随机变量与条件数据融合

本文讨论基于条件事件代数系统上的条件随机变量的表示问题,并给出了在多个信息源提供的不同类型的条件数据时之统一表示方法,以及利用条件随机变量分布函数性质,对所得数据进行关联等。     

关于强增生算子的非线性方程迭代解

利用两种迭代法(Mann和Ishikawa)给出了非线性方程Tx=f解的逼近。     

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

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

极大代数及其在离散事件动态系统中的应用

在人类社会活动中,有许多活动属于离散事件或离散事件动态系统。在极大代数意义下,这类系统可用线性系统的理论和方法建立数学模型、求解状态方程,讨论可控性、可观性,以及实现系统运行的优化设计。     

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

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

基于PEPA的目标选择方法

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

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

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

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

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