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

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

建模与信真中复杂假设的贝叶斯检验

提出了利用贝叶斯（Bayes）理论对建模与信真（M & S）中的复杂假调进行检验的方法,推导了检验规则及实现算法.该研究对于大型复杂信真系统的置信度评估和提高仿真结果的正确性及减少仿真工作量具有一定的参考价值.     

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

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

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

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

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

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

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

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

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

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

可靠性工程中的经验Bayes方法（Ⅰ）

简要介绍了可靠性工程广泛采用的经验的Ｂａｙｅｓ方法，对这一方法的优缺点及其适用范围进行了系统的分析，对当前研究工作中存在的一些问题进行了评论。     

基于贝叶斯网络和共因失效的飞机电源系统可靠性分析

飞机电源系统中的冗余设计提升了飞机系统的可靠性，但同时也增加了共因失效发生的概率。为了准确分析飞机电源系统的可靠性，首先，采取α因子模型对共因失效部件的失效率进行分解计算，并利用贝叶斯网络（BN）建立考虑共因失效的飞机电源系统可靠性模型。然后，对比分析考虑与不考虑冗余部件之间的共因失效因素时飞机电源系统及其子系统的可靠性。结果表明，考虑冗余部件之间的共因失效因素时，得到的飞机电源系统及其子系统可靠度相对于不考虑冗余部件之间的共因失效因素时较低，更加吻合实际情况。