几类非对称典型域的扩充空间

本文引入了一类齐性复解析流形,可以看作 Grassmann 流形及[4]、[5]中引入的复流形(?)(r_1,…,r_p;s_1,…s_p)和(?)更一般的形式,并利用它来实现作者在[1]中给出的几类非对称典型域的扩充空间.     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

傅立叶超函数和扩充傅立叶超函数与爱米特热方程

证明了傅立叶超函数和扩充傅立叶超函数可用爱米特热方程的解来表示,且用以表示的解有很良好的性质.     

包含轻子结构的夸克模型

对标准模型作手征性扩充后,模型中平行地存在手征性相反的夸克态.相应于构成强子的f代普通夸克,新加的同样代数、手征性相反的夸克可能构成轻子.对扩充后的模型超对称化之后,使得渐近自由性质的破坏所要求的代的数目从大于33/8减少到大于9/4,从而有可能解释手征相反的夸克构成的轻子为什么比普通夸克构成的强子大小要小得多等特点.     

具有高消失矩的3-进正交对称小波的构造(英文)

本文给出一类具有高消失矩的对称3-进正交小波的构造.首先通过解非线性方程组构造出高消失矩的尺度函数.其次,基于矩阵扩充的方法,我们给出新的定理和算法.相应的关于原点对称/反对称的小波由我们提出的方法构造,并且,该方法便于计算机程序化实现.最后,我们通过3个实例来验证相关的结论,该类小波为应用提供了好的选择.     

扩充竞赛图的(1,2)步竞争图

2011年Factor等人提出了有向图的(1,2)步竞争图的概念,并完全刻画了竞赛图的(1,2)步竞争图.设D=(V,A)是一个有向图.如果无向图G=(V,E)满足,V(G)=V(D)并且xy∈E(G)当且仅当D中存在顶点z≠x,y使得d_(D-y)(x,z)=1,d_(D-x)(y,z)≤2或者d_(D-x)(y,z)=1,d_(D-y)(x,z)≤2,那么称G为D的(1,2)步竞争图,记为C_(1,2)(D).本文主要刻画了扩充竞赛图的(1,2)步竞争图.     

《数系的扩充和复数的概念》教学设计

几日前,给学生教授<初等代数研究>时,要求学生试着编写<数系的扩充和复数的概念>一节的教案并进行试教,学生的教学让笔者回忆起中学时学习该节内容的体会,总的印象是零零散散,很多东西需要去死记,在此想用三个问题来探讨该节课的教学设计.     

关于紧邻域扩充性质的等价条件及其应用

本文刻画了紧邻域扩充性质的等价条件，由此条件得到如果Ｘ是具有紧邻域扩充性质的可度量化的拓扑空间，则Ｆ_ｋ（Ｘ）＝｛Ａ?Ｘ：｜Ａ｜≤ｋ｝也具有紧邻域扩充性质，此处Ｆ_ｋ（Ｘ）上的拓扑是由Ｈａｕｓｄｏｒｆ度量所诱导出的拓扑     

N阶分歧问题的数值分析

构造了求解一类非退化分歧点及相关参数的扩充系统，给出了拟牛顿迭代法并证明了收敛性．