期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
矛盾体分离单元结果演绎方法及应用
1
作者 曹锋 谢燏 +1 位作者 易见兵 李俊 《计算机工程与科学》 CSCD 北大核心 2024年第12期2252-2260,共9页
一阶逻辑自动定理证明是人工智能领域重要的研究内容。为提高单元结果归结演绎效率,提出了一种新的基于多元、动态、协同的单元结果演绎方法,称为矛盾体分离单元结果演绎方法,并详细地给出了其演绎定义、演绎方法、演绎的优势分析及算... 一阶逻辑自动定理证明是人工智能领域重要的研究内容。为提高单元结果归结演绎效率,提出了一种新的基于多元、动态、协同的单元结果演绎方法,称为矛盾体分离单元结果演绎方法,并详细地给出了其演绎定义、演绎方法、演绎的优势分析及算法实现;提出的演绎方法允许多个子句同时参与演绎,且允许多个非单元子句参与1次单元结果演绎,能较好地处理长子句;提出的演绎算法能使用策略选定较优的子句和动态设定变元合一的复杂度,并通过回溯机制优化搜索的演绎路径。以近2年国际一阶逻辑自动定理证明器竞赛例(分别为500个)和TPTP问题库中难度系数为1的问题作为测试对象,加入了矛盾体分离单元结果演绎算法的Eprover和原始Eprover相比分别多证明了10个定理,分别能证明Eprover无法证明的17个定理和13个定理,能证明出9个其他所有证明器都无法证明难度系数为1的定理。实验结果表明,提出的矛盾体分离单元结果演绎方法能有效提高一阶逻辑自动定理证明的效率。 展开更多
关键词 一阶逻辑 自动定理证明 人工智能 单元结果归结 矛盾体分离规则
下载PDF
探究广积坝四百余年仍完好的原因
2
作者 刘广进 谢燏 +3 位作者 周梦娜 盛卓成 刘阔卿(指导) 蒋幸辉(指导) 《发明与创新（高中生）》 2022年第2期24-27,共4页
我们从地理教材中了解到,水坝一般修筑在河流的最窄处,且与河岸垂直,这样做是为了减少工程量,节约修筑成本。然而在一次课上,老师提及本地的广积坝坝体呈弧形,且与河岸之间有一定的倾斜角度。广积坝的设计构造与书中所述理论不符,但它... 我们从地理教材中了解到,水坝一般修筑在河流的最窄处,且与河岸垂直,这样做是为了减少工程量,节约修筑成本。然而在一次课上,老师提及本地的广积坝坝体呈弧形,且与河岸之间有一定的倾斜角度。广积坝的设计构造与书中所述理论不符,但它屹立在槎溪河,历经四百余年仍较为完好。这一奇观激发了我们的探究热情。 展开更多
关键词 探究热情 地理教材 设计构造 倾斜角度 河岸 完好 修筑
下载PDF
餐饮连锁企业营销策略研究——以福建省大丰收餐饮连锁公司为例 被引量：1
3
作者 李永霞 谢燏蓉 王冠孝 《对外经贸》 2018年第3期117-120,共4页
餐饮业在我国国民经济中占据重要地位。餐饮业是第三产业,是我国的朝阳企业,餐饮业不仅可以加快国内外经济交流,而且可以活跃经济、繁荣市场、促进相关行业共同发展。以福建省大丰收餐饮连锁公司为例,针对其在运营和营销中存在的一些问... 餐饮业在我国国民经济中占据重要地位。餐饮业是第三产业,是我国的朝阳企业,餐饮业不仅可以加快国内外经济交流,而且可以活跃经济、繁荣市场、促进相关行业共同发展。以福建省大丰收餐饮连锁公司为例,针对其在运营和营销中存在的一些问题,提出改善大丰收餐饮连锁公司营销策略的措施,以期为该企业和其他餐饮企业的发展提供借鉴。 展开更多
关键词 餐饮业 营销策略 连锁企业
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部