吴文俊与数学机械化

机器证明的思想可以回溯到17世纪的Descartes与Leibnize,20世纪初Hilbert更明确地提出了公理系统的机械化判定问题,但是,随后的种种努力都未能使机器证明取得本质的进展。近20年来,吴俊继承并发展了中国古代的数学思想,在定理机器证明上开创了以多项式组零点集为基本点的消元方法;吴俊的数学机械化方法已在物理规律的发现,机器人学,计算机视觉以及促进现代数学研究等重大高科技的前沿领域实现了成功的应用。数学机械化研究的兴趣,是中国当代数学发展中一个引人瞩目的具有中国传统特色的新里程碑。     

路基排水沟机械化施工的碳排放计算及方案比选

国家“双碳”目标下,路基排水沟机械化施工不仅需要考虑施工功效和经济性问题,也应考虑碳排放问题。该文以勐绿高速公路为工程依托,从建材生产、建材运输及建造3个阶段建立路基排水沟碳排放量与投资成本计算方法。引入碳交易的概念平衡碳排放量与投资成本,基于等效碳排放量实现路基排水沟传统支模法与液压动力式滑模法两种施工方案的综合比选。以路基排水沟上边长、浇筑厚度、建材运距与建造长度4个关键因素设计正交试验,比较两种方案的等效碳排放量,并分析因素的影响敏感性。研究表明：浇筑厚度与建造长度对两种施工方案的等效碳排放量影响均较大。建材生产阶段等效碳排放量对传统支模法的贡献率最大,建材生产与建造阶段等效碳排放量对液压动力式滑模法的贡献率较大。液压动力式滑模法的等效碳排放量优于传统支模法,其施工全阶段的减碳率为85.58%,且3个阶段的等效碳排放量均少于传统支模法,其中建材生产阶段与建材运输阶段的减碳率较高,分别为91.92%和85.06%,因此路基排水沟施工推荐选择液压动力式滑模法。     

贵广铁路隧道套衬施工装备研制及应用

我国高速铁路运营里程和规模位居世界首位,正向更高速度迈进。为适应新时期高速铁路运营需求,提升隧道服务品质,保障人民通行安全,针对隧道套衬全工况施工依靠人工零散操作,导致安全风险大、衬砌质量不一、经济成本高的问题,开展隧道提质改造实践意义重大。本文依托贵广铁路隧道提质改造工程,结合套衬全流程施工工序特点,研制出一种机械化、模块化且灵活度高的隧道套衬施工装备,并通过开展场内和洞内试验,验证了装备的合理性、实用性,解决了隧道套衬全工况机械化施工的难题,为今后隧道维护和运营提速奠定了装备基础。     

高速铁路扣件机械化拆除装备研究

针对高速铁路换轨施工中扣件拆除工作量大、施工人员多、效率低、安全隐患大等问题,以换轨一体化为基本思路,研发了满足高速铁路换轨需求的扣件机械化拆除装备.该装备由检测定位系统、扣件拆除系统、配件传输系统、动力走行系统等组成,采用伺服控制技术调整扣件螺母力矩,实现扣件作业单元扭矩的精准控制.扣件拆除小车单根轨枕作业时间为20...     

公路养护机械化实现过程探讨

通过对发展公路养护机械化的必要性和紧迫性、公路养护机械化水平的评价指标及养护机械的配置原则、养护运行机制改革与养护机械化关系的论述,提出了一个养护机械化的实现过程设想。     

全电脑三臂凿岩台车在隧道机械化施工中的应用探讨

全电脑三臂凿岩台车作为隧道机械化施工的重要机械设备已在隧道施工中获得广泛应用。文章以某高铁隧道机械化施工为例,从三臂凿岩台车的功能、施工工艺、施工控制重点及功效对比等方面系统阐述全电脑三臂凿岩台车施工技术,通过与传统施工技术进行对比,总结全电脑三臂凿岩台车在隧道机械化施工中所起到的重要作用及适用范围,提出全电脑三臂凿岩台车的智能化发展建议。     

船舶焊接技术的进展及对再发展的建议

船舶焊接技术是船舶工业的主要关键工艺技术之一。近年来，我国船舶焊接高效化率有了大幅度的提高，焊接新工艺、新技术、新材料得到了推广和应用。实现焊接机械化、自动化是进一步提高焊接生产效率的有效途径。对今后的发展提出了建议。     

铁路施工机械化的回顾与思考

本文基于我国铁路建设的史料，讨论了机械化施工对铁路施工技术进步所起的作用，由于机械化程度的提高，铁路建设在桥梁、隧道、路基等方面发生了巨大的变化，建设质量、建设速度、施工技术和工程设计多方面的进步都与机构化紧密相联。文章并为新的铁路建设阶段路施工机械如何进一步发展提出了适当的分析和展望。     

热烈祝贺本刊再次入选《中文核心期刊要目总览》

新年伊始，北京大学图书馆传出喜讯，《筑路机械与施工机械化》再次入选《中文核心期刊要目总览》（第五版）公路运输类核心期刊，这是《筑路机械与施工机械化》自1984年创刊以来连续第4次入选该目录。《中文核心期刊要目总览》（第五版）采用了被索量、被摘量、被引量、他引量、被摘率、影响因子、获国家奖或被国内外重要检索工具收录、基金论文比、Web下载量等9个评价指标，