关于BCK—代数的若干注记

给出ＢＣＫ－链的一般构造方法及ＢＣＫ－树的概念，并讨论其简单性质     

一路都是风景——论《围城》的耐读性

《围城》耐读。耐读性主要来自：淡化了强编码的事件性结构，作品的局部、细节、人物形象、艺术技巧都作为有审美意义的对象凸现出来；深化了故事的感觉和意蕴，读者的审美注意被引向辽远的、让人深思和留连的世界；存在大量的空白和象征，留给读者无限的再创造的余地。如漫步山阴道上，一路都是风景。     

一类拟线性椭圆型方程解的最大值原理

文章主要讨论了一类拟线性椭圆型方程解的最大值原理及其三种比较典型的边值问题，得到了解的泛函的最大值原理。Ｐ．Ｗ．Ｓｃｈａｅｆｅｒ和Ｒ．Ｐ．Ｓｐｅｒｂ）曾研究过该问题，但他们对原方程的要求比较严。本文构造了一种新的泛函，这样就对原方程的要求减弱了。从而推广了Ｐ．Ｗ．Ｓｃｈａｅｆｅｒ和Ｒ．Ｐ．Ｓｐｅｒｂ的相应结果     

关于弱θ↑——加细性的可数开和定理

本文证明了弱θ↑－－加细性关于点有限可数开和保持，关于α－弱θ↑－加细边界可数开和保持，并给出反例说明弱θ↑－－加细性关于可数开和不保持。     

GroupoidC^＊—代数中的三角子代数的表示

研究了ｇｒｏｕｐｏｉｄＣ＾＊－代数中三角子代数的表示，这些表示是ｇｒｏｕｐｏｉｄＣ＾＊－代数的＊表示的约束，且把ｇｒｏｕｐｏｉｄＣ＾＊－代数中的Ｃａｒｔａｎ子代数映成Ｂ（Ｈ）中的一个ｍａｓａ中的弱稠子集。     

一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．     

一类代数上的逻辑淡（Ⅰ）

引入了一种代数，称为模糊公式代数，在这种代数上建立了一个准形式演绎系统，证明了相应的可行性定理与相容性定理，提出了程度化的Ｍｏｄｕｓ Ｐｏｎｅｎｓ规则和Ｈｙｐｏｔｈｅｔｉｃａｌ Ｓｙｌｌｏｇｉｓｍ规则。     

基于变步长随机共振的弱信号检测技术

针对绝热近似小参数随机共振难以满足工程实践中大参数下的弱信号检测，以及单一频率的共振分析在实际应用中的局限性问题，提出了一种变步长随机共振数值算法．该方法通过调整计算步长，使随机共振理论同时适用于犬、小参数条件下的弱信号特征提取．计算机仿真结果表明，对变步长随机共振后的信号作幅值谱和小波分析，均能准确得到低信噪比信号中的多个有用成分，充分证明该算法在大参数条件下可对弱信号中的多个特征频率产生共振输出．同时，变步长随机共振也可以有效抑制信号小波分解中由强噪声引起的边频干扰，提高小波分析在低信噪比信号检测中的可靠性．     

简单迹极限的基本可比性

引进了简单迹极限的相关概念，简单介绍了与C^＊代数SP性质密切相关的F性质，并且得到了非基本的单的具有SP性质的C^＊代数具有F性质．在此基础上得出简单迹极限的基本可比性．其主要结果：设A为具有F性质的带单位元1的C^＊代数，且A的迹态空间T（A）为非空集，如果对每个自然数n，An具有基本可比性，则An的简单迹极限A也具有基本可比性。     

一类恒等逼近

针对文献[1]在R上引进的一类恒等逼近，研究了它在R上对应物的性质，并且对一类重要的特例（本文称为p型恒等逼近）进行了分析．