论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
本文提出抽象数据类型的代数规格说明的一种新的语义。以该语义为基础,讨论代数方法的说明能力,并证明:所有部分可计算代数都存在代数规格说明。最后,文章还将论证代数规格说
【机 构】
：
华东师范大学,华东师范大学上海,200062,上海,200062
【出 处】
：
计算机研究与发展
【发表日期】
：
1991年7期
其他文献
分析程序的固有并行性虽然困难,但却很重要,因为固有并行性限制了程序并行性开发的限度。本文用两个新的概念——程序步APS 和IPS 来表示数据流图的粒子执行次序,证明出度(OD
本文描述了Ｋａｎｅｒｖａ的稀疏分布记忆模型，指出了它在用于汉字联想时的问题，同时提出了改进的模型，试验表明，这种改进模型使记忆容量和容错能力大大提高。
目的评估髋关节镜治疗运动员髋关节损伤的临床疗效与运动恢复情况。方法自2009-02—2015-05为43例运动员患者(57髋)实施了髋关节镜手术,应用哈里斯髋关节评分系统(HHS)和非关
一个全并式联想存储系统,在解决了软、硬件接口问题以后,成功地与微处理器80286相连接,构成一个新的推理网络。利用此网络及上下文规则、填槽技术等方法实现了汉语同音词理解
卷读是优化磁盘访问的一种有效方法。本文提出了简单卷读和优化卷读两种方法，并对其性能进行了定量的分析和比较，其分析结论表明ＯＲＲ方法最好，它不但有最快的读盘速度，而且能有效发挥
针对目前反渗透技术应用中存在的问题,结合热电厂补水处理系统实例,分析说明了在许多场合下反渗透系统不仅技术上可行,而且经济合理,有着广阔的前景。
斩波内馈交流调速技术是我国首创,并具有独立自主知识产权的新技术,越来越被社会各界所认识和接受.本文分析和介绍了斩波内馈调速的简单原理和在聊城热电公司的实际应用及节