成对比较矩阵的一种逼近

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

复合材料层板结构在冲击载荷作用下非线性动力分析

 <正> 复合材料结构非线性动力分析具有一定难度,本文在这方面作了些探索,以期为复合材料结构在冲击载荷作用下非线性动力分析提供一种途径。本文方法所编制的计算程序计算两个算例。第二个算例,是某飞机水平尾翼在特殊飞行中,承受瞬态冲击分布外压载荷,其作用时间只有几毫秒。用此法计算得到的响应与试验结果比较吻合。     

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

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

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

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

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

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

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

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

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

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

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

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

美国起源号探测器完成大部分科学任务

2001年8月8日美国起源号探测器发射升空,主要目的是搜集太阳风粒子,用于研究有关太阳系的起源和演化等方面的问题,总投资约2.6亿美元。探测器在2001年12月3日-2004年4月1日(共850天)进行采样,采集了约10～20μg太阳风粒子。2004年4月1日,探测器完成采样任务后开始返航。2004年9月8日,在探测器返回舱返回地球大气层时,由于重力开关装置的电池故障,返回舱降落伞没能按原计划打开,返回舱以320km/h的速度坠落在犹他州的沙漠上,而且变形损坏,一半撞入地面并裂开,搜集到的太阳风粒子受到污染。虽然大量样品受到污染,但经过努力,美国航空航天局科学家恢复了大量样品,在对搜集到的样品进行检查后认为,太阳风粒子样品基本保存完好。2008年3月,美国航空航天局宣布起源号任务成功完成了大部分既定科学目标。