论文部分内容阅读
本文简要介绍了RAISE规范语言的基本概念,并描述了其语义特征。从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
RAISE规范语言及其语义特征
【摘 要】
：
本文简要介绍了RAISE规范语言的基本概念,并描述了其语义特征。从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
【机 构】
：
国防科技大学,国防科技大学
【出 处】
：
计算机工程与科学
【发表日期】
：
1993年4期
其他文献
核心线程序是微内核操作系统Ｍａｃｈｙ调度的基本单位，它较好地支持了细粒度的并行计算，但核心线程在支持用户并发模型、双并发模型上还有许多缺点。用线程是在核心线程的支持下建立的更
苦味西葫芦（Cucubita pepo cv Dayangua）别名大烟瓜，是葫芦科南瓜属蔓生草本植物，主要分布于内蒙古多伦地区。其果实味苦，具有解乏、提神、镇痛等功效，当地民间常用于治疗人的感冒，
心脏是人体一个十分重要的器官，由心包、心肌、心内膜(心瓣膜)、传导系统组成，富含结缔组织。许多风湿病可以累及心脏和心血管系统，可以是原发的，或作为首发症状出现，也可以是继发
1845年，Budd最早描述了肝静脉血栓形成而造成的肝肿大、腹水等临床表现；1899年，Chiari详细描述了小肝静脉闭塞所导致的类似临床症状，称之为闭塞性静脉内膜炎。后来人们将上述发现
吴萍女高级陶瓷美术师，江西省陶瓷美术师。出生于江西景德镇，毕业于江西省景德镇陶瓷学院美术系。“蓝印花布”陶瓷创意总监、景德镇陶瓷协会会员、珠山陶瓷职工书画院常务理事
目的对高原驻训官兵口腔下颌智齿及冠周炎发生情况、临床表现及影响因素进行分析,为改善驻训官兵口腔卫生健康意识及下颌智齿冠周炎的防治水平提供依据。方法随机抽取2015年1
本文从一般意义上剖析了UNIX SYSTEM V的系统调用，介绍了系统调用的处理过程，TRAP程序等，最后给出了编写新的系统调用的步骤。
本论文以视频全息显示为目标，讨论动态全息显示的理论、数值计算方法和技术实现等问题。经典的光全息由波阵面记录与重现这两个独立过程构成，因此无法实现全息显示的动态和实时
越是计算机高手，越会对快捷键情有独钟。在系统和软件的使用过程中，使用快捷键可以将很多复杂的操作化繁为简，这样也就提升了工作的效率。在微软最新的Windows 7系统中也有着多
曲线轮廓汉字的优越性已越来越受到广大用户的认同。本文概述了分析方正Ⅴ型卡曲线汉字技术的方法。