| 余代数及文档动态描述模型研究 |
| |
| 引用本文： | 江开忠,李子成,吕钊,顾君忠.余代数及文档动态描述模型研究[J].上海工程技术大学学报,2006,20(3):226-229. |
| |
| 作者姓名： | 江开忠 李子成 吕钊 顾君忠 |
| |
| 作者单位： | 华东师范大学,信息学院,上海,200062上海工程技术大学,基础教学学院,上海,201620 |
| |
| 基金项目： | 上海市科学技术委员会科技攻关项目(055115001) |
| |
| 摘 要： | 介绍了代数的对偶概念--余代数,以及基于状态系统的余代数描述.将文档的每一句看作一个断言,并动态地将文档理解为一个断言流,从而利用余代数方法对文档的语义进行观察.
|
| 关 键 词： | 状态空间 余代数 上下文 |
| 文章编号： | 1009-444X（2006）03-0226-04 |
| 收稿时间： | 2006-07-06 |
| 修稿时间： | 2006年7月6日 |
Research on Coalgebra and Document Dynamic Specification |
| |
| JIANG Kai-zhong,LI Zi-cheng,LV Zhao,GU Jun-zhong.Research on Coalgebra and Document Dynamic Specification[J].Journal of Shanghai University of Engineering Science,2006,20(3):226-229. |
| |
| Authors: | JIANG Kai-zhong LI Zi-cheng LV Zhao GU Jun-zhong |
| |
| Affiliation: | 1. Department of Computer Science and Technology, East China Normal University, Shanghai 200062, China ;2. College of Fundamental Studies, Shanghai University of Engineering Science, Shanghai 201620, China |
| |
| Abstract: | The concept of coalgebra,as a dual concept of algebra,was introduced and was used to describe mathematically the state-based system.Each sentence of the document was taken as an assertion,and the document was taken as an assertion stream.The semantics of the document was observed by coalgebra methods. |
| |
| Keywords: | state space coalgebra context |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《上海工程技术大学学报》浏览原始摘要信息 |
|
点击此处可从《上海工程技术大学学报》下载全文 |
|
