本书以北斗卫星导航系统为重点,较为详细而全面地介绍了卫星导航系统的授时技术及其应用情况。全书共5章,分别介绍了授时技术的发展情况、卫星导航系统时间产生的基本原理与方法、北斗授时原理与方法、GNSS授时接收机技术以及北斗授时技术应用等内容。全书内容基本覆盖了卫星导航系统授时技术所涉及的知识和成果,既介绍基本知识,也介绍了研究和应用成果。
本书以北斗卫星导航系统为重点,较为详细而全面地介绍了卫星导航系统的授时技术及其应用情况。全书共5章,分别介绍了授时技术的发展情况、卫星导航系统时间产生的基本原理与方法、北斗授时原理与方法、GNSS授时接收机技术以及北斗授时技术应用等内容。全书内容基本覆盖了卫星导航系统授时技术所涉及的知识和成果,既介绍基本知识,也介绍了研究和应用成果。
本书的主要内容是基于对称思想和标度概念建立城市系统的理论模型,以期反映城市演化及其时空结构的一般规律。根据维数与空间的对应性,从时间、空间和等级三个角度将地理空间分为三种类型。基于三类空间,从宏观城市层面发展了刻画城市系统的标度定律,揭示城市系统演化现象背后的简单与复杂的数学联系和物理本质。 城市和城市体系是复杂的空间系统,分形是探索复杂性的有效工具。运用分形思想探索城市系统的空间复杂性具有重要的理论意义和实践价值。 本书读者对象包括城市地理、城市规划、应用数学、社会物理、管理科学、分形理论、非线性科学、复杂性科学等领域的研究人员、教师和学生。
近年来,数字煤矿建设已经取得显著成绩,但地质信息的及时更新和实体建模关键技术并未取得实质突破,由此产生的决策失误和相应的安全事故时有发生,这不仅造成了经济及财产损失,而且威胁着矿工人身安全,对企业、矿区、社会及国家的和谐、稳定及形象产生了广泛而深远的负面影响。本专著针对煤矿地质模型动态修正及应用的关键技术问题,结合国家863项目、企业委托项目等相关工作,研究了煤矿三维地质模型动态修正技术及应用方法,为决策管理人员和现场技术人员及时了解煤矿地质状况、分析工作面周边环境等提供有效的技术支撑手段。
孙伟编著的这本《旋转调制型捷联惯性导航系统》概述了捷联惯导系统发展状况,讨论了基于惯性测量单元(IMU)转动的调制型捷联惯性导航系统的发展、应用状况及前景;分析了旋转调制型捷联惯性导航系统误差调制自补偿原理,设计并验证了惯性测量单元的旋转调制方案;实现旋转调制型捷联惯性导航系统中器件偏差的标校与初始对准;以光纤陀螺惯性导航系统及转台作为实验工具设计惯性测量单元多种旋转调制方案实验,验证多种旋转调制方案的可行性并对不同旋转调制方案进行对比。 本书可供从事惯性测量与高精度导航方面的科研人员及高等院校相关专业师生参考。
近年来,数字煤矿建设已经取得显著成绩,但地质信息的及时更新和实体建模关键技术并未取得实质突破,由此产生的决策失误和相应的安全事故时有发生,这不仅造成了经济及财产损失,而且威胁着矿工人身安全,对企业、矿区、社会及国家的和谐、稳定及形象产生了广泛而深远的负面影响。本专著针对煤矿地质模型动态修正及应用的关键技术问题,结合国家863项目、企业委托项目等相关工作,研究了煤矿三维地质模型动态修正技术及应用方法,为决策管理人员和现场技术人员及时了解煤矿地质状况、分析工作面周边环境等提供有效的技术支撑手段。
IDRISI是美国克拉克大学克拉克实验室开发的遥感图像处理与地理信息系统平台软件。本书译自该实验室编写的IDRISI软件手册,旨在为日益增多的IDRISI用户提供技术支持。全书共25章,分别介绍了地理信息系统与遥感的基本概念、原理和数据组织形式,以及IDRISI的图像处理、图像分类、空间分析与统计等功能,并且结合实例介绍了该软件独特的时间序列变化分析、土地变化分析、多准则多目标决策支持、生态可持续土地变化预测,以及全球变化等当今地学研究热点的模块和实现方法。
《空间数据与空间分析不确定性原理》共七篇计18章,系统地阐述空间数据与空间分析的不确定性理论体系。篇为概述,主要介绍不确定性的相关来源与概念,以及不确定性理论的数学理论基础。第二篇阐述空间数据不确定性模型,包括空间数据位置不确定性模型、属性不确定性建模以及位置与属性不确定性综合模型。第三篇介绍空间模型不确定性建模。第四篇讲述空间分析不确定性建模,包括叠置分析位置不确定性建模、缓冲区分析位置不确定性建模和线简化位置不确定性建模。第五、六篇分别给出空间数据质量控制模型和空间数据质量信息表达。第七篇总结未来的发展方向。
空间聚类分析是空间数据挖掘与知识发现的主要手段之一,已广泛应用于地理学、地质学、气象学、地图学、天文学及公共卫生等诸多领域。本书系统阐述了空间聚类分析的理论框架,并对当前外空间聚类分析领域研究的主要内容与进展进行了介绍。书中首先阐述了空间聚类分析研究的重要意义,明确了空间聚类分析研究中的基本问题,建立了空间聚类分析的理论框架,并据此对空间聚类分析的各个主要研究内容分别进行阐述,主要包括空间数据清理与聚类趋势分析、空间相似性度量、空间点实体聚类算法、空间面实体与动态轨迹聚类算法及空间聚类有效性评价方法等内容,同时介绍了空间聚类分析方法在地震模式分析、气象、环境、社会经济等领域的具体应用实例。 本书可供地理、地质、测绘、计算机、环境等相关领域的科研人员与研究生阅读参考。