测绘工程
測繪工程
측회공정
ENGINEERING OF SURVEYING AND MAPPING
2014年
12期
17-20
,共4页
形式化方法%形式化模型%地理信息系统%应用综述
形式化方法%形式化模型%地理信息繫統%應用綜述
형식화방법%형식화모형%지리신식계통%응용종술
formal methods%formal model%Geographic Information System%application development
总结形式化理论与地理信息系统的应用情况,阐述形式化描述方法在空间拓扑关系、距离关系与方向关系等方面的应用.文中提出形式化方法在地理信息系统问题框架描述与多系统接口描述中的应用,即通过形式化方法精确一致的规格化描述定义,促进对地理信息领域问题的更好理解,促进信息融合,提高地理信息系统开发质量.
總結形式化理論與地理信息繫統的應用情況,闡述形式化描述方法在空間拓撲關繫、距離關繫與方嚮關繫等方麵的應用.文中提齣形式化方法在地理信息繫統問題框架描述與多繫統接口描述中的應用,即通過形式化方法精確一緻的規格化描述定義,促進對地理信息領域問題的更好理解,促進信息融閤,提高地理信息繫統開髮質量.
총결형식화이론여지리신식계통적응용정황,천술형식화묘술방법재공간탁복관계、거리관계여방향관계등방면적응용.문중제출형식화방법재지리신식계통문제광가묘술여다계통접구묘술중적응용,즉통과형식화방법정학일치적규격화묘술정의,촉진대지리신식영역문제적경호리해,촉진신식융합,제고지리신식계통개발질량.