说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 机械化证明
1)  algorithm proof
机械化证明
1.
Since then the algorithm proof of q-hypergeometric ident.
现代计算机科学技术飞速发展,这为q-恒等式证明的研究开辟了新的前景,1990年,DoronZeilberger提出了恒等式机械化证明的Zeilberger算法,开创了恒等式证明的新纪元,从而人们对q-超几何级数恒等式的机械化证明也展开了讨论,D。
2)  combinatorics/mechanized proof
组合数学/机械化证明
3)  theorem's mechanical proof
定理机械证明
4)  machinery charge qualification
机械负荷合格证;机械负荷合格证明
5)  machinery civilization
机械文明
1.
From his works,although he lashed out at civilized conflicts and destruction of natural environment brought about by technology progress,Stafford didn t simply place the machinery civilization onto the opposite of nature.
从其作品来看,斯塔福德虽然也抨击科技进步带来的文明冲突和自然环境破坏,但他并没有将机械文明简单地放在自然的对立面。
6)  machine proof
机器证明
1.
Machine Proof to Theorems and Traditional Mathematical Concept;
定理机器证明与传统数学观
补充资料:农业机械化及其自动化

业务培养目标:本专业培养具备农业机械及其自动化装备的构造原理、性能设计研究、使用管理及现代生物学知识,能在农业机械设计、机械化生产管理及服务部门从事农业机械及相关装备性能设计、农业机械化规划与管理、教学与科研、营销与服务等方面工作的高级工程技术人才。

业务培养要求:本专业学生主要学习农学、机械学、自动化技术及经营管理学方面的基本理论和基本知识,受到农业产前、产中、产后生产过程机械化及其自动化工艺及相关装备性能设计制造、试验鉴定、选型配套、使用维修方面的基本训练,具有农业生产机械化系统的规划设计、企业经营管理和农业机械化及其自动化装备的研究开发、推广运用等基本能力。

毕业生应获得以下几方面的知识和能力:

1.掌握农学、机械学、自动化控制技术及经营管理方面的基本理论或基本知识;

2.掌握农业机械及其自动化装备的性能设计、试验鉴定、选型配套、使用维修等方面的知识和技术;

3.具有农业生产机械化系统的规划设计和经营管理的能力;

4.具有农业机械化及其自动化新工艺、新装备、新技术的科研、开发、推广的能力;

5.熟悉我国农业机械化的方针、政策和法规;

6.了解国内外农业和农业机械化及其自动化的科学前沿和发展趋势;

7.掌握文献检索、资料查询的基本方法,具有一定的科学研究和实际工作能力;

8.有较强的调查研究与决策、组织与管理、口头与文字表达能力,具有独立获取知识、信息处理和创新的基本能力。

主干学科:机械工程、作物学、农林经济与管理

主要课程:画法几何与计算机制图、工程力学、机械设计基础、机械制造基础、电工与电子技术、汽车与拖拉机、农业机械学、现代测试技术、农业生产机械化、机电一体化技术、农业机械化管理

主要实践性教学环节:包括金工实习、驾驶实习、农机化生产实习及机械综合设计、课程设计、毕业设计等,一般安排30~35周。

主要专业实验:农业机械性能测试与试验、机电一体化技术、机械化系统计算机辅助分析与模拟等实验

修业年限:四年

授予学位:工学学士

相近专业:机械设计制造及其自动化、食品科学与工程

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条