一个组合数学问题

讨论展开式（η＿１＋ｂη＿０）（η＿２＋ｂη＿０＋ｂη＿０）…（η＿ｎ＋ｂη＿（ｎ－１）…＋ｂ￣ｎη＿０）．引入个迅速求得Ａｆ（ｎ）的计算规则，以及系数的计算公式，这公式是牛顿二项式展开系数公式的推广。     

大型喷浆机器人的灵巧度分析

灵巧度是衡量机器人运动失真程度的重要参数。对机器人灵巧度评价指标进行了对比研究 ,结合大型喷浆机器人自由度较多的特点 ,用雅可比矩阵的条件数对喷浆机器人的灵巧度进行了分析。结果表明 ,大型喷浆机器人在不同形位下的条件数都很小 ,具有较好的运动灵巧度。     

非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。     

次线性算子与幂权的Soria－Weiss定理的拓广

将次线性算子关于测度｜Ｘ｜－ａｄｘ的（ｐ，ｐ）型的Ｓｏｒｉａ－Ｗｅｉｓｓ定理拓广到非光滑核算子的情形中去，而且关于ａ的范围是准确的。     

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．     

提高PLC教学效果之方法的探求

《可编程控制器》作为一门课程正逐渐被各大学所采纳,本文结合作者多年的教学经验总结了几种常用的教学方法,并加以分析比较。     

BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

层析成像的模糊-神经网络重建方法

考虑投影数据不足时，射线层析成像的离散重建算法难以取得较好效果的情况，利用模糊理论建立了表示物体衰减系数的连续函数，用神经网络学习算法确定该连续函数中的待定参数．提出了一种适于投影数据或投影方向不够时的CT图像重建算法．计算机仿真结果显示了该方法在投影数据严重缺少时的良好效果。     

从形式语义学的角度看汉语时态算子对正极项的允准

极性敏感现象是语言的一种共性。本文通过对汉语中的时态副词的研究,证明了时态副词也是一种正极项,并验证了Ginnakidou所提出的真实性算子对极性敏感项的允准的假说同样适用于解释汉语中的正极项的分布。     

板几何中一类具非对称散射裂变核的迁移算子的谱

研究了板几何中一类具非对称散射裂变核的迁移算子的谱，证明了该算子在右半平面无复本征值和存在有限个具有限代数重数的实离散本征值。