Reinhardt域的Bergman核函数(Ⅰ)

若D为Reinhardt域 D={z∈Cⁿ:||z||_α=sum from j=1 to n(|z_j|~(2/α_j)<1)}这里0<α_j,j=1,2,…,n。若K_D(z,)为D的Bergman核函数,证明了一系列结果以获得K_D(z,)的渐近表达式.     

逻辑系统中理论的下真度与相容度(Ⅰ)

引入模糊逻辑系统中理论的下真度与不相容度的新概念,简化理论相容度的定义,给出理论的下真度、发散度、不相容度与相容度之间的关系。     

递归算术的复迭系统(Ⅰ)

建立“复迭算术”主要困难有两个:一是推出函数D_x的性质,一是推出函数的性质。作者建立了一个递归算术的复迭系统A~1V_2W,其中A~1是用允许一个参数的复迭式定义的存在性公理,V_2是用允许两个参数的复迭式定义的函数的唯一性规则,W是用参数变异递归式定义的函数唯一性规则。     

递归算术的复迭系统(Ⅰ)

建立“复迭算术”主要困难有两个:一是推出函数D_α的性质,一是推出函数[x~(1/2)]的性质。作者建立了一个递归算术的复迭系统A~1V_2W,其中A~1是用允许一个参数的复迭式定义的存在性公理,V_2是用允许两个参数的复迭式定义的函数的唯一性规则,W是用参数变异递归式定义的函数唯一性规则。     

基于系统核与核度理论的房地产预警系统指标体系选取方法

介绍了一种用系统核与核度理论和灰色关联分析来选取房地产预警指标的新方法,并以武汉市为例证明了这种方法的有效性.这种方法可以确定出能够反映房地产状况的少数几个指标,进而可以通过这少数指标对房地产发展趋势进行预警:根据原始指标数据列间的灰关联程度,建立房地产预警系统的拓扑图,利用图论的知识来求取拓扑图的核,选取房地产预警指标.     

复杂系统的一般数学框架(Ⅰ)

复杂系统的基本和最简单的结构就是网络.根据这一思想,本系列论文拟发展一套处理复杂系统的新数学框架.本文详细论述了系统的概念、一般描述方法:系统=(硬部,软部,环境)和局整关系,包括子系统、元素与系统的关系和系统与系统的关系;给出了系统运算的基本法则;简要论述了系统的软、硬部之间的诱导转化.     

中介逻辑的命题运算系统(Ⅰ)

In this paper, we construct the propositional calculus system of mediumlogic MP under the view of medium principe. We first make out thevocabulary of MP and the rules of its formation and inference, and then, after a primary development, we reduce it to ten formal theorems (the formal relations of inference). More precisely, the theorems can be divided into 38 relations of inference, in which only 5 have alrealy been contained in the classiccal natural inference system P, this is to say, all the others are peculiar to tthe non-classical logic system MP.     

群与基数(Ⅰ)

定理1—16.设X是无穷集合,f是X上的二元连算。G表示“是群”,N表示“不可交换的”,A表示“可交换的”,G.N.意指“不可交换的群”,G.A.意指“可交换的群”,SGm表示“子群m个”(其中m=2~(|X|)),SGm.N.与SGm.A.表示用N与A“作用”在SGm上的“结果”,T表示“互不同构的”,用T可“作用”在以上的“谓词”上,现令P∈{G.G.N.,     

最小多项式矩阵与线性多变量系统(Ⅰ)

本文分为两部分:(Ⅰ)为关于最小多项式矩阵的理论:(Ⅱ)为最小多项式矩阵理论在线性多变量系统中的应用.在(Ⅰ)中,我们给出了线性变换在向量组的消失多项式矩阵与最小多项式矩阵的概念,给出了不变子空间的生成组与最小生成组的概念.在讨论了这些概念的基本性质之后,我们研究了它们与线性变换在任何不变子空间上诱导算子对应的特征矩阵之间的关系,给出了向量组的最小多项式矩阵类的特征,并给出了有相同生成空间的生成组之间的充分必要条件.利用这些结果,对于给定的矩阵A,给出了能使系统x=Ax+Bu完全可控的矩阵B的全体的集合的表达式.