云南高校图书馆联盟文献共享服务平台- FIBRATIONS

FIBRATIONS: 作品数：14被引量：5H指数：1; 导出分析报告; 相关领域：理学自动化与计算机技术更多>>; 相关作者：奚建清苗德成戴经国苏锦钿更多>>; 相关机构：韶关学院华南理工大学更多>>; 相关期刊：《Science China Mathematics》《Communications in Theoretical Physics》《计算机工程与应用》《Acta Mathematica Sinica,English Series》更多>>; 相关基金：广东省自然科学基金国家自然科学基金广东省战略性新兴产业核心技术攻关项目广东省科技计划工业攻关项目更多>>

Quantum Fibrations:Quantum Computation on an Arbitrary Topological Space: 《Acta Mathematica Sinica,English Series》2024年第11期2693-2718,共26页Kazuki IKEDA; supported by Pacific Institute for the Mathematical Science(PIMS)postdoctoral fellowship award and by the U.S.Department of Energy,Office of Science,National Quantum Information Science Research Centers,Co-design Center for Quantum Advantage(C2QA)under Contract No.DESC0012704。; Using operator algebras,we extend the theory of quantum computation on a graph to a theory of computation on an arbitrary topological space.Quantum computation is usually implemented on finite discrete sets,and the pu...; 关键词：Quantum computation operator algebra von Neumann algebra FIBRATION quantum computational chemistry complexity theory

Boundary Points,Minimal L^(2)Integrals and Concavity PropertyⅢ—Linearity on Riemann Surfaces and Fibrations over Open Riemann Surfaces: 《Acta Mathematica Sinica,English Series》2024年第9期2091-2152,共62页Qi An GUAN Zhi Tong MI Zheng YUAN; supported by National Key R&D Program of China(Grant No.2021YFA1003100);supported by NSFC(Grant Nos.11825101,11522101 and 11431013);supported by the Talent Fund of Beijing Jiaotong University;supported by China Postdoctoral Science Foundation(Grant Nos.BX20230402 and 2023M743719)。; In this article,we consider a modified version of minimal L^(2) integrals on sublevel sets of plurisubharmonic functions related to modules at boundary points,and obtain a concavity property of the modified version.As...; 关键词：Minimal L^(2)integrals plurisubharmonic functions boundary points weakly pseudoconvex Kähler manifold

On M-theory on real toric fibrations: 《Communications in Theoretical Physics》2021年第8期67-74,共8页A Belhaj H Belmahi M Benali S-E Ennadifi Y Hassouni Y Sekhmani; partially supported by the ICTP through AF。; Borrowing ideas from elliptic complex geometry, we approach M-theory compactifications on real fibrations. Precisely, we explore real toric equations rather than complex ones exploited in F-theory and related dual mod...; 关键词：real fibrations M-THEORY toric real manifolds affine lie symmetries

Fibrations and stability for compact group actions on manifolds with local bounded Ricci covering geometry被引量：1: 《Frontiers of Mathematics in China》2020年第1期69-89,共21页Hongzhi HUANG; In the study of the collapsed manifolds with bounded sectional curvature,the following two results provide basic tools:a(singular)fibration theorem by K.Fukaya[J.Differential Gcom.,1987.25(1):139156]and J.Cheeger,K.Fu...; 关键词：FIBRATIONS STABILITY for group actions nilpotent structures RICCI curvature BOUNDED RICCI COVERING GEOMETRY

Semipositivity of generic ordinary fibration over a curve: 《Science China Mathematics》2018年第10期1749-1758,共10页Yifei Chen Yi Gu; supported by National Natural Science Foundation of China(Grant Nos.11231003 and 11321101); Let f : X → B be a generic ordinary proper fibration over a complete curve in positive characteristics, we prove that the dual of higher direct image sheaf R^1 f_*O_X is nef. As a corollary, we show that f_*ω_(S/B) ...; 关键词：semipositivity FIBRATIONS direct image sheaf

基于Fibrations理论的共享系统数据模型被引量：1: 《计算机工程与科学》2017年第9期1665-1674,共10页苗德成奚建清戴经国; 国家自然科学基金(61103039);广东省自然科学基金(S2013010015944);广东省战略性新兴产业核心技术攻关(2012A010701011;2012A010701003);广东省高等学校优秀青年教师培养计划(YQ2014155);韶关市科技计划(2013CX/K61); 传统共享系统数据模型的建模方法在语义性质分析和语义行为描述方面存在不足,针对以上问题提出了一种基于Fibrations理论的共享系统数据模型。主要工作体现在两个方面:首先,应用真值函子、保持真值的提升与内涵函子并结合代数方法精确...; 关键词：数据模型 Fibrations理论语义性质语义行为共享系统

Fibrations理论在索引归纳数据类型不确定语义中的应用: 《计算机科学》2017年第7期137-140,共4页苗德成奚建清刘新盛苏锦钿; 广东省自然科学基金项目(S2013010015944);广东省高等学校优秀青年教师培养计划项目(YQ2014155);广东省战略性新兴产业核心技术攻关项目(2012A010701011);广东省科技计划项目(2014B010112007)资助; 应用Fibrations理论对索引归纳数据类型的不确定语义计算进行了研究。论证了索引范畴的构造,提出了索引Fibration及其真值函子与内涵函子,建立了索引范畴上自函子的一种保持真值的提升,提出了部分F-代数的定义,并应用折叠函数等工具抽...; 关键词：语义计算不确定索引归纳数据类型 Fibrations理论提升

Fibrations理论在索引归纳数据类型语法构造中的应用: 《计算机工程与应用》2017年第4期70-74,134,共6页苗德成奚建清刘新盛; 广东省自然科学基金(No.S2013010015944);广东省高等学校优秀青年教师培养计划项目(No.YQ2014155);广东省战略性新兴产业核心技术攻关项目(No.2012A010701011);广东省科技计划项目(No.2014B010112007); 应用Fibrations理论对索引归纳数据类型的语法构造进行了研究。提出了索引fibration及其真值与内涵函子的定义,构造了索引与代数范畴,利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型,辅以实例进行了简要...; 关键词：语法构造索引归纳数据类型 Fibrations理论范畴提升

程序语言中基于Fibrations理论的索引共归纳数据类型被引量：2: 《计算机科学与探索》2016年第10期1482-1492,共11页苗德成奚建清戴经国; 国家自然科学基金;No.61103038;广东省自然科学基金;No.S2013010015944;广东省高等学校优秀青年教师培养计划;No.YQ2014155~~; 传统范畴论与共代数等方法在分析语义行为与描述共归纳规则方面存在不足,应用Fibrations理论对程序语言中索引共归纳数据类型(indexed co-inductive data type,ICDT)进行了研究。通过基变换构造索引Fibration,建立索引Fibration的等式...; 关键词：语义行为共归纳规则基变换提升共递归

On base manifolds of Lagrangian fibrations: 《Science China Mathematics》2015年第3期531-542,共12页MATSUSHITA Daisuke; supported by Japan Society for Promotion of Sciences(Grant No.18684001); We consider base spaces of Lagrangian fibrations from singular symplectic varieties. After defining cohomologically irreducible symplectic varieties, we construct an example of Lagrar, gian fibration whose base space ...; 关键词：Lagrangian fibration singularity base manifolds symplectic varieties

FIBRATIONS