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

模糊命题模态逻辑的Tableau方法被引量：1: 1; 作者刘磊王强吕帅《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2017年第6期914-920,共7页; 为提高模糊命题模态逻辑(fuzzy propositional modal logic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau规则并证明了其正确性,给出了模糊断言集合的约简策略;在此基础上给出了FPML中的不... 展开更多; 关键词 tableau方法模态逻辑模糊命题模态逻辑不确定推理一致性检测模糊断言集合; 在线阅读下载PDF 职称材料

价键理论新进展被引量：2: 2; 作者莫亦荣吴玮张乾二《高等学校化学学报》 SCIE EI CAS CSCD 北大核心 1996年第7期1119-1126,共8页; 概要介绍了现代价键理论的几个主要方法，并讨论了它们各自的特点及其发展现状，并重点介绍了键表方法的基本理论、计算程序及一些应用。; 关键词价键理论键表共振论从头算化学键; 在线阅读下载PDF 职称材料

ETL的符号化模型检验: 3; 作者刘万伟王戟王昭飞《软件学报》 EI CSCD 北大核心 2009年第8期2015-2025,共11页; 为使符号化模型检验技术适用于全部ω-正规性质,研究了ETL(extended temporal logic)的符号化模型检验方法.首先,扩展了LTL(linear temporal logic)的Tableau方法,给出了ETL的Tableau构造方法,进而给出了该方法基于BDD(binary decision ... 展开更多; 关键词符号化模型检验扩展时序逻辑 tableau方法验证工具 ENusMV; 在线阅读下载PDF 职称材料

对取代苯Ph一X（X＝F，OH，NH_2）的价键理论研究: 4; 作者莫亦荣吴玮张乾二《高等学校化学学报》 SCIE EI CAS CSCD 北大核心 1994年第8期1187-1189,共3页; 采用键表酉群方法对Ｃ６Ｈ５Ｆ、Ｃ６Ｈ５ＯＨ和Ｃ６Ｈ５ＮＨ２中的电子离域现象进行了计算和分析，讨论了取代苯的价键描述特性，并计算了取代基的π电子离域能．结果表明离子结构成分与离域能有直接关系，即离子成分越多，电子离域能... 展开更多; 关键词键表酉群方法价键理论取代苯; 在线阅读下载PDF 职称材料

题名模糊命题模态逻辑的Tableau方法被引量：1: 1; 作者刘磊王强吕帅; 机构吉林大学计算机科学与技术学院吉林大学数学学院; 出处《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2017年第6期914-920,共7页; 基金国家自然科学基金项目(61300049 61402195) +2 种基金 20140520069JH); 文摘为提高模糊命题模态逻辑(fuzzy propositional modal logic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau规则并证明了其正确性,给出了模糊断言集合的约简策略;在此基础上给出了FPML中的不一致性和不一致估值的定义。最后给出基于Tableau方法的FPML的一致性检测方法 TFPML和模糊断言集合的不一致估值计算方法 CID,并证明了其正确性。实例分析表明,本文提出的方法是正确有效的。; 关键词 tableau方法模态逻辑模糊命题模态逻辑不确定推理一致性检测模糊断言集合; Keywords tableau approach modal logic fuzzy propositional modal logic uncertainty reasoning consistency checking; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名价键理论新进展被引量：2: 2; 作者莫亦荣吴玮张乾二; 机构厦门大学化学系; 出处《高等学校化学学报》 SCIE EI CAS CSCD 北大核心 1996年第7期1119-1126,共8页; 基金国家自然科学基金攀登计划资助; 文摘概要介绍了现代价键理论的几个主要方法，并讨论了它们各自的特点及其发展现状，并重点介绍了键表方法的基本理论、计算程序及一些应用。; 关键词价键理论键表共振论从头算化学键; Keywords Morden valence bond theory,Bonded tableau approach,Resonance theory,VBSCF,Ab initio; 分类号 O641.2 [理学—物理化学]; 在线阅读下载PDF 职称材料

题名ETL的符号化模型检验: 3; 作者刘万伟王戟王昭飞; 机构国防科学技术大学计算机学院并行与分布处理国家重点实验室; 出处《软件学报》 EI CSCD 北大核心 2009年第8期2015-2025,共11页; 基金国家自然科学基金Nos.60725206 60621003 国家高技术研究发展计划(863)No.2006AA01Z429~~; 文摘为使符号化模型检验技术适用于全部ω-正规性质,研究了ETL(extended temporal logic)的符号化模型检验方法.首先,扩展了LTL(linear temporal logic)的Tableau方法,给出了ETL的Tableau构造方法,进而给出了该方法基于BDD(binary decision diagram)的符号化实现.同时,在NuSMV的基础上实现了支持ETL符号化验证的模型检验工具ENuSMV.该工具允许用户自定义时序连接子,从而可以检验全部ω-正规性质.实验结果表明,ETL性质能够被高效地采用符号化技术加以检验.; 关键词符号化模型检验扩展时序逻辑 tableau方法验证工具 ENusMV; Keywords symbolic model checking ETL （extended temporal logic） tableau approach verification tool ENuSMV; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名对取代苯Ph一X（X＝F，OH，NH_2）的价键理论研究: 4; 作者莫亦荣吴玮张乾二; 机构厦门大学化学系; 出处《高等学校化学学报》 SCIE EI CAS CSCD 北大核心 1994年第8期1187-1189,共3页; 基金国家攀登计划国家自然科学基金; 文摘采用键表酉群方法对Ｃ６Ｈ５Ｆ、Ｃ６Ｈ５ＯＨ和Ｃ６Ｈ５ＮＨ２中的电子离域现象进行了计算和分析，讨论了取代苯的价键描述特性，并计算了取代基的π电子离域能．结果表明离子结构成分与离域能有直接关系，即离子成分越多，电子离域能越大．／６－３１Ｇ基组及“分子中的原子”方法将电荷密度分区积分得到各原子上的电荷集居数，并将此结果与取代苯的反应性能进行了比较。为在价键意义上分析和理解取代基对苯环电子结构及其反应性能的影响，本文对３个典型的取代苯Ｐｈ－Ｘ（Ｘ＝Ｆ，ＯＨ，ＮＨ２）进行了初步的价键计算和讨论．１计算方法及构型在键表酉群方法中［５］，体系的一个共振结构可用一个价键结构函数即键表ψ（ｋ）来描述，相应的体系总波函数Ψ可表示为Ｍ个正则键表的线性组合：式（１）便构成了键表相互作用（ＢＴＩ）计算方法［６］的基础．键表对体系的结构贡献定义为：原子轨道ｑ上的电荷集居数定义为：式中ｍｑ（ｋ）可取０、１或２，分别对应于键表ψ（ｋ）中原子轨道ｑ出现０、１或２次．为简比计算，我们将取代苯的σ骨架用ＨＦ分子轨道固定［７］，这样仅需考虑π电子及轨道．原子轨道积分及ＨＦ－ＳＣＦ计算采用Ｇａｕｓｓｉａｎ８０程序．联系人及第一作者：莫亦荣，男，２９?; 关键词键表酉群方法价键理论取代苯; Keywords Bonded tableau unitary group approach,Valence bond theory,Ab initio,Substituted benzene; 分类号 O625.1 [理学—有机化学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	模糊命题模态逻辑的Tableau方法	刘磊王强吕帅	《哈尔滨工程大学学报》 EI CAS CSCD 北大核心	2017	1	在线阅读下载PDF 职称材料
2	价键理论新进展	莫亦荣吴玮张乾二	《高等学校化学学报》 SCIE EI CAS CSCD 北大核心	1996	2	在线阅读下载PDF 职称材料
3	ETL的符号化模型检验	刘万伟王戟王昭飞	《软件学报》 EI CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
4	对取代苯Ph一X（X＝F，OH，NH_2）的价键理论研究	莫亦荣吴玮张乾二	《高等学校化学学报》 SCIE EI CAS CSCD 北大核心	1994	0	在线阅读下载PDF 职称材料