期刊文献+
共找到334篇文章
< 1 2 17 >
每页显示 20 50 100
新型集合套范畴的弱Topos性 被引量:1
1
作者 赵宝江 袁学海 《模糊系统与数学》 CSCD 2002年第3期9-16,共8页
借助模糊集理论中的集合套理论 ,引入一种新型的集合套范畴 SEB3。它满足卡氏积封闭性 ,但不是 Topos,而是介于卡氏积封闭性和 Topos之间的一种结构 ,我们称之为弱
关键词 中间元 topos幂对象 模糊集 集合套范畴 topos
在线阅读 下载PDF
关于topos中的内蕴Heyting代数对象(英文) 被引量:12
2
作者 王习娟 贺伟 《数学杂志》 CSCD 北大核心 2011年第6期979-998,共20页
本文研究了在一般topos中内蕴Heyting代数对象的性质.利用范畴的态射及伴随的方法,获得了内蕴Heyting代数对象为内蕴分配格结果,推广了集合范畴中的对应结果.
关键词 内蕴Heyting代数 内蕴分配格 topos
在线阅读 下载PDF
Topos中选择公理的一个等价刻画 被引量:3
3
作者 卢涛 王习娟 贺伟 《山东大学学报(理学版)》 CAS CSCD 北大核心 2015年第12期54-57,64,共5页
基于Topos中的偏序对象,以及相应的完备格对象定义,证明了选择公理的一个新刻画:选择公理成立当且仅当连续格对象等价于构造性连续格对象。
关键词 topos 偏序对象 完备格对象 选择公理
原文传递
Topos理论简介 被引量:10
4
作者 孟晓青 《数学进展》 CSCD 北大核心 1992年第1期1-24,共24页
Topos概念的提出(即elementary topos的公理化)是在研究了如下几类范畴之后:Grothendieck topos,集合的范畴S,以及集合论的布尔值模型。 Grothendieck提出用拓扑空间X上的set valued sheaf的全体做成的范畴Sh(X)作为推广了的拓补空间X,... Topos概念的提出(即elementary topos的公理化)是在研究了如下几类范畴之后:Grothendieck topos,集合的范畴S,以及集合论的布尔值模型。 Grothendieck提出用拓扑空间X上的set valued sheaf的全体做成的范畴Sh(X)作为推广了的拓补空间X,用以研究空间X上的上同调.他把拓扑的概念推广到小范畴(smallcategory)C上,称为一个site(或称为Grothendieck拓扑,参看第2节)。这样就可以考虑给出的site(C,J)上的set valued sheaf的全体做成的范畴Sh(C,J),用它来研究site(C,J) 展开更多
关键词 topos理论 范畴 内结构 内逻辑
在线阅读 下载PDF
说不尽的Topik和Topos 被引量:2
5
作者 舒国滢 《浙江社会科学》 CSSCI 北大核心 2013年第2期144-147,共4页
正我们在阅读的时候,大体上都有这样的经历,即,往往会被某个书名和书中的某个词深深吸引。必须承认,某些稀奇古怪的字或词本身具有一种神奇的魔力。讲一件自己亲身的经历以及由此而产生的学问兴趣。1993年冬。
关键词 论题篇 亚里士多德 论题术 西塞罗 论题学法学 topos TOPIK
在线阅读 下载PDF
中间物质和弱topos的定义 被引量:1
6
作者 袁学海 《辽宁师范大学学报(自然科学版)》 CAS 2000年第3期225-229,共5页
在已知范畴 Fuz,范畴 FR( Y) ,范畴 F uz Fuz有“中间物质和弱 SC”的基础上 ,利用偏序集和态射之间的偏序关系在一个抽象的范畴中给出中间物质的定义 ,将具有中间物质的 Cartesian Closed范畴称为一个弱 topos,并证明了范畴 F uz,范畴 ... 在已知范畴 Fuz,范畴 FR( Y) ,范畴 F uz Fuz有“中间物质和弱 SC”的基础上 ,利用偏序集和态射之间的偏序关系在一个抽象的范畴中给出中间物质的定义 ,将具有中间物质的 Cartesian Closed范畴称为一个弱 topos,并证明了范畴 F uz,范畴 FR( Y)和范畴 F uz Fuz都是弱 topos,从而在 Cartesian Closed范畴与 展开更多
关键词 模糊集 范畴 中间物质弱topos 结构 偏序集
在线阅读 下载PDF
Topos中偏序对象的上(下)确界
7
作者 卢涛 王习娟 贺伟 《山东大学学报(理学版)》 CAS CSCD 北大核心 2016年第4期112-117,共6页
基于topos中的偏序对象,讨论了topos中的上下确界的定义,推广了格论中的经典结论,将一些格论中熟知的结论提升到了topos中。得到了主要结果:topos中的对象为完备偏序对象当且仅当该对象的任意广义子集存在上(下)确界。
关键词 topos 偏序对象 完备偏序对象 上(下)确界
原文传递
Topos中的模糊对象和模糊范畴
8
作者 袁学海 杜春娟 《辽宁师范大学学报(自然科学版)》 CAS 2001年第2期113-117,共5页
在一个topos中引入模糊子对象的概念 ,给出了一个对象的元素x对一个模糊子对象的隶属度的定义 .在一个布尔topos中讨论了模糊子对象的运算 .最后给出了由toposC的模糊子对象构成的范畴FC ,研究了范畴FC的等化子性质 ,有限积性质 ,并证... 在一个topos中引入模糊子对象的概念 ,给出了一个对象的元素x对一个模糊子对象的隶属度的定义 .在一个布尔topos中讨论了模糊子对象的运算 .最后给出了由toposC的模糊子对象构成的范畴FC ,研究了范畴FC的等化子性质 ,有限积性质 ,并证明了范畴FC有最终元存在 . 展开更多
关键词 topos 模糊子对象 模糊范畴 隶属度 模糊对象 等化子性质 有限积性质 最终元
在线阅读 下载PDF
范畴M-Fuz的Topos性质(续)
9
作者 李洪兴 袁学海 《辽宁师范大学学报(自然科学版)》 CAS 1998年第2期89-93,共5页
进一步讨论了范畴M┐Fuz的topos性质.指出虽然范畴M┐Fuz不是一个topos(因为它没有subobjectclasifiers),但它有两个特殊的物质,我们称之为中间物质和弱Subobectclasifier... 进一步讨论了范畴M┐Fuz的topos性质.指出虽然范畴M┐Fuz不是一个topos(因为它没有subobjectclasifiers),但它有两个特殊的物质,我们称之为中间物质和弱Subobectclasifier,这两个物质有类似于topos中的最终元和subobjectclassifier的功能.于是我们引入了W-Ω公理和wtopos的概念.特别当M={e}时。 展开更多
关键词 FUZZY集 范畴 M-集 topos性质
在线阅读 下载PDF
Topos中的有限对象
10
作者 卢涛 王习娟 《模糊系统与数学》 CSCD 北大核心 2016年第1期120-128,共9页
引入了topos中有限子集的概念,研究了K-(J-)有限子集和K-(J-)有限子对象之间的关系,证明了K-(J-)有限子集和K-(J-)有限对象的等价性,将一些格论中的经典结论推广到了topos中。
关键词 偏序对象 有限对象 有限子集 topos
原文传递
外延topos中的模糊物质 被引量:1
11
作者 王长川 《辽宁师范大学学报(自然科学版)》 CAS 2000年第1期1-5,共5页
在一个外延 top os中引入子物质套的概念 ,并在物质 d的子物质套的类 U( d)中引入弱等价关系和强等价关系 ,进而将子物质套的等价类定义为模糊子物质 .给出了模糊子物质的隶属函数 ,讨论了模糊子物质的运算 .其目的是为了在一个 topos... 在一个外延 top os中引入子物质套的概念 ,并在物质 d的子物质套的类 U( d)中引入弱等价关系和强等价关系 ,进而将子物质套的等价类定义为模糊子物质 .给出了模糊子物质的隶属函数 ,讨论了模糊子物质的运算 .其目的是为了在一个 topos的框架下开展模糊系统理论的研究 . 展开更多
关键词 范畴 模糊子物质 外延topos 模糊物质 隶属函数
在线阅读 下载PDF
Topos总第54期
12
《风景园林》 2006年第3期119-119,共1页
好的照明设计是夜间户外空间被接受的根本.规划者普遍认为其中的关键问题是照明质量。照明设计象其它环境设计学科一样,从宏观到微观都应进行考虑。Mark Major的文章对照明问题在照明总体规划、建造形式照明和细节照明三个层面进行了... 好的照明设计是夜间户外空间被接受的根本.规划者普遍认为其中的关键问题是照明质量。照明设计象其它环境设计学科一样,从宏观到微观都应进行考虑。Mark Major的文章对照明问题在照明总体规划、建造形式照明和细节照明三个层面进行了讨论。哪里有光哪里就有影子,Ilka Schmid的文章讨论了投影用于开放空间设计的潜力。Sandra Hofmeister就光空间的感知问题采访了艺术家Olafur Eliasson。 展开更多
关键词 topos 照明质量 SANDRA 户外空间 照明设计 MARK 建造形式 空间设计
在线阅读 下载PDF
Topos(德)第53期
13
《风景园林》 2006年第1期111-111,共1页
本期主题是交通,交通是社会兴旺的首要条件,需要进行文化交流和运输货物。在许多城市交通堵塞限制了坐车带来的自由。机动性成为每个人生存的需要。本期关注迥异的交通形式,介绍了一些可效仿的建筑。如台湾的步行桥、莱比锡汽车生产... 本期主题是交通,交通是社会兴旺的首要条件,需要进行文化交流和运输货物。在许多城市交通堵塞限制了坐车带来的自由。机动性成为每个人生存的需要。本期关注迥异的交通形式,介绍了一些可效仿的建筑。如台湾的步行桥、莱比锡汽车生产厂的复杂规划、以及以色列和布里斯班的机场。当意大利利古里亚海岸的火车线改道内陆后,原火车道成为线形海滨公园,为骑自行车、散步、慢跑和爬山带来了便利。亚洲数万的城市过去大规模的交通规划带来了越来越多的私家车,从而招致了更多的问题。在曼谷许多的曾作为水道的运河、渠道被填平铺路,后来直通大道穿过城市,现在高架火车系统架在混乱的交通道路上,同时也改变了人们经过闹市区的感觉。从上面鸟瞰,事物看起来会不同,德国埃姆舍地区的堤坝、桥和阿姆斯特丹B0rneo-Sporenburg地区的钢铁步行桥为人们带来了新的视野。瑞士园林设计师Olivier Lasserre则呈现了从空中乌瞰农田景观的景色。另外,还介绍墨尔本水中步行桥,荷兰新颖的公交站设计,挪威首都奥斯陆的主要大街——卡尔兆汉斯大街的改造,斯里兰卡海啸后海岸地区的发展与重建,约旦亚喀巴港的规划等。 展开更多
关键词 topos 园林设计师 交通堵塞 复杂规划 海岸地区 汽车生产厂 阿姆斯特丹 步行桥
在线阅读 下载PDF
Caddy Topos Sail篷车沙龙
14
《新潮电子》 2008年第10期241-241,共1页
打开车顶的天窗又或是顶篷,是否就是最拉风的兜风方式?当你看到大众Caddy Topos Sail篷车沙龙后,你才知道原来还可以如此享受生活。借车尾的梯架拾级而上,便能到达车顶的木制“甲板”,前端部分还可随意调整角度抬起,让身体以最舒... 打开车顶的天窗又或是顶篷,是否就是最拉风的兜风方式?当你看到大众Caddy Topos Sail篷车沙龙后,你才知道原来还可以如此享受生活。借车尾的梯架拾级而上,便能到达车顶的木制“甲板”,前端部分还可随意调整角度抬起,让身体以最舒适的姿势躺卧。 展开更多
关键词 topos 篷车 调整角度 车顶 天窗 大众 梯架 车尾
在线阅读 下载PDF
Galois Connections in A Topos 被引量:6
15
作者 Tao LU Wei HE Xi Juan WANG 《Journal of Mathematical Research and Exposition》 CSCD 2010年第3期381-389,共9页
In this paper, we investigate the Galois connections between two partially ordered objects in an arbitrary elementary topos. Some characterizations of Galois adjunctions which is similar to the classical case are obta... In this paper, we investigate the Galois connections between two partially ordered objects in an arbitrary elementary topos. Some characterizations of Galois adjunctions which is similar to the classical case are obtained by means of the diagram proof. This shows that the diagram method can be used to reconstruct the classical order theory in an arbitrary elementary topos. 展开更多
关键词 partial order object Galois connection topos.
在线阅读 下载PDF
Topos:生态零售样板社区
16
作者 安德鲁 《商务旅行》 2012年第3期23-24,共2页
一项名为"De Groene Kamer"(绿色房间)的竞赛在荷兰蒂尔堡展开。竞赛主办方计划在蒂尔堡的城郊开发一项公共土地,从事"生态零售"。他们对于项目将要做些什么已有明确的计划,总体规划也已由景观建筑设计公司——Fabr... 一项名为"De Groene Kamer"(绿色房间)的竞赛在荷兰蒂尔堡展开。竞赛主办方计划在蒂尔堡的城郊开发一项公共土地,从事"生态零售"。他们对于项目将要做些什么已有明确的计划,总体规划也已由景观建筑设计公司——Fabric & LOLA给出,他们现在需要的是一项包含四种建筑类型的设计。这有点类似于一个填空游戏,但当然要复杂得多。 展开更多
关键词 topos 建筑设计公司 蒂尔 总体规划 卜山 效果图 玻璃墙 十字形 玻璃门 城平
原文传递
改进的两柱Cd色谱分离流程和高精度的Cd同位素分析 被引量:1
17
作者 钟桥辉 彭冰钰 +4 位作者 何炽凤 郭家凯 初高彬 尹露 李杰 《地球科学》 北大核心 2025年第7期2511-2524,共14页
地质和环境样品中Cd同位素组成的准确、高精度分析对于研究海洋初级生产力、古环境变化、重金属Cd污染的溯源、硫化物矿床的成因和海洋Cd循环等领域具有重要意义.然而,环境和地质样品的低Cd含量和复杂基体给高精度Cd同位素分析带来挑战... 地质和环境样品中Cd同位素组成的准确、高精度分析对于研究海洋初级生产力、古环境变化、重金属Cd污染的溯源、硫化物矿床的成因和海洋Cd循环等领域具有重要意义.然而,环境和地质样品的低Cd含量和复杂基体给高精度Cd同位素分析带来挑战.针对地质和环境样品,开发了一种高效可靠的两柱Cd色谱分离流程和高精度的Cd同位素测定方法.在第一柱AG-MP-1M阴离子交换树脂中,主要基体元素(包括≥99%的Sn)被优先去除,随后Cd及少量残余的Sn用4 mL 1 M HNO_(3)溶液快速洗脱.与传统第二柱分离Cd常用的TRU.Spec、UTEVA和BPHA萃取树脂不同,除了Mo、Sn、Zr等元素,TOPO树脂还能有效去除其他潜在残余基体元素(如Mg、Fe、Pb、Ti、V、Ag、Cu、Zn等),且避免了树脂来源有机质引入的问题.Cd同位素比值在Neptune Plus MC-CP-MS上测定,仪器的质量分馏采用Cd的双稀释剂法(111Cd-113Cd)校正.两个标准溶液(NIST SRM 3108和Spex Cd)长期测量值的外部精度优于0.05‰.采用优化的两柱Cd色谱分离流程处理地质和环境标准样品,其测定的Cd同位素值在误差范围内与文献报道值一致,证实了该方法准确可靠且高效实用.此外,首次报道了国内的地质标样GSR-2、GSR-3及土壤标样GSS-6a的Cd同位素组成,这些参考数据为不同实验室间Cd同位素分析能力的评估和数据质量控制提供了依据.综上,本研究为地质和环境样品的高精度Cd同位素分析建立了一种高效实用的可靠分析方法. 展开更多
关键词 Cd同位素 TOPO树脂 色谱分离 双稀释剂法 地球化学
原文传递
油气田采出水中低浓度锂的高效提取研究
18
作者 单巧利 张沨喜 +5 位作者 滕泽林 张帆 张鑫 刘杰 武桂芝 夏文香 《材料导报》 北大核心 2025年第23期142-148,共7页
锂是国民经济发展和国防建设不可或缺的战略资源。油气田采出水中因含有工业开采价值的锂资源,已成为新的研究热点。以油气田采出水中低浓度锂(低至50 mg/L)为研究对象,以HBTA为萃取剂,详细考察了有机相性质(协萃剂种类、有机相组成、... 锂是国民经济发展和国防建设不可或缺的战略资源。油气田采出水中因含有工业开采价值的锂资源,已成为新的研究热点。以油气田采出水中低浓度锂(低至50 mg/L)为研究对象,以HBTA为萃取剂,详细考察了有机相性质(协萃剂种类、有机相组成、皂化度)、水相性质(初始锂浓度、水相pH值、温度)、操作条件(相比、萃取级数、有机相连续与循环利用性能)等因素对低浓度锂萃取效果的影响。研究发现,TOPO只与皂化后的HBTA产生协萃作用,即以Na·BTA·TOPO中的Na交换水溶液中的Li,形成Li·BTA·TOPO萃合物。常温下,当HBTA浓度为0.020 mol/L,TOPO浓度为0.020 mol/L,皂化度为100%,水油相比为1∶1时,锂的单级萃取率可达60%,经过三级萃取,锂的萃取率可达90%以上。有机相连续再生7次后,仍保持较高的萃取效率。研究结论可为油气田水中低浓度锂的提取提供技术支持。 展开更多
关键词 油气田采出水 HBTA TOPO 萃取
在线阅读 下载PDF
集合套范畴的研究 被引量:3
19
作者 赵宝江 张型岱 +1 位作者 袁学海 陈图云 《模糊系统与数学》 CSCD 2002年第1期29-35,共7页
模糊集理论与 Topos理论有着密切的联系 ,借助于模糊集理论中的集合套理论 ,引入了两种新的范畴——集合套范畴 SEB1和 SEB2。首先证明了 SEB1满足卡氏积封闭性 (Cartesian Closed) ,但没有SC(子对象分类器 ) ,所以 SEB1不是 Topos.其... 模糊集理论与 Topos理论有着密切的联系 ,借助于模糊集理论中的集合套理论 ,引入了两种新的范畴——集合套范畴 SEB1和 SEB2。首先证明了 SEB1满足卡氏积封闭性 (Cartesian Closed) ,但没有SC(子对象分类器 ) ,所以 SEB1不是 Topos.其次 ,得出 SEB2是一个 展开更多
关键词 范畴 卡氏积封闭性 集合套 模糊集 topos理论
在线阅读 下载PDF
个体集和强个体集的范畴性质 被引量:1
20
作者 李生刚 杨文华 伏文清 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2013年第1期1-4,14,共5页
研究了个体集和强个体集的范畴性质.利用范畴论方法证明了个体集范畴、强个体集范畴与集合范畴在许多方面是相似的.例如,具有任一给定基数的个体集和强个体集是存在的;个体集和强个体集对于子集、幂运算封闭;非空个体集范畴和非空强个... 研究了个体集和强个体集的范畴性质.利用范畴论方法证明了个体集范畴、强个体集范畴与集合范畴在许多方面是相似的.例如,具有任一给定基数的个体集和强个体集是存在的;个体集和强个体集对于子集、幂运算封闭;非空个体集范畴和非空强个体集范畴都是完备的monoidaltopoi.构造了超结构函子V和超幂函子HF并得到:(1)对任意非空强个体集X和Y,g:X→Y是单射(resp.,满射)当且仅当V(g)是单射(resp.,满射);(2)对任意集X和Y,g:X→Y是单射(resp.,满射)当且仅当HF(g)是单射(resp.,满射). 展开更多
关键词 个体集 强个体集 范畴 完备范畴 MONOIDAL范畴 topos 超结构函子 超幂函子
在线阅读 下载PDF
上一页 1 2 17 下一页 到第
使用帮助 返回顶部