论文部分内容阅读
采用理论计算机科学中的范畴论形式化地描述了具迹抽象数据类型，而对象是该类型满足某些公理约束的一个模型，基于这种观点形式给出了继承的概念。
具迹抽象类型的代数语义与继承
【摘 要】
：
采用理论计算机科学中的范畴论形式化地描述了具迹抽象数据类型，而对象是该类型满足某些公理约束的一个模型，基于这种观点形式给出了继承的概念。
【机 构】
：
西北民族学院教务处
【出 处】
：
兰州铁道学院学报
【发表日期】
：
1999年2期
其他文献
【正】 原料:青鱼头尾,海鸥糟卤50克,葱、姜。 制法:青鱼头尾浸在糟卤中2—3小时后取出,放入碗中加葱、姜蒸熟,然后将碗中原汁倒入锅中加清水、味精、糟卤烧滚后,将青鱼头尾
目的:探讨肉芽创面微粒皮种植封闭创面的效果.方法:局麻取皮制备微粒皮,直接埋植肉芽内.后期配合MEBO应用.结果:本组病人18～35天全部封闭创面.结论:肉芽创面微粒皮种植配合MEB
目的:探讨十二指肠损伤的诊断及处理.方法:回顾分析16例十二指损伤的临床资料.结果:术前确诊3例,术中确诊13例,治愈14例,死亡2例.结论:十二指肠损伤术前诊断困难,强调术中探
在弹塑理论的基础上考虑冻土的流变特性，即应变速度对冻土本构关系的影响，提出冻土单轴压缩本构关系与冻土纯剪（扭转）状态下的本构关系之间服从单一曲线假定．由单轴压缩本构关系推
<正> 在酱油检化验分析中,我们常常能发现同一品种,同一批次的酱油,本厂检测的氨基氮结果与外单位检测结果有一定的误差。由于氨基氮是酱油的主要指标,它的高低直接关系到判
八年前,有幸在被誉之谓“革命文艺摇篮”的中国延安鲁迅艺术学院校友会任职,有机会结识不少老作家和老艺术家。由童工成为红军,尔后成就为知名作曲家的刘炽老师,就是其中的一
就广义而言,凡是利用微生物的作用制备的食品都可称为发酵食品。Pederson(1979年)详细讨论了这些食品的各方面情况。近年来,发酵食品日益受到人们的重视。一些发展中的国家把
目前世界发达城市普遍采用地下管线共同沟这一集约度高的市政基础工程来解决城市发展过程中道路反复挖掘的问题。同时,它也是解决地上空间过密化、实现城市基础设施功能聚集
目的:对带血管蒂的食指背侧岛状瓣修复拇指远端与指腹缺损的效果进行总结.方法:本组20例拇指远端与指腹缺损的修复,观察疗效.结果:拇指功能良好率100%,平均治愈天数12天.结论
从理论上分析了钢轨接地电阻民轨道电路传输抗之间的关系，进而提出了接地电阻影响轨道电路的分析方法。