-
UML动态行为图的机械语义形式验证与精化研究
来源:华东师范大学 发布日期:2015-01-10
如今的软件系统已经广泛应用于人们日常生活的各个领域,然而,开发出可靠和正确的软件系统依然是一个巨大的挑战。形式化方法使用基于数学符号的形式规范描述系统,使得设计开发人员能够对系统进行严格的形式化描述、分析和验证,提高系统的可靠性和正确性。模型驱动工程作为当前工业界主流的软件系统开发方法,主要理念也是要提高开发的抽象层次,将模型作为核心,强调规范语言、分析方法和工具的实用性,确保软件的行为是适当的和
-
适应新常态 改革攻难关——2015年新年贺词
来源:中国钢铁业 发布日期:2015-01-10
在2015年辞旧迎新之际,我们谨向奋战在全国钢铁战线的广大干部职工和曾为钢铁行业发展作出贡献的老同志及家属致以新年的问候,并向关心和支持中国钢铁工业发展的国内外各界人士表示衷心的感谢!2014年是中国钢铁行业在适应新常态中积极变革进取的一年。在党的十八届三中、四中全会和一系列改革措施的引导下,全行业对经济发展的新常态提高认识和加深理解,自觉投身适应和探索之中,头脑
-
全球纤维产量——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
机械工业快速发展催生了机械自动化这一核心技术,该技术不同于传统机械加工生产,机械自动化即生产机器可于无人操作或者干预情况下结合程序指令或者规划实现机械生产或者控制等工作。概括而言就是机械工业生产已经实现自动控制,步入了新型领域,特别是引入了自动控制系统并充分使用,促使生产劳动强度得到大幅度降低与生产效率得到大幅度提升,同时也推动世界机械工业生产水平步入更高水平。
-
我国石油产业纵向一体化程度测算
来源:经济视角(上旬刊) 发布日期:2015-01-10
在石油产业中,上中下游一体化经营是极为常见且至关重要的组织形式,它能降低交易成本、克服市场失灵、实现范围经济和规模经济,但也会在一定程度上增加垄断势力,导致低效甚至寻租的出现。一言以蔽之,一体化的利弊取决于度,但程度的衡量恰恰是理论研究的难点,已有的研究方法均存在各种不足,现实中对我国石油业的一体化测算寥寥无几,给政策制定带来了诸多不便。本文以中石油、中石化作为石油产业的典型代表,综合应用三种方法
-
“产城融合”助推绥阳打造绿色食品产业重镇
来源:奋斗 发布日期:2015-01-10
作为全国闻名的"黑木耳之乡",东宁县绥阳镇黑木耳年产量占全国五分之一,年交易量占全国销量三分之二,开发的即食、糖果、冲剂等黑木耳系列产品占全国木耳新品种的近八成,形成独具特色黑木耳产业链。一、依托资源培育产业,夯实城镇化发展基础城镇化发展的基础在于培育产业。绥阳镇作为农业基础发达的乡镇,充分利用优越自然条件、先进种植技术、毗邻原料基地的独特优势,大力发展比较效益巨大的高效现代农业——黑木耳产业,打
-
欢迎点击——中国墙材信息网www.brick-tile.com
来源:砖瓦 发布日期:2015-01-10
中国墙材信息网是由《砖瓦》杂志社、全国墙材科技信息网主办的墙体屋面材料行业专业门户网站。依托中国建材西安墙体材料研究设计院,网站自1998年开通以来,为行业、企业提供了权威、量大、面广、实用、及时、有效的信息服务,赢得业内外一致好评。欢迎广大企业个人加盟中国墙材信息网。网站由信息、企业推荐、会员、互动四个版块组成。信息版块由行业动态、专题报道、行业标准、政策法规、科研技术、在线阅读、视频播放七个子
-
山工机械SEM 816推土机
来源:筑路机械与施工机械化 发布日期:2015-01-10
SEM816推土机是传承卡特彼勒推土机百余年设计及制造经验,由山工机械开发的国内首160 h P静液压驱动履带式推土机。采用自动双回路电控静液压传动系,该机可轻松实现原地转向、动力转向、无极变速等功能,作业效率比同类产品高出10%~30%,大大拓展了机器适用的工况范围。标配卡特彼勒家族最受欢迎的SU铲,容量相比同类产品高出20%以上。SU铲结合了直铲和U型铲的优点,既
-
依丽雅斯的品牌之路
来源:中外企业文化 发布日期:2015-01-10
2014年,对于常州依丽雅斯纺织品有限公司来说,可谓是双喜临门:在中国纺织工业联合会召开的2014中国纺织品牌文化推介大会上,公司被授予"中国纺织品牌文化创新奖",全国仅15家企业获此殊荣;在首届"依丽雅斯"杯国际创意设计与家居软装产业融合发展技术交流会上,多名国际软装潮流专家出席,并称赞依丽雅斯在取得市场效益的同时,完成了企业从生产型到生产服务型,再到生产服务文化创意型的华丽转身,在业内引起热议
-
中国石化胜利石油工程海外订单超6亿美元
来源:国际工程与劳务 发布日期:2015-01-10
2014年以来,中国石化胜利石油工程公司海外市场规模进一步扩大,截至目前新签合同23个,合同额累计6.07亿美元,提前完成全年计划。继2013年成功中标沙特阿美公司9台钻机后,胜利石油工程充分发挥自身优势,积极参与科威特KOC钻修井项目的招标,并成功中标2014999标段两部和2016855标段7部70D钻机。按照统一安排,胜利工程公司负责实施两个标段各两部钻机,合同额共计2.2亿美元。此后,他们
027-87841330