BCK/BCI-代数的(∈,∈∨q)-模糊软理想 

在BCK/BCI-代数中引入(∈,∈∨q)-模糊软理想的概念,研究并获得了若干代数性质.定义了BCK/BCI-代数的模糊软同态和模糊软同构的概念,证明了(∈,∈∨q)-模糊软理想的模糊软同构(态)像(原像)仍为(∈,∈∨q)-模糊软理想这一结论.
《浙江大学学报(理学版)》  2015年 第03期 下载次数(43)| 被引次数(1)

集值函数关于非可加集值测度的Choquet积分 

按照集值积分的经典定义方法,不可避免地涉及集值函数和集值测度两方面的选择问题。本文利用集值函数关于非可加测度的实值Choquet积分,定义和讨论了集值函数关于非可加集值测度的Choquet积分,并刻画了其原函数性质。结果表明,弱零可加性、零可加性、凸零可加性、伪度量性质以及Darboux性质在其不定积分中均可遗传到其原...
《山东大学学报(理学版)》  2015年 第08期 下载次数(127)| 被引次数(4)

拟BCK代数的双枝值模糊理想(英文) 

研究了拟BCK代数的双枝值模糊理想的特征,讨论了拟BCK代数的双枝值模糊子集成为双枝值理想的条件.对于给定拟BCK代数的一个双枝值模糊子集B,建立了包含B的最小双枝值模糊理想.最后,给出了拟BCK代数的一个双枝值模糊理想的同态性质.
《内江师范学院学报》  2015年 第08期 下载次数(16)| 被引次数(2)

一个命题投影时序逻辑符号模型检测器 

现有模型检测工具的形式化规范语言,如计算树逻辑(computation tree logic,简称CTL)和线性时序逻辑(linear temporal logic,简称LTL)等的描述能力不足,无法验证ω正则性质.提出了一个命题投影时序逻辑(propositional projection temporal logi...
《软件学报》  2015年 第08期 下载次数(131)| 被引次数(5)

The sound and complete R-calculus for revising propositional theories 

The AGM postulates are for the belief revision(revision by a single belief), and the DP postulates for the iterated revision(revision by a finite sequence of be...
《Science China(Information Sciences)》  2015年 第09期 下载次数(27)| 被引次数(2)

一类单位圆上单叶正则函数的分类 

为研究单位圆上单叶正则函数的性质。运用单叶解析法得到零点处函数值等于零、导数值等于1的函数具有的一些重要性质,给出这些性质的分类,分别是:幂级数展式的系数估计、模的估计、像区域范围的估计。单叶正则函数的性质及其分类是研究复变函数几何理论的基础,对复变函数基础性研究具有一定的现实意义。
《延安职业技术学院学报》  2015年 第05期 下载次数(6)| 被引次数(0)

史前时期的数学知识 

无疑,数学在今天的四化建设中有着重要的地位。那么,数学是什么时候产生的?又是怎样出现的呢?这不仅是数学家、历史学家研究的课题,也是许多读者饶有兴趣的问题。由于远古时期没有文字,当时的数学知识并没有记载下来,考古学家虽然从地下挖出许多古代遗物,但有关数学方面的知识还是微乎其微的。
《史前研究》  1985年 第02期 下载次数(26)| 被引次数(1)

近代数学的建立与科学的数学化 

从16世纪后期到17世纪末,欧洲数学取得了长足进步,不仅改变了整个数学的面貌,而且对精密科学的发展起了巨大的促进作用。文艺复兴促成东两方数学的融合,为近代数学的兴起及以后的惊人发展奠定了基础。尽管有必要理性地看待科学的数学化~([1]),但不得不承认,从16世纪后期到17世纪末,欧洲数学所取得的成果,远远超过了初...
《科学》  2014年 第01期 下载次数(242)| 被引次数(1)

BL代数的一种弱化形式 

在对BL-代数及其相关逻辑代数研究的基础上,通过加强MTL-代数条件的方法建立BL-代数的一种弱化形式——WBL-代数,并给出WBL-代数结构的实例;证明BL-代数是WBL-代数,并通过实例说明WBL-代数是BL-代数的真弱化形式,且是MTL-代数的真加强形式;在MTL-代数的基础上给出WBL-代数的一些特征定理.
《吉林大学学报(理学版)》  2014年 第02期 下载次数(60)| 被引次数(2)

剩余格上的α-交软滤子 

赋予剩余格作为参数集,提出了剩余格上的α-交软滤子的概念,给出一些刻画和软集交运算下的性质。进一步,剩余格上的α-交软同余关系和α-交软滤子的关系被研究。特别是,当X=α时,证明了SFil(L)(剩余格上交软滤子α-交软滤子的全体)和Scon(L)(剩余格上交软滤子α-交软同余关系的全体)是完备格同构的。最后,得到了剩...
《模糊系统与数学》  2014年 第02期 下载次数(48)| 被引次数(3)

拟连续domain的网式刻画 

本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画:定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domain理论中关于连续domain的类似刻画.
《四川大学学报(自然科学版)》  2014年 第03期 下载次数(49)| 被引次数(6)

软BCK-代数的模糊理想 

将模糊集理论应用到软BCK-代数中,引入了软BCK-代数的模糊理想,并获得了它的基本性质。然后,讨论了BCK-代数的模糊理想在同态下的像和逆像的性质。最后,通过软同态概念的引入,给出了软BCK-代数的模糊同构定理。
《模糊系统与数学》  2014年 第04期 下载次数(70)| 被引次数(2)

模丛上的广义联络 

将向量丛上的广义联络推广到模丛上,它是模丛上的一种态射.讨论了这种广义联络的一般结构,并将向量丛上广义联络的性质进行了推广和改进.
《云南大学学报(自然科学版)》  2013年 第05期 下载次数(18)| 被引次数(0)

L-稳定事件结构和L-domain 

在domain理论中,事件结构和信息系统是domain的逻辑表示的主要工具.通过研究事件结构和它所对应的domain结构之间的关系,作者提出了L-稳定事件结构以及L-映射的概念,证明了L-稳定事件结构和L-映射构成的范畴等价于具有性质Ⅰ的代数L-domain和稳定映射构成的范畴,由此说明了可以通过特殊的事件结构来表示具...
《四川大学学报(自然科学版)》  2013年 第01期 下载次数(23)| 被引次数(0)

由Markov对偶分支q-矩阵导出的算子的性质 

利用分析的方法研究了Markov对偶分支过程中q-矩阵分别在l∞空间、l1空间及c0空间上导出的算子的若干性质.
《西南大学学报(自然科学版)》  2013年 第04期 下载次数(22)| 被引次数(1)

共找到相关记录443条上一页>567891011121314下一页