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

修正的Gdel系统的子代数中F(S)的分划及升级算法: 1; 作者魏海新李晨晖《计算机工程与应用》 CSCD 2012年第26期44-47,共4页; 将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。; 关键词修正的gdel系统广义矛盾式子代数分划; 在线阅读下载PDF 职称材料

基于熵值修正G2赋权的航空公司疲劳风险管理系统有效性评价: 2; 作者李敬强刘林静刘安南《科学技术与工程》北大核心 2024年第10期4352-4358,共7页; 为帮助航空公司持续优化疲劳风险管理系统(fatigue risk management system,FRMS),通过系统分析FRMS有效运行的关键要素,构建了疲劳风险管理系统有效性评价模型,以提高航空公司疲劳风险管理水平。在综合管理、政策文件、风险管理、安全... 展开更多; 关键词安全管理疲劳风险管理系统熵值修正g2法模糊综合评价法; 在线阅读下载PDF 职称材料

Gdel逻辑系统中1/2-子代数上的广义重言式理论被引量：6: 3; 作者李修清《计算机工程与应用》 CSCD 北大核心 2011年第5期43-45,100,共4页; 将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。; 关键词 gdel逻辑系统广义重言式子代数分划; 在线阅读下载PDF 职称材料

Gdel系统中一类子代数上的广义重言式理论被引量：4: 4; 作者魏海新《计算机工程与应用》 CSCD 北大核心 2010年第29期56-57,62,共3页; 将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。; 关键词 gdel逻辑系统广义重言式子代数分划; 在线阅读下载PDF 职称材料

Gdel中单个或两个原子生成公式的真度分布: 5; 作者李友雨张兴芳李成允《计算机工程与应用》 CSCD 北大核心 2009年第14期56-57,共2页; 以Gdel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为0,1/6,2/6,1/2,4/6,5/6,1之一。进而按照真度将由单原子或两个原子生成的公式集进行了细致的分类。; 关键词 gdel系统逻辑公式真度; 在线阅读下载PDF 职称材料

逻辑程序设计语言Gdel与Prolog的比较: 6; 作者昌杰赵致琢 +1 位作者李慧琪高伟《智能系统学报》 2009年第2期163-168,共6页; 在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分... 展开更多; 关键词 gdel语言 PROLOg语言模块系统类型系统控制机制元程序设计; 在线阅读下载PDF 职称材料

R_G-代数的子代数与广义重言式理论被引量：5: 7; 作者李修清魏海新《计算机工程与应用》 CSCD 北大核心 2011年第29期49-51,59,共4页; 对Gdel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Gdel逻辑系统中存在着可数多个不同的广义重言式。; 关键词 gdel逻辑系统广义重言式子Rg-代数分划; 在线阅读下载PDF 职称材料

经典逻辑公理在模糊逻辑系统中的真度分析: 8; 作者牛广化陈怀进袁彦莉《计算机工程与应用》 CSCD 北大核心 2010年第18期38-39,共2页; 对经典逻辑中的公理在Gdel系统、Lukasiewicz以及R0系统中的真度大小进行了分析,得到了一系列深刻而有趣的结果。; 关键词经典逻辑公理 gdel系统 Lukasiewicz系统 R0系统真度; 在线阅读下载PDF 职称材料

题名修正的Gdel系统的子代数中F(S)的分划及升级算法: 1; 作者魏海新李晨晖; 机构桂林航天工业学院信息工程系桂林航天工业学院电子工程系; 出处《计算机工程与应用》 CSCD 2012年第26期44-47,共4页; 基金广西壮族自治区教育厅科研基金(桂教科研[2010]10号); 文摘将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。; 关键词修正的gdel系统广义矛盾式子代数分划; Keywords revised godel system generalized contradictory subalgebra partition; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名基于熵值修正G2赋权的航空公司疲劳风险管理系统有效性评价: 2; 作者李敬强刘林静刘安南; 机构中国民航大学安全科学与工程学院; 出处《科学技术与工程》北大核心 2024年第10期4352-4358,共7页; 基金国家自然科学基金与民航联合基金(U1933122) 民航安全能力建设项目(ASSA2023/20)。; 文摘为帮助航空公司持续优化疲劳风险管理系统(fatigue risk management system,FRMS),通过系统分析FRMS有效运行的关键要素,构建了疲劳风险管理系统有效性评价模型,以提高航空公司疲劳风险管理水平。在综合管理、政策文件、风险管理、安全保证、安全促进5个维度的基础上,构建FRMS有效性评价指标体系,采用熵值修正G2法确定各指标的权重,并结合模糊综合评价法,构建了航空公司疲劳风险管理系统有效性评价模型。以S航空公司为例,运用模型对其进行有效性评价,该航空公司的FRMS有效性评价结果为良好,符合实际情况。结果表明,该评价模型具有较好的可行性和适用性,可为航空公司疲劳风险管理系统优化提供重要参考。; 关键词安全管理疲劳风险管理系统熵值修正g2法模糊综合评价法; Keywords safety management fatigue risk management system entropy correction g2 method fuzzy comprehensive evaluation method; 分类号 X949 [环境科学与工程—安全科学]; 在线阅读下载PDF 职称材料

题名Gdel逻辑系统中1/2-子代数上的广义重言式理论被引量：6: 3; 作者李修清; 机构桂林航天工业高等专科学校计算机系; 出处《计算机工程与应用》 CSCD 北大核心 2011年第5期43-45,100,共4页; 基金广西壮族自治区教育厅科研基金(桂教科研[2006]26号); 文摘将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。; 关键词 gdel逻辑系统广义重言式子代数分划; Keywords gdel logical system generalized tautology subalgebra partition; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名Gdel系统中一类子代数上的广义重言式理论被引量：4: 4; 作者魏海新; 机构桂林航天工业高等专科学校计算机系; 出处《计算机工程与应用》 CSCD 北大核心 2010年第29期56-57,62,共3页; 基金广西壮族自治区教育厅科研基金(No.桂教科研[2006]26号); 文摘将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。; 关键词 gdel逻辑系统广义重言式子代数分划; Keywords godel logical system generalized tautology subalgebras partition; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名Gdel中单个或两个原子生成公式的真度分布: 5; 作者李友雨张兴芳李成允; 机构聊城大学数学科学学院; 出处《计算机工程与应用》 CSCD 北大核心 2009年第14期56-57,共2页; 基金教育部科学技术研究重点项目(No.206089); 文摘以Gdel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为0,1/6,2/6,1/2,4/6,5/6,1之一。进而按照真度将由单原子或两个原子生成的公式集进行了细致的分类。; 关键词 gdel系统逻辑公式真度; Keywords goedel system logical formula truth degree; 分类号 TP273.4 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名逻辑程序设计语言Gdel与Prolog的比较: 6; 作者昌杰赵致琢李慧琪高伟; 机构厦门大学计算机科学系; 出处《智能系统学报》 2009年第2期163-168,共6页; 文摘在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分,引入了多种新的语言成分,Gdel语言具有更好的说明性语义和执行效率.; 关键词 gdel语言 PROLOg语言模块系统类型系统控制机制元程序设计; Keywords gǒdel Prolog modular system type system control mechanism meta-programming; 分类号 TP311.11 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名R_G-代数的子代数与广义重言式理论被引量：5: 7; 作者李修清魏海新; 机构桂林航天工业高等专科学校计算机系; 出处《计算机工程与应用》 CSCD 北大核心 2011年第29期49-51,59,共4页; 基金广西壮族自治区教育厅科研项目(桂教科研[2011]14号); 文摘对Gdel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Gdel逻辑系统中存在着可数多个不同的广义重言式。; 关键词 gdel逻辑系统广义重言式子Rg-代数分划; Keywords goedel logical system generalized tautology Rg-subalgebra partition; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名经典逻辑公理在模糊逻辑系统中的真度分析: 8; 作者牛广化陈怀进袁彦莉; 机构枣庄科技职业学院建筑工程系聊城市人民医院聊城大学数学科学学院; 出处《计算机工程与应用》 CSCD 北大核心 2010年第18期38-39,共2页; 基金国家自然科学基金No.60875034~~; 文摘对经典逻辑中的公理在Gdel系统、Lukasiewicz以及R0系统中的真度大小进行了分析,得到了一系列深刻而有趣的结果。; 关键词经典逻辑公理 gdel系统 Lukasiewicz系统 R0系统真度; Keywords classical logic axiom gdel logic system Lukasiewicz logic system R0 logic system truth degree; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	修正的Gdel系统的子代数中F(S)的分划及升级算法	魏海新李晨晖	《计算机工程与应用》 CSCD	2012	0	在线阅读下载PDF 职称材料
2	基于熵值修正G2赋权的航空公司疲劳风险管理系统有效性评价	李敬强刘林静刘安南	《科学技术与工程》北大核心	2024	0	在线阅读下载PDF 职称材料
3	Gdel逻辑系统中1/2-子代数上的广义重言式理论	李修清	《计算机工程与应用》 CSCD 北大核心	2011	6	在线阅读下载PDF 职称材料
4	Gdel系统中一类子代数上的广义重言式理论	魏海新	《计算机工程与应用》 CSCD 北大核心	2010	4	在线阅读下载PDF 职称材料
5	Gdel中单个或两个原子生成公式的真度分布	李友雨张兴芳李成允	《计算机工程与应用》 CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
6	逻辑程序设计语言Gdel与Prolog的比较	昌杰赵致琢李慧琪高伟	《智能系统学报》	2009	0	在线阅读下载PDF 职称材料
7	R_G-代数的子代数与广义重言式理论	李修清魏海新	《计算机工程与应用》 CSCD 北大核心	2011	5	在线阅读下载PDF 职称材料
8	经典逻辑公理在模糊逻辑系统中的真度分析	牛广化陈怀进袁彦莉	《计算机工程与应用》 CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料