-
题名基于符号结构素的地图符号自动生成方法
被引量：4
- 1
-
-
作者
卢瑞
宋国民
贾奋励
田江鹏
-
机构
信息工程大学地理信息空间学院
-
出处
《测绘与空间地理信息》
2016年第3期13-16,共4页
-
基金
国家自然科学基金(41371382
41271393)资助
-
文摘
地图符号是表达空间地理信息所用的极其特殊的语言符号系统,依托语言学方法来研究地图符号就是通过类比自然语言或某种人工语言来为地图符号的设计与表达提供借鉴和思路。地图符号的结构是指义素间在语义上的组合关系(内涵)和各符号结构素(以下简称符素)图形间的拓扑关系(外延)。将结构谓词和图形拓扑结构进行关联并构建符素库。通过巴克斯范式(BNF)语义形式化描述调用符素库与符号结构库并进行组织融合,实现地图符号的自动生成。
-
关键词
符号结构素
结构谓词
巴克斯范式
形式化描述
-
Keywords
symbol structure elements
structural predicate
BNF
formal description of the semantics
-
分类号
P283.7
[天文地球—地图制图学与地理信息工程]
-
-
题名一元子结构谓词逻辑中相似的代数语义
- 2
-
-
作者
王军涛
王梅
折延宏
-
机构
西安石油大学理学院
陕西科技大学电气与控制工程学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2023年第4期956-964,共9页
-
基金
国家自然科学基金(No.12001423,No.61976244,No.12171294)
陕西省自然科学基础研究计划(No.2020JQ-762,No.2021JQ-580)
陕西省教育厅自然科学研究专项计划(No.20JK0626)。
-
文摘
借助一元模糊谓词逻辑与S5型模糊模态逻辑的等价性,建立了一元子结构谓词逻辑中相似联结词的代数语义,引入了相似一元剩余格,并研究了其基本的代数性质.其次,研究了相似一元剩余格上的相似滤子,刻画了可表示的相似一元剩余格.最后,引入了相似一元剩余格对应的逻辑系统,证明了其完备性定理,并解决了其最小半线性扩张问题.
-
关键词
一元子结构谓词逻辑
相似一元剩余格
相似滤子
完备性
半线性扩张
-
Keywords
monadic substructural predicate logic
similarity monadic residuated lattice
similarity filter
complete-ness
semilinear extension
-
分类号
O155
[理学—数学]
-
