摘要：本文讨论了逻辑程序变换的问题,设计了一个基本逻辑程序变换系统,给出了系统的变换规则,提出了一种支持集宽度优先的变换策略,证明了交换系统的正确性,并在此基础上提出了一种逻辑程序结构化变换的方法。

摘要：越野汽车由于经常通过复杂苛刻路况,对车辆的攀爬能力及通过性要求很高。不等长双横臂独立悬架由于其较低的侧倾中心高度,且轮距变化小,轮胎偏磨少,采用到越野汽车上能提升整车的行驶稳定性和通过性,但是这对双横臂独立悬架车架纵梁安装结构提出了更高的要求。多数越野汽车采用整体式车架,车架断面均匀,后悬多为连杆结构,同时在车架两侧布置安装结构,受限于悬架安装空间和车轮跳动行程。本文主要设计一种双横臂独立悬架的安装结构,采用变截面分段式焊接车架,通过有限元分析,优化了安装结构和布置空间,使整车通过性大幅提高。

摘要：燃料电池水热管理系统是维持燃料电池发动机水热平衡的核心系统,其流量、温度、压力分布等都对燃料电池发动机的性能、功耗和可靠性有着重要的影响。基于某额定功率120kW的燃料电池发动机,从系统功能和性能最优的角度给出了架构方案设计、零部件选型匹配的理论依据,根据相关设计输入和设计目标要求,借助一维仿真软件FloMaster进行了水热管理系统的建模、仿真与结果分析,评估了系统在不同工况下流量、压力、温度和流速的分布,并通过台架试验手段进行了验证。仿真与试验结果表明,在系统额定工况和怠速工况点,水泵流量、电堆进出口温差、电堆入口温度等关键技术指标均满足系统目标需求。

摘要：干燥技术是一门广泛应用于粮食、农副产品、食品等加工行业的综合性技术,在我国正处于大力发展和进一步提高技术水平、降低能耗的阶段。本文比较全面地介绍了我国农产品干燥技术的现状,典型设备以及理论研究与电子计算机应用方面的进展情况,并对今后的发展方向提出了建议。