500kV并联电抗器不拆引线预试方法探讨

介绍了500kV高压并联电抗器不拆引线预试的原理和方法，说明对高压电抗器进行不拆引线预试是可行的。     

冲裁件自动优化排样系统的开发

应用Visual Basic6．0程序语言，编制冲裁件自动优化排样系统，代替人工从众多排样方法中选择最佳方法，计算出其作业量，以指导下料操作人员的生产作业，并确保原材料的利用率为最优。     

拉伸试验用引伸计微机自动标定系统

金属材料拉伸性能试验需要采用引伸计(即电阻应变式位移传感器)来测量金属试样的变形量,以计算出各种相关的机械性能参数,测试系统对试验用引伸计有相应的精度级别要求。该标定系统主要用于对拉伸试验用引伸计的性能参数测试和标定,通过对引伸计变形信号的数据采集、数据处理、误差分析和精度等级自动判定引伸计的级别。介绍了系统的硬件构成、工作原理,重点讨论了高精度放大器的设计、引伸计的标定系数计算、引伸计最大应变示值误差及分级、引伸计数据采集程序、窗口界面及各种功能控件的设计内容。该标定系统完全符合国家标准中的试验内容要求,能够在生产实际测量中广泛应用。     

压滤板受力情况的弹性力学方法分析

板框压滤机在过滤过程中，由于各种因素，会对滤板产生侧压力。滤板受到侧压力，就会产生内应力，如果内应力大于滤板抗弯强度时，滤板就会开裂损坏，现采用弹性力学的变分法和有限差分法推导求解压滤板的受力情况，并就防止压滤板损坏，提出几点具体措施。     

力矩分配法计算超静定结构成果校核方法研究

文章对力矩分配法计算超静定结构的成果校核方法作了探讨与研究，确保最后结果弯矩的正确性。     

旋转输入型并联机器人位置逆解分析的轨迹圆法

本文分析了几种典型旋转输入型并联机器人的机构形式和特点，提出了适用于各种旋转输入型并联机器人位置逆解分析的轨迹圆法，利用该方法可方便地进行位置逆解建模与求解、逆解情况（有无解及多解性）判断等，简化了位置控制算法     

非线性系统控制的逆系统方法(I)——单变量控制理论

介绍非线性系统控制的逆系统方法及相应的单变量非线性系统的控制理论。包括:逆系统方法的基本概念和设计原理,单变量系统α阶积分逆的设计方法,连续单变量系统的控制,逆系统方法在一类分布参数系统和离散时间系统上的推广示例。     

非线性系统控制的逆系统方法（Ⅱ）：多变量控制理论

介绍基于逆系统方法的多变量非线性控制理论，包括高阶微分方程组系统的控制设计方法，多输入多输出状态方程系统的控制设计方法，可解耦性与可镇定性分析，应用与相关理论研究等内容。     

一种不对称电力系统潮流算法

本文提出一种不对称电力系统潮流算法，该处地对称分量法为基础 ，将三序潮流转换为正序潮流，然后利用正序电压计算负序电坟和零序电压。     

Heterogeneous Notations for Pure Formal Method Integration

We outline an extendible approach for combining formal methods – such as Z, Morgan's refinement calculus, and predicative programming – based on composing specifications written in similar formal languages. We discuss how algorithm refinement can be extended to such a setting, and outline some examples of using integrated formal methods. We also provide justifications for why using combinations of similar methods might be helpful. Received November 1996 / Accepted in revised form August 1998