多值逻辑函数的分类

本文对多值逻辑函数的分类进行了研究，对保绝对矢量谱的七类基本运算，首镒给出了多值逻辑函数的分类定理，具体计称出了２值ｎ变量，３值３变量等逻辑系 分类数。此外，较简捷地证明了Ｐｏｌｙａ定理。     

一类不可微函数的光滑逼近法

研究了一类不可微函数的1种光滑逼近法.采用推理的方法证明当控制参数趋于无穷大时,熵函数在整个空间上一致逼近原函数.此结果对于不可微函数的光滑化研究具有重要的理论意义.     

联合概率约束问题的一个光滑函数法

许多有重要价值的实际问题均属于联合概率约束优化问题（JCCP）,该类问题通常是非凸的并且非光滑,有效求解方法多集中于凸近似方法,往往局限于具有单个概率约束的问题．本文基于两个凸函数之差（即D．C．函数）为约束的近似优化问题,提出了约束函数的光滑近似函数以及相应的光滑近似问题．通过收敛性分析,证明了当参数充分小时,光滑化的近似问题的最优值和最优解集分别收敛到（JCCP）的最优值和最优解集．     

多值逻辑函数的分类与谱分析

该文对多值逻辑函数的分类与谱分析进行了研究，指出了保7类基本运算未必是保谱变换，因此，必须寻找新的其它运称．还提出了新运算应满足的重要的必要条件．     

光滑拼接2个二次曲面的算法

用代数几何方法讨论２个二次代数曲面的拼接问题,得到二次ＧＣ＾０和三次ＧＣ＾１拼接曲面的存在条件及相应拼接曲面的表达式。     

光滑Cramér-von Mises统计量的分布函数的收敛速度

用光滑的经验分布函数估计总体分布函数从而得到光滑的Ｃｒａｍéｒ－ｖｏｎＭｉｓｅｓ统计量，本文考虑了这种统计量收敛于极限分布的速度。     

复函数芽截断与实函数芽截断的相对S—C^0-充分性的区别

随着奇点理论的发展和实际问题的需要，相对性问题的研究显得越来越重要,相对映射特殊于一般映射，在合理寻找相对集合S的情况下，一般映射所不能满足的条件相对映射却可以满足,本文给出相对复解析函数芽；相对S—C^0-充分；C^0-充分与V-充分的定义，并指出复函数芽截断的相对S-C^0-充分性与实函数芽截断的相对S—C^0-充分性的区别．     

广义超解析函数在可数条光滑闭曲线上的Riemann问题

研究了广义超解析函数在可数条光滑闭曲线集L=sum from l=f to ∞(L_l)上的Riemann边值问题,其中L_l(l=1,2.……)凝聚于有限点z_0。根据Whitney延拓定理,利用超复积分算子,建立了问题的标准函数,从而得到了边值问题一般解的表示式、向题可解的充分必要条件以及线性无关解的个数与指标间的关系。     

基于一个新NCP函数的P0-NCP的光滑非精确牛顿算法

给出了一个新NCP函数.在此函数的基础上,提出了一个求解P0-NCP的光滑非精确牛顿算法.并在适当的条件下,证明了该算法具有全局收敛性.数值试验表明算法对中大规模问题具有好的效果.     

函数芽的相对通有形变与横截性及相对有限决定性

本文给出了相对函数芽的相对通用形变与横截性之间的关系,并给出了它与相对有限决定性之间的一个关系.     

2个独立随机变量函数的分布

获得了2个独立随机变量函数的分布的一般结果.运用此结果,给出了2个独立随机变量和、积和商的分布.     

基于核Bayes分类函数的KPCA与KFDA算法稳定性

为了得到核Bayes函数作为分类器的核主元分析(KPCA)与核Fisher判据分析(KFDA)的算法模式稳定性,利用Rademacher复杂度的概念及相关定理,推导出了核Bayes函数Rademacher复杂度的界以及其作为分类器的算法发生错误分类的概率的界,说明了模式稳定性与样本长度、降维矩阵的维数等关系,提出了两种衡量模式稳定性的直观指标,误分差和百分比和误分均值偏离度.仿真结果不仅验证了几个定理,也表明所提出的衡量指标是有效的、可行的.     

具不同阶导数的中值问题的辅助函数构造方法分类

针对中值问题中中值表达式含有函数不同阶导数的情形,基于函数求导的四则运算法则,对辅助函数的类型进行了分类与总结,并以实例做了具体的说明.     

Orlicz空间的光滑点

本文给出Orlicz空间关于Orlicz范数光滑点(即范数G可微点)的判别方法,并由此直接导出空间光滑的充分必要条件(关于Luxemburg范数的上述问题,作者将另文讨论)。     

2ψ2的一个变换公式与Eta函数恒等式

应用Ｒａｍａｎｕｊａｎ １ψ１求和公式及围道积分的方法，得到了２ψ２的一个变换公式，并由此推出了若干Ｅｔａ函数恒等式。     

二元函数极值讨论的2种方法

<正>1基本理论定理1(极值充分条件)[1]设二元函数f在P0(x0,y0)的某邻域U(P0)内具有二阶连续偏导数,且P0是f的稳定点,则当Hf(P0)是正定矩阵时,f在P0取得极小值应;当H f(P0)是负定矩阵时,f在P0取得极大值;当Hf(P0)是不定矩阵时,f在P0不取极值.其中Hf(P0)为黑赛矩阵.     

苏云金芽胞杆菌cry7Ab9基因的克隆与杀虫活性的测定

以辽宁省千山市的22株苏云金芽胞杆菌进行PCR cry型的cry7类基因鉴定,对cry7类基因进行克隆表达及生物活性测定,为cry基因储备奠定基础.菌株QZG121经比对后发现含有cry7Ab基因.克隆该基因全长序列为3 417 bp,编码1 138个氨基酸残基,相对分子质量为130 000,并在Gene Bank中登记,基因登录号为GU936713,由苏云金芽胞杆菌国际命名委员会正式命名为cry7Ab9.通过构建原核表达系统获得cry7Ab9基因表达蛋白,并进行暗黑鳃金龟幼虫杀虫活性的测定,7天校正死亡率10 mg.L-1为11.11%、100 mg.L-1为25.93%;两周校正死亡率10 mg.L-1为33.33%、100 mg.L-1为48.15%,LC50为289.99 mg.L-1.     

Orlicz序列空间的光滑点

本文分别给出赋 Orlicz 范数和 Luxemburg 范数的 Orlicz 序列空间中光滑点判定准则。     

B2上布尔函数的拟单调分解

系统地讨论了B₂上布尔函数的拟单调分解.先使用拟单调分解树来定义布尔函数拟单调分解的一般形式,使其在应用中具有很大的灵活性.然后对⊚、⊕、∪和°运算给出几种实用的拟单调分解法.最后将上述结果推广到布尔函数拟单调分解的一般形式,给出一个布尔函数可以分解成k个单调函数的逻辑组合的充分必要条件.