命题逻辑等值演算的计算机求解方法

探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作，进而实现其它复杂的等值演算。     

全能耦合稳定联接格式在非固定距离区间的稳定性

讨论非固定距离区间中应用不同格式，虽分别稳定，但总体不稳定时，可在其误差最大的格式前面，插入全能稳定联接格式，对于稳定性有改进，且可使其变为稳定．     

电阻Y形联接与Δ联接的等效变换

根据电路的特性，利用等效电路变换，推导出Y形电阻与Δ形电阻之间的变换公式，从此公式中可发现一个非常有用的规律，即：R1：R2：R3=（1/R23）：（1/R31）：（1/R12）。     

概述高层住宅的安全设计

建筑的高层化和智能化已成为城市发展的一种趋势,高层住宅采取规范、完整的 安全技术措施才能保障城市居民的安全,减少不必要的损失。     

含螺栓联接的转子系统轴向刚度不确定性分析

转子系统中螺栓联接结构轴向联接刚度的不确定性对转子系统动力学特性具有重要影响,为此,在构建螺栓联接结构有限单元基础上,建立了转子系统整体有限元模型,采用非嵌入多项式混沌展开法分析轴向联接刚度不确定性对转子系统动力学特性的影响.结果表明:轴向联接刚度在一定范围内变化会导致临界转速及临界转速对应的稳态响应幅值偏离预期,随着轴向刚度不确定性的标准差增大,盘竖直方向稳态响应均值降低.研究结果可为螺栓联接转子的设计提供理论参考.     

柔性联结配重系统同步升降控制研究

钢丝绳联接的配重升降时,其同步控制对速度、响应、精度和平稳性等指标要求很高,且宽负载工况下,定参数PID难以满足控制要求.本文首先设计了变基准主从策略作为底层策略,实现系统设计的最大升降速度和精度.其次提出一种变参数PID自适应控制方法.该方法将参数Kp、Ki、Kd,按照整定规则作为代价项引入偏差目标函数,用于元启发算法适应度计算.对于搜索到的参数组(Kp、Ki、Kd),当代价项较小时,目标值较小,适应度较大.因此,算法能自适应整定参数以获得最小偏差值.分别采用遗传和粒子群算法进行实时参数整定、偏差优化和同步追随,并与定参数PID进行同步效果比较.仿真结果显示:变参数PID自适应控制方法适应宽负载工况,其精度、响应以及稳定性指标全面优于定参数PID.基于变基准策略的PID参数自适应控制方法能够实现大惯性系统的快速、稳定同步升降.     

用广义阶梯函数求解铰联接的变刚度梁变形问题

应用广义阶梯函数求解具有铰联接的非均匀变刚度梁变形问题，给出其变形方程的一般形式，通过文中算例看出解法简单，规律性较强，便于实际应用。．     

φ3.5m×13m型水泥磨电控系统设计

介绍了φ3.5m×13m型水泥磨电控系统的构成和设计要点.该系统以可编程控制器和单片机为控制核心,实现了对主电机、辅助电机及主电机润滑站、主减速机润滑站、主轴承端润滑站的自动控制,并能对主轴承温度进行实时显示和超限控制.系统采用了高压开关柜加液体电阻起动柜的方式,保证了高压主电机的带载启动和安全运行.磨机采用三级操作方式,并加入静止式进相器,实现了与总厂集散型控制系统的联接及功率因数的提高,构成了水泥磨的升级换代产品.     

非线性函数逼近的神经网络方法

针对工程实际中一类典型的非线性函数逼近问题，本阐述了单层函数型网络及双层网络在应用时各自的特点，并提出了对网络输入节点进行优化选择，可提高网络的逼近精度，简化网络结构。中给出具选择方法，计算机模拟结果验证了该方法的有效性。     

一种利用二叉树来实现逻辑表达式自动推导的算法

探讨了如何利用二叉树来设计逻辑表达式在计算机上的逻辑结构和存储结构,以及在这种结构上如何实现逻辑表达式的基本运算,进而实现其他复杂的表达式自动推导.