摘要：算法设计是一项创造性工作,传统的设计与描述方法难以保证算法的正确性.在PAR方法中通过定义具有数学引用透明性的算法描述语言Radl,可实现对问题规约进行形式化推导得到用递推关系描述的算法.Radl算法的核心就是递推关系组,从而易于进行形式化推导和证明.通过深入剖析Radl算法特性,揭示Radl算法与抽象顺序程序Apla(abstract programming language)间本质关系,定义基于Radl语法产生式的Apla程序生成规则,实现了Apla程序自动生成系统,并对其可靠性进行系统研究,着重形式化验证了实现系统的核心算法.使用PAR方法开发的算法是正确的,采用形式化证明的生成系统具有可靠性保证,从而保证了算法从设计到实现的高可靠性,并通过实现自动化开发工具提高了程序的开发效率.

摘要：本文将单螺旋梁悬臂踏步板螺旋梯的荷载处理成均布线载q和均布线力矩q~T,运用矢量算法推导内力计算公式,计算方法可适用于螺旋梁布置在螺旋梯的内圈、外圈和中间。由于采用了q和q~T两种荷载,所以计算方法也可适用于板式螺旋梯、重型栏板(如砼或半砖砌栏板)板式螺旋梯和型截面螺旋梯。螺旋梯荷载主要介绍上述旋梯的q和q~T的计算公式及计算方法,并考虑了板式旋梯和型截面螺旋梯其螺旋梯板非线性面分布载这一况。

摘要：针对新一代无线通信技术应用中对低能耗、低算力的应用需求,提出一种基于循环子向量优化(CSVO)算法的低复杂度波束成形接收机设计。CSVO算法根据最小均方误差(MMSE)准则推导产生,特点是在波束成形中可以灵活地选择拟优化波束向量的维度大小,降低计算复杂度。文中基于CSVO算法,以ZC706套件和AD9361射频收发器为基础,实现了一套四天线阵元基带波束成形接收机设计方案。实验测试结果表明,实现的接收机波束成形增益接近理论值,验证了CSVO算法的可行性和有效性。实验结果进一步展示,与其他传统的几种波束成形算法相比,在达到同样性能的条件下,CSVO算法所需乘法次数更少,且收敛速度更快。

摘要：尿素工业装置中工艺优化与设备改进的核心目标之一是提高尿素合成塔的CO2转化率。结合阳煤丰喜肥业(集团)有限责任公司多套CO2汽提法尿素装置的实际运行情况,总结分析影响尿素合成塔CO2转化率的因素,采用半经验公式推导CO2转化率以利于指导工艺操作,并就尿素合成塔的设计及生产强度控制、水碳比控制、氨碳比控制、合成系统压力与温度控制、原料液氨与CO2纯度控制、开好回收及解吸水解系统等提出优化措施,以利提高尿素合成塔的CO2转化率,达到节能降耗的目的。