Fibrations理论在索引归纳数据类型不确定语义中的应用  

Applications of Fibrations Theory to Uncertainty Semantic Computation for Indexed Inductive Data Types

作　　者：苗德成[1] 奚建清[2] 刘新盛 苏锦钿[4] 

机构地区：[1]韶关学院信息科学与工程学院,韶关512005 [2]华南理工大学软件学院,广州510640 [3]解放军防空兵学院弹炮一体系,郑州450052 [4]华南理工大学计算机科学与工程学院,广州510640

出　　处：《计算机科学》2017年第7期137-140,共4页Computer Science

基　　金：广东省自然科学基金项目(S2013010015944);广东省高等学校优秀青年教师培养计划项目(YQ2014155);广东省战略性新兴产业核心技术攻关项目(2012A010701011);广东省科技计划项目(2014B010112007)资助

摘　　要：应用Fibrations理论对索引归纳数据类型的不确定语义计算进行了研究。论证了索引范畴的构造,提出了索引Fibration及其真值函子与内涵函子,建立了索引范畴上自函子的一种保持真值的提升,提出了部分F-代数的定义,并应用折叠函数等工具抽象描述了索引归纳数据类型不确定语义计算,辅以实例进行了简要分析,最后通过相关工作的论述指出了Fibrations理论研究方法的优势。This paper discussed the uncertainty semantic computation of indexed inductive data types using Fibrations theory.Firstly,we demonstrated the construction of indexed category,presented the concept of indexed Fibration and its truth and comprehension functors.And then,we proposed a truth-preserving lifting on endo-functor in indexed category.We also presented the definition of partial F-algebra,abstractly described the uncertainty semantic computation of indexed inductive data types using some tools including fold function,and briefly introduced the application by example.At last,we stated the advantages of Fibrations theory by comprising with some related works.

关 键 词：语义计算 不确定 索引归纳数据类型 Fibrations理论 提升 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]