-
18981.超硬材料的发展将引发机械制造的巨大变革
[专用设备制造业,通用设备制造业] [2016-08-05]
每一种切削工具材料在发展中都会出现一些异常,因此必须不断探索和研究。每一种材料均有不同的特性,在使用中应当根据工具和被加工材料的特性,甚至加工条件来选择合理的加工方法。众所周知,金刚石是世界上最硬的物质,作为切削工具是很理想的材料,所以现在应用相当广泛。但是它与黑色金属有亲和力,并且在700℃左右,会发生石墨化现象,金刚石的磨损便会加速,所以只适合于切削有色金属和非
关键词：切削工具;金刚石合成;超硬材料;加工条件;机械制造;加工方法;石墨化;低温切削;天然金刚石;中都;
-
18982.浅析《机械制图》与CAD、CAXA在体验式数控教学中的有机结合
[专用设备制造业,通用设备制造业] [2016-08-05]
现今中职学校的制图教学中,由于教具的局限以及多媒体无法普及,很大程度上制约了制图教学的效果,加之学生空间思维能力不足,单纯靠老师讲解,大多数学生根本画不出完整的三视图,即使画出轴测图,学生也很难把图想清楚,因此,教师可以引入计算机辅助教学CAD来弥补制图教学中的空白。同时,随着科学技术的迅猛发展和计算机的广泛应用,在实际生产中对制图的要求
关键词：制图教学;机械制图;数控教学;CAD;计算机辅助教学;空间思维能力;轴测图;体验式;计算机绘图;制图课;
-
18983.传统机械式与情景创设式教学法在中职英语语法课上的应用与比较
[通用设备制造业,专用设备制造业] [2016-08-05]
语法教学在中职院校英语教学中一直是一个难题。作者通过在执教班级——商务英语1401班英语基础语法课程上,针对不同语法项目分别实施传统机械式和情境创设式教学法。通过比较两种不同教学法的教学效果,发现前一种在帮助学生获得语法知识准确性上有一定的作用,但忽视学生语言的交际性;而后一种培养学生在习得语法内容的同时,提高他们在交际过程中流利地表达思想的能力,旨在比较这两种教学法的优缺点,以更好地指导中职英语语法教学。
关键词：机械操练;情境创设;教学法;教学效果;英语语法
-
18984.定理证明器Coq与机械语义研究
[通用设备制造业,专用设备制造业] [2016-08-05]
随着证明理论和定理证明器的不断发展与成熟,形式语义研究已经从传统的基于手工证明的研究进入到机器可处理的机械语义的研究。交互式定理证明器Coq具备强大的描述能力,可以形式化地描述程序语法和语义,利用其内置函数式编程语言实现对程序语义的复杂操作,通过其证明系统形式地证明操作的正确性。根据形式语义的理论,针对简单类型Lambda演算的操作语义和指称语义,展示了如何利用定理证明器Coq的归纳定义实现它们的形式描述,并对语义的重要属性进行证明,表明机械语义是确保基础软件正确性的基础。
关键词：定理证明;形式语义;Lambda演算;机械语义
-
18985.UML动态行为图的机械语义形式验证与精化研究
[通用设备制造业,专用设备制造业] [2016-08-05]
如今的软件系统已经广泛应用于人们日常生活的各个领域,然而,开发出可靠和正确的软件系统依然是一个巨大的挑战。形式化方法使用基于数学符号的形式规范描述系统,使得设计开发人员能够对系统进行严格的形式化描述、分析和验证,提高系统的可靠性和正确性。模型驱动工程作为当前工业界主流的软件系统开发方法,主要理念也是要提高开发的抽象层次,将模型作为核心,强调规范语言、分析方法和工具的实用性,确保软件的行为是适当的和正确的。作为模型驱动工程的重要组成部分,统一建模语言UML已经成为业界用于建模的事实标准,却因为本身缺乏精确的形式语义定义,使得对UML模型进行形式验证变得十分的困难。更重要地,软件设计通常是个增量迭...
关键词：UML序列图;UML状态图;机械语义;精化;定理证明器Coq;元模型
-
18986.北方最具影响力的家具展让参展企业跨步腾飞——2015第十二届哈尔滨国际家具暨木工机械展览会圆满收官
[专用设备制造业,通用设备制造业] [2016-08-05]
由哈尔滨市人民政府主办,中国家具协会作为特别支持单位,哈尔滨市工业和信息化委员会、哈尔滨市商务局、哈尔滨市贸促会、哈尔滨市政府采购办公室、哈尔滨市家具行业协会协办的第十二届哈尔滨国际家具暨木工机械展览会,于2015年4月17日在哈尔滨市会展中心圆满结束。一、450多家企业参展,展会规模再创新高本届展会共有来自全国各地450多家家具厂商参展,同比增长7%。展会除启用了哈尔滨国际会展中心的A、B、C三个展馆外,还在广场搭建
关键词：国际家具;木工机械;家具展;中国家具协会;跨步;软体家具;软装设计;贸易平台;信息化委员会;机械销售;
-
18987.加强实践教学管理;建设本科机械实践教学示范中心
[通用设备制造业,专用设备制造业] [2016-08-05]
尽管许多高校在实验示范中心建设方面都取得了较为丰硕的成果,但受学校行业背景及社会需求变化的影响,各高校的实验示范中心在相关行业中的引领和示范作用还具有较大的提升空间,仍需在建设中继续探索与实践。本文就针对我校的具体情况,如何作示范中心的建设目标定位、如何通过加强实践教学管理和制度建设等来保障实施进行了阐述。
关键词：教学管理;实践教学;示范中心
-
18988.我市2014年安全生产形势呈现总体向好态势
[专用设备制造业,通用设备制造业] [2016-08-05]
关键词：死亡事故;重点行业领域;交通广告;起数;社会学习;顶层设计;宣教活动;常务会议;非金属矿;齐抓共管;
-
18989.“十三五”电源建设关键词：清洁、高效
[专用设备制造业,通用设备制造业] [2016-08-05]
关键词：电源建设;周鹤;火电装机;非化石能源;能源结构;核电发展;能源清洁;核电运行;电源结构;核电产业;
-
18990.肠内营养支持治疗对ICU机械通气患者的影响
[专用设备制造业,通用设备制造业] [2016-08-05]
探讨研究肠内营养支持治疗对ICU机械通气患者的影响。随机选取2012年5月-2015年5月间在甘肃省高台仁济医院接受治疗的200例ICU机械通气患者作为研究对象,根据入院单双号随机分为观察组和对照组。对两组患者进行原发病的相应治疗,并控制感染,保证患者体内的酸碱平衡,纠正水电解质,在此基础上实验组患者进行肠内营养支持治疗,对照组患者进行肠外营养支持治疗,对比观察两组患者治疗前后的各项营养指标以及并发症发生情况。治疗后两组患者的营养指标均有所改善,但实验组改善情况显著优于对照组,差异具有统计学意义(P<0.05);实验组患者发生胃潴留、反流和误吸、腹泻、脱管以及堵管的人数均少于对照组患者,总发生...
关键词：肠内营养支持治疗;ICU机械通气患者;营养指标
027-87841330