一个极小不可满足公式子集的构造

对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向.极小不可满足公式通过分裂得到的公式保持了极小不可满足性,它的子类的某些性质对于建立在分裂上的归纳证明是很有用的.找到了一个能递归构造的极小不可满足公式的子类M4X+,并证明这种递归构造方法具有可靠性和完备性,最后给出了一个构造实例.     

用积分算子定义的解析函数类

用积分算子Pλ^σf（z）刻划了星象函数，凸象函数，近于凸函数，拟凸函数的新子类，建立了包含关系。     

用积分算子刻划的多叶解析函数类

文章主要介绍了由一个积分算子刻划的p叶解析星像函数和p叶解析凸像函数类的新子类,建立了包含关系,并讨论了它们的一些性质.     

高效的决策表求核算法——子类比较法

目前,基于正区域的启发式决策表求核算法有较高的效率,但需要完全求出U/C。为此,证明了pos(R-{a})(D)≠posR(D)与同父两子类的等价关系,基于最高位基数排序思想,应用正整数有序分拆特性设计了一个决策表求核新算法。在算法中,只需对同父两子类元素的决策属性值进行比较就能判断一个属性是否必要,大大提高了求核效率。     

一个极小不可满足公式子类改名的复杂性研究

改名规则在创建有效的满足性算法和简化某些消解难例的证明中起到了重要作用,对于一些具有对称结构的难例公式,可以通过改名来降低其证明的复杂性.研究了一个极小不可满足公式子类,给出了该子类的改名算法,并证明了对该子类中改名问题可以在多项式时间内判定.     

与对称点和共轭点有关的螺旋函数子类的系数估计

本文引入与对称点和共轭点有关的螺旋函数新子类M_s(θ,A,B)和M_c(θ,A,B),讨论了这些子类的系数估计,所得结果推广了一些已知结论.     

凸函数的一类Riemann和的收敛速度

本文证明了凸函数的一类特殊的Riemann和单调收敛于积分；在凸函数的某些子类中获得了收敛速度，并证明了其速度是最佳的，即存在该子类中的函数，其收敛速度不能改进。     

Visual Basic中的子类处理技术

阐述在Visual Basic中实现子类处理的方。文中首先给出了子类处理的概念；其次介绍了在Visual Basic中如何编写窗口函数过程，以及编写窗口函数应注意的问题；最后给出了一个简单的例子－修改窗口客户区内的鼠标指针。     

基于正态层次支持向量机的多类分类研究

支持向量机用于二类问题的识别研究,但在实际应用中多类分类问题更为普遍。文章先对现有的几种多类SVM作以介绍和比较,并提出基于层次SVM结构构造正态分层SVM分类树解决多类分类问题,通过自顶向下逐层依次构造SVM分类器,将所得子类进一步平均分成两个次级子类的方法。获得分类器结构的简化和分类速度的提高。     

数学综合题思路提示

一、利用分类讨论思想分解综合问题将求解问题根据需要分成不同子类,每一子类都有利于问题解决,都容易寻求解题切入点,因此分类讨论是解决问题的有效方法。二次函数、一元二次方程和一元二次不等式之间有着密不可分的联系,解决其中某一方面的问题时,经常可以向另两方面问题     

一类近于凸函数

本文中我们引进近于凸函数类的一个子类,得到了类中函数的某些充分和必要条件。     

BCH编码设计仿真及系统分析

BCH是纠错能力可控的纠错编码,是循环码的子类.介绍了BCH码的编码原理和设计方法,在特定信道和调制方式下对经过BCH编码的系统进行仿真,分析BCH码在特定信道下的编码增益,为实际应用提供理论依据.     

双严格积γ-链对角占优矩阵的简洁判据

H-矩阵是一类有着广泛应用背景的矩阵,它包含很多子类,学者们为发现H-矩阵的子类做了大量的研究。本文在前人工作的基础上,继续研究H-矩阵的子类—双严格积γ-链对角占优矩阵,给出了三个判断H-矩阵的判定定理,并且这些定理中的条件只与矩阵的元素有关,计算起来较为方便。     

关于亚纯p叶函数的新子类

引进和研究亚纯ｐ叶函数的新子类Ｔｎ，ｐ（Ａ，Ｂ）和Ｔｎ，ｐ（Ａ，Ｂ），建立了包含关系，讨论了类中函数的积分变换等性质，对类Ｔｎ，ｐ（Ａ，Ｂ）确定了系数不等式，偏差定理，亚纯性凸性半径与卷积性质。     

具有正系数的P-叶亚纯函数的新子类

在本文中,我们利用一个由Hadamard卷积定义的线性算子来给出一类P-叶亚纯函数的新子类,进一步的讨论该子类的系数不等式,偏差定理,邻域性质,等几何函数性质.得到比文献中更为广泛的结论.     

远程教育机构领域知识类型和特点的研究

本研究针对远程教育机构知识管理活动的对象--领域知识的产生活动、类型和主要特点进行了分析.本研究根据远程教育机构中知识产生活动的具体情况,提出了其领域知识的四种类型及子类,并总结了领域知识在形态、表征、成份和存在环境上的特点,为进一步开展远程教育机构的知识管理活动和建立知识管理系统奠定了基础.     

中小学教育评估信息系统的面向对象分析

一、引言自80年代以来,在软件开发方面,面向对象（OO）方法和技术从程序设计向软件生命周期的前期阶段（系统设计和系统分析）发展,并呈现出巨大优越性,人们将其视为解决软件危机的一个很有希望的突破口,从而使面向对象技术的研究和应用成为90年代计算机技术研究和应用的一个相当活跃的领域。按照EdwardYourdon的概括,OO方法的基本要点是以下四个方面：（1）数据的抽象,即对象类与子类的概念及相互关系。（2）数据以及对它的操作的一体化,即封装的概念与方法。（3）属性与操作由父类向子类传递,即继承的概念与方法。（4）客观事…     

关于Sakaguchi函数类的子类

引进Sakaguchi函数类的两个新子类,研究了其畸变不等式,包含关系与卷积性质.     

用Ruscheweyh导数定义的多叶函数

设Ａｐ（ｐ≥１）表示单位圆盘内解析函数ｆ（ｚ）＝ｚ＾ｐ＋αｐ＋１ｚ＾ｐ－１＋…组成的类。本文通过Ｒｕｓｃｈｅｗｅｙｈ导数引进Ａｐ的某些新子类，对这些类建立包含关系并研究积分算子。     

用Ruscheweyh积分算子定义的解析函数子类的性质

利用Hadamard乘积的Ruscheweyh积分算子定义了解析函数子类B(μ,λ;h),并研究了关于此函数类的从属关系,包含关系等问题。