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