Representation and Productive Ambiguity in Mathematics and the Sciences pdf epub mobi txt 电子书下载 2026

简体网页||繁体网页

☆☆☆☆☆

出版者:

作者:Grosholz, Emily R.

出品人:

页数:332

译者:

出版时间:2007-10

价格:$ 111.87

装帧:

isbn号码:9780199299737

丛书系列:

图书标签:

数学哲学
科学哲学
表征
歧义性
认知科学
科学认知
数学认知
概念变化
科学史
数学史

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

Emily Grosholz offers an original investigation of demonstration in mathematics and science, examining how it works and why it is persuasive. Focusing on geometrical demonstration, she shows the roles that representation and ambiguity play in mathematical discovery. She presents a wide range of case studies in mechanics, topology, algebra, logic, and chemistry, from ancient Greece to the present day, but focusing particularly on the seventeenth and twentieth centuries. She argues that reductive methods are effective not because they diminish but because they multiply and juxtapose modes of representation. Such problem-solving is, she argues, best understood in terms of Leibnizian 'analysis' - the search for conditions of intelligibility. Discovery and justification are then two aspects of one rational way of proceeding, which produces the mathematician's formal experience. Grosholz defends the importance of iconic, as well as symbolic and indexical, signs in mathematical representation, and argues that pragmatic, as well as syntactic and semantic, considerations are indispensable for mathematical reasoning. By taking a close look at the way results are presented on the page in mathematical (and biological, chemical, and mechanical) texts, she shows that when two or more traditions combine in the service of problem solving, notations and diagrams are sublty altered, multiplied, and juxtaposed, and surrounded by prose in natural language which explains the novel combination. Viewed this way, the texts yield striking examples of language and notation that are irreducibly ambiguous and productive because they are ambiguous. Grosholtz's arguments, which invoke Descartes, Locke, Hume, and Kant, will be of considerable interest to philosophers and historians of mathematics and science, and also have far-reaching consequences for epistemology and philosophy of language.

测绘新技术与高精度定位导言：数字化时代的测绘基石随着全球信息化的深入发展，测绘技术已不再是传统意义上的地图制作工具，而是成为支撑现代社会基础设施建设、环境监测、资源管理乃至自动驾驶和精确农业的核心技术。本册深入探讨了当代测绘领域的前沿进展，重点聚焦于高精度定位技术、新型数据采集方法以及数据处理与融合的创新路径。我们旨在全面梳理这些技术如何共同构建一个更加精准、动态和智慧的地球表征系统。第一章：全球导航卫星系统（GNSS）的性能飞跃与应用深化 1.1 多系统融合与增强技术当前测绘实践已全面迈入多系统融合时代。本章首先分析了北斗（BDS）、全球定位系统（GPS）、伽利略（Galileo）和格洛纳斯（GLONASS）等四大系统的联合观测策略。重点阐述了相对定位精度（如相对定位、差分定位DGNSS）和绝对定位精度（如PPP/PPP-RTK）的最新突破。特别地，对实时精密单点定位（PPP-RTK）技术的最新进展进行了细致剖析。这包括对网络化参考站数据处理的优化、模糊度快速固定的新算法，以及在城市峡谷、林区等复杂环境下保持厘米级甚至毫米级精度的关键技术。我们探讨了如何通过改进的大气模型校正和数据质量控制流程，使得PPP-RTK在广域范围内实现高可靠性的实时服务。 1.2 GNSS抗干扰与抗欺骗策略随着GNSS应用场景的扩展，其信号易受自然干扰（如电离层扰动）和人为恶意干扰（如欺骗攻击）的威胁日益增加。本章系统总结了当前主流的抗干扰技术，包括自适应波束形成技术、信号特征分析和多频多通道数据的协同校验。针对欺骗攻击，我们详细介绍了基于信号源多样性验证、接收机数据冗余比对等方法，旨在提升测绘系统在关键任务中的鲁棒性和安全性。第二章：新型传感器技术与三维数据采集 2.1 高性能激光雷达（LiDAR）的演进激光雷达作为获取高密度三维点云数据的核心技术，正经历从航空到地面、从间接测量到直接测量的深刻变革。本章详细介绍了机载激光雷达（ALS）和无人机载激光雷达（UAS-LiDAR）的最新系统性能指标，包括回波通道数、测程能力和测点精度。重点分析了固态激光雷达在小尺寸、低功耗应用中的潜力，及其在快速三维建模中的独特优势。在数据处理层面，探讨了基于深度学习的点云滤波、地物分类（如植被冠层提取、建筑轮廓识别）的自动化算法，极大地提高了数据处理效率和成果质量。 2.2 倾斜摄影测量与无人机遥感集成倾斜摄影测量（Oblique Photogrammetry）已成为获取高分辨率城市三维模型的主流手段。本章深入剖析了如何通过多角度、多传感器（可见光、多光谱）的无人机系统集成，实现正射影像、数字表面模型（DSM）和三维实景模型的同步生成。讨论了影响模型精度和纹理真实感的关键因素，如相机标定精度、影像重叠率优化、以及复杂地物（如桥梁、高大建筑）的重建算法。同时，结合了无人机实景三维建模（UAS-3D）在资产清查、应急测绘和历史建筑保护中的实际应用案例分析。第三章：数据融合、建模与可视化 3.1 多源异构空间数据的配准与融合现代测绘成果往往依赖于整合来自GNSS、LiDAR、倾斜摄影、传统测量等不同源头的数据。本章的核心在于阐述多源数据精确配准的技术挑战与解决方案。我们详细介绍了基于特征匹配、迭代最近点（ICP）算法的优化版本，以及如何利用高精度控制点和公共几何约束实现不同传感器数据的系统级整合。针对数据的异构性，探讨了融合框架的设计，确保不同精度和分辨率的数据在统一的空间参考系下实现优势互补，例如利用LiDAR的高精度几何信息增强摄影测量模型的细节，或利用影像信息对点云进行语义分类。 3.2 动态地理信息系统（GIS）与数字孪生空间数据正在从静态描述转向动态模拟。本章探讨了动态地理信息系统（D-GIS）的构建方法，特别是如何将实时或高频更新的监测数据（如形变监测、环境参数）集成到GIS平台中。更进一步，本章深入解析了数字孪生（Digital Twin）在测绘领域的应用。这不仅涉及构建高保真静态三维模型，更强调了模型与现实世界的实时映射、状态反馈和仿真预测能力。讨论了如何利用物联网（IoT）数据流支撑数字孪生体的运行，从而实现对城市基础设施、水利系统等复杂对象的高效管理和决策支持。第四章：高精度测绘在特定领域的应用实例 4.1 基础设施的形变监测与工程测量在高等级公路、大跨度桥梁和超高层建筑的建设与运营阶段，厘米级的形变监测至关重要。本章介绍了GNSS连续监测站网与地面雷达干涉测量（InSAR）结合的应用模式。重点分析了如何利用InSAR技术对大范围沉降进行宏观分析，并结合局部高精度GNSS数据进行点位精细化验证，确保结构安全。 4.2 智慧农业与精准作业测绘技术正驱动农业向精细化、自动化方向发展。本章阐述了如何利用无人机搭载的高光谱/多光谱传感器获取作物健康信息，结合高精度定位的田间作业平台，实现变量施肥、精准灌溉。讨论了农田地块的三维精细建模如何优化作业路径，减少资源浪费，并提高农产品产量。结语：迈向全域感知与智能服务本册全面展示了测绘科学在数据获取、处理、建模和应用方面的重大进展。从GNSS的韧性增强到LiDAR的微米级精度，再到数字孪生的实时映射，测绘技术正以前所未有的速度驱动着空间信息服务的智能化转型。未来的研究将继续围绕数据的高效集成、模型与现实世界的实时同步，以及在更广阔的时空尺度上提供可靠的空间参考框架展开。