【摘 要】
：
在文献[1]中,我们从研究范畴论的基础出发,建立了聚合的公理系统ACG,我们也在ACG中证明了系统ZF~#与QM的协调性。本文对ACG建立了一个层谱,B_0,B_1,…,B_n,……(n∈ω)使得在这一列系统中前者的协调性均可在后者中加以证明,并且它们的并就是ACG。作者另文的结果,即ZF~#与QM的协调性只需在B_0中就可以获得,虽然,在B_0与ACG之间还存在个具有递增强度的公理系统。
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
论文部分内容阅读
在文献[1]中,我们从研究范畴论的基础出发,建立了聚合的公理系统ACG,我们也在ACG中证明了系统ZF~#与QM的协调性。本文对ACG建立了一个层谱,B_0,B_1,…,B_n,……(n∈ω)使得在这一列系统中前者的协调性均可在后者中加以证明,并且它们的并就是ACG。作者另文的结果,即ZF~#与QM的协调性只需在B_0中就可以获得,虽然,在B_0与ACG之间还存在个具有递增强度的公理系统。
其他文献
记B(X)为复Banach空间X上有界线性算子全体所成的Banach代数,本文讨论B(X)上把一秩算子映为最多一秩的算子的弱连续线性映射,给出了这种映射所具有的形式,并由此得到B(X)上保秩线性映射,保谱线性映射以及保正线性映射的一些表示定理。
本文对大变形原子核的能谱,转动惯量和γ跃迁能量的系统分析表明,吴-曾公式优于被广泛使用的Harris公式。J~((2))>J~((1))这一事实可以从吴-曾公式自然得出,而在吴-曾公式推导中,原子核的非轴对称性及振动效应已在一定程度上被考虑进去。
本文从晶体三维塑性流动理论出发,导出了双滑移理想塑性晶体平面应变问题曲基本方程。利用这些方程求得了静止裂纹顶端应力变形场。该场包含有弹性角形区并且整个应力变形场是连续的。进而导出了定常扩展裂纹顶端应力变形场。该场由五个角形区组成:裂纹前方有两个塑性区,它们的边界是速度场间断面。裂纹面附近有一个二次塑性区,中间是两个卸载弹性区,它们交界面也是个速度场间断面。该五个角形区不是唯一的。本文得到了一簇解答
本文分别对富度R≥1的Abell团的四组子样品和整个北天区R≥2的样品的空间三点相关函数作了统计分析。结果表明:Abell团的三点相关函数能够用标度形式ζ=Q(ξ_1ξ_2+ξ_1ξ_3+ξ_1ξ_2)来表示,并且Q几乎是一个常数(≈0.65),而与星系团的富度无关。这个Q值非常接近于星系三点相关函数统计分析得到的Q_g值,这说明,从星系到R≥2的Abell团,它们的三点相关函数虽然跨越了3个量级
本文提出一种新的环境共享方案。这种方案不仅克服了Ciepielewski的方案中的缺陷,而且能支持在PSOF模型下对逻辑程序的AND和OR两种并行执行。本文定义的环境存储器的二级结构以及各种处理变量约束环境的算法过程都已作为SES-PIM系统的一部分,用PROLOG在VAX-11/780上实现。方案的正确性和有效性已通过测试大量典型程序得到证明。
本文分析加有金属台阶的部分高度铁氧体宽带H面波导结环行器。本文采用场匹配法求解,给出了展开铁氧体内电磁场的特征模式族,除了以前文献给出的体内模外,本文还给出了表面模式。在分析中,应用了这两类模式。为了简化结与波导的匹配,本文采用电磁场解与对称网络散射矩阵本征值理论和传输线理论相结合的方法进行求解。在8mm频段,得到了19％的20dB隔离度带宽的计算结果,理论和实验吻合较好。计算结果显示出n=2 C
本文对电力系统的动态结构特性及降阶方法进行了研究,提出了二阶集结及外部系统分割两种降阶方法。它们是建立在系统动态结构特性-模式-机组关联特性基础上的。前者将一个n台机的电力系统降为一个2n×2n阶的包括全部转子摇摆模式的模型,后者可用一个更低阶的模型算出与局部系统有关的全部模式。
本文根据文献[1]导出了有源子网络抽取定理和无源子网络抽取定理,它们是文献[2]中参数抽取定理的推广,应用它们求全符号网络函数,可以大大简化有源网络的多层撕裂拓扑分析法,更便于在计算机上实现。应用它们求部分符号网络函数,不仅可使计算机所能分析的电网络规模扩大到一般数值分析程序所能处理的阶数,而且可使其中符号子网络的规模扩大到一般拓扑分析程序所能处理的阶数。后者是目前惯用方法(参数抽取法和插值法等)
本文讨论实二次域的带DirichIet特征的Kronecker极限公式,并由此得出某些虚二次域的类数公式。
本文指出C~*-代数是标准的,当且仅当,它等距*同构于本原C~*-代数连续场所定义的C~*-代数,从而给出了标准C~*-代数更为自然的定义。同时指出一般的C~*-代数,即使是在(Ⅰ)型的情况下,也未必满足正规性,这又解决了文献[1]中提出的一个问题。