模态算子与全称量词－－蒙太古构造的一个模态逻辑公理系统

本介绍和评估了美国逻辑学家蒙太古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、伦理必须和全称量词。蒙太古最早作出这种在一综合框架下处理模态算子与全称量词的系统。对模态算子与量词的混用所造成的困难提供了一个解决方法。在蒙太古的模态语言S中，模态算子与量词的联合使用并不会造成美国逻辑学家蒯因所指出的那种困难。     

三角Stein方程的systolic算法

提出一种新的ｓｙｓｔｏｌｉｃ实现方法计算三角Ｓｔｅｉｎ方程．可将原复杂性为Ｏ（ｍ２ｎ２）的串行算法在处理器为Ｏ（ｍ２）的ｓｙｓｔｏｌｉｃ阵列上并行计算，时间复杂性降为Ｏ（ｍｎ），而处理器具有很高的利用率．利用文中给出的方法，可以并行求解一大类最优控制中有关矩阵运算的问题，如Ｌｙａｐｕｎｏｖ方程、Ｓｙｌｖｅｓｔｅｒ方程等     

非线性系统多模型滑动模控制及其在三轴转台中的应用

文章研究了多输入多输出（ＭＩＭＯ）非线性系统的线性多模型控制问题，首先给出了ＭＩＭＯ非线性系统多模型线性化的表示，提出了一种根据期望的参考轨迹确定平衡点的位置和数量的方法；其次，通过对平稳点和模型切点的合理选择，使得在全局范围内对非线性系统有较好的近似性，线性过程与非线性过程之间存在的残差通过连续滑动模控制（ＣＳＭＣ）进行了消除，且避免了一般滑动模控制引起的抖动现象，最后，研究了以上方法在三轴台控     

拟序群上的Toephiz C~* -代数的忠实表示的刻划

设G为一离散群，（G，P）为一个拟序群．记T（G，P）为相应的ToeplitzC-代数．给出了T（G，P）的一个表示为忠实的充要条件．     

移动滑态变结构控制器设计

给出了移动滑态变结构控制器的设计方法。多变量不确定性变结构控制系统，其能达阶段对控制系统参数摄动较为敏感。为此，设计了移动滑态变结构控制器，使得控制系统在一开始就进入到所设计的滑动模态中并将其保持，从而降低了系统的能达时间，提高了系统抗参数摄动的能力。数字仿真表明，该方案有效地克服了系统参数摄动对控制系统的影响，验证了本文理论的正确性。     

滑动轴承无摩擦接触参数的边界元分析

应用边界单元法（ＢＥＭ），对平面应变情况下滑动轴承无摩擦接触时的接触参数进行了分析计算，并与常规Ｈｅｒｔｚ公式计算结果进行了对比。结果表明，用边界单元法可以提高接触参数的计算精度，并妥善解决了Ｈｅｒｔｚ公式计算值偏低的问题。另外在分析了轴承系统尺寸、材料参数及载荷变化因素而进行相应计算的基础上，给出了滑动轴承接触参数计算的经验公式。     

子结构广义模态综合法在自行火炮动力学分析中的应用

提出一种子结构广义模态综合法运用于自行火炮动力学分析。将自行火炮的车体、炮塔、摇架、炮身后部视为刚体，它们之间为弹性连接；将炮身前部视为弹性体。刚体与弹性体的连接通过界面力和位移协调实现，这样得到一组由广义模态坐标表示的阶数不高的动力学方程，通过数值积分可得其数值解。运用该方法可方便地分析影响火炮射击精度的诸多因素。     

一类受扰线性离散时间系统调节器的设计问题

本文将受线性连续时间系统调节器的设计方法推广到了一类较为广泛的离散时间系统上来，得到了实现闭环静态无差的充分必要条件，纯增益反馈控制器，保证了闭环系统渐近稳定，并可达到输出调节的控制目的。     

用几何最小二乘法改进 ITD 法的阻尼识别精度

ＩＴＤ（ＩｂｒａｈｉｍＴｉｍｅＤｏｍａｉｎ）模态识别方法可不用输入系统的信息就识别系统的模态参数，但识别的模态参数常常很不精确，且阻尼比的识别精度很差。当激励信号不是独立白噪声信号时，不应该采用ＩＴＤ法进行模态识别。推导了ＩＴＤ法识别的模态频率和阻尼比的相对误差公式，由此分析了造成阻尼比识别结果很差的原因，并且引入了Ｉ－ｂｒａｈｉｍ提出的双最小二乘算法（ＤＬＳ），在此基础上，提出了几何最小二乘法（ＧＬＳ）。通过理论推导和算例验证得到：一般情况下，ＧＬＳ和ＤＬＳ算法均可提高阻尼比的识别精度，且前者的识别结果优于后者。     

混杂系统方法及其在过程控制中的应用

借鉴混杂系统思想，提出一种方法用以设计含离散性质的过程控制系统。在总结混杂系统概念及其应用背景的基础上，分别利用自动机和Ｐｅｔｒｉ网两类工具建立常用的混杂系统框架结构，讨论了控制算法；为应用该方法解决这类过程控制系统的设计问题，总结了混杂系统方法原理，并结合两个实例给出应用说明。应用设计表明，该方法与常规控制相比，有机地集成了离散事件控制，丰富了过程控制策略。