论文部分内容阅读
特征匹配是形式化规范匹配的基础。本文给出了基于运算符和抽象数据类型的特征匹配的定义、应用和展望。
重用部件的特征匹配
【摘 要】
：
特征匹配是形式化规范匹配的基础。本文给出了基于运算符和抽象数据类型的特征匹配的定义、应用和展望。
【机 构】
：
国防科技大学计算机系
【出 处】
：
计算机科学
【发表日期】
：
1997年3期
其他文献
<正>一、引言 随着当今网络计算与存储领域的发展,多媒体系统将为人们提供广阔的应用前,如多媒体娱乐、多媒体会议、多媒体演示等。
三环东路立交位于湖州市内环快速路系统的东北角点,通过对交通量的分析,结合其技术标准、建设规模及控制因素,确定了立交设计方案。
海南省某企业在其招聘广告中要求劳动者承诺终身服务,涉及服务期规则的适用问题。现行《劳动合同法》存在对劳动者过度保护的倾向性,劳动者约束性条款数量较少。而服务期规则
近日,索贝成功中标SMG超高清融合媒体交换平台。该平台将利用索贝分布式视频处理框架,兼容不同格式媒体文件,实现对现有文件分布式转码以及不同格式、分辨率参数的转换,结合
摘要：在高等教育中使用新的教学理论，对保障整体的教学质量没有内在的阻碍，创造一种新的教育文化，有助于教育质量迅速提高，也就是说，不管存在什么样的问题，都可以被看作可以通过更好的设计计划解决问题。关键词：英语教学；素质教育；语言学习者；教学方法中图分类号：G633.41 文献标识码：A 文章编号：1006－3315（2008）06－049－01对外语教学理论的研究是外语教学可持续发展的动力。每个教学
<正>1前言 CAD/CAPP/CAM集成系统和并行工程的实现,需要其中的各个计算机应用系统能及时、准确无误地获取到所需要的数据。然而,由于现有的
农作物高产栽培和病虫害防治直接影响农作物的产量和品质,对我国农业的稳定发展也具有十分重要的意义。为了对农作物正常生长起到良好的保障作用,提升农作物产量与品质,提升
ＨＰＦ（高性能ＦＯＲＴＲＡＮ）公布于１９９３年，是当今世界上ＦＯＲＴＲＡＮ语言的最新版本。本文系统地介绍了ＨＰＦ相对于以往ＦＯＲＴＲＡＮ版本（主要是ＦＯＲＴＲＡＮ９０）的新特点，并举出了一个程序实例，供并行计算技术的研究者以及工程技术人员参考。