论文部分内容阅读
数据类型是程序设计语言设计中的一个重要概念。该文通过对Ｍｉｌｎｅｒ多态类型系统的扩展，提出了一个允许将类型作为一阶对象处理的参数化类型系统，并给出了相应的动态类型检查规则。
参数化类型及动态类型检查
【摘 要】
：
数据类型是程序设计语言设计中的一个重要概念。该文通过对Ｍｉｌｎｅｒ多态类型系统的扩展，提出了一个允许将类型作为一阶对象处理的参数化类型系统，并给出了相应的动态类型检查规则。
【机 构】
：
北京大学,上海交通大学
【出 处】
：
应用科学学报
【发表日期】
：
1994年4期
【基金项目】
：
国家自然科学基金
其他文献
钻尖的几何参数对扁钻的切削性能有着显著的影响。文中对扁钻对主切削刃和横刃的几何角度进行了精确的分析，并建立了主切削刃的轴和和扭矩的计算模型，在该模型中考虑了切削速度
对注Ｓｉ￣＋的ＧａＡｓ样品（注入能量１８０ｋｅＶ、剂量５×ｌ０￣（１２）～１０￣（１５）ｃｍ￣（－２）采用白光快速退火，测量其χ射线双晶衍射谱并结合背散射，Ｈａｌｌ测量结果，分析了注入引起的应变及掺杂机理。根据电学测量结果用迁移率理论计算了补偿比
(一)中国国有企业改革历程在新中国的发展过程中,国有企业作为国民经济的主导力量起到了不可磨灭的作用.随着时间的推移,僵化的计划经济体制、单一的所有制形式严重束缚了国
用理论分析证明了宽频带熔锥型单模光纤耦合器的原始模型，简化成有效平行波导的近似模型，必须作弱导近似和弱耦合近似。文中根据自制熔锥耦合器的实验，以及对其参数和截面尺寸测
该文应用Ｂｉｔｔｅｒ粉纹技术系统地观察，并从能量分析了微型４０ｎｍ厚度ＮｉＦｅ薄膜条状元件在难轴方向反磁化过程中，磁畴结构的特性和变迁过程。研究表明，元件中的Ｂａｒｋａｕｓｅｎ跳跃是畴壁合并，壁态转变和塞漏畴转变等
长期接触铬盐可引起皮肤和粘膜损害，典型的皮肤溃疡称铬疮，鼻部的损害称铬鼻病，均已列入我国法定职业病。电镀业铬作业工人可职业性接触铬酸雾，为了解嵊州市电镀业职业病危害状况
用Ｍｕｌｌｉｎｓ和Ｓｅｋｅｒｋａ的线性动力学理论定性探讨了Ｔｅ溶液生长半磁半导体Ｃｄ１－ｘＭｎｘＴｅ时固－液界面的稳定性，并在自行设计的旋转式液相外延装置中，用Ｃｄｔｅ作籽晶，利用失稳小平面的长厚，富Ｔｅ溶液生长了Ｃｄ１－ｘＭｎｘＴｅ晶膜，其面积为０．５ｃｍ＾２，厚度￣０．４ｍｍ，分析
为了解普陀区医疗机构与民营医疗机构消毒质量状况，加强医疗机构消毒质量的监测工作，进一步加强对辖区医疗机构和民营医疗机构消毒监督和管理，有效地控制医源性感染，我中心于2007
提出了一种新的鲁棒设计方法，以闭环系统矩阵的Ｆｒｏｂｅｎｉｕｓ范数作为鲁棒性指标，运用Ｐｏｗｅｌｌ方法进行寻优，产生一种适用于工程上使用的快速而有效的直接优化方法。使系统动态矩阵保持稳定的参数摄动
在大量科学实验，工程测试，专家系统中蕴含一类问题：如何从有限次随机观测中识别出一个布尔函数，它能最佳表示出此观测集中的关系。该文给出一些求解此类问题的途径。