排序方式: 共有10条查询结果,搜索用时 0 毫秒
1
1.
钟业勋 《武汉大学学报(信息科学版)》1999,24(1):82
根据布尔代数的定义和充要条件,论证了地图图像系统为布尔代数系,从而为地图编绘自动化提供了理论基础和数学工具。 相似文献
2.
从统计的角度分析了广西的热带气旋陆地路径与暴雨的关系。本文则从逻辑的角度用泛布尔代数工具对事实进行再分析。所得结果可看作[1]的结论的补充。也可为预报广西热带气旋暴雨提供帮助。 相似文献
3.
根据布尔代数的定义和充要条件,结合地图符号示冽,论证了地图符号系统是布尔代数系;阐述了地图符号系统的多层结构原理;通过在地图符号系统中定义等价关系建立层次的方法,探讨了机助地图制图中通过多层次代数运算建构地图内容的理论价值和实践意义。 相似文献
4.
地图图像系统为布尔代数系的证明 总被引:6,自引:2,他引:4
钟业勋 《武汉测绘科技大学学报》1999,24(1):53-55,63
根据布尔代数的定义和充要条件,论证了地图图像系统为布尔代数系,从而为地图编绘自动化提供了理论基础和数学工具。 相似文献
5.
从统计的角度分析了广西的热带气旋陆地路径与暴雨的关系。本文则从逻辑的角度用泛布尔代数工具对事实进行再分析。所得结果可看作[1]的结论的补充。也可为预报广西热带气旋暴雨提供帮助。 相似文献
6.
地图符号系统为布尔代数系的证明及其应用 总被引:4,自引:0,他引:4
根据布尔代数的定义和充要条件,结合地图符号示例,论证了地图符号系统是布尔代数系;阐述了地图符号系统的多层结构原理;通过在地图符号系统呆定义等价关系建立层次的方法,探讨了机助地图制图中通过多层次代构地图内容的理论价值和实践意义。 相似文献
7.
8.
熊凤兰 《中国海洋大学学报(自然科学版)》1990,(2)
揭示了布尔代数上的可商满射与布尔代数上的一类保交保并的满射间的等价性,证明了布尔代数上的可商满射为一一映射。 相似文献
9.
地图编绘的布尔代数运算原理及制图综合算子数学模型 总被引:7,自引:0,他引:7
根据基本集合X的幂集T(X)为布尔代数的数学原理,指出从基础底图X1向编绘原图X2实现的编绘过程实质上是布尔代数的运算过程。对选取、舍弃、派生、增补等制图综合算子分别给出了数学模型。 相似文献
10.
布尔代数是计算机进行逻辑运算的基础,它为自动化制图提供了理论基础和数学工具。本文根据论域的幂集P(X)为布尔代数且其偏序关系为包含关系的数学原理,通过改变论域而分别对地图图像系统、地图符号系统和地图数据库系统等多种地图符号系统的布尔代数结构,分别作出了有别于应用布尔代数定义和定理的简要证明。文章给出了以点的特征变换构建地图符号、地图注记和实现面状域色彩变换的实例,阐释了地图图像系统中的布尔运算;还给出了通过基础图层上地图符号的增删,构建不同图层和不同图层叠合构建不同类型地图的实例,说明以点集形式为基本元素的地图符号系统和地图数据库系统也适于布尔运算。 相似文献
1