5.1 软件开发过程及开发工具 5.2 公共目标文件格式 5.3 常用汇编伪指令 5.4 链接器命令文件的编写与使用 5.5 汇编语言程序编写方法 5.6 TMS320C54x C语言编程 5.7 用C语言和汇编语言混合编程

本书是21世纪大学新型参考教材系列之一,书中主要讲解机器人控制基础,机器人釆用的各种执行器、各种传慼器,电动杋的控制,机械系统的控制,机器人运动学,机器人控制等。作者均为工作在专业教学科硏第一线的专家教授,书中内容新颖、重点突出,文字親述深入浅出、流畅易懂。书中穿插有“篇外活”可作为正文内容的补充说明。各章未均有练习题,书后附有练习题解答

第10章 矩阵位移法 第11章 能量原理 第12章 超静定结构总论 第13章 结构的动力计算 第14章 结构的稳定计算 第15章 结构的塑性分析与极限荷载 第16章 结构力学的研究方法和参考书简介

渤海是在中国海洋生物生产力较高的海域，海洋生物种类繁 多，渔业资源丰富。渤海渔业资源从70年代中期后开始过度利用， 加上水域污染的影响，一些主要经济鱼类资源开始不同程度的衰 退。到21世纪初，渤海传统经济渔业种类资源，有的严重衰退， 有的已经枯竭。：

9.1 格 9.2 布尔代数 9.3 子布尔代数、积布尔代数 和布尔代数同态 9.4 布尔代数的原子表示 9.5 布尔代数Br2 9.6 布尔表达式及其范式定理

7.1 半群和独异点的定义及其性质 7.2 半群和独异点的同态与同构 7.3 积半群 7.4 群的基本定义与性质 7.5 置换群和循环群 7.6 子群与陪集 7.7 群的同态与同构

1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

随着现代电子计算机技术的发展,计算机的应用领域从最初的简单科学计算逐步发展到 人类活动的各个领域,例如企业管理、工程过程控制、经济系统工程及管理信息系统等。计 算机处理的对象从简单的数值和字符扩大到现在带有不同复杂结构的各种数据,例如图像、 声音及信号等。面对不同的数据处理对象,不同的需求,数据的组织形式、存储及运算必须 有不同的方法,才能进行有效的处理

本书依据21世纪对职业教育的知识和 能力要求，培养数控技术技能型紧缺人才 为目标，以能力为本位、重点培养学生创 新精神和实践能力为核心、以综合职业能 力为基点，融会了机械制造生产中的机床、 刀具、夹具、量具以及机械制造工艺等知 识为一体，形成了机械制造基础教材的新 体系