广义Hanoi塔问题的求解算法和时间复杂度分析

对递归问题的典型代表Hanoi塔问题作了一些变化，就圆盘的大小、个数辅助柱的个数进行了推广，给出了这种广义Hanoi塔问题的求解算法和时间复杂度分析。该算法对研究一般递归问题具有一定的借鉴作用。     

基于压力监测的汽车起重机平衡防倾翻系统研究

为了实现汽车起重机工作过程中各支撑点的实时监测,防止起吊负载过大导致汽车起重机倾翻,研究开发了一种基于压力监测的汽车起重机平衡防倾翻系统,通过在汽车起重机与地面接触的四个支撑点处安装压力传感器,实时监测汽车起重机起吊过程中各支撑点的压力变化情况,采用无线传输模块将压力信号实时传输给无线采集终端,无线采集终端与数据分析处理系统连接,对各个压力传感器的数据进行模数转换,并计算受力差值,根据受力差值的变化实时分析载荷特征,实现超限实时预警并停止起吊,该系统为保证汽车起重机的安全稳定作业提供了一种重要技术手段。     

求解SAT问题的似人下降搜索算法

为了解决求解合取范式的可满足性（简称为ＳＡＴ）问题的坐标轮换法中所存在的函数增量的变化、优化方向的顺序、跳出局部极小陷井的策略和堵绝走回头路的措施等４个问题，引入拟人策略和伴随价值量等概念，构造出一种新的求解ＳＡＴ问题的非完整快速算法拟人下降搜索算法。新的算法对坐标轮换法中频繁使用的函数增量计算作了公式化的递推，对涉及的处理对象诸如函数增量和未满足子句作了科学的排序，对跳出局部极小陷井的策略作了拟人化的运用。实验结果表明，新算法比现有的同类算法更有效。     

三类可满足合取范式的快速生成算法

本文采用先给命题变元赋一真值赋值，然后随机生成子句，过滤出在给定的赋值下为真的子句的方法，给出了三类可满足合取范式快速生成的算法，并对生成的合取范式用已知的求解算法试解，给出了求解的时间。实验结果表明，本算法速度快，效率高，生成的合取范式性能良好。     

递归递推与算法设计

本文以Ａｃｋｅｒｍａｎｎ函数为例阐述了递归和递推在算法设计中的应用，以说明两种不同设计方法的编程效率和执行效率。文中的递传传值算法是计算Ａｃｋｅｒｍａｎｎ函数的 有效算之一。