拓扑语义相关论文
网络管理主要内容是对网络资源和网络活动进行管理,其目的是确保被管网络尽可能长时间的正常运行;并且当被管网络出现问题的时候,......
本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义.引入D-半拓扑空间概念,用以建立相容谓词转换器的语义,引入SM-半......
基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理......
