矩阵连分式的对应定理

本文建立了无穷C型矩阵连分式与形式矩阵幂级数之间的对应定理,其中该幂级数不能表示为矩阵的有理函数。

对偶模的对应定理

本文就对偶模与零化子之间的各种对应关系进行了讨论，其结果是［１，２，３］的拓广与深入。

线性对应定理与汉语重动句的词项融合

依据Kayne[11]提出的"线性对应定理",一个词项与其"拷贝"不能同时在音系式上获得语音实现,否则表达式会因无法进行线性排列而崩溃失败。但汉语重动句似乎对此要求构成反例,其重复的两个动词均得到语音实现。据此,本文深入探讨了重动句的生成机制及其与"线性对应定理"的关系。本研究表明,重动句的形成是动词拷贝的结果,两个相同的动词之所以均能获得语音实现,是因为前一个动词与其宾语在句法推导后送往音系式的过程中发生了词项融合,该动词不再作为独立词项参与线性排列,保证了重动句成为合法的音系表达式。

关于“共形对应”定理证明之浅见

在证明"共形对应"定理时,把ν视为复值函数,自变量应理解为(u,ν),是两个实的变量,而不是一个复数z=u+tν,否则,在一般情况下,即F≠0,不存在非零的(复的)积分因子μ,使下面的式子 μ[Edu+(F+F2-EG)dν]=dν=d u+id ν成立.

关于商映射的一个定理的推广

利用指数对应定理,将关于商映射的一个定理推广到上诱导拓扑的情形,并给出其在代数拓扑学中的若干应用.

破坏模态逻辑的算法对应理论

破坏模态逻辑是一种动态逻辑。它在静态模态逻辑的基础上加入了一个动态算子,解释成“在删掉一条边后,公式为真”。在本文中,我们试图解决一个开放问题,即给出破坏模态逻辑的Sahlqvist对应定理。我们定义破坏模态逻辑的Sahlqvist公式,并给出一个算法ALBASML来计算破坏模态逻辑的Sahlqvist公式的一阶对应。

含例邻域逻辑的萨奎斯特对应理论

本文给出含例邻域逻辑的萨奎斯特对应理论。这种逻辑可以讨论一个可能世界的邻域的存在性信息,是关系语义和邻域语义的一种混合。增加的表达力和描述邻域函数的关系特征使我们可以在框架层面讨论这种语言可以定义什么性质,是否可以超越邻域语义的KW片段。我们给出对应定理的两个证明。第一个证明直接使用标准翻译和极小赋值的技术,第二个证明通过双模态翻译将含例邻域逻辑的对应问题转化为经典克里普克语义的双模态逻辑。

K-对称变换及其K保圆(周)性

在K-复数,K-导数,K-解析(函数)变换的K-保角,K-共形映射以及边界对应定理等的基础上,研究了K-对称变换及其K保圆性.所得结论是解析函数与共轭解析函数的几何理论在K-解析函数中的继续和应用.

K-共形映射

在K-导数及其几何意义的基础上,研究了K-解析函数(变换)的K-保角、保域、K-共形映射以及黎曼映射存在唯一性定理、边界对应定理等.

模糊商群的推广(英文)

引入关于一个子群的正规模糊子集概念 ,研究正规模糊子集的一些性质 ,并在此基础上将模糊商群做了自然推广 ,最后建立群同态下正规模糊子集的对应定理。

单位阶跃函数在广义Fourier变换中的屏蔽效应

对u(t)在广义傅氏变换的作用进行了探讨,并给出了半屏、翻掩、隐匿、零点对应和对称等相关定理.

基于序演算的推理系统OCRS及其判定算法

序演算可以保留很多语言学的信息,可以更自然的刻画日常交流中的推理,因此序演算成为很多自然逻辑推理系统的核心方法。在Zamansky等学者工作的基础上,以序演算为核心,结合Lambek演算,增加了性质类序关系,考虑了模糊量词的语义特征,构造了基于序演算的自然逻辑推理系统OCRS。该系统所描述的推理范围较之以前的自然逻辑系统进一步扩大。另外,也给出了OCRS系统中序演算的判定算法,证明了其判定算法的对应定理。

汉语是非疑问句的生成解释

本文旨在考察汉语是非疑问句几种表现形式的生成过程,并试图证明汉语的“吗”字问句,反复问句及其方言变体FVP型问句这三种句型可以从同一基本短语结构推导出来,从而为汉语是非疑问句的生成提供一个统一的解释。本文采用的理论框架是Kayne(1994)的句法反对称理论中由线性对应定理设立的基本短语结构。本文提出:汉语是非疑问句是具有强制性EPP特征的CP,经过不同的移位合并操作才有了各种不同的表征。

粘弹介质本构理论讨论

阐述了建立物质本构关系时应满足的基本公理 ,较详细地推导了各种类型粘弹性物质的本构关系 ,论述了变率理论与泛函理论之间的关系 ,推导了对于粘弹性问题求解具有实用意义的对应定理 。

凭初等数学常识发现中学数学有一系列重大错误——让5千年无人能识的自然数一下子暴露出来

数列最起码常识让5千年都无人能识的标准无穷大自然数及其倒数一下子暴露出来,从而揭示有首项的无穷数列必有末项。数集相等概念以及几何起码常识和区间概念凸显中学几百年解析几何有一系列将两异点集误为同一点集的错误。从而产生出病态的"高深"理论:直线段的部分点可与全部点一样多;射线S沿S正向平移变为射线S′≌S是S的真子集;巴拿赫-塔尔斯基分球定理。证明存在:几千年都无人能识的等长却不"等势"从而不合同的直线段;2500年都无人能识的R外标准实数。不识这类"更无理"的数和直线段使数学一直不知直线A沿本身伸缩或平移后就≠A了,所以"直线公理(定理)"和"R轴完备、封闭"论其实是将无穷多各异直线误为同一线的"以井代天"的"井底"误区。

浅谈共形映射的学习方法

一、明确研究对象共形映射是解析函数的几何理论,它的研究对象主要是讨论解析函数与区域之间的保形映射关系。究其实质可将共形映射问题分成两大类: 第一类:己知区域G与D映射f(z),求G的像域f(G); 第二类:己知区域G与D,求实现G到D的共形映射f(g)。由于共形映射它的思想方法有别于其它各章,所以对初学者可能会带来一定困难。但只要我们明确共形映射所要解决的基本问题及其所使用的手法,就一定能学好这部分内容,现从如下二个方面谈谈应该如何去领会与掌握共形映射的基本思想。

伯塞洛脱系统的临界行为(英文)

本文论证了伯塞洛脱系统存在一个对应态定理 ,并给出了该系统的临界指数 .

洛仑兹变换的由来和发展

文章详细地分析了洛仑兹变换的由来发展,以及它对现代理论物理的影响。

自然语言的词序和短语结构理论

Chomsky (1995)提出的最简方案里词的线性次序与核心运算系统毫无关系根据这个假设词序参数在最简方案的模式里已被否定本文介绍两个短语结构理论Kayne (1994)提出的线性对应定理和Takano (1996)和Fukui and Takano (1998)