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

不一致信念的定量非修正方法满足AGM公设的讨论被引量：1: 1; 作者尚颖邓安生鞠晓东《计算机工程与科学》 CSCD 2004年第5期106-109,共4页; 常识推理的核心问题为信念修正问题 ,研究人员就此已经提出了许多方法 ,其中AGM理论是最有影响的一个。本文讨论并逐条证明了定量非修正方法满足AGM公设的情况。; 关键词信念修正 AGM理论定量非修正方法认识理论人工智能; 在线阅读下载PDF 职称材料

基于非修正方法的认识进程及其极限被引量：3: 2; 作者张丽英邓安生《东北师大学报（自然科学版）》 CAS CSCD 2000年第3期108-111,共4页; 基于一阶逻辑 ,在对假说中的不一致信念不做任何修正的条件下 ,将根据已有的信念能够推出的没有相反信息的结论的集合作为假说的扩充 ,假说的扩充是单调的 ,当且仅当假说在增长过程中没有遇到相反的信息 .如果将假说的无限增长过程理解... 展开更多; 关键词认识进程假说极限无限增长过程非修正方法; 在线阅读下载PDF 职称材料

修正的Helmholtz方程柯西问题的一种非局部边值问题方法: 3; 作者杨宏《兰州理工大学学报》 CAS 北大核心 2014年第2期162-164,共3页; 用一种修正的非局部边值问题方法,研究严重不适定修正的Helmholtz方程柯西问题.在对精确解的先验假设和正则化参数的选取下,得到相应的收敛性估计,数值结果表明该方法是稳定可行的.; 关键词修正的Helmholtz方程柯西问题修正的非局部边值问题方法收敛性估计; 在线阅读下载PDF 职称材料

等离子体双流不稳定性中一类非线性方程的数值方法: 4; 作者宫野《大连理工大学学报》 CAS CSCD 北大核心 1996年第3期270-273,共4页; 研制了一个称为修正ＡＢＳ方法的计算机Ｃｏｄｅ．利用该Ｃｏｄｅ数值求解了等离子体双流不稳定性激发条件中含有积分项的一类非线性方程组，获得了满意的结果．修正ＡＢＳ方法的收敛速度为平方阶。; 关键词等离子体双流不稳定性非线性方程/修正ABS方法; 在线阅读下载PDF 职称材料

题名不一致信念的定量非修正方法满足AGM公设的讨论被引量：1: 1; 作者尚颖邓安生鞠晓东; 机构北京化工大学信息科学与技术学院北京厦门大学计算机科学系吉林工学院计算机科学系; 出处《计算机工程与科学》 CSCD 2004年第5期106-109,共4页; 基金国家自然科学基金资助项目 ( 6970 3 0 10 ) 国家高技术探索项目 ( 69983 0 0 2 ); 文摘常识推理的核心问题为信念修正问题 ,研究人员就此已经提出了许多方法 ,其中AGM理论是最有影响的一个。本文讨论并逐条证明了定量非修正方法满足AGM公设的情况。; 关键词信念修正 AGM理论定量非修正方法认识理论人工智能; Keywords belief revision AGM theory extension epistemic process; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于非修正方法的认识进程及其极限被引量：3: 2; 作者张丽英邓安生; 机构吉林工业大学交通学院东北师范大学计算机科学系; 出处《东北师大学报（自然科学版）》 CAS CSCD 2000年第3期108-111,共4页; 基金国家自然科学基金资助项目!( 6970 3 0 1 0 69983 0 0 2 ); 文摘基于一阶逻辑 ,在对假说中的不一致信念不做任何修正的条件下 ,将根据已有的信念能够推出的没有相反信息的结论的集合作为假说的扩充 ,假说的扩充是单调的 ,当且仅当假说在增长过程中没有遇到相反的信息 .如果将假说的无限增长过程理解为一个认识进程 ,则认识进程中假说的扩充收敛于一个确定的极限 .; 关键词认识进程假说极限无限增长过程非修正方法; Keywords premise deduction extension epistemic process; 分类号 O141 [理学—基础数学] TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名修正的Helmholtz方程柯西问题的一种非局部边值问题方法: 3; 作者杨宏; 机构兰州理工大学技术工程学院; 出处《兰州理工大学学报》 CAS 北大核心 2014年第2期162-164,共3页; 文摘用一种修正的非局部边值问题方法,研究严重不适定修正的Helmholtz方程柯西问题.在对精确解的先验假设和正则化参数的选取下,得到相应的收敛性估计,数值结果表明该方法是稳定可行的.; 关键词修正的Helmholtz方程柯西问题修正的非局部边值问题方法收敛性估计; Keywords modified Helmholtz equation Cauchy problem solution of modified non-local boundary value problem convergence estimates; 分类号 O242 [理学—计算数学]; 在线阅读下载PDF 职称材料

题名等离子体双流不稳定性中一类非线性方程的数值方法: 4; 作者宫野; 机构大连理工大学物理系; 出处《大连理工大学学报》 CAS CSCD 北大核心 1996年第3期270-273,共4页; 文摘研制了一个称为修正ＡＢＳ方法的计算机Ｃｏｄｅ．利用该Ｃｏｄｅ数值求解了等离子体双流不稳定性激发条件中含有积分项的一类非线性方程组，获得了满意的结果．修正ＡＢＳ方法的收敛速度为平方阶。; 关键词等离子体双流不稳定性非线性方程/修正ABS方法; Keywords plasma two stream instability nonlinear equations/modified ABS method; 分类号 O534 [理学—等离子体物理]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	不一致信念的定量非修正方法满足AGM公设的讨论	尚颖邓安生鞠晓东	《计算机工程与科学》 CSCD	2004	1	在线阅读下载PDF 职称材料
2	基于非修正方法的认识进程及其极限	张丽英邓安生	《东北师大学报（自然科学版）》 CAS CSCD	2000	3	在线阅读下载PDF 职称材料
3	修正的Helmholtz方程柯西问题的一种非局部边值问题方法	杨宏	《兰州理工大学学报》 CAS 北大核心	2014	0	在线阅读下载PDF 职称材料
4	等离子体双流不稳定性中一类非线性方程的数值方法	宫野	《大连理工大学学报》 CAS CSCD 北大核心	1996	0	在线阅读下载PDF 职称材料