Google Earth是一个卫星影像浏览软件,它采用"虚拟地球"的方式,提供多种分辨率的全球影像数据。自2005年问世以来,它的使用群体越来越多,在许多应用领域中都可以把它作为一个工具软件和开发平台。笔者通过面向对象的编程语言...Google Earth是一个卫星影像浏览软件,它采用"虚拟地球"的方式,提供多种分辨率的全球影像数据。自2005年问世以来,它的使用群体越来越多,在许多应用领域中都可以把它作为一个工具软件和开发平台。笔者通过面向对象的编程语言,探讨了基于Google Earth的二次开发构造的具体步骤与方法,为利用GoogleEarth来构建农场GIS系统提出了一种新的思路与方法。展开更多
本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place...本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place/Transition,简称P/T)网和高级Petri网(High Level Petri Net,简称HLPN)可作知识表示.为了增强以 HLPN网作知识表示的能力,我们引用了状况变量和等价状况变量的概念.文中我们还以例子说明这些方法是可用的和有效的.展开更多
文摘本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place/Transition,简称P/T)网和高级Petri网(High Level Petri Net,简称HLPN)可作知识表示.为了增强以 HLPN网作知识表示的能力,我们引用了状况变量和等价状况变量的概念.文中我们还以例子说明这些方法是可用的和有效的.