2~N—m计数器

计数器电路的分析讨论相当费时和麻烦。本文提出了一个分析此一问题的一般方法,总结且证明了同步2~N—m 进计数器定理。在此基础上构成了一系列各类计数器,使分析讨论简单明了。     

定积分中值定理的应用及推广

本文给出了曲线积分的中值公式，为解决有关问题提供新途径．     

论无穷级整函数的增长与Taylor系数关系

本文对无穷级整函数引入超级与超型的概念,同时研究它们与Taylor展式的系数之间的关系.     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

关于Herstein定理的逆问题研究

设R是一个环,如果存在n>1使f:x→xn为R的一个环同态,则映射f:R→R称为一个幂自同态。本文将完全刻划出无零因子环的所有幂自同态。     

导数在研究函数上的应用

列举了利用导数在研究函数性态等方面的应用例子.     

新的模糊似然函数

模糊似然函数是刻画两个模糊集之间相似程度的重要工具，众多学者给出了多种形式的计算方法，但由于实际问题的复杂性，有些方法在某些情况下会产生违反直觉的结论．首先就闫德勤在2001年建议的方法进行讨论，然后证明了一个引理，提出一种新的模糊似然函数，其本质是由模糊集合间l^p距离导出的贴近度．与相关公式比较，发现它们能导出相同的模糊熵，最后给出一个它在模式识别中的应用实例．     

也谈分段函数的初等性

主要讨论一类能表示成最大值函数、最小值函数的分段函数的初等性。证明了只要能表示成最大值函数或最小值函数的分段函数一定是初等函数。     

内隐知识的编码

知识的编码是一个渐进的过程，内隐知识和编码知识只是知识在不同编码程度时的表述，其中内隐知识高度依赖行为主体，而编码知识具有可共享性，能够脱离其生产者而存在和传播。内隐知识是伴随性的，它依赖于背景知识和知识生产者的洞察力、直觉、思维模式、信仰、经验等因素。内隐知识主要有四种编码方式：数字化、程序化、定义分类和隐性传播。