冯世光

作品数：4被引量：1H指数：1
导出分析报告
供职机构：中山大学更多>>
发文主题：SO逻辑英文HORN逻辑GROVER算法更多>>
发文领域：自动化与计算机技术哲学宗教理学社会学更多>>
发文期刊：《电子科技大学学报》《逻辑学研究》《国际学术动态》《量子电子学报》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可逆电路综合与优化的若干研究进展
《量子电子学报》2024年第4期565-577,共13页吴限 冯世光 李绿周 
国家自然科学基金面上项目(62272492)。
量子计算是一种新型计算模式,遵循量子力学规律对信息进行处理,其应用涵盖密码学、组合优化和量子模拟等多个领域。量子计算强大算力的发挥有赖于量子算法,而量子算法的运行首先需要编译为量子电路。可逆电路是一类重要的量子电路,可逆...
关键词：量子计算 量子电路 电路综合与优化 可逆电路 线性可逆电路 
量子均值估计算法研究进展
《电子科技大学学报》2024年第4期605-610,共6页冯世光 高诚伸 李绿周 
国家自然科学基金(62272492);广东省基础与应用基础研究基金(2020B1515020050)。
随机变量的均值估计问题一直是经典数据分析中研究的热点,均值估计算法的目的是通过对随机变量尽可能少地采样从而获得尽可能准确的均值估计值。量子计算作为一项革命性的技术,在一些问题上具有超越经典计算的优势。量子算法在均值估计...
关键词：随机变量 均值估计 量子算法 GROVER算法 
二阶扩展逻辑的复杂性与表达能力(英文)被引量：1
《逻辑学研究》2012年第1期11-34,共24页冯世光 赵希顺 
supported by the NSFC project under grant No.60970040;the MOE project under grant No.11JJD720020
本文研究了在所有有穷结构上SO-HORN*,SO-HORNr和SO-HORN*r的表达能力。我们证明了SO-HORNr,SO-HORN*r和FO(LFP)的表达能力是一致的,SO-HORN*是SO-HORNr的一个严格子逻辑。为了证明这一结果,我们提出了DATALOG*程序,DATALOGr程序以及它...
关键词：表达能力 逻辑 复杂性 SO 结构 证明 程序 版本 
可满足性理论及应用研究进展
《国际学术动态》2009年第1期35-38,共4页冯世光 沈榆平 
由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所和德国Paderbom大学数学与计算机学院联合主办的第11届可满足性理论及其应用（SA佗008）国际学术年会于2008年5月12-15日在广州隆重召开。这是计算机科学研究领域的一个重要...
关键词：可满足性 应用 国际会议 人文社会科学 学术年会 大学数学 中山大学 研究基地 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部