基于包络分析的空测数据压缩传输

针对目前遥测设备的通讯能力有限,不能满足地面实时观测的实际问题,本文提出将包络分析应用于飞机飞行试验数据的压缩传输,该方法为空测数据的实时传输提供了一条有效的解决途径.首先通过对空测数据的极值提取、插值及拟合处理获取其包络线,然后求取包络的频谱,再根据采样定理确定其重新采样频率,即可在保证试验数据基本特征和变化规律的前提下,实现数据传输量的减少.通过对一组实际空测振动数据的处理分析,验证了该方法的有效性.     

成对比较矩阵的一种逼近

本文证明了成对比较矩阵在相容性矩阵集合中的最佳逼近的存在性和不唯一性。再通过微分同胚,把原来的非线性逼近转化成一个线性逼近,用投影定理予以解决。并用一个例子说明该方法的简易可行。     

边界弹性支撑板固有振动分析的一种解析方法

板的挠曲面微分方程与振型函数方程在数学上具有相同的形式，在力学上又具有相同的意义。这种可比拟性使得利用贝蒂功互等定理对板的固有振动进行研究成为可能。该文给出了求解矩形板的通用基本解，并对对边简支矩形板分别具有均匀的一般弹性边界支撑和弹性嵌固支撑时的固有振动进行了讨论，得到了解析形式的频率方程。     

关于信道带宽与信号功率的互换问题——与俞宝传教授商榷

该文就本刊1987年第5期上刊登的“扩谱通信原理”一文中所指出的“纠正了‘以带宽交换功率’一类模糊的提法”,提出一些意见,与原作者商榷。实际上这是一个如何正确理解山农定理内函的问题。山农定理是通信理论中的一个核心定理。如何理解这一定理是应该讨论清楚的。     

采样定理公式的δ－ILPF推导方法得不出正确公式

在许多文献中采用的推导采样定理公式的方法──用δ函数对连续时间信号采样，再用理想低通滤波器（ＩＬＰＦ）进行内插以恢复原连续时间信号的方法（简记为δ－ＩＬＰＦ方法，或简称为Ｗｏｏｄｗａｒｄ方法），实际上推导不出正确的采样定理公式。本文证明了这个结论，并指出了文献中采用这种方法进行推导时的错误。     

一种自整定模糊PID型控制器

本文提出一种简单的模糊PID型控制器,分析了其结构组成,介绍了基于自整定量化因子的参数整定方法,并利用小增益定理对BIBO系统的稳定性进行了研究.仿真结果表明这种控制系统的性能优于线性PID控制器.     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

关于Caristi不动点定理的一点注记

本文利用半序方法给出了一个新的Caristi型不动点定理，与原有结果不同的是：在我们的定理中，不动点可以用迭代方法求出。     

微分中值定理与Newton-Leibniz公式的关系及证明

用Newton-Leibniz公式证明了广义微分中值定理，并且证明了所有的微分中值定理与Newton-Leibniz公式在一定条件下可以相互证明。