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

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

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

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

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

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

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

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

一种新的广义凸多目标分式规划的对偶定理

本文给出了一类新的广义凸函数-(F,α,ρ,θ)-b-凸函数,讨论了多目标分式规划(MFP)的三种对偶模型:Mond-Weir型对偶、Lagrange型对偶、Schaible型对偶,并基于(F,α,ρ,θ)-b-凸性证明了各自相应的弱、强对偶定理。     

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

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

一类（h，φ）-意义下的分式规划解的最优性条件及对偶定理

本文利用Ben-Tal广义代数运算对一类分式规划进行了讨论,在目标及约束函数为(h,φ)-η不变凸的情况下得出了分式规划解的广义最优性条件,并建立了它的Mond-Weir对偶模型,证明了对偶定理.     

对称导数的性质及定理

讨论了对称导数与导数、对称导数与连续、对称导数与可积的相关性质,利用这些性质给出了广义的微分中值定理,并由此推出泰勒公式。     

高动态金属壳谐振陀螺进动特性分析

高动态金属壳谐振陀螺的进动特性,是敏感结构实现角速率信息有效提取的关键。针对金属壳谐振陀螺的进动特性进行研究,首先分析了金属壳谐振陀螺的总体研究思路,明确其工作原理;建立敏感结构的动力学方程和进动因子表达式;利用数值分析方法,对进动因子进行分析,得出金属壳谐振陀螺进动因子经验公式;最后对其进动特性进行综合分析。     

复杂系统的Bayes可靠性评估

讨论了复杂系统的Bayes可靠性评估。首先，对各种不同分布类型的单元进行Bayes可靠性分析；其次利用最大熵方法把单元可靠性信息进行综合，得到系统可靠性的验前分布；最后根据Bayes定理，利用系统可靠性试验信息来更新系统可靠性的验前分布得到系统可靠性的验后分布，依据此验后分布对系统可靠性进行评估。仿真算例说明了评估方法的合理性。