暂缺简介...

暂缺简介...

暂缺简介...

《几何定理机器证明的基本原理（初等几何部分）》论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化，因此在理论上，这些几何的定理证明可以借助于计算机来实施.可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。全书共分六章，前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题.第3章为几何定理证明的机械化与Hilben机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。《几何定理机器证明的基本原理（初等几何部分）》可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。

包括：绕组的种类、结构、型式和基本参数，各种绕组的分布排列规律，电动机定转子绕组的常见故障分析与检修方法等。

暂缺简介...

本书主要介绍110～500千伏嘎亚架空送电线路的杆塔施工技术，书中介绍传统施工方法的同时，还着重介绍了近十多年来杆塔施工的新工艺（如内拉线抱杆分解组立，倒装组塔以及用通天抱杆和大型机械安装杆塔等）和杆塔的特殊施工方法（如带电作业，横线路安装，高塔施工，杆塔拆除等），其他各类铁塔（如电视塔，微波塔等）。其它各类铁塔（如电视塔、微波塔等）还可参照上述方法施工。本书也可参照上述方法施工，本书可供高压送电线路施工人员阅读，还可以作为培训送变电线路施工技术工人的教材，也可作为技工学校和中等专业学校有关专业的教学参考书。

内容提要本书共分七章，内容包括：静力学的基本概念和公理、平面汇交力系、力矩和平面力偶理论、平面一般力系、摩擦、空间力系、重心，书中列有较多的例题和大量思考题及习题，并附有习题答案。本书是中等专业学校水利电力类水利工程、农田水利、水利工程管理等专业的通用教材，也可作为同类专业业余教育和自学用书。

暂缺简介...

暂缺简介...