大约有20,000项符合查询结果项。（搜索耗时：0.0193秒）
为您推荐： 挑战思维极限 勾股定理的365种证明 几何证明 几何三角法证明 机器证明 三角法证明几何 完美的合同 基本原理及审查与修改
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
素数分布定理与哥德巴赫猜想的证明
谢必成著2015 年出版158 页ISBN：97875647333842000年夏天，作者发现了素数一系列从始至终（多重地、彻底地）按同余均匀分布的规律性。作者能证明这些，是取得了又一系列重大的发现（在2005年冬天）：在数轴上，随着各种奇合数不断被抽出，所有剩下的奇数分成各种“......
-
-
清扫机器人咕咚 图形与几何·立体图形
（韩）杨承炫著；（韩）宋香兰绘；俱可欣译2015 年出版31 页ISBN：9787122212948波罗的爸爸是一个伟大的科学家，能研制出各种各样的机器人。这天，波罗偷偷地来到爸爸的实验室，看到了各种各样的机器人，其中有个爱清扫的机器人，总是会把不同的东西“咕咚”一下吸到自己肚子里。在有趣的故事里，.....
-
画法几何与阴影透视的基本概念和解题指导
黄水生著2015 年出版156 页ISBN：9787112181308本书根据当前国内外高校图学教育研究的方向和发展趋势，结合建筑类各专业新的教学计划、原国家教委颁布的课程教学基本要求，以及编者多年来的教学实践经验编写而成。书中的主要内容有：点、直线和平面的投影，直线...
-
微机原理与接口技术 基本原理、实用技术和基于FPGA的SOC技术
潘松，潘明，黄继业编著2015 年出版359 页ISBN：9787302389057本书的整体结构和基本内容与传统《微机原理与接口技术》有很好的吻合，但为了融入新的内容，作了必要的精简，将EDA与SOC技术有机地融入了相关章节中，并在各对应章节后增加了有良好针对性的实验及自主设计实践项目...
-
-
智能循迹避障机器人设计与控制 基本理论与实践
雷道仲等著2015 年出版134 页ISBN：9787548719007本书主要研究利用红外对管检测黑线与障碍物，并以STC89C52单片机为控制芯片控制机器人小车的速度及转向，从而实现自动循迹避障的功能。其中小车驱动由L298N驱动电路完成，速度由单片机输出的PWM波控制。...
-
材料学的纳米尺度计算模拟 从基本原理到算法实现
单斌，陈征征，陈蓉编2015 年出版394 页ISBN：9787560996820本书主要介绍了微观模拟计算的数学基础、量子力学和固体物理基础、第一原理的微观计算模拟、紧束缚方法、分子动力学方法、蒙特卡罗方法等内容。...
-
建筑结构的基本原理及应用
余荣春，余景良，吴卫华主编；肖哲涛，刘宇，包明，杨小卫副主编2015 年出版380 页ISBN：9787517024811本书系统地讲述了建筑结构的基本原理及各类建筑结构的设计与运用，试图以理论为前提，以应用为目的，以必须精要为度，力求具有针对性、适应性和实用性。本书基本概念清晰，基本理论简明扼要，从建筑结构的概述开始，......