论文部分内容阅读
文章深入地阐述了用于描述软件体系结构的算子集的另一种运算——链接运算，并推导了关于算子链接运算的若干推论及定理。
用于描述软件体系结构的算子集的链接运算
【摘 要】
：
文章深入地阐述了用于描述软件体系结构的算子集的另一种运算——链接运算，并推导了关于算子链接运算的若干推论及定理。
【机 构】
：
武汉大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2003年16期
【基金项目】
：
武汉大学青年科学基金资助
其他文献
文中回顾了计算机辅助教学(CAI)的发展历程，认为超文本智能计算机辅助教学(HICAI)是目前CAI的最高形式，当前正处于形成和发展期，实时总结是必要的。该文在研究和实践的基础上，对H
多通道快速回撤工艺是现代化大型矿井综采工作面设备回撤所采用的新工艺，本文阐述了这种新工艺的应用方法。即利用无轨胶轮车作辅助运输，采用辅巷多通道回撤方式。解决了现代化
会计信息失真已经存在于社会各行业中，并成为当今的热门话题。会计信息失真是指会计信息丧失了真实性，严格地说，会计信息失真是信息的不合法，不真实，不准确和不完整。因此，从这一角
空间数据挖掘是指对空间数据库中非显式存在的知识、空间关系或其它有意义的模式等的提取,在地理信息系统、地理市场、遥感、图像数据勘测、医学图像处理、导航、交通控制、环境研究等各种领域有着广泛的应用。该文从空间数据挖掘的定义、过程、特征和任务等方面对空间数据挖掘技术进行了研究,并介绍了一个空间数据挖掘原型—GeoMiner和未来的研究方向。