标准序列逻辑系统S3中命题的真度值之集在[0，1]上的分布

利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念，给出了真度推理规则，证明了全体公式的真度值之集在[0，1]上是稠密的，并给出了公式真度的表达通式，为进一步建立三值命题逻辑的近似推理理论奠定了基础．     

线性系统的定性控制方法

根据被控对象的定性数学模型，设计一种定性控制器，精确数学模型是很难得到的，然而有很多对象，可知道它的工作机理，根据这种机理，能够建立定性数学模型，如果系统是线性的，将得到一种定性控制算法。     

Counter Rotating Fans—An Aircraft Propulsion for the Future？

In the mid seventies a new propulsor for aircraft was designed and investigated - the so-called PROPFAN. With regard to the total pressure increase, it ranges between a conventional propeller and a turbofan with very high bypass ratio. This new propulsion system promised a reduction in fuel consumption of 15 to 25% compared to engines at that time. A lot of propfans (Hamilton Standard, USA) with different numbers of blades and blade shapes have been designed and tested in wind tunnels in order to find an optimum in efficiency, Fig.1. Parallel to this development GE, USA, made a design of a counter rotating unducted propfan, the so-called UDF, Fig.2. A prototype engine was manufactured and investigated on an in-flight test bed mounted at the MD82 and the B727. Since that time there has not been any further development of propfans (except AN 70 with NK 90-engine, Ukraine, which is more or less a propeller design) due to relatively low fuel prices and technical obstacles. Only technical programs in different countries are still going on in order to prepare a data base for designing counter rotating fans in terms of aeroacoustics, aerodynamics and aeroelasticities. In DLR, Germany, a lot of experimental and numerical work has been undertaken to understand the physical behaviour of the unsteady flow in a counter rotating fan.     

在线推进式自校正模糊控制器的原理及应用

介绍了一种自校正模糊控制器。该控制器在保证对系统的实时控制的基础上，采用在线式推理方式，通过引入调整因子，依据具体情况相应改变推理规则，通过模糊推理，最后将各部分结果相加，得到综合效果，还给出了该控制器焊接自动控制中的具体应用事例，通过仿真，将自校正模糊控制器与简单模糊控制器做了比较，实践表明该控制器具有较好的适应性。     

使用XML的一阶谓词逻辑归结原理

归结原理（resolution principle)是计算机自动推理的重要原理之一。将XML加入到使用归结原理的证明过程中，利用XML结构与语义自描述的特性，简化归结过程的计算机实现，并给出相应基于XML的算法。     

FM反向防突风门的试验研究

根据国内外煤与瓦斯突出的特点，结合我国普通反向防突风门的破坏情况，研制出的ＦＭ反向防突风门能有效地阻挡突出冲击波的破坏，防止瓦斯逆流，现已成功地抵挡住２１００ｔ特大型煤与瓦斯突出，避免了重大事故的发生。     

基于复合基神经网络的声目标分类识别

根据径向基函数(RBF)神经网络和前馈(BP)神经网络的特点，将BRF网络和BP网络结合起来构成复合基网络，并使用此网络进行声信号的分类识别。试验表明，该网络具有较好的综合分类识别性能，其分类能力优于RBF网络和BP网络。     

反向装药爆破法

本文在叙述了目前煤矿爆破一般装药结构后，对反向装药爆玻的机哩进行了分析研究，并就国内外的有关实践进行了综述，提出推荐反向装药的意见。     

沂河护岸的模袋混凝土应用与岸坡稳定

沂河桑庄段受水流侵蚀的岸坡经比较选择采用模袋混凝土为主的护岸,岸坡自身稳定与护岸构件的稳定同等重要,此两者又与汛期非饱和渗流或饱和渗流及水位剧降产生的反向渗流密切相关,所以应重视护岸的排水与反滤措施.