论文部分内容阅读
本文介绍了一种新型的对象类型规范语言，它融汇了一些关于对象类型理论的最新成果，并给出了基于该语言的子类型概念。
一种新型的对象类型规范语言
【摘 要】
：
本文介绍了一种新型的对象类型规范语言，它融汇了一些关于对象类型理论的最新成果，并给出了基于该语言的子类型概念。
【机 构】
：
国防科技大学计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
1996年2期
其他文献
目的:观察健康信念干预模式在脑梗死后吞咽困难患者康复训练中的应用效果。方法:选取我院神经内科2017年1~12月收治的144例脑梗死后吞咽困难患者为研究对象,随机分为观察组和
引言面向对象的程序设计思想被认为是80年代的结构程序设计,从更高更广的角度研究面向对象的方法已成为90年代的热门课题,它已不仅仅局限于程序设计领域,而且逐步渗透到了软件开发、系统模拟、CAD、图形处理、数据库及知识库的组织与管理、专家系统和体系结构等计算机软件的各个方向,许多专家学者已开始从认识方法论的角度研究这一方法。
<正>中考知识梳理一、图形的认识1.线段、射线和直线(1)线段的性质:两点之间,线段最短.(2)两点确定一条直线;两条直线相交,有且只有一个交点.(3)线段的垂直平分线是到线段两
【正】在临床上,致心律失常性右室发育不良(ARVD)通常表现为室性心律失常。据报道,ARVD偶尔表现为急性冠状动脉综合征、心力衰竭和电风暴。将所有这些不
很多读者与笔者一样．开始习惯在Google文件上编辑文件，不过即使利用内置的文件搜索功能，在文件越来越多的情况下，要快速找出所需文件以及与其他用户共同编辑，
近几年，中考数学试卷中出现了求三条线段之和最小值的试题，题目多变，风格清新，但万变不离其宗. 下面举三例： ■ （2009福建彰州改编）如图1，∠AOB=45°，P是∠AOB内一点，PO=10，Q，R分别是OA，OB上的动点，求PQ＋PR＋RQ的最小值． ■ 点P是角内部的一个定点，要在角的两边各确定一点使这三点连成的三角形周长最小，只需将这三边的和转化为以两定点为端点的一条直线即可． ■
功能标准是指导OSI系统研制、开发、集成和应用的标准体系。本文介绍了OSI标准化现状和功能标准的由来,并重点描述了OSI ISP国际功能标准的概念、作用、分类及用法等内容。最
本文阐明了解析原理，提供了获取加密ＰＬＤ器件内部逻辑的优良解析方法，论述了ＰＬＤ解析系统硬件模型和软件系统。