关于我们
新书资讯
新书推荐
点击返回 当前位置:首页 > 中图法 【T 工业技术】 分类索引
  • 自然数的紧化延伸机器证明系统
    • 自然数的紧化延伸机器证明系统
    • 郁文生/2024-5-1/科学出版社
    • 数系的扩充始终贯穿于数学理论的发展之中. 本书利用交互式定理证明工具Coq, 在Morse-Kelley 公理化集合论形式化系统下, 给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统, 包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现, 构建了非标准实数模型, 自然包含标准实数模型, 并且给出滤子扩张原则和连续统假设蕴含非主算术超滤存在的形式化验证. 在我们开发的系统中, 全部定理无例外地给出Coq的机器证明代码, 所有形式

    •   
      ¥172.80¥288折扣:6.00折  当前库存:2
  • 深井提升动力学
    • 深井提升动力学
    • 何满潮/2024-5-1/科学出版社
    • 2016年,国家重点研发计划"煤矿深井建设与提升基础理论及关键技术"获批,项目紧紧围绕深部煤矿建井模式及大变形灾害机理与控制、深井无煤柱自成巷采建井布局等关键科学问题,在对国内外研究现状深入分析的基础上,牢牢把握"深部"特色,进一步梳理研究内容,明确研究亮点,以"深部非均压建井模式"、"深部N00矿井建设模式"等原始创新为核心,系统开展相关基础理论、关键技术、配套装备以及工程应用研究,拟建立科学的深部矿井概念和分类方法,揭示建井工程灾害成因及其力学机理,提出深部矿建井大变形灾害控制对策,形成无煤

    •   
      ¥270.00¥450折扣:6.00折  当前库存:2
  • 基于多尺度分析与人工神经网络的多源图像融合
    • 基于多尺度分析与人工神经网络的多源图像融合
    • 金鑫/2024-5-1/科学出版社
    • 图像融合技术可将多源图像的互补特征进行综合,以得到更加完整和准确的场景描述,从而弥补单一传感器单幅图像的不足,是一种广泛应用的图像预处理技术,如多摄像头拍照、微光夜视、医学诊断、遥感等应用领域。本书以多源图像融合技术为主要内容,在研究图像尺度分析、迁移学习、深度学习算法与模型的基础上,针对多聚焦图像融合、多模态医学图像融合、红外与可见光图像、遥感图像融合等方面开展了深入研究,分别提出了具有针对性的融合方法,同时将一些新的技术和新方法引入到图像融合领域。

    •   
      ¥82.80¥138折扣:6.00折  当前库存:118
  • 装备试验设计与分析评估
    • 装备试验设计与分析评估
    • 金光/2024-5-1/科学出版社
    • 全书内容共分为6 章,内容包括新体制下装备试验的基本概念和发展趋势、装备试验设计与分析评估的流程,以及试验项目设计、试验样本设计、试验数据分析、试验数据建模、试验结果评估等,每一章并提供典型案例。

    •   
      ¥102.00¥170折扣:6.00折  当前库存:29
  • 虚拟电厂调度优化模型与市场交易机制
    • 虚拟电厂调度优化模型与市场交易机制
    • 鞠立伟/2024-5-1/科学出版社
    • 为实现对多种分布式能源的聚合和集成化利用,本书引入虚拟电厂的基本概念,梳理了国内外典型虚拟电厂的项目经验,从虚拟电厂功能分析、优化调度与市场交易三个维度展开,在功能分析中,着重介绍虚拟电厂类型及对电力系统的影响,在优化调度中,着重提出虚拟电厂多目标调度模型、计及不确定性和碳排放的随机调度模型,在市场交易中,分别开展了虚拟电厂参与中长期电力市场、日前市场及日内-实时市场等交易优化建模,并基于我国未开展电力现货市场运行地区的实际情况,对虚拟电厂参与辅助服务市场交易进行了建模分析。

    •   
      ¥82.80¥138折扣:6.00折  当前库存:99
  • 机械结构化稀疏学习诊断理论与应用
    • 机械结构化稀疏学习诊断理论与应用
    • 陈雪峰/2024-5-1/科学出版社
    • 本书从稀疏诊断的角度出发,针对现有特征辨识技术:匹配滤波策略和智能学习策略的不足,介绍了结构化稀疏学习诊断理论的基本原理与核心的技术。通过从一维结构化稀疏:加权协同稀疏结构、非负有界稀疏结构;过渡到二维结构化稀疏:非局部协同稀疏结构、自相似加权稀疏秩结构、广义稀疏协同结构,建立一系列具体的结构化稀疏学习诊断模型,实现了不同问题的有效诊断。并结合风电装备特征辨识和航空发动机齿轮毂裂纹诊断两个案例证明所阐述的结构稀疏诊断新理论的可行性。

    •   
      ¥108.00¥180折扣:6.00折  当前库存:26
  • 高性能高分子材料表征
    • 高性能高分子材料表征
    • 高峡/2024-5-1/科学出版社
    • 本书针对高性能高分子材料的组成、结构与性能特点,结合表征新设备和前沿性新技术和新方法,在传承经典理论及已有相关书籍的基础上突出现代分析测试技术方法的特点,从高性能高分子材料的化学成分组成、结构与性能方面,结合相关的分析测试仪器设备和典型的高性能塑料、纤维和橡胶材料表征方面的分析测试数据,分章节进行逐条编著。

    •   
      ¥136.80¥228折扣:6.00折  当前库存:10
  • 虚拟现实与增强现实智能建模技术
    • 虚拟现实与增强现实智能建模技术
    • 姚俊峰/2024-5-1/科学出版社
    • 本书首先进行虚拟现实和增强现实简介,接着以VR/AR智能建模为主线,第一部分介绍基于单张图片的基于单张图片的广义柱形物体三维建模技术、基于单帐图像的室内场颢三维建模、基于正面图片的三维人脸快速建模技术;第二部分阐述基于稀疏柔性传感器的三维人体重建、三维模型格式转换引擎技术;第三部分基于中轴变换建模方面,包括动态网格与稀疏点云的中轴计算方法、刚体仿真中基于中轴变换的连续碰撞检测、中轴驱动的三维模型变形模拟及碰撞检测方法。力求使读者尽快掌握现有VR/AR相关核心智能建模技术。

    •   
      ¥76.80¥128折扣:6.00折  当前库存:49
  • 从火灾科学到公共安全:范维澄院士学术思想精要
    • 从火灾科学到公共安全:范维澄院士学术思想精要
    • 范维澄/2024-5-1/科学出版社
    • 本书为范维澄院士成果文集,范维澄院士主要研究方向为火灾动力学演化与防治技术;包括公共安全科技中的监测监控、预测预警、人员疏散、应急救援的理论与技术及其综合集成 。本书主要收录范维澄院士学术科研领域的相关研究。全书共15章,具体划分两个专题:火灾科学专题,公共安全专题。范维澄针对中国火灾形势严峻和火灾研究薄弱的现状,倡导工程热物理与安全工程的交叉,开创了火灾安全科学与工程的研究和教育这一重要工程科技领域。提出了创建火灾科学国家重点实验室的整体构思和设计方案,并主持建设,使之成为国际知名的知识创新

    •   
      ¥178.80¥298折扣:6.00折  当前库存:2
  • 化工名词(十)化工系统工程与化工信息化
    • 化工名词(十)化工系统工程与化工信息化
    • 名词委/2024-5-1/科学出版社
    • 本书内容包括:通论;物质的基础物性与分子模拟;过程模拟 ;过程综合 ;过程系统优化 ;信息基础设施;企业经营管理;生产运行管理;智能化工制造系统;化学产品工程与分子系统工程;生态过程系统工程;化工安全;技术经济 。这些名词是全国各科研、教学、生产、经营以及新闻出版等部门应遵照使用的化工规范名词。

    •   
      ¥108.00¥180折扣:6.00折  当前库存:4