论文部分内容阅读
该文介绍了一种新型的对象类型规范语言，它融汇了一些关于对象类型理论的最新成果，并给出了基于该语言的子类型概念。
关于对象类型的研究
【摘 要】
：
该文介绍了一种新型的对象类型规范语言，它融汇了一些关于对象类型理论的最新成果，并给出了基于该语言的子类型概念。
【机 构】
：
科技大学计算机系(长沙)
【出 处】
：
第六次全国软件工程学术会议
【发表日期】
：
1996年期
其他文献
1999年10月14日,非洲杰出的领导人、坦桑尼亚开国元勋尼雷尔在伦敦病逝,举世哀悼。第54届联大14日在开始选举安理会5个非常任理事国之前,全体与会者起立,为尼雷尔的逝世默哀
基于边缘的模型基图象压缩编码方法把图象分为激励区和背景区两部分,这种划分是在边缘检测的基础上进行的;首先对激励区构架作分段折线近似处理,然后在每个线段上构造矩形表
该文借助于规范互质分解的Ｈ〈，∞〉控制理论，建立了保证闭环系统性能的回路成形设计技术，回路成形设计的物理概念清晰，能够直接在性能鲁棒性和稳定鲁棒性之间进行折中，所采用的规范
该文分析了气象部门实施规范化建设与管理的必要性、可行性，提出了实施规范化建设与管理的基本原则，并根据安徽气象部门的实践和效益分析，指出实施规范化建设与管理能获得人、财
手写体汉字的规范化处理是一项重要的预处理，由于汉字是一种结构性很强的方块字，所以在特提取的之前必须尽最在的可能调汉字的笔划分，以获取较稳定的特征。该文通过对目标较流行
有这样一所小学，家长骑车将学生送到校门口的人行道上后，学生会自觉地按照校门前的标志线排队入校，井然有序;然而，与人行道相隔仅一米的非机动车道却混乱不堪，十分拥堵，原因是家长们为了方便而骑车逆行，显然，大部分家长没有遵守交通规则。这种现象值得深思。 在这所学校门前，学校规则管理下的人行道与交通规则管理下的非机动车道相隔仅仅一米，学生与家长表现出的规则意识却完全不同。学校规则对学生有约束力，交通
期刊