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

逻辑系统,W,W_k中F(S)的一个分划及其升级算法的性质被引量：9: 1; 作者吴洪博文秋梅《陕西师大学报（自然科学版）》 CSCD 北大核心 2000年第2期12-17,共6页; 研究了逻辑系统W ,W ,Wk 中F(S)的分划问题及其升级算法的一些性质 .分别在W ,W ,Wk 中利用可达广义重言式的概念给出F(S)的一个关于同余的分划 ,并证明了 :在W (W )中 ,重言式不可能由对非重言式利用升级算法得到 ;在Wk中 ,对任一公... 展开更多; 关键词命题演算可达α^+-重言式升级算法逻辑系统; 在线阅读下载PDF 职称材料

金融领域信息系统密码算法升级的研究与实现: 2; 作者陈芳周皓汤洋《信息安全研究》 2016年第8期754-759,共6页; 首先阐述了金融领域信息系统的特点及密码算法的现状,分析了金融领域信息系统密码算法的具体应用.在此基础上,提出了金融领域密码算法升级的技术要点和实施路径,并结合金融信息系统密码算法升级的实践,验证了金融领域密码体系升级的可行... 展开更多; 关键词密码算法金融信息系统算法升级加密 SM4算法; 在线阅读下载PDF 职称材料

Gdel逻辑系统中F(S)的一个分划及其应用被引量：17: 3; 作者吴洪博阎满富《工程数学学报》 CSCD 北大核心 2001年第4期61-68,共8页; 将王国俊教授于 1997年以来在逻辑系统 W、W、Wk中引入的广义重言式理论加以扩充、推广 ,引入α 矛盾式等概念并应用于G¨odel逻辑系统 G、G、Gn中 ,得到了 (1)在逻辑系统 G、G 中 ,重言式不可能由对非重言式进行有限次升级算法... 展开更多; 关键词模糊逻辑语义广义重言式广义矛盾式升级算法分划降级算法 Goedel逻辑系统; 在线阅读下载PDF 职称材料

泛逻辑的中极形式系统中的广义重言式理论被引量：1: 4; 作者马盈仓何华灿薛占熬《计算机工程与应用》 CSCD 北大核心 2004年第35期15-16,32,共3页; 论文对泛逻辑的广义重言式理论进行研究,给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的中极形式系统中,对于犤0,1犦内的任意有理数,均有可达重言式,且是类类互异的;给出有理点的一个升级算法;当α∈Q∩... 展开更多; 关键词泛逻辑学广义重言式升级算法广义语义MP规则广义语义HS规则中极形式系统; 在线阅读下载PDF 职称材料

变压器铁芯接地电流在线监测系统设计及其带电检测不确定度评定被引量：9: 5; 作者包玉树胡永建 +2 位作者吕佳孙雄黄亚龙《电测与仪表》北大核心 2023年第4期150-154,共5页; 在保持变压器铁芯接地电流在线监测系统硬件设施不变的前提下,研究了一种该系统的算法升级策略。使用多测点多列交叉神经网络支持的机器学习对该系统的接地电流进行测量,同时研究一种基于6倍标准误差率的检测不确定度标识方法,研究该系... 展开更多; 关键词铁芯接地电流在线监测算法升级不确定度标准偏差率; 在线阅读下载PDF 职称材料

题名逻辑系统,W,W_k中F(S)的一个分划及其升级算法的性质被引量：9: 1; 作者吴洪博文秋梅; 机构陕西师范大学数学研究所唐山师范学院数学系; 出处《陕西师大学报（自然科学版）》 CSCD 北大核心 2000年第2期12-17,共6页; 文摘研究了逻辑系统W ,W ,Wk 中F(S)的分划问题及其升级算法的一些性质 .分别在W ,W ,Wk 中利用可达广义重言式的概念给出F(S)的一个关于同余的分划 ,并证明了 :在W (W )中 ,重言式不可能由对非重言式利用升级算法得到 ;在Wk中 ,对任一公式最多进行 k + 12 次升级算法即可得到重言式 .; 关键词命题演算可达α^+-重言式升级算法逻辑系统; Keywords propositional calculus accessible α + tautology partition upgrade algorithm α contradiction; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名金融领域信息系统密码算法升级的研究与实现: 2; 作者陈芳周皓汤洋; 机构中国银联股份有限公司; 出处《信息安全研究》 2016年第8期754-759,共6页; 文摘首先阐述了金融领域信息系统的特点及密码算法的现状,分析了金融领域信息系统密码算法的具体应用.在此基础上,提出了金融领域密码算法升级的技术要点和实施路径,并结合金融信息系统密码算法升级的实践,验证了金融领域密码体系升级的可行性,有利于带动整个金融领域进行密码算法升级.; 关键词密码算法金融信息系统算法升级加密 SM4算法; Keywords encryption algorithm financial information system algorithm promotion encryption SM4; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名Gdel逻辑系统中F(S)的一个分划及其应用被引量：17: 3; 作者吴洪博阎满富; 机构唐山师范学院数学系; 出处《工程数学学报》 CSCD 北大核心 2001年第4期61-68,共8页; 文摘将王国俊教授于 1997年以来在逻辑系统 W、W、Wk中引入的广义重言式理论加以扩充、推广 ,引入α 矛盾式等概念并应用于G¨odel逻辑系统 G、G、Gn中 ,得到了 (1)在逻辑系统 G、G 中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;(2 )在逻辑系统Gn中 ,对任一公式最多进行n - 1次升级算法即可得到重言式 ;(3)在逻辑系统Gn 中 ,C(Gn) ,in- 1-C(Gn) ,in- 1-T(Gn) ,T(Gn) ｜i∈ { 1,2 ,… ,n- 2 }是F(S)的一个关于同余的分划 ;在逻辑系统 G中 ,C( G) ,(12 ) - -C( G) ,12 -C( G) ,[1- ]-C( G) ,[0 +]-T( G) ,12 -T( G) ,(12 ) +-T( G) ,T( G)是F(S)的一个关于同余的分划。 (4)在 [0 ]-T(R) (R ∈ { G ,G ,Gn} ); 关键词模糊逻辑语义广义重言式广义矛盾式升级算法分划降级算法 Goedel逻辑系统; 分类号 B815.6 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名泛逻辑的中极形式系统中的广义重言式理论被引量：1: 4; 作者马盈仓何华灿薛占熬; 机构西北工业大学计算机学院; 出处《计算机工程与应用》 CSCD 北大核心 2004年第35期15-16,32,共3页; 基金国家自然科学基金(编号:60273087) 国家863高技术研究发展计划项目(编号:2002AA412020) 北京市自然科学基金项目(编号:4032009); 文摘论文对泛逻辑的广义重言式理论进行研究,给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的中极形式系统中,对于犤0,1犦内的任意有理数,均有可达重言式,且是类类互异的;给出有理点的一个升级算法;当α∈Q∩(0,1)时,犤α犦-MP规则与犤α犦-HS规则不成立。; 关键词泛逻辑学广义重言式升级算法广义语义MP规则广义语义HS规则中极形式系统; Keywords universal logic,generalized tautologies,upgrade algorithm,generalized semantic MP rule,generalized semantic HS rule; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程] O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名变压器铁芯接地电流在线监测系统设计及其带电检测不确定度评定被引量：9: 5; 作者包玉树胡永建吕佳孙雄黄亚龙; 机构江苏方天电力技术有限公司; 出处《电测与仪表》北大核心 2023年第4期150-154,共5页; 基金国网江苏省电力有限公司科技项目(J2017025) 江苏方天电力技术有限公司科技项目(KJXM-0148)。; 文摘在保持变压器铁芯接地电流在线监测系统硬件设施不变的前提下,研究了一种该系统的算法升级策略。使用多测点多列交叉神经网络支持的机器学习对该系统的接地电流进行测量,同时研究一种基于6倍标准误差率的检测不确定度标识方法,研究该系统算法升级策略的同时,分析不确定度的标识方法。技术革新后的变压器铁芯接地电流监测误差小于±0.395%,可以满足对变压器铁芯接地电流的测量需求。且该算法可以排除实际测量中因为变压器内外部复合故障导致的接地电流产生机理差异性影响。同时,重点研究了对铁芯接地电流误差测量中的扩展不确定度测量方法确认问题,实验数据验证了6倍标准偏差率作为扩展不确定度测量标度,可以满足该系统的测量误差标定需求。; 关键词铁芯接地电流在线监测算法升级不确定度标准偏差率; Keywords core grounding current online monitoring algorithm upgrading uncertainty standard deviation rate; 分类号 TM307 [电气工程—电机]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	逻辑系统,W,W_k中F(S)的一个分划及其升级算法的性质	吴洪博文秋梅	《陕西师大学报（自然科学版）》 CSCD 北大核心	2000	9	在线阅读下载PDF 职称材料
2	金融领域信息系统密码算法升级的研究与实现	陈芳周皓汤洋	《信息安全研究》	2016	0	在线阅读下载PDF 职称材料
3	Gdel逻辑系统中F(S)的一个分划及其应用	吴洪博阎满富	《工程数学学报》 CSCD 北大核心	2001	17	在线阅读下载PDF 职称材料
4	泛逻辑的中极形式系统中的广义重言式理论	马盈仓何华灿薛占熬	《计算机工程与应用》 CSCD 北大核心	2004	1	在线阅读下载PDF 职称材料
5	变压器铁芯接地电流在线监测系统设计及其带电检测不确定度评定	包玉树胡永建吕佳孙雄黄亚龙	《电测与仪表》北大核心	2023	9	在线阅读下载PDF 职称材料