武汉轨道交通1号线铝合金车体焊接工艺

文章分析了全焊接铝合金鼓形车体的结构、焊接工艺,针对制造过程中的焊接缺陷提出了解决措施,并阐述了焊接标准体系的重要性.     

长安CX20的欢乐生活

“十渡山水甲天下，北方奇景小桂林”。在上海的编辑部里，很多同事都对十渡的美景慕名已久，但是每次北京之行都是工作的匆忙，然而，就在这个空气清朗的冬日里，在北京长达一周的试车专题，让我有足够的时间，满怀着憧憬与兴奋的心情，开着CX20，带上伴侣，一起踏上了神驰以往的十渡之旅。     

新能源汽车走向市场尚需时日

新能源汽车要想走下展台,真正上路,还需解决配套设施、电池技术、整车成本等诸多问题。在以"创新、跨越"为主题的2012(第12届)北京国际汽车展览会上,88辆新能源汽车高调出现在观众的面前,充分展示了全球汽车工业在节能减排和新能源汽车领域上的新突破。然而,展台上的新     

家用汽车“三包规定”施行后的维修服务应对

《家用汽车修理、更换、退货责任规定》（以下简称＂三包规定＂）于2012年12月29日由国家质量监督检验检疫总局以第150号令公布,自2013年10月1日起施行。＂三包规定＂从酝酿到公布,几经反复,几易其稿,现在终于尘埃落定。既然客观已经形成,主观必须面对,但全方位诠释该规定,不但力不能及,而且难免突出不了重点,挂一漏万。     

基于路径搜索的格值命题逻辑自动推理方法

提出一种基于路径搜索的自动推理算法．除了采取预处理外，还采用了动态的删除策略，使对大部分路径的搜索变成对一条路径搜索．可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定．文中还讨论了该算法计算的复杂性．