-
UML动态行为图的机械语义形式验证与精化研究
来源:华东师范大学 发布日期:2015-01-10
如今的软件系统已经广泛应用于人们日常生活的各个领域,然而,开发出可靠和正确的软件系统依然是一个巨大的挑战。形式化方法使用基于数学符号的形式规范描述系统,使得设计开发人员能够对系统进行严格的形式化描述、分析和验证,提高系统的可靠性和正确性。模型驱动工程作为当前工业界主流的软件系统开发方法,主要理念也是要提高开发的抽象层次,将模型作为核心,强调规范语言、分析方法和工具的实用性,确保软件的行为是适当的和
-
创新思政工作思路 服务企业改革发展
来源:钢铁文化 发布日期:2015-01-10
当前,全球经济复苏缓慢,国内钢铁行业产能持续过剩,结构调整步履维艰,武钢转型发展压力十分巨大,城市服务集团改革力度逐步加快,由此,绿化公司克难攻坚任务异常艰巨。面对新形势新压力,绿化公司党委坚持不断创新企业思想政治工作的观念、思路和方法,使思想政治工作更好地突出经营中心、服务大局、促进发展,更好地体现时代性、科学性、有效性,为企业转型、升级、稳增长提供强大的政治保证。
-
全球纤维产量——PET、PA及黏胶纤维强势扩张
来源:国际纺织导报 发布日期:2015-01-10
据Fiber Organon全球调查数据显示:2013年全球化纤产量增加350万t(同比增长5.8%),达到6 380万t;全球纺织用纤维产量增加240万t(同比增长2.7%),达到9 090万t(表1)。总体而言,天然纤维(如棉、羊毛、亚麻、蚕丝等)产量下降110万t(同比降低
-
对于机械自动化的技术核心与制造模式探究
来源:科技展望 发布日期:2015-01-10
机械工业快速发展催生了机械自动化这一核心技术,该技术不同于传统机械加工生产,机械自动化即生产机器可于无人操作或者干预情况下结合程序指令或者规划实现机械生产或者控制等工作。概括而言就是机械工业生产已经实现自动控制,步入了新型领域,特别是引入了自动控制系统并充分使用,促使生产劳动强度得到大幅度降低与生产效率得到大幅度提升,同时也推动世界机械工业生产水平步入更高水平。
-
2014(第三届)铁矿石发展高端论坛在京举行
来源:中国钢铁业 发布日期:2015-01-10
12月6日,以"铁矿行业中长期发展规划对未来铁矿石市场的深远影响"为主题的2014(第三届)铁矿石发展高端论坛在京举行。中国钢铁工业协会常务副会长朱继民,工业和信息化部原材料工业司副司长骆铁军,国土资源部规划司副司长鞠建华,中国钢铁工业协会常务副秘书长、冶金工业规划研究院院长李新创等出席会议并讲话。朱继民在讲话中谈到,国内钢铁行业和矿山行业应该共同思考、探讨新形势下的生存发展之道,加强
-
食品安全风险评估法律规制的唯科学主义倾向及其克服——基于风险社会理论的思考
来源:法学论坛 发布日期:2015-01-10
民众对食品安全风险评估结果不信任主要是由食品安全风险评估法律规制的唯科学主义倾向造成的。科学知识在事实上"俘获"了中国食品安全风险评估的相关法律规制,并将其锁入在这种被"俘获"的境地中,从而使中国食品安全风险评估法律规制具有唯科学主义的倾向。中国食品安全风险评估法律规制之所以体现出唯科学主义倾向,其原因在很大程度上是因为人们还是在以传统工业社会中理解风险的方式来理解当下中国食品安全领域的风险问题。
-
运用法治思维和法治方式履行汽车市场监管职能
来源:河北农机 发布日期:2015-01-10
油价的高涨,催生了汽车油改气的热潮。尽管当前汽车油改气的技术相当的成熟,可是,让很多车主感到头疼的是有些车辆在用气时易熄火。
-
MBBR工艺用于处理催化剂废水试验研究
来源:给水排水 发布日期:2015-01-10
炼油石化企业催化剂生产废水属于难降解废水,针对厂区曝气生物流化床(ABFT)处理工艺存在的生物载体易磨损变形,载体表面产生板结造成气、水阻塞导致处理效果难以保证等问题,试验采用MBBR工艺对废水主要污染物COD和NH3—N的去除效果进行了考察。运行结果显示,MBBR工艺较ABFT工艺处理催化剂废水更具稳定性和经济性,当填料投加率为35%时,工艺对废水中COD和NH3—N的去除能力达到最优,且系统的
-
关于谷子糜子产业技术体系生产机械的研制
来源:河北农机 发布日期:2015-01-10
我国谷子、糜子长久以来生产手段落后,缺乏生产机械,严重制约了生产规模化,种植面积逐渐萎缩。近年来,在市场经济环境的影响下,谷子、糜子种植面积有扩大且向平原地区发展的趋势,到"十一五"末期谷子糜子产业体系领导和专家们建议"十二五"期间设置生产机械化岗位,从战略高度充分考虑到生产机械化在谷子糜子生产中的重要性,发挥生产机械化的节本、增效特性和在谷子糜子生产中的发展潜力,通过机械化加快谷子生产规模化种植
-
BICES 2015上海新闻发布会隆重举行
来源:工程机械 发布日期:2015-01-10
2014年11月26日,BICES 2015,即第13届中国(北京)国际工程机械、建材机械及矿山机械展览与技术交流会上海新闻发布会隆重举行。中国贸促会机械行业分会副会长周卫东先生主持发布会;中国工程机械工业协会副会长兼秘书长、北京天施华工国际会展有限公司董事长苏子孟先生,BICES国际合作方美国设备制造商协会(AEM)高级总监梅丽莎·迈斯卓女士,北京天施华工国际会展有限公司总经理乔健先生等嘉宾出席
027-87841330