面向遥感产品生产的可视化数据流模型

为了方便快捷地开发出新的遥感产品生产或遥感图像处理算法,尝试利用现有的一些遥感生产处理算法,以"搭积木"的形式,组合成新的算法.由于算法间存在依赖关系,这样就会形成算法的调用次序,也就是遥感产品生产流程.面向遥感生产的可视化数据流模型,就是对这种生产流程的一种抽象和概括.该模型可以体现出算法之间的次序关系,还能体现出算法被调用的次数和被加工数据的信息.同时利用该模型也可以方便描述生产流程的变更和算法的并发执行.     

命题逻辑中一类扩展子句消去方法

随着计算机求解问题越加复杂，问题在转化为命题逻辑子句集包含的冗余信息也越来越多，浪费计算机大量的储存空间和搜索解的时间，因此，对于冗余信息的删减有助于提高计算机求解问题的效率．针对命题逻辑子句集化简问题，在原有冗余性质P、RP基础上，提出多种扩展的、具有性质HRP、ARP的子句消去方法，并通过将不对称文字添加前置方法与命题逻辑集合封锁(SET_BC)、蕴涵模归结原则(IMR)结合，分别提出不对称集合封锁(ASET_BC)消去方法和不对称蕴涵模归结(AIMR)原则．最后，提出L-集合蕴涵模归结(L-SET_IMR)原则和L-不对称集合蕴涵模(L-ASET_IMR)原则．所提出的方法丰富了命题逻辑中冗余性子句消去理论和方法．