论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
面向对象程序设计语言的有效实现是一个重要的研究课题.类型系统是编译代码优化的前提.本文以Smalltalk语言为背景,讨论了一个类型系统及其类型检查方式,即静态附类型——动
【机 构】
：
上海交通大学计算机系,上海交通大学计算机系
【出 处】
：
上海交通大学学报
【发表日期】
：
1993年4期
其他文献
研究脑皮层不同区域之间功能协作的机制一直是认知和神经科学关注的重要问题之一。基于多变量自回归模型的动态相干性分析方法，被用于观察不同脑区在认知过程中的同步化，结果显
本文用受控Ｐｅｔｒｉ网为具有并发事件的离散事件系统建模，研究了该模型了的离散事件系统的禁止并发事件串的控制问题，利用合法语言及合法语言的最大可控子语言来规范监控器，并提出了一种
本文着重研究了表面超晶格，即二维调制电子气在外加电场下的子能带结构．计算结果表明，对于本文研究的一种特殊构型的表面超晶格，由外加调制结构引起的子能带带隙，态密度和与子能带
《重广补注黄帝内经素问》为北宋林亿等人奉诏校注,后人将其内容称为《素问》"新校正"。其成书,与所处的历史背景、印刷术的进步、宋朝对医书校勘的重视的等诸多因素是分不开
汽车制造商早就明白，几乎不附带任何运输业其它费用，在零时间内把性能完整的一辆汽车交付给最终客户是汽车促销的最后一个有效手段。半个世纪以来，以最大幅度降低汽车物流成本一直在驱动汽车制造商优化选择汽车进口市场的港口码头。 汽车物流促进港口经济增长 美国是汽车进口大国，仅日本“本田”汽车每年进口量就超过15万辆，此外还从欧洲大量进口大众、奥迪和保时捷等品牌汽车。近几年美国继续保持年均购买多达
应用光电子能谱技术和俄歇电子能谱技术对上海市杨浦区、长宁区、黄浦区、西郊地区、上钢一厂和上钢三厂等六处上空的粉尘微粒进进了研究。得出了粉尘污物的表面化学组成和化
采用透射法测量了一定厚度的植物样品在接受低能离子辐照时从其后表面出射的荷能粒子。所测样品包括30、50和100μm芸豆子叶切片和20μm的西红柿皮，测量结果表明低能离子在植