论文部分内容阅读
继承被认为是面向对象程序设计的重要特征之一，如何解释继承一直是面向对象形式语义研究的难题，本文针对继承关系的一种形式一一对象间行为规范的继承，即类型关系，探讨了其指称语义，基本思想是将予类型关系视为类型强制通过类型强制函数将子类型对象解释父类型域中。
子类型的指称语义
【摘 要】
：
继承被认为是面向对象程序设计的重要特征之一，如何解释继承一直是面向对象形式语义研究的难题，本文针对继承关系的一种形式一一对象间行为规范的继承，即类型关系，探讨了其指称语
【机 构】
：
北京大学计算机科学技术系
【出 处】
：
电子学报
【发表日期】
：
1999年8期
【基金项目】
：
国家教委博士点基金,南京大学计算机软件重点实验室基金
其他文献
本文对无线ＡＴＭ中的信元传输问题进行了研究。文中提出了一种新的信元格式，对信元的检错和纠错方式及信元定界过程中的校核次数与保护次数等参数进行了修改以适应新的环境。
孟山都公司计划在未来18个月内，投资1．96亿美元扩大其在美国路易斯安那州的草甘膦产能。到2010年项目建成后，草甘膦产能将提高近20％。作为全球最大的草甘膦生产企业，孟山都年产能
室内试验结果表明：烯肟菌胺对小麦白粉病的盆栽杀菌活性（EC90值）为4．03mg／L；田间小区试验结果一致表明，烯肟菌胺在40-80g a．i．／hm^2的处理剂量下，施药1-2次，对小麦白粉病具有优异的防治效
本文介绍了一种基于毫米波谐波混频、中频锁相的Ｋａ波段频率合成器的设计方案及实现结果。合成器的频率范围为２６．５￣４０ＧＨｚ，输出功率大于＋５ｄＢｍ，频率步进值为１ＭＨｚ，相噪指标为（１０ｋＨｚ）〈－６５ｄＢｃ／Ｈｚ，杂散低于－５５ｄＢｃ。
据河北省农业专家对该省小麦主产区调查，禾本科杂草已侵入全省280万亩麦田，成为确保小麦高产的最大隐患。该省麦田出现的禾本科杂草包括雀麦、节节麦、野燕麦、田旋花等，属于麦
本文介绍一个计算系统离散格林函数的新方法－－并行时域Ｄｉａｋｏｐｔｉｃｓ法，将一个较简单的子域，用有时域差分法计算各子域的时域响应，用并行射ｉａｋｏｐｔｉｃｓ计算任意彼此相邻的两个子域间的电磁耦合，并最终得到整
地Ｃｌｏｓ型大规模ＡＴＭ交换网络的虚连接阻塞特性进行了研究，首先给出了基于虚连接的Ｃｌｏｓ型ＡＴＭ交换网络的基本特性，证明了传统Ｃｌｏｓ型ＡＴＭ交换网络诉虚连接严格无阻塞条件，在指出了传统Ｃｌｏｓ型ＡＴＭ交换网络在虚连接路
概述了传统农药毒性评价方法的不足，阐述了基因芯片的优势及其在农药毒理学中的主要用途，即通过检测分子水平上发生的变化来洞察毒物的作用机制及其对人体构成危害的潜在原因，在
小麦的着水调质是制粉工艺中一个重要的环节，适量的加水和适宜的润麦时间是得到高出率、低灰分面粉的基础。而水分均匀一致的小麦有利于生产稳定，有利于保证产品质量
针对Ｋｏｈｏｎｅｎ的自组织特征映射（ＳＯＦＭ）神经网络的不足，本文把进化计算的思想用于神经网络的结构寻优之中，提出了一种结构自适应的自组织神经网络（ＳＡＳＯＮＮ）模型，ＳＡＳＯＮＮ基于把每个神经元看成是一个进化群体中的一