逻辑理论中的语词定义类型探新

句法定义和语义定义是语词定义的两种重要类型,前者的作出无须假定关于相应系统的一种解释,也无须满足某些语言外条件(如可证实性),而后者的作出必须先假定关于相应系统的一种解释,也必须满足某些语言外条件(如可证实性)。     

足球“二过一配合”定义、模式新释

我国的高校足球教材对于基础战术之一的“二过一配合”始终没有统一定义、图示和名称。经多年研究和反复思考,重新为“二过一配合”确定了定义、图示、模式和名称。     

WIN‘NT权限转移定义的安全缺陷问题

讨论了用ＷＩＮ‘ＮＴ４．０ＯＳ的权限转移定义网络用户、目录、命名工作站时，容易出现的原权限定义被转移的问题，且与ＮＯＶＥＬＬ网络ＯＳ安全性作了比较，提出了一些解决该类问题的时措施。     

递归神经网络的卡尔曼滤波及分层学习算法

将卡尔曼滤波算法引入到递归神经网络的训练当中,并针对递归神经网络、卡尔曼算法及ＢＰ算法的特点,提出了用于递归神经网络的分层学习算法,并给出了理论分析．仿真结果证明了本算法的有效性．     

BSC（2^m,2^n）密码的递归表示与双对称性证明

在已有研究成果的基础上,进一步研究了双对称密码ＢＳＣ（２＾ｍ,２＾ｎ）算法设计,给出了ＢＳＣ（２＾ｍ,２＾ｎ）算法的递归表示,并严格证明了ＢＳＣ（２＾ｍ,２＾ｎ）密码是双对称的。     

时间相关谐振子Schrdinger方程的精确解

利用孤立子理论将求解时间相关谐振子Ｓｃｈｒｏｅｄｉｎｇｅｒ方程解的问题化为通常量子力学中只对空间变量求解的振子方程和只与时间有关的Ｓｃｈｒｏｅｄｉｎｇｅｒ方程从而得到了精确解。     

对公共关系定义的辩析

本文对国内外众说纷纭的公共关系定义进行了较详细的分析和研究，在单要素定义和三要素定义的基础上，提出了四要素定义法的基本模式．这个定义可以说是一个较为完整的定义．     

清代中算家的递加数

级数论是有清以来传统数学的主流，通过对递加数的研究，可加深了解其中的情节。递加数是清代中后期级数论中的重要内容，清代中算家为此做了大量的工作。该文依据原著，递归地描述其生成模型，在此基础上对递加数进行了比较充分的讨论，表明它是产生于割圆连比例并用以确定一类无穷幂级数展开式系数的一种递归过程，从而试图反映出清代级数论所固的递归特性。     

关于二次线性迭代序列的一些恒等式（Ⅱ）

利用形式幂级数的变换技巧，得到了涉及乘法数论函数及广义Ｆｉｂｏｎａｃｃｉ数、广义Ｌｕｃａｓ数的倒数和的若干恒等式，所给出的恒等式均具有显式形式；当退化到特殊情形时，可分别得到一类有意义的无穷和式。