连通代数domain上相容紧元及范畴的研究

1

作者 梁晓荣 《太原理工大学学报》 CAS 北大核心 2010年第3期315-319,共5页

基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件。研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格... 基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件。研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格同构。最后,证明了连通代数domain范畴与偏序集范畴等价。 展开更多

关键词 连通代数domain c-理想 范畴

在线阅读 下载PDF 职称材料

相容双有限domain及相关范畴性质 被引量：3

2

作者 张滦云 王戈平 《南京师大学报（自然科学版）》 CAS CSCD 北大核心 2005年第1期36-41,共6页

　将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题.并从范畴学的角度考察证明了以相容双有限domain为对象... 　将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题.并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴.还讨论了相容定向完备偏序集及相容代数domain上的几个性质. 展开更多

关键词 相容代数domain 相容双有限domain 笛卡儿闭范畴

在线阅读 下载PDF 职称材料

相容连续Domain的序同态扩张 被引量：10

3

作者 李娇 徐晓泉 《江西师范大学学报（自然科学版）》 CAS 北大核心 2011年第4期373-374,378,共3页

对相容Domain引入了相容定向极小集的概念,证明了相容Domain D是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集,并给出了相容连续Domain的序同态扩张定理.

关键词 相容连续domain 相容定向极小集 序同态 扩张

在线阅读 下载PDF 职称材料

拟代数Domain的若干性质 被引量：3

4

作者 赵彬 梁晓荣 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第3期1-5,共5页

基于拟连续Domain的等价定义及其构造,研究了拟代数Domain的一系列性质,并且给出了它的等价刻画,由此得到拟代数Domain一定是拟连续Domain.通过讨论Scott连续闭包算子保持集合与集合之间的Way below关系这一特性,证明了拟代数Domain在Sc... 基于拟连续Domain的等价定义及其构造,研究了拟代数Domain的一系列性质,并且给出了它的等价刻画,由此得到拟代数Domain一定是拟连续Domain.通过讨论Scott连续闭包算子保持集合与集合之间的Way below关系这一特性,证明了拟代数Domain在Scott连续闭包算子下的像仍是拟代数Domain;得到了拟代数Domain上赋予Scott拓扑构成Baire空间,拟代数格上赋予Lawson拓扑构成Priestley空间等结论. 展开更多

关键词 拟连续domain 拟代数domain 完全不连通空间 Priestley空间

在线阅读 下载PDF 职称材料

不相容初始条件的代数－微分方程组的解

5

作者 宋永忠 陈英 《南京师大学报（自然科学版）》 CAS CSCD 1995年第2期6-11,共6页

给出了常系数的及大范围指标为Ｋ的变系数代数－微分方程组满足不相容初始条件的理论解．

关键词 代数方程 微分方程 最小二乘法 不相容 解

在线阅读 下载PDF 职称材料

Z-拟代数Domain

6

作者 李琪 段求员 《江西师范大学学报（自然科学版）》 CAS 2002年第2期132-134,共3页

引入Z -拟代数Domain的概念 ,证明了它在Z -连续闭包算子下的保持性以及当满足条件Δ(L) Z(L)时 ,Z -拟代数格L关于Z -Lawson拓扑lz(L)是Priestleyspace .

关键词 Z-拟代数domain Z-拟代数格 Priesle空间 Z-连续闭包算子 Z-Lawson拓扑 Z-完备编序集

在线阅读 下载PDF 职称材料

基于森林资源清查资料的林分生物量相容性线性模型 被引量：17

7

作者 程堂仁 冯菁 +1 位作者 马钦彦 冯仲科 《北京林业大学学报》 CAS CSCD 北大核心 2007年第5期110-113,共4页

该文以甘肃省小陇山锐齿栎林分为例,通过图形分析、相关分析和回归分析,结果表明:小陇山锐齿栎林分乔木层各组分生物量(W)与林分活立木蓄积量(V)、与林分平均胸径、平均树高和林分密度(-D2-HN)均存在极其显著的线性相关关系.采用代数和... 该文以甘肃省小陇山锐齿栎林分为例,通过图形分析、相关分析和回归分析,结果表明:小陇山锐齿栎林分乔木层各组分生物量(W)与林分活立木蓄积量(V)、与林分平均胸径、平均树高和林分密度(-D2-HN)均存在极其显著的线性相关关系.采用代数和法,分2级控制,建立了林分乔木层各组分生物量(W)与林分活立木蓄积量(V)与林分平均胸径、平均树高和林分密度(-D2-HN)两种形式的生物量相容性线性模型,以95%的可靠性估计,两种形式的模型对锐齿栎林分各组分生物量的预估精度均在98%以上. 展开更多

关键词 代数和法 相容性线性模型 林分生物量 森林资源清查资料 锐齿栎 小陇山

在线阅读 下载PDF 职称材料

Z-连续Domain关于Z-子空间的遗传性 被引量：1

8

作者 饶三平 许广红 《江西师范大学学报（自然科学版）》 CAS 北大核心 2010年第2期199-201,共3页

利用Z-Domain中的Z-子空间的概念,得出Z-Scott开集和Z-Scott闭集都是Z-子空间结论.利用Z-连续子空间、Z-代数子空间的定义,得出Z-连续Domain、Z-代数Domain关于闭Z-子空间遗传这一结论.

关键词 Z-连续domain Z-代数domain Z-子空间

在线阅读 下载PDF 职称材料

Domain投射空间的连续性 被引量：1

9

作者 寇辉 刘应明 《数学年刊（A辑）》 CSCD 北大核心 2000年第5期579-584,共6页

本文研究了Ｄｏｍａｉｎ理论中投射空间的性质．其主要结果是；若连续ｃｐｏＤ的投射空间是连续的，则 Ｄ必是代数 Ｄｏｍａｉｎ．进一步，若连续 ｃｐｏ Ｄ具有性质ｍ则其投射空间是连续 ｃｐｏ当且仅当Ｄ是代数Ｄｏｍａｉｎ并且所有... 本文研究了Ｄｏｍａｉｎ理论中投射空间的性质．其主要结果是；若连续ｃｐｏＤ的投射空间是连续的，则 Ｄ必是代数 Ｄｏｍａｉｎ．进一步，若连续 ｃｐｏ Ｄ具有性质ｍ则其投射空间是连续 ｃｐｏ当且仅当Ｄ是代数Ｄｏｍａｉｎ并且所有由紧元构成的序稠链是单点集． 展开更多

关键词 连续CPO 代数domain 投射空间 序稠链 连续性

在线阅读 下载PDF 职称材料

带有自相容源的屠族新可积耦合 被引量：1

10

作者 夏铁成 张登朋 特木尔朝鲁 《数学物理学报（A辑）》 CSCD 北大核心 2012年第5期941-949,共9页

首次提出了一个新谱问题,然后推导了这个可积的孤子族.同样获得了联系着圈代数sl(4)带有自相容源屠族新可积耦合.指出和改正了于发军论文的一些错误并建立了新的公式.这些公式可以直接用来计算新的带有自相容源可积耦合.所用方法可以推... 首次提出了一个新谱问题,然后推导了这个可积的孤子族.同样获得了联系着圈代数sl(4)带有自相容源屠族新可积耦合.指出和改正了于发军论文的一些错误并建立了新的公式.这些公式可以直接用来计算新的带有自相容源可积耦合.所用方法可以推广到其它带有自相容源的新可积系统. 展开更多

关键词 带有自相容源的屠族 可积耦合 圈代数

在线阅读 下载PDF 职称材料

一阶逻辑完备性定理的代数证明 被引量：1

11

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

在一阶逻辑中回避了通常使用的相容扩张方法,基于商Lindenbaum代数并引入一阶语言的一种γ 解释,证明了一阶逻辑的完备性定理.

关键词 代数证明 一阶逻辑 LINDENBAUM代数 γ-解释 完备性定理 相容扩张 数理逻辑

在线阅读 下载PDF 职称材料

双积Hopf代数上的余拟三角结构

12

作者 赵文正 马天水 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第4期210-210,共1页

关键词 相容对 双积Hopf代数 弱余拟三角

在线阅读 下载PDF 职称材料

关于Pentagon方程与Hopf模及双代数的关系

13

作者 何济位 《浙江大学学报（理学版）》 CAS CSCD 2003年第1期7-11,18,共6页

设H既是一个代数,同时又是一个余代数(不必是双代数),证明了当模HM和余模MH满足适当条件时,H为Hopf代数,并且HMH为Hopf模;在一般的情况下,若H是双代数,则可以构作H的商双代数H,使M成为H上的Hopf模.另外,从已知的双代数出发,可以构造新的... 设H既是一个代数,同时又是一个余代数(不必是双代数),证明了当模HM和余模MH满足适当条件时,H为Hopf代数,并且HMH为Hopf模;在一般的情况下,若H是双代数,则可以构作H的商双代数H,使M成为H上的Hopf模.另外,从已知的双代数出发,可以构造新的Pentagon方程的解. 展开更多

关键词 Pentagon方程 HOPF模 双代数 相容性条件 余代数 商双代数

在线阅读 下载PDF 职称材料

Broer-Kaup-Kupershmidt族的非线性双可积耦合及其自相容源

14

作者 魏含玉 夏铁成 《高校应用数学学报（A辑）》 CSCD 北大核心 2017年第2期165-175,共11页

基于新的非半单矩阵李代数,介绍了构造孤子族非线性双可积耦合的方法,由相应的变分恒等式给出了孤子族非线性双可积耦合的Hamilton结构.作为应用,给出了Broer-Kaup-Kupershmidt族的非线性双可积耦合及其Hamilton结构.最后指出了文献中... 基于新的非半单矩阵李代数,介绍了构造孤子族非线性双可积耦合的方法,由相应的变分恒等式给出了孤子族非线性双可积耦合的Hamilton结构.作为应用,给出了Broer-Kaup-Kupershmidt族的非线性双可积耦合及其Hamilton结构.最后指出了文献中的一些错误,利用源生成理论建立了新的公式,并导出了带自相容源Broer-Kaup-Kupershmidt族的非线性双可积耦合方程. 展开更多

关键词 矩阵李代数 Broer-Kaup-Kupershmidt族 非线性双可积耦合 自相容源

在线阅读 下载PDF 职称材料

拟连续Domain的遗传性、不变性及映射空间 被引量：2

15

作者 赵娜娜 赵彬 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第6期18-22,共5页

讨论了拟连续Domain的遗传性、不变性及映射空间.证明了拟连续Domain及拟代数Domain对开子空间和闭子空间都是可遗传的,拟连续Domain及拟代数Domain在保持集与集之间的way below-preserving序的拟Scott连续映射下保持不变.对于有界完备... 讨论了拟连续Domain的遗传性、不变性及映射空间.证明了拟连续Domain及拟代数Domain对开子空间和闭子空间都是可遗传的,拟连续Domain及拟代数Domain在保持集与集之间的way below-preserving序的拟Scott连续映射下保持不变.对于有界完备拟连续DomainX和L,当L是全序时,由Scott连续映射构成的映射空间[X→L]是有界完备拟连续Domain. 展开更多

关键词 拟连续domain 拟代数domain domain子空间 步映射 映射空间

在线阅读 下载PDF 职称材料

相容性单木生物量模型估计方法的比较——以青冈栎为例 被引量：16

16

作者 刘秀红 姜春前 +2 位作者 徐睿 何潇 齐梦娟 《林业科学》 EI CAS CSCD 北大核心 2020年第9期164-173,共10页

【目的】生物量模型是估算森林生物量的有效手段,非线性联立方程组是构建相容性生物量模型的常见方法。本研究以青冈栎为例,比较常用的2种生物量模型构建方法和3种参数估计算法,以期选出最好的生物量模型构建方法和算法,为生物量的模型... 【目的】生物量模型是估算森林生物量的有效手段,非线性联立方程组是构建相容性生物量模型的常见方法。本研究以青冈栎为例,比较常用的2种生物量模型构建方法和3种参数估计算法,以期选出最好的生物量模型构建方法和算法,为生物量的模型计算和研究提供技术支撑。【方法】以南方25株青冈栎地上生物量实测数据为例,选择比例总量直接控制和代数和控制2种结构形式的相容性生物量模型,分别使用普通最小二乘法、二阶最小二乘法和三阶最小二乘法作为模型参数估计算法,建立地上总生物量与各组分生物量的相容性模型,比较不同相容性生物量模型的拟合效果。【结果】在3种参数估计算法下,2种结构的生物量模型均能解决地上生物量与干、枝、叶各组分生物量之间的相容性问题,各组分生物量模型的确定系数都在0.8以上,地上生物量模型的确定系数最高,树叶生物量模型的确定系数最低;使用相同的参数估计算法,2种结构的相容性生物量拟合效果差异不大;对比3种参数估计算法,采用二阶最小二乘法和三阶最小二乘法拟合的相容性生物量模型的参数估计值和评价指标是一致的,而与普通最小二乘法差别较大,但使用普通最小二乘法的拟合精度更高,且计算过程更简单。【结论】鉴于林业实践中通常以计算地上生物量为主要目的,利用基于普通最小二乘法得到的比例总量直接控制模型,可以以较高的预估精度直接计算出地上生物量,具有良好应用前景。 展开更多

关键词 最小二乘法 相容性生物量模型 青冈栎次生林 比例总量直接控制 代数和控制

在线阅读 下载PDF 职称材料

微分代数系统结构化分析 被引量：3

17

作者 李光远 冯勇 《控制理论与应用》 EI CAS CSCD 北大核心 2017年第8期1019-1027,共9页

对工程和科学问题进行建模和仿真的时候,人们常常很自然地会用微分代数系统对这些问题进行描述.为了检验微分代数系统的初始相容性并进行求解,对微分代数系统进行结构化分析非常重要.本文对经典的微分代数系统结构化分析方法进行了深入... 对工程和科学问题进行建模和仿真的时候,人们常常很自然地会用微分代数系统对这些问题进行描述.为了检验微分代数系统的初始相容性并进行求解,对微分代数系统进行结构化分析非常重要.本文对经典的微分代数系统结构化分析方法进行了深入的研究;提出了一种新的结构化分析方法,可以高效地对大规模、高阶高指标的微分代数系统进行结构化分析,并快速检验其初始相容性;证明了该方法的终止性,分析了其最坏时间复杂度.该方法的关键在于对最大加权二部子图的使用,而最大加权二部子图则来源于原始系统的加权二部图.实验结果显示,该方法能高效地完成对微分代数系统的结构化分析. 展开更多

关键词 微分代数系统 结构化分析 初始相容性 加权二部图 算法

在线阅读 下载PDF 职称材料

W-代数偏序集及其性质

18

作者 折海芳 赵彬 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2015年第3期13-17,共5页

引入了W-引代数偏序集与强W-代数偏序集的概念。讨论了W-代数偏序集、Exact偏序集以及代数偏序集的关系,证明了W-代数偏序集在保定向并的单的核算子下的像是W-代数偏序集。最后得到了每一点有最小局部基的弱Domain是强W-代数Domain,证... 引入了W-引代数偏序集与强W-代数偏序集的概念。讨论了W-代数偏序集、Exact偏序集以及代数偏序集的关系,证明了W-代数偏序集在保定向并的单的核算子下的像是W-代数偏序集。最后得到了每一点有最小局部基的弱Domain是强W-代数Domain,证明了弱Domain上的Scott连续映射保局部基当且仅当它保Weakly way below关系。 展开更多

关键词 W-代数偏序集 代数偏序集 Exact偏序集 弱domain 局部基

在线阅读 下载PDF 职称材料

Kaup-Newell族的非线性双可积耦合及其自相容源

19

作者 魏含玉 夏铁成 《应用数学》 CSCD 北大核心 2017年第4期927-935,共9页

本文基于新的非半单矩阵Lie代数,介绍了构造孤子族非线性双可积耦合的方法,由相应的变分恒等式给出了孤子族非线性双可积耦合的Hamilton结构.作为应用,给出Kaup-Newell族的非线性双可积耦合及其Hamilton结构.最后利用源生成理论建立新... 本文基于新的非半单矩阵Lie代数,介绍了构造孤子族非线性双可积耦合的方法,由相应的变分恒等式给出了孤子族非线性双可积耦合的Hamilton结构.作为应用,给出Kaup-Newell族的非线性双可积耦合及其Hamilton结构.最后利用源生成理论建立新的公式,并导出带自相容源Kaup-Newell族的非线性双可积耦合方程. 展开更多

关键词 矩阵Lie代数 Kaup-Newell族 非线性双可积耦合 自相容源.

在线阅读 下载PDF 职称材料

USSOR迭代法应用于相容次序矩阵的研究

20

作者 畅大为 《上海医科大学学报》 CSCD 2000年第B05期139-140,共2页

本文主要研究ＵＳＳＯＲ迭代法对于系数矩阵为相容次序矩阵的线性方程组的应用，在Ｊａｃｏｂｉ迭代矩阵的特征值是实数或纯度虚数这两种情况下，分别讨论ＵＳＳＯＲ迭代法敛性及最优收敛性质，并且给出ＵＳ－ＳＯＲ迭代矩阵谱半径的界。

关键词 USSOR迭代法 相容次序矩阵 线性代数方程

全文增补中