MPM中的等值完全析取范式

主要讨论中介逻辑命题演算系统MP^M中等值意义下的完全析取范式的存在性和唯一性，同时举例说明该范式的作用，用该范式分为真理项与矛盾项两部分，形式简洁，为规范化研究该系统中的合式公式提供了一种工具，此外，还给出了构造中介逻辑命题演算系统MP^M的联结词的归纳。     

环逆代数—一般环的等效系统

推广了广义结合ＢＥＩ－代数系统，引入环逆代数的概念，该类代数与一般环中加法的“逆”有密切关系，故称之为环逆代数。本文主要证明了环逆代数与一般环间的一一对应关系，从而说明环逆代数是一般环的等效系统。     

R0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统－－R0代数，给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系，讨论了R0代数公理系统的简化问题，得到R0代数的两个特征定理，并证明了这两个特下定理中条件的独立性，由此得到R0代数两个独立的公理系统，研究结果表明，R0代数类和弱R0代数类都构成代数簇，即等式代数类，因而这两个代数类关于子代数、同态像以及直积是封闭的。     

关于形式系统Y^＊及R0-代数的若干结果

研究了模糊逻辑的形式演绎系统Y^*及R0-代数的性质，得到形式系统Y^*的两个更简捷的等价系统，证明了R0-代数的对偶代数是有界逆序对合BCK-代数，并给出关于R0-代数的一个重要反例，说明了R0-代数中V与→是各自独立的．     

BEI—代数

主要是引进了广义结合的ＢＥＩ－代数概念。讨论了它的一些性质，进而论证ＢＥＩ－代数是一类比环更广的代数系统，阐明开展ＢＥＩ－代数与ＢＥＩ－代数研究工作的背景及理论意义。     

完备李超代数

对完备李代数进行系统研究之后,它的一些结果推广到与李代数密切相关的李超代数上,形成了完备李超代数。但完备李超代数的研究仅仅是开始,简要介绍了完备李超代数的较为系统的研究。     

Boolean代数与减法代数

根据集合代数的研究引入了减法代数的概念．证明了任一Ｂｏｏｌｅａｎ代数等价于一个具有一个二元代数运算，且仅可由四个方程式定义的减法代数系统〈Ｘ；－，０，１〉     

FP代数

讨论了一个新的代数系统ＦＰ代数，研究了它的性质，指出了它与结合ＢＩＣ—代数之间的关系     

次BL代数的推理系统

基于Esko Turnner对BL代数的系统研究，引入了次BL代数的概念，并给出了次BL代数的实例，在次BL代数中建立了一种广泛的推理系统，研究表明，R0代数、Lukasiewicz结构、Goedel结构等均可纳入次BL代数理论之中。     

τ-李代数的普遍包络代数及其PBW定理

讨论了作为李代数、李超代数、ε李代数的推广的一类广义李代数：τ-李代数以及τ-李代数L上的普遍包络代数U．为了进一步说明U的结构，定义了与U相关的分次结合代数G及L上的分次结合代数：τ-对称代数S，并通过构造τ-李代数L的一个表示φ，把关于李代数的普遍包络代数的重要结果——PBW定理，推广到τ-李代数上，得到了τ-李代数的PBW定理：分次结合代数G与S是同构的．     

MP^M中介代数的性质

讨论了MPM中介代数的一些性质,从而推导出一个引理,并且完善了<中介命题演算系统MPM的代数系统>一文中2个定理的证明,并给出具体实例加以说明.     

关于两类特殊矩阵快速算法的几点注记

本文讨论了Toeplitz矩阵、Vandermonde矩阵以及两类特殊多项式矩阵乘积的快速算法以及(分块)三角形矩阵的有关计算问题的时间界,所得结果改进和拓广了有关文献的结论。     

两平面相交可见性判断的新方法

为了研究两平面相交可见性的规律,从空间一个平面的投影特点入手,将平面分别设定为正面、背面两面,讨论平面图形各顶点投影顺序与平面正面、背面的投影所具有的内在规律。提出并论证了各种位置直线与平面相交,直线在相邻两投影面上可见性的投影规律。同时,阐述两平面相交交线的空间位置情况,从而得出两平面相交可见性判断的新方法。     

企业微博营销传播效果评估指标研究

为弥补微博营销发展迅速的当下没有与之相匹配的效果评估系统这一缺失,以微博营销传播过程中的两个节点(信息传授双方)和两个过程(信息传播过程与影响过程)为逻辑框架,提出微博营销传播效果的评估系统假设。并以信息的传授双方为分析重点,运用抽样调查法,归纳影响微博营销传播效果的二级指标及三级指标,构建完整的效果评估系统。     

两个基于的密码协议的安全性分析

分析了两个基于RSA的密码协议的安全性,一个是张韦王提出的基于RSA的多重数字签名方案,另一个是费王提出的基于RSA防欺诈的门限秘密共享体制。发现了这两个方案安全的弱点,指出了可能存在的欺骗。     

耦合倒置摆系统的稳定控制

研究了应用线性函数观测器使不稳定的耦合倒置系统得到稳定控制的问题。系统由两个小车和装在车上的两个摆组成，两个之间用弹簧连接，构成一个多输入多输出系统，文中介绍了数学模型的建立，控制方案的确定；研究了实验装置。试验结果表明控制效果良好。     

确定OWA算子权重的2个新模型

提出了2个新的模型来确定OWA算子的权重.新的模型根据最小化任意相邻权重间的差距的思想而提出,在给定和值时,通过求解非线性规划问题来确定OWA算子的权重.用一个算例与其他确定权重的模型进行对比,说明2个新模型的可行性.     

关于正定张量定义和二阶张量特征向量

该文讨论了国内外数办学著作中出现的实质上有很大差异的两个正定张量定义。其一遵循数学的传统，将对称作为正定张量的先决条件，这样定义的正定张量与正定矩阵有很好的对应性；其二则不管该张量是否对称，直接由张量对任一向量的作用来定义是否正定。说明了这两个定义所定义的正定张量性质的不同，以及由此引起的张量极分解等定理叙述的不同。该文还阐明了对二阶对称张量成立的关于特征方程的重根与重向的一些结论对非对称二阶张量不一定成立。     

基于八叉树的隐式曲面与隐式曲面求交

先将隐式曲面进行多边形化,两隐式曲面的求交,采用八叉树来搜索它们相应的两组多边形面片的交线,这一方法既避免了解析法对所给定隐式曲面要有特殊的局限性,又有克服数值法遇到初始点选取和迭代收敛性问题,算法准确可靠。     

双相机结构光系统中两相机定标与映射计算

研究双相机结构光系统中两相机图像的对应关系，基于结构光系统平面约束DLT模型，分析了两相机成像的对应关系，推导了两相机图像映射计算公式，提出了双相机结构光系统中两相机的定标算法，实验结果表明此算法可以达到较高的精度，证明了分析的正确性。