从图像处理的观点出发来看光学遥感器的成像质量

图像处理作为成像链路重要的一部分，充分利用地面去噪声和解卷积的作用，可以一定程度上提高成像质量。文章从不考虑、被动考虑以及主动考虑图像处理3个方面来对光学遥感器的成像质量进行了一些探讨。     

密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.     

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

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

成对比较矩阵的一种逼近

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

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

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

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

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

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

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

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

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