检索结果-维普期刊中文期刊服务平台

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分: 1; 作者张东摩施庆生姜宁根《南京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第4期402-406,共5页; 在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经... 展开更多; 关键词数理逻辑集合论中介公理集合论良集; 在线阅读下载PDF 职称材料

钢筋混凝土受弯构件的断裂有限元分析被引量：8: 2; 作者王振波徐道远 +1 位作者蒋桐杨春河《大连理工大学学报》 EI CAS CSCD 北大核心 1997年第S1期55-58,共4页; 将混凝土线弹性断裂力学用于钢筋混凝土结构，对五种不同含钢率的钢筋混凝土梁的裂缝扩展问题，分别进行了以应力为判据的钢筋混凝土非线性有限元计算和以应力强度因子为判据的断裂有限元计算，同时对两组不同配筋率的钢筋混凝土梁进行... 展开更多; 关键词钢筋混凝土断裂试验有限元法配筋率断裂准则; 在线阅读下载PDF 职称材料

MS 中的自然数系统被引量：2: 3; 作者张东摩施庆生 +1 位作者姜宁根朱梧 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第2期179-184,共6页; 首先给出了中介逻辑ＭＬ的二值子系统ＦＩ＊ＭＬ，说明了它与经典二值逻辑的子系统ＦＩ＊同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为... 展开更多; 关键词数理逻辑自然数系统公理集合论中介逻辑; 在线阅读下载PDF 职称材料

一类奇摄动三阶系统边值问题的渐近解被引量：1: 4; 作者濮来武《应用数学》 CSCD 北大核心 1992年第1期7-13,共7页; 本文获得了一类三阶系统边值问题解的存在性及其精确到任意精度的一致有效估计.; 关键词边值问题奇摄动渐近解三阶系统; 在线阅读下载PDF 职称材料

题名中介公理集合论系统与经典公理集合论系统的关系——形式证明部分: 1; 作者张东摩施庆生姜宁根; 机构南京航空航天大学计算机科学与工程系南京建筑工程学院基础部南京大学计算机系软件新技术国家重点实验室; 出处《南京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第4期402-406,共5页; 基金国家攀登计划国家高技术"863"计划资助; 文摘在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。; 关键词数理逻辑集合论中介公理集合论良集; Keywords mathematical logics set theory axiomatic set theory axiomatic medium set theory well set; 分类号 O144 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名钢筋混凝土受弯构件的断裂有限元分析被引量：8: 2; 作者王振波徐道远蒋桐杨春河; 机构河海大学土木工程学院南京建筑工程学院基础部; 出处《大连理工大学学报》 EI CAS CSCD 北大核心 1997年第S1期55-58,共4页; 文摘将混凝土线弹性断裂力学用于钢筋混凝土结构，对五种不同含钢率的钢筋混凝土梁的裂缝扩展问题，分别进行了以应力为判据的钢筋混凝土非线性有限元计算和以应力强度因子为判据的断裂有限元计算，同时对两组不同配筋率的钢筋混凝土梁进行了试验研究．其结果表明，配筋率对裂缝的扩展有很大影响；用有限元法分析具有较低配筋率的钢筋混凝土构件时。; 关键词钢筋混凝土断裂试验有限元法配筋率断裂准则; Keywords reinforced concrete fracture tests finite element methods steel ratio fracture criteria; 分类号 O346.1 [理学—固体力学]; 在线阅读下载PDF 职称材料

题名MS 中的自然数系统被引量：2: 3; 作者张东摩施庆生姜宁根朱梧; 机构南京航空航天大学计算机科学与工程系南京建筑工程学院基础部南京大学软件高技术国家重点实验室; 出处《南京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第2期179-184,共6页; 基金国家攀登计划国家高技术863计划资助; 文摘首先给出了中介逻辑ＭＬ的二值子系统ＦＩ＊ＭＬ，说明了它与经典二值逻辑的子系统ＦＩ＊同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为公理，并以ＦＩ＊ＭＬ为配套逻辑，在ＭＳ中可推出自然数的所有性质。这表明Ｐｅａｎｏ自然数系统能在ＭＳ中产生，为最终证明精确性经典数学能奠基于ＭＳ提供了理论基础。; 关键词数理逻辑自然数系统公理集合论中介逻辑; Keywords mathematical logic mathematical theories natural number system axiomatic set theory medium logic axiomatic medium set theory; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名一类奇摄动三阶系统边值问题的渐近解被引量：1: 4; 作者濮来武; 机构南京建筑工程学院基础部; 出处《应用数学》 CSCD 北大核心 1992年第1期7-13,共7页; 文摘本文获得了一类三阶系统边值问题解的存在性及其精确到任意精度的一致有效估计.; 关键词边值问题奇摄动渐近解三阶系统; Keywords Singular pecturbation methods Differential inequalities Theory of invariant; 分类号 O175.8 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	中介公理集合论系统与经典公理集合论系统的关系——形式证明部分	张东摩施庆生姜宁根	《南京航空航天大学学报》 EI CAS CSCD 北大核心	1997	0	在线阅读下载PDF 职称材料
2	钢筋混凝土受弯构件的断裂有限元分析	王振波徐道远蒋桐杨春河	《大连理工大学学报》 EI CAS CSCD 北大核心	1997	8	在线阅读下载PDF 职称材料
3	MS 中的自然数系统	张东摩施庆生姜宁根朱梧	《南京航空航天大学学报》 EI CAS CSCD 北大核心	1997	2	在线阅读下载PDF 职称材料
4	一类奇摄动三阶系统边值问题的渐近解	濮来武	《应用数学》 CSCD 北大核心	1992	1	在线阅读下载PDF 职称材料