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

具有迹-NG性质的C^＊-代数的K0群性质: 1; 作者杨新兵方小春刘秀梅《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第7期995-998,1001,共5页; 研究C*-代数K0群的弱无孔性质、Riesz内插值性质,把这2种性质统称为NG性质;并且引入具有迹-NG性质的C*-代数概念.如果单的有单位元的C*-代数具有迹NG性质,则群K0(A)具有NG性质.; 关键词 C^＊-代数迹-NG性质 K0群; 在线阅读下载PDF 职称材料

一类具有弱无孔性质的C＊-代数＊被引量：1: 2; 作者范庆斋方小春《数学年刊（A辑）》 CSCD 北大核心 2012年第1期113-122,共10页; 证明了一类G＊-代数的弱无孔性质可以遗传到通过此类G＊-代数迹逼近后得到的G＊-代数中．同时证明了具有弱无孔性质的G＊-代数经过具有迹Rokhlin性质的有限群作用后得到的交叉积C＊-代数也具有弱无孔性质。; 关键词 C~*-代数迹rokhlin性质弱无孔性质; 在线阅读下载PDF 职称材料

用模型检验产生安全性质的测试被引量：1: 3; 作者曾红卫缪淮扣《应用科学学报》 EI CAS CSCD 北大核心 2011年第5期529-536,共8页; 安全关键系统必须满足规定的安全性质.测试生成通常独立于给定性质,"先验证再测试"的方法不能保证安全性质被测试.为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法.用输出变异建立被测实现的输出-完全模型,... 展开更多; 关键词安全性质模型检验测试生成危险迹; 在线阅读下载PDF 职称材料

强无限C~*-代数的性质(英文): 4; 作者梁月亮《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第1期104-114,共11页; 给出C＊-代数迹极限的等价形式,从正元的角度提出强无限C＊-代数的概念.研究了强无限C＊-代数与纯无限C＊-代数之间的基本关系,具有SP-性质的强无限C＊-代数的迹极限为强无限的.对于实秩零的C＊-代数A而言,若闭双边理想I及商代数A/I为... 展开更多; 关键词纯无限C~*-代数迹极限 SP-性质; 在线阅读下载PDF 职称材料

SPN型密码的通用子空间迹分析被引量：2: 5; 作者宋蝉张蕾吴文玲《软件学报》 EI CSCD 北大核心 2023年第12期5807-5821,共15页; SPN结构是目前最广泛使用的一种分组密码整体结构,AES、ARIA等分组密码算法均采用此结构,对此类SPN型密码的安全性分析是密码分析中的一个研究热点.将子空间迹密码分析方法应用到典型二维SPN型密码和典型三维SPN型密码中,可分别得到其... 展开更多; 关键词 SPN型密码子空间迹倍数性质 PHOTON置换 3D算法; 在线阅读下载PDF 职称材料

冻结条件下平行双裂隙岩体力学特性试验研究被引量：6: 6; 作者张晋勋杨昊 +2 位作者单仁亮武福美郭志明《岩土力学》 EI CAS CSCD 北大核心 2017年第12期3573-3580,3589,共9页; 裂隙是影响工程岩体稳定的重要因素,而平行双裂隙是一种重要的裂隙分布形式,基于已有的研究成果,开展一系列平行双裂隙类岩石三轴压缩试验,研究裂隙产状对平行双裂隙岩体力学性质和破坏形态的影响。试验结果表明:平行双裂隙岩体强度、... 展开更多; 关键词平行双裂隙岩体裂隙倾角裂隙间距迹长力学性质; 在线阅读下载PDF 职称材料

工程岩体不连续面几何参数的估计: 7; 作者张兴杨庆《有色金属》 CSCD 1989年第3期17-21,共5页; 岩体中的不连续面对工程性质有很大的影响。特别是那些产状不利并且贯通整个工程范围的不连续面对工程性质有决定性的影响。本文提出基本节理面参数和工程节理面参数的概念,并把工程节理而分为关键节理面和非关键节理面讨论。由基本节... 展开更多; 关键词节理面工程性质不连续面间断面工程岩体迹长几何参数; 在线阅读下载PDF 职称材料

题名具有迹-NG性质的C^＊-代数的K0群性质: 1; 作者杨新兵方小春刘秀梅; 机构同济大学数学系浙江师范大学行知学院; 出处《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第7期995-998,1001,共5页; 文摘研究C*-代数K0群的弱无孔性质、Riesz内插值性质,把这2种性质统称为NG性质;并且引入具有迹-NG性质的C*-代数概念.如果单的有单位元的C*-代数具有迹NG性质,则群K0(A)具有NG性质.; 关键词 C^＊-代数迹-NG性质 K0群; Keywords C^＊-algebras tracial-NG property K0 grouo; 分类号 O177.5 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名一类具有弱无孔性质的C＊-代数＊被引量：1: 2; 作者范庆斋方小春; 机构上海海事大学文理学院同济大学数学系; 出处《数学年刊（A辑）》 CSCD 北大核心 2012年第1期113-122,共10页; 基金国家自然科学基金(No.11071159 No.11101268) 上海海事大学科研基金(No.20110052)资助的项目; 文摘证明了一类G＊-代数的弱无孔性质可以遗传到通过此类G＊-代数迹逼近后得到的G＊-代数中．同时证明了具有弱无孔性质的G＊-代数经过具有迹Rokhlin性质的有限群作用后得到的交叉积C＊-代数也具有弱无孔性质。; 关键词 C~*-代数迹rokhlin性质弱无孔性质; Keywords C＊-algebra, Tracial rokhlin property, Weakly unperforated property; 分类号 O177.5 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名用模型检验产生安全性质的测试被引量：1: 3; 作者曾红卫缪淮扣; 机构上海大学计算机工程与科学学院上海市计算机软件评测重点实验室; 出处《应用科学学报》 EI CAS CSCD 北大核心 2011年第5期529-536,共8页; 基金国家自然科学基金(No.60970007 No.61073050) +2 种基金上海市重点学科建设项目基金(No.J50103)资助; 文摘安全关键系统必须满足规定的安全性质.测试生成通常独立于给定性质,"先验证再测试"的方法不能保证安全性质被测试.为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法.用输出变异建立被测实现的输出-完全模型,通过发现危险迹产生测试用例.给出了基于图结构覆盖的安全性质测试准则,提出了形式化测试准则的方法.使用模型检验器NuSMV检验输出-完全模型可产生既满足结构覆盖又与安全性质相关的测试用例.; 关键词安全性质模型检验测试生成危险迹; Keywords safety property, model checking, test generation, dangerous trace; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名强无限C~*-代数的性质(英文): 4; 作者梁月亮; 机构华东师范大学数学系; 出处《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第1期104-114,共11页; 基金国家自然科学基金(11171109); 文摘给出C＊-代数迹极限的等价形式,从正元的角度提出强无限C＊-代数的概念.研究了强无限C＊-代数与纯无限C＊-代数之间的基本关系,具有SP-性质的强无限C＊-代数的迹极限为强无限的.对于实秩零的C＊-代数A而言,若闭双边理想I及商代数A/I为强无限的,则A为强无限的.具有SP-性质的强无限C＊-代数的非零的闭双边理想为强无限的.一个强无限C＊-代数的有限直和仍然是强无限的.; 关键词纯无限C~*-代数迹极限 SP-性质; Keywords purely infinite C＊-algebras tracial limit SP-property; 分类号 O182 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名SPN型密码的通用子空间迹分析被引量：2: 5; 作者宋蝉张蕾吴文玲; 机构中国科学院软件研究所中国科学院大学密码科学技术国家重点实验室; 出处《软件学报》 EI CSCD 北大核心 2023年第12期5807-5821,共15页; 基金国家自然科学基金(62072445)。; 文摘 SPN结构是目前最广泛使用的一种分组密码整体结构,AES、ARIA等分组密码算法均采用此结构,对此类SPN型密码的安全性分析是密码分析中的一个研究热点.将子空间迹密码分析方法应用到典型二维SPN型密码和典型三维SPN型密码中,可分别得到其相应的子空间迹和基于子空间迹的通用性质,该性质与密钥、S盒以及列混淆矩阵的定义均无关,可具体描述为:针对一个状态可形式化为n×m二维数组的典型二维SPN型密码,属于类对角子空间同一陪集的所有明文经过5轮加密得到的密文中属于混淆子空间同一陪集的不同密文对数量一定为2^(n-1)的倍数;针对一个状态可形式化为l×n×m三维数组的典型三维SPN型密码,属于类对角子空间同一陪集的所有明文经过7轮加密得到的密文中属于混淆子空间同一陪集的不同密文对数量一定为2^(nl-1)的倍数.此外,不仅对该性质进行了证明,还在PHOTON算法的内部置换以及小规模版本Rijndael算法、3D算法、Saturnin算法上进行了实验验证,结果与该性质完全一致.; 关键词 SPN型密码子空间迹倍数性质 PHOTON置换 3D算法; Keywords SPN cipher subspace trail multiple property PHOTON’s permutation 3D algorithm; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名冻结条件下平行双裂隙岩体力学特性试验研究被引量：6: 6; 作者张晋勋杨昊单仁亮武福美郭志明; 机构北京城建集团有限责任公司博士后工作站中国矿业大学力学与建筑工程学院; 出处《岩土力学》 EI CAS CSCD 北大核心 2017年第12期3573-3580,3589,共9页; 基金国家自然科学基金资助项目(No.41572270)~~; 文摘裂隙是影响工程岩体稳定的重要因素,而平行双裂隙是一种重要的裂隙分布形式,基于已有的研究成果,开展一系列平行双裂隙类岩石三轴压缩试验,研究裂隙产状对平行双裂隙岩体力学性质和破坏形态的影响。试验结果表明:平行双裂隙岩体强度、弹性模量和泊松比受迹长和迹长比共同影响,受裂隙间距影响较小,随倾角增大,先减小后增大;倾角<30°时,破裂面起始于裂隙端部贯穿岩桥,并沿最大主应力方向发展,倾角在30°~60°之间时,沿其中一条裂隙剪切破坏。迹长和迹长比较小时(贯通率<25%,迹长比<2.5),破坏形态与裂隙无关;迹长较大(贯通率>75%),迹长比较小时(迹长比<1),破坏形态取决于长裂隙;迹长介于两者之间时(贯通率25%~75%),迹长比接近1时,受两条裂隙共同影响。; 关键词平行双裂隙岩体裂隙倾角裂隙间距迹长力学性质; Keywords two parallel fractured rock fracture dip fracture spacing trace length mechanical properties; 分类号 TU457 [建筑科学—岩土工程]; 在线阅读下载PDF 职称材料

题名工程岩体不连续面几何参数的估计: 7; 作者张兴杨庆; 机构北京科技大学包头钢铁学院; 出处《有色金属》 CSCD 1989年第3期17-21,共5页; 文摘岩体中的不连续面对工程性质有很大的影响。特别是那些产状不利并且贯通整个工程范围的不连续面对工程性质有决定性的影响。本文提出基本节理面参数和工程节理面参数的概念,并把工程节理而分为关键节理面和非关键节理面讨论。由基本节理面的几何参数可以估计任何工程范围内工程节理面的几何参数,如间距、迹长和出现概率。一般的情况下基本节理面和工程节理面的几何参数是不同的。; 关键词节理面工程性质不连续面间断面工程岩体迹长几何参数; 分类号 TD862 [矿业工程—金属矿开采] TF80 [冶金工程—有色金属冶金]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	具有迹-NG性质的C^＊-代数的K0群性质	杨新兵方小春刘秀梅	《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
2	一类具有弱无孔性质的C＊-代数＊	范庆斋方小春	《数学年刊（A辑）》 CSCD 北大核心	2012	1	在线阅读下载PDF 职称材料
3	用模型检验产生安全性质的测试	曾红卫缪淮扣	《应用科学学报》 EI CAS CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
4	强无限C~*-代数的性质(英文)	梁月亮	《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心	2013	0	在线阅读下载PDF 职称材料
5	SPN型密码的通用子空间迹分析	宋蝉张蕾吴文玲	《软件学报》 EI CSCD 北大核心	2023	2	在线阅读下载PDF 职称材料
6	冻结条件下平行双裂隙岩体力学特性试验研究	张晋勋杨昊单仁亮武福美郭志明	《岩土力学》 EI CAS CSCD 北大核心	2017	6	在线阅读下载PDF 职称材料
7	工程岩体不连续面几何参数的估计	张兴杨庆	《有色金属》 CSCD	1989	0	在线阅读下载PDF 职称材料