黄金分割法,抛物线插值法,单行替换法是机械优化设计中的三中重要方法。
/dl/342401.html
标签: 分割
上传时间: 2016-09-06
上传用户:569342831
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理,但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论,这些还有赖于人的经验技巧和才能。1960年王浩提出的算法,可以完全脱离人的经验和技巧,机械地构造每一步推导,证明一个命题逻辑定理的成立。 ...
/dl/355793.html
标签: 逻辑 定理
上传时间: 2013-12-31
上传用户:wxhwjf
JAVA实现的数据结构,非常全面,配套的书籍是机械工业出版社的<<JAVA 数据结构 第2版>>
/dl/360848.html
标签: JAVA 数据结构
上传时间: 2016-10-31
上传用户:zhengjian
《java信息系统与开发实例》第二版,机械工业出版社,计算机专业,毕业java设计与开发实例,包括图书管理系统等多个实例。
/dl/361834.html
标签: java 信息系统 开发实例
上传时间: 2016-11-03
上传用户:kikye
CCNA认证参考书,PDF高清 为机械工业出版社的书,
/dl/362772.html
标签: CCNA
上传时间: 2013-12-17
上传用户:凌云御清风
控制机器人完成螺丝刀插孔实验,利用串口实现机械臂与二指夹持器的通讯。
/dl/366975.html
标签: 控制 实验 机器人 螺丝刀
上传时间: 2014-12-19
上传用户:nanshan
斯坦福大学网络视频课程之机器人系统设计学讲义,这门课在斯坦福只有不到1万人学习过,计算机水平要求很高,这门课涉及到机器学习及机械设计等重要领域
/dl/377328.html
标签: 斯坦福 大学 网络视频 机器人
上传时间: 2013-11-26
上传用户:weiwolkt
振动工具箱,用于机械振动理论的学习与基于matlab的编程
/dl/393976.html
标签: 振动 工具箱
上传时间: 2014-01-02
上传用户:yzhl1988
参考文献 [1]SQL Server 2000数据库及应用徐人凤曾建华高等教育出版社 2004年1月 [2]软件编程规范徐人凤孙宏伟王梅2005年7月高等教育出版社 [3]《SQL Server数据库开发经典案例解析》,清华大学出版社,2006年 [4]《SQL SERVER 2000开发与应用》,机械工业出版社,2003年7月 [5]《数据库系统概论(第三版)萨师煊 王珊 ...
/dl/395780.html
标签: SQL Server Serve 2000
上传时间: 2017-01-24
上传用户:啊飒飒大师的
可编程控制器(PROGRAMMABLE CONTROLLER,简称PC)。与个人计算机的PC相区别,用PLC表示。 PLC是在传统的顺序控制器的基础上引入了微电子技术、计算机技术、自动控制技术和通讯技术而形成的一代新型工业控制装置,目的是用来取代继电器、执行逻辑、记时、计数等顺序控制功能,建立柔性的程控系统。国际电工委员会(IEC)颁 ...
/dl/401407.html
标签: PROGRAMMABLE CONTROLLER 可编程控制器
上传时间: 2017-02-06
上传用户:zhengzg
虫虫下载站 半导体技术网 电子研发网 源码地带 电源技术网 单片机技术网 医疗电子技术 嵌入式系统与单片机