论文部分内容阅读
传统的定义抽象数据类型语义的方法难以描述软件非形式说明和程序设计语言文本中的非确定性,为了弥补这种不足,本文引入了极大代数语义的概念并讨论了其性质。
抽象数据类型的极大代数语义
【摘 要】
：
传统的定义抽象数据类型语义的方法难以描述软件非形式说明和程序设计语言文本中的非确定性,为了弥补这种不足,本文引入了极大代数语义的概念并讨论了其性质。
【机 构】
：
贵州大学计算机科学系贵阳550025
【出 处】
：
贵州大学学报：自然科学版
【发表日期】
：
1992年1期
【基金项目】
：
贵州省科学基金
其他文献
二次设备是发电厂电气系统的重要组成部分,其运行状态对于整个发电厂的生产、运营有着直接影响。发电厂电气二次设备在长时间的运行过程中不可避免地会出现各种运行故障,所以
“数字地球”对数字化图书馆提出了新的要求和挑战。简述了“数字地球”的含义及在我国的发展 ,阐述了建设数字图书馆的新观点
井冈山精神的灵魂是坚定执着追理想,这对高校辅导员理想信念教育有着很大价值。由于社会思潮多样化,工作压力叠加性等影响,部分高校辅导员出现理论知识缺乏、职业认同淡化等
简述了目前图书馆电子阅览室计算机系统不安全的因素,介绍了安全管理和维护电子阅览室计算机的措施及超级保镖2000在图书馆电子阅览室计算机管理和维护方面的应用,并指出了该
本文介绍了应用TP——805微机系统对我国测控网中的某连续波雷达在测量飞行物角度时的实时引导和实时控制,该控制系统的主要功能是:根据飞行的理论参数值和实际测量值,控制雷达跟踪飞行物,并且将引导测量的结果送给中心计算机和实时记录下来,本文从系统产生背景、总体设计、硬件设计和软件设计等几部分进行阐述。
死核常出现在化学工程和燃烧等的反应扩散问题中,当吸附率与反应物浓度的分数次幂成正比时,介质中某处参加反应的物质密度可能为零(此处称为死核)。本文重点是给出一类反应扩
土木工程专业对实践能力与创新能力要求较高,在教育教学过程中,应注重培养学生的实践能力与创新能力。针对大学生创新能力培养存在的问题,结合土木工程专业大学生创新能力的
以核工业西南物理研究院科技信息研究室为例,就科研院所科技信息研究室在当今的知识经济时代和网络环境下,如何通过加强对印刷型科技期刊的科学管理来搞好文献信息的开发利用
本文以梁的振型函数为位移试函数,基于最小势能原理,采用拉氏乘子法强制满足桥墩处主梁的位移条件,对斜拉桥拉索的轴力,塔架和主梁的弯矩,轴力及挠曲位移作了计算。文中考虑