Syntax construction of indexed inductive data types based on Fibrations theory.

doi:10.3778/j.issn.1002-8331.1605-0259

Computer Engineering and Applications ›› 2017, Vol. 53 ›› Issue (4): 70-74.DOI: 10.3778/j.issn.1002-8331.1605-0259

Previous Articles Next Articles

Syntax construction of indexed inductive data types based on Fibrations theory.

MIAO Decheng1, XI Jianqing2, LIU Xinsheng3

1.School of Information Science and Engineering, Shaoguan University, Shaoguan, Guangdong 512005, China
2.School of Software, South China University of Technology, Guangzhou 510640, China
3.Department of Missiles and Shells Integration, Air Defense Forces Academy of PLA, Zhengzhou 450052, China

Online:2017-02-15 Published:2017-05-11

Fibrations理论在索引归纳数据类型语法构造中的应用

苗德成1，奚建清2，刘新盛3

1.韶关学院信息科学与工程学院，广东韶关 512005
2.华南理工大学软件学院，广州 510640
3.解放军防空兵学院弹炮一体系，郑州 450052

Abstract

Abstract:
Abstract： Based on Fibrations theory this paper presents a syntax construction method of indexed inductive data types. Firstly, it proposes the definitions of indexed fibration and its truth and comprehension functors, and constructs the indexed and algebra categories; secondly, it constructs a more complex indexed inductive data types in indexed category by some tools including fold function and ad joint functors; thirdly, it briefly introduces the work by example. At last, it states advantages of the application by comparing with some related works.

Key words: syntax construction, indexed inductive data types, Fibrations theory, category, lifting

摘要： 应用Fibrations理论对索引归纳数据类型的语法构造进行了研究。提出了索引fibration及其真值与内涵函子的定义，构造了索引与代数范畴，利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型，辅以实例进行了简要分析，并通过相关工作的论述指出了Fibrations理论研究方法的优势。

关键词: 语法构造, 索引归纳数据类型, Fibrations理论, 范畴, 提升

MIAO Decheng1, XI Jianqing2, LIU Xinsheng3. Syntax construction of indexed inductive data types based on Fibrations theory.[J]. Computer Engineering and Applications, 2017, 53(4): 70-74.

苗德成1，奚建清2，刘新盛3. Fibrations理论在索引归纳数据类型语法构造中的应用[J]. 计算机工程与应用, 2017, 53(4): 70-74.

[1]	FANG Chengzhi, HUO Xinglong, CHENG Youcheng. Natural Scene Text Detection Combined with Bounding Box Calibration [J]. Computer Engineering and Applications, 2021, 57(1): 161-167.
[2]	YUAN Yongpeng1，2, YOU Datao1, WU Xiangjun1, WEI Mengfan1, ZHU Mengbo1, GENG Xudong1, JIA Nairen2. Application of Intra-Class and Inter-Class Distance in CNN Recognition of Heart Beat [J]. Computer Engineering and Applications, 2019, 55(14): 242-248.
[3]	ZHOU Jinfeng, YE Shiren, WANG Hui. Application of convolutional neural network in multi-category classification for short text sentiment [J]. Computer Engineering and Applications, 2018, 54(22): 133-138.
[4]	PENG Xiaoran1，2, LIU Zunren2, JI Jun2. Positive region computation of neighborhood rough set based on category of samples [J]. Computer Engineering and Applications, 2018, 54(20): 115-121.
[5]	LU Lingxia. Categorical relations between weighted graphs and fuzzy graphs ranged in incline algebras [J]. Computer Engineering and Applications, 2017, 53(9): 38-40.
[6]	WANG Zhaohai. Related properties of congruence and homomorphic relations of co-frame [J]. Computer Engineering and Applications, 2016, 52(18): 54-56.
[7]	LU Jianlong1, WEI Jianxun2, HUANG Huixian1, PENG Yixin1, FANG Xin1. Research of online harmonic detection based on lifting wavelet transform [J]. Computer Engineering and Applications, 2016, 52(14): 50-53.
[8]	LI Hong1，2. Constructing method of granular category based on partial ordering relation [J]. Computer Engineering and Applications, 2015, 51(6): 11-15.
[9]	LI Hongzheng, ZHU Yun, JIN Yaohong. Automatic identification of verb-preposition multi-category words for Chinese-English patent machine translation [J]. Computer Engineering and Applications, 2015, 51(11): 6-11.
[10]	LIU Wenmin, CHEN Xiuhong. Medical image fusion method based on PCNN and nonlinear filtering of gravitation [J]. Computer Engineering and Applications, 2014, 50(24): 191-198.
[11]	DANG Xiaochao1，2, GAO Qi1, HAO Zhanjun1，2. Research on model of distributed data aggregation in WSN based on wavelet transform [J]. Computer Engineering and Applications, 2014, 50(22): 97-101.
[12]	LI Guangqiong, CHEN Rongyuan. Image enhancement based on EMD and adaptive lifting wavelet transform [J]. Computer Engineering and Applications, 2014, 50(21): 195-199.
[13]	LI Lingqiang1，2，3, JIN Qiu2, WANG Lihua2, TANG Jiangang1. On locally bounded and locally compact of stratified [L]-convergence spaces [J]. Computer Engineering and Applications, 2014, 50(10): 57-60.
[14]	LONG Xiaobao. Robust audio fingerprint using lifting-based wavelet and non-negative matrix factorization [J]. Computer Engineering and Applications, 2013, 49(9): 197-199.
[15]	LIU Zhuhua, YUAN Wen. Image variable capacity recovery watermark scheme using integer lifting wavelet [J]. Computer Engineering and Applications, 2013, 49(16): 183-187.

Syntax construction of indexed inductive data types based on Fibrations theory.

Fibrations理论在索引归纳数据类型语法构造中的应用

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics