摘要：计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平方数问题、几何级数求和问题和多项式求值这3个经典数学问题,使用支持算法程序形式化的PAR方法和PAR平台,从待求解问题的精确功能描述出发,使用PAR方法和PAR平台的推理和变换规则,经过一系列等价变换,最后得到正确的算法程序。这一系列形式化推演的过程揭示了这3个经典数学问题的奥妙,事实说明PAR方法和PAR平台在算法程序设计过程中可以发挥更大的作用。

摘要：针对杭黄高铁高墩大跨下涯溪特大桥0#段混凝土浇筑底模支撑问题,通过预埋钢板焊接三角托架方式进行支撑,为了确保三角托架支撑结构体系的安全可靠,采用通用有限元分析程序MIDAS/CIVIL建模力学分析模型,对三角托架上桁水平拉杆、斜撑的强度、刚度以及焊缝强度进行检算,同时对三角托架斜撑稳定性进行检算,计算结果表明三角托架结构设计合理,受力满足要求。

摘要：为了使杭黄高铁32m现浇箱梁卸架钢楔块受力安全可靠,设计承载能力为200k N的钢楔块,通过详细分析计算钢楔块上下底板、钢楔块腹板、钢楔块拉杆套筒、钢楔块拉杆四个主要受力构件,确保钢楔块各项力学指标达标。

摘要：针对陕北黄土高原高速公路隧道施工中,出现的围岩突变,导致初期支护出现的大变形情况,通过对比设计资料和现场踏勘等方式,全面分析了变形产生的原因,及时有效地进行应急处置。多次组织专家论证,通过反压回填保证压力平衡,及时搭设临时加强支撑确保已变形段初期支护结构变形稳定,在换拱前对变形段初支外破碎围岩进行注浆加固,并按处理方案要求密打超前小导管等一系列安全保证措施实施的前提下,实施换拱作业,过程中严格按要求进行监控量测,最终安全高效的完成了隧道初期支护变形段的处理。

摘要：新中国成立以来，枣庄市在文物普查中，征集到铜镜百余面。这些铜镜的时代上自战国，下至明清，其中一些具有较高的历史和艺术价值，现将部分有明显时代特征的战国和汉代铜镜介绍如下。

摘要：根据大口径缠绕机的工作特点,设计了一种滑动装置,可以实现模具芯轴的直径变化。其中滑块是重要的移动元件,对保证芯模的尺寸精度起到关键作用。本文应用ANSYS软件对滑块进行了静力学分析和热力学分析,得到等效应力云图和位移云图。结果表明,设计的滑块符合设计要求,为大口径缠绕机的研究和发展提供借鉴。

摘要：盘磨机是目前广泛使用的磨浆和打浆设备,磨盘(或磨片)是盘磨机的核心部件,虽然盘磨机磨浆(或打浆)技术已经比较成熟,但仍存在着功耗大、磨片使用寿命较短等问题。盘磨机的功耗、打浆质量、磨片使用寿命等均与磨片设计有密切关系。本文从盘磨机的功率消耗的计算、磨浆或打浆机理研究、磨片齿形设计理论和方法、磨片的材料选择与使用寿命四个方面介绍了盘磨机磨片设计理论与方法的研究进展与应用现状,并且进行了分析与展望。本文的工作对于盘磨机设计、研究、应用和性能改善等具有重要的意义。

摘要：笔者结合个人的教学、科研工作实际,讨论了当前计算机组成原理实践教学的现状和所面临的问题,通过引入先进的EDA仿真技术,恰如其分地解决了当前计算机组成原理实践教学所面临的问题,对计算机组成原理实践教学模式的探索改革具有意义。该文基于EDA仿真技术进行了计算机组成部件的设计、逻辑功能验证和仿真实验,为提高计算机组成原理实践教学效果提供了新的参考。

摘要：本文通过大型有限元软件MIDAS/civil建立青海某大跨索道桥的空间模型,通过与实测的试验数据对比,结果基本一致,并且此索道桥的设计数据以及计算结果为以后的索道桥建设方面提供了重要的数据参考。

摘要：在高速公路养护维修工程中,MS-3和MS-4型微表处处治技术是解决道路车辙病害时采用较多的方法,本文以甘肃河西地区高速公路为工程背景,结合该地区的特点,通过对MS-3与MS-4型微表处进行相关的性能试验研究,验证了MS-4型微表处在处治大于25mm重度车辙时的优越性,其使用性能较好,长期使用效果明显。本文所采用的分析方法和结论对高速公路养护维修的设计与施工具有一定的借鉴意义。