大约有20,000项符合查询结果项。（搜索耗时：0.0196秒）
为您推荐： 非成像光学设计 控制系统计算机辅助设计 光学系统设计 空间光学遥感器系统设计 航天光学遥感系统总体设计 电力工程设计手册 火力发电厂锅炉及辅助系统设计
-
计算机辅助几何设计与非均匀有理B样条 修订版
施法中编著2013 年出版548 页ISBN：9787040381405计算机辅助几何设计（Computer-Aided Geometric Design，简称CAGD）的核心问题是要解决工业产品几何形状的数学描述。本教材从形状数学描述的实际要求出发，以作为标准形式的参数曲线曲面基本理论为基础，在非有理贝...
-
-
PMSM伺服系统的非脆弱控制
金锋著2013 年出版155 页ISBN：7551703628《PMSM伺服系统的非脆弱控制》共分5章。第1章介绍伺服控制系统的组成、性能指标及现代伺服控制系统的特点；第2章介绍Rockwell实验室的PMSM伺服系统的控制单元、功率驱动单元、永磁同步伺服电动机（PMSM）、位置...
-
Proteus辅助的单片机原理实践基础设计课程设计和毕业设计
赵广元编著2013 年出版208 页ISBN：9787512412095本书以Proteus仿真软件为工具辅助单片机设计，分为基础实验、课程设计、综合设计实例3部分。（1）基础实验部分：以近年来作者开设开放实验的相关讲义为基础，参照相关单片机原理优秀规划教材的主要知识点设置，主要对...
-
基于ZEMAX的光学设计教程
黄振永，卢春莲，俞建杰主编2013 年出版385 页ISBN：9787566105974本书介绍了光学系统的像差理论、像质评价方法、光学设计软件ZEMAX的使用方法、典型光学系统设计的优化方法。其特色在于通过大量的基于ZEMAX的光学设计实例及其详实设计过程诠释并强化了如何利用ZEMAX软件...
-
非财务指标融入分部经理激励契约设计的研究
王华兵著2013 年出版239 页ISBN：9787517800149本著作以非财务指标融入分部经理激励契约的设计作为研究对象，主要内容包括理论基础研究、非财务指标融入分部经理激励契约设计的历史视角研究、单一分部情形下非财务指标的使用问题研究、多分部情形下非财务...
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
数学化的场论 球面世界的哲学
任伟著2013 年出版755 页ISBN：9787030386229本书本着数理不分家的精神，对经典物理学各个领域的齐次和非齐次波动方程的解的数学结构进行了深刻的揭示，理论成果对工程技术若干领域有用。本书对若干领域用数学特别是场论的方法进行一些探索，初步形成一家之...
-
电力系统计算机辅助分析
潘学萍主编2013 年出版131 页ISBN：9787517004721本书是在传统电力系统分析课程的基础上，结合计算机技术的特点和要求，介绍了电力系统的潮流、短路和稳定问题的数值计算方法。本书共7章，主要内容有：电力系统三大计算所需要的原始数据、电力网络的数学模型、电...
-
