锻压工艺标准订购信息(行业标准)

<正>全国锻压标准化技术委员会秘书处现有锻压工艺行业标准,有需要者请联系:通信地址:北京市海淀区学清路18号全国锻压标准化技术委员会邮编:100083电话:010-62920652、010-82415085传真:010-62920652 E-mail:duanya2005@126.com     

《机械管理开发》杂志征稿

<正>您是否还在为找不到刊物发表论文而犯愁?《机械管理开发》杂志为您提供专业快捷的良好服务。《机械管理开发》杂志是由山西省经济和信息化委员会主管,面向国内外公开发行的综合怍科技期刊。国际标准刊号:ISSN 1003-773X,国内统一刊号:CN14-1134/TH,双月刊邮发代号22-578。是中国知网的全文收录期刊。     

《河南化工》创刊40周年征文启事

<正>《河南化工》自1975年创刊以来,在广大读者的大力支持、各位朋友的热心关注和有关专家的指导下,在编辑部全体同仁的努力下,为促进技术进步、创新驱动发挥了很好的桥梁和纽带作用。2015年正值《河南化工》创刊40周年,拟举行创刊40周年庆祝暨化工科技论文交流活动。现就以下内容向业内人士征稿:1综述类:以"循环经济"为理念,以"绿色化工"为主线,以创新为根本,对新能源化工、生物     

《兵器材料科学与工程》采编平台

2010年编辑部已开通《兵器材料科学与工程》采编平台,网址:www.bckg.cbpt.cnki.net。作者经注册后可进行投稿(请使用Word格式上传稿件)、稿件查询。作者如果收不到稿件编号,请致电(0574-87902254)编辑部查询。     

《兵器材料科学与工程》采编平台

2010年编辑部已开通《兵器材料科学与工程》采编平台,网址:www.bckg.cbpt.cnki.net。作者经注册后可进行投稿(请使用Word格式上传稿件)、稿件查询。作者如果收不到稿件编号,请致电(0574-87902254)编辑部查询。     

一种高效的完全值编号算法

值编号是一种重要的静态分析技术,广泛应用于优化编译器和程序验证工具。实际应用中的各种值编号算法在检测等值关系上都存在各种局限性。功能更加强大的能够检测全部 Herbrand 等值关系的完全值编号算法工作效率都十分低下而无法实用。我们发现采用静态单赋值形式能够大幅提高完全值编号算法的性能。本文基于 Herbrand 等值关系给出了静态单赋值形式的程序中值编号的一般定义,建立了值编号和 Herbrand 等值关系的对应关系。基于该定义,判断两个表达式之间的 Herbrand 等值关系等价于判断该两个表达式的值编号是否相同。之后给出了用于计算这种值编号的新的完全值编号算法。我们在 GCC 中实现了该算法并利用别名信息使其能够检测访存语句间的等值关系。基于新算法的部分冗余优化比 GCC 中原有算法消除了更多的动态冗余计算。     

中国电动汽车直流充电接13方案正式写入IEC国际标准

2014年6月19日,国际电工委员会（IEC）正式发布电动汽车传导充电直流或交直流接口标准,标准编号及名称为IEC62196-3《插头、插座、车辆耦合器和车辆接口——电动汽车传导充电一第3部分：直流或交直流插针和插套附件的尺寸兼容和互换性要求》,其中并列包含了中国、日本、美国、欧洲四大方案。中国方案是独立的直流接口,对应的国家标准编号及名称为GB／T20234．3-2011《电动汽车传导充电用连接装置第3部分：直流充电接口》。     

金属加工~(热加工) 原名《机械工人》读者服务卡

正尊敬的读者为了更有针对性地为您提供信息服务,请把您感兴趣的产品、广告划"√",并传真给我们,在此非常希望得到您的配合。填写此卡,可获赠三期杂志。     

产品采购回执

正填写产品采购回执,您将更快地得到厂家的相关资料。《机械工人》读者俱乐部会员只需填写会员代号、姓名及您需要采购产品的查询编号即可。如果您还没有成为会员,请您填写会员注册登记及资料查询卡加盟《机械工人》读者俱乐部。(在本刊的版权页位置)     

产品采购指南

正为了方便读者的产品查询,本刊特将产品供应商按产品分类列出,请将您预购买或感兴趣的产品企业的广告编号填入回执中,我们将在第一时间告知厂家与您联系。(厂商排序不分先后)产品采购指南方便又快捷!