代数体函数的一个正规定则 被引量：4

1

作者 柳学坤 孙道椿 《数学学报（中文版）》 SCIE CSCD 北大核心 2004年第4期731-734,共4页

本文运用覆盖曲面,克服了代数体函数多值性及分支点的困难,建立了一个代数体函数的正规定理,并证明了:对分支点分担的代数体函数族,若族中每个函数都不取互异的三个复数,则此函数族正规。

关键词 代数体函数 覆盖曲面 正规定理

原文传递

NORMAL THEOREMS ON SEVERAL COMPLEX VARIABLES

2

作者 孙道椿 《Acta Mathematica Scientia》 SCIE CSCD 2001年第3期307-315,共9页

For general quasimeromorphic mappings of several complex variables, their normal theorems are studied by the method of covering surface, and some important theorems on normality are obtained.

关键词 quasimeromorphic mapping covering surface normal theorem

下载PDF 职称材料

拟共形映射族 被引量：1

3

作者 孙道椿 《华南师范大学学报（自然科学版）》 CAS 2001年第1期1-7,共7页

应用覆盖曲面的理论，研究了拟共形映射族，建立了一个基本不等式，得到几个关于拟共形映射的正规定理．

关键词 拟共形映射 覆盖曲面 正规定理 Riemann球面 连续函数 SCHWARZ不等式

下载PDF 职称材料

代数体函数的正规定理

4

作者 孙道椿 《数学杂志》 CSCD 2000年第4期361-364,共4页

为克服代数体函数多值的困难 ,我们定义了一种新的“距离”.运用它我们证明了一个正规定理 :代数体函数族 {fj}在区域 D上是正规的 ,当且仅当 {fj}是等度连续的 .

关键词 代数体函数 等度连续 正规定理 距离

下载PDF 职称材料

多元拟亚纯映射的正规族

5

作者 孙道椿 《应用数学》 CSCD 2000年第1期113-116,共4页

文章应用覆盖曲面的几何方法讨论了多元拟亚纯映射的正规定理

关键词 拟亚纯映射 覆盖曲面 正规族 多元拟亚纯映射

下载PDF 职称材料

基于左连续伪T-模的非可换模糊逻辑系统PUL＊ 被引量：7

6

作者 张小红 《数学进展》 CSCD 北大核心 2007年第3期295-308,共14页

对P.Hájek建立的模糊逻辑系统psMTL进行了扩充,基于一般左连续伪T-模提出了非可换模糊逻辑系统PUL＊,证明了它的可靠性定理.同时,以PUL＊系统的Lindenbaum代数结构为背景引入PUL＊.代数概念,建立了相应的滤子理论,得到PUL＊-代数... 对P.Hájek建立的模糊逻辑系统psMTL进行了扩充,基于一般左连续伪T-模提出了非可换模糊逻辑系统PUL＊,证明了它的可靠性定理.同时,以PUL＊系统的Lindenbaum代数结构为背景引入PUL＊.代数概念,建立了相应的滤子理论,得到PUL＊-代数的正规素滤子定理,借此证明了PUL＊系统的完备性. 展开更多

关键词 伪T-模 非可换模糊逻辑系统PUL＊ 正规素滤子定理 完备性

下载PDF 职称材料

非可换模糊逻辑系统PL~*及其完备性 被引量：8

7

作者 张小红 《数学学报（中文版）》 SCIE CSCD 北大核心 2007年第2期421-442,共22页

首先建立了非可换R0 t-模，以此为语义背景将模糊逻辑形式系统L^＊拓广到非可磬情形，提出了新的模糊逻辑形式系统PL^＊，证明了系统PL^＊的可靠性定理．其次，引入PL^＊-代数及其滤子概念，得到PL^＊-代数的正规素滤子定理，借此证明了... 首先建立了非可换R0 t-模，以此为语义背景将模糊逻辑形式系统L^＊拓广到非可磬情形，提出了新的模糊逻辑形式系统PL^＊，证明了系统PL^＊的可靠性定理．其次，引入PL^＊-代数及其滤子概念，得到PL^＊-代数的正规素滤子定理，借此证明了PL^＊系统的完备性．最后说明了PR0 t-模及PL^＊系统可能的应用方向． 展开更多

关键词 伪T-模 非可换模糊逻辑 正规素滤子定理

原文传递

泛余弦定理 被引量：2

8

作者 李勇 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2003年第2期281-283,共3页

余弦定理并不是三角形所独有的特性,而是任何平面多边形、以及任何多面体(以面积为关注点)、甚至任何高维空间类似物(以广义体积为关注点)均适用的普遍规律.于是余弦定理从此不再是一个纯粹的初等几何问题. 由此看来,欧氏几何已经沉寂... 余弦定理并不是三角形所独有的特性,而是任何平面多边形、以及任何多面体(以面积为关注点)、甚至任何高维空间类似物(以广义体积为关注点)均适用的普遍规律.于是余弦定理从此不再是一个纯粹的初等几何问题. 由此看来,欧氏几何已经沉寂几百年的局面可望出现转机. 展开更多

关键词 泛余弦定理 余弦定理 法式余弦定理 面积余弦定理 面积勾股定理 欧氏几何 示性法向量

下载PDF 职称材料

双时滞的SLIR计算机病毒模型的Hopf分岔 被引量：2

9

作者 欧玉芹 李群宏 徐现丽 《枣庄学院学报》 2019年第2期43-50,共8页

基于潜伏计算机具有感染病毒的可能性,以及多时滞的计算机病毒研究更加能体现病毒传播情况的一般性.建立一类双时滞的SLIR计算机病毒模型,考虑感染节点重装系统和杀毒软件清除潜伏节点都需要一定的时间周期.首先,分析模型在两种不同类... 基于潜伏计算机具有感染病毒的可能性,以及多时滞的计算机病毒研究更加能体现病毒传播情况的一般性.建立一类双时滞的SLIR计算机病毒模型,考虑感染节点重装系统和杀毒软件清除潜伏节点都需要一定的时间周期.首先,分析模型在两种不同类型下特征根的情况,以时滞作为参数,讨论模型在病毒平衡点处的局部渐近稳定性,Hopf分岔的存在性.其次,应用中心流形定理和规范形定理,研究Hopf分岔的方向,分岔周期解的稳定性.最后,通过数值仿真验证结果的正确性. 展开更多

关键词 双时滞 HOPF分岔 周期解稳定性 中心流形定理 规范形定理

下载PDF 职称材料

实现电子闭环控制的非线性动力学系统的周期解 被引量：2

10

作者 储景云 陈予恕 《应用力学学报》 CAS CSCD 北大核心 1991年第2期1-8,147,共8页

本文对具有自动频率跟踪和反馈稳幅功能的电磁振动机械进行了研究.对实现电子闭环控制的一个半自由度非线性动力学系统(见图1)建立了一个三维机、电振动微分方程纽。应用中心流形定理和Normal Form定理对这类具有自激振动性质的方程组... 本文对具有自动频率跟踪和反馈稳幅功能的电磁振动机械进行了研究.对实现电子闭环控制的一个半自由度非线性动力学系统(见图1)建立了一个三维机、电振动微分方程纽。应用中心流形定理和Normal Form定理对这类具有自激振动性质的方程组求得第一次近似解.又以GZJ—4型机为例,计算了定常解的稳定域,并给出定常解同电磁铁激磁电压之间的关系.对设计和调试这类产品有指导意义. 展开更多

关键词 非线性系统 周期解 电子闭环控制

下载PDF 职称材料

关于一阶逻辑范式定理的几个等值式的一个注记

11

作者 王金华 钱李新 《浙江师大学报（自然科学版）》 1999年第3期16-18,共3页

以｛→,～｝为连词完全集的一阶逻辑前束范式定理是由4 个等值式得到的。对于4个等值式,本文得到了它们之间的一个基本关系;同时,利用不带等词的一阶系统K 中的两个定理来证明了4 个等值式是两两等价的。

关键词 一阶逻辑 前束范式 范式定理 数理逻辑 等值式

下载PDF 职称材料

Borel正规数定理的一种证明与强极限定理中的分析方法

12

作者 Liu Wen 《河北工学院学报》 1994年第4期87-92,共6页

通过给出Ｂｏｒｅｌ正规数定理的一种证明来介绍作者提出的研究概率论中强权限定理的一种分析方法．

关键词 正规数字理 单调函数 波莱尔 强极限定理

下载PDF 职称材料

模态逻辑系统S5中的范式定理及其在知识系统中的应用

13

作者 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第1期1-6,共6页

研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法.作为范式定理的应用,讨论了知识库中的一个基本问题,证明了知识库能够回答KB命题... 研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法.作为范式定理的应用,讨论了知识库中的一个基本问题,证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题. 展开更多

关键词 模态逻辑系统S5 范式定理 知识库 KB命题

下载PDF 职称材料