论文部分内容阅读
本文设计了一种基于Ada的规范说明语言,该语言具有模块化机制,参量化机制,私有化机制和函数定义机制,在一个模块中可说明操作、类型和常量,函数的定义由前置条件和结果描述组成,其中允许使用量词表达式和描述符表达式。
一积基于Ada的规范说明语言
【摘 要】
：
本文设计了一种基于Ada的规范说明语言,该语言具有模块化机制,参量化机制,私有化机制和函数定义机制,在一个模块中可说明操作、类型和常量,函数的定义由前置条件和结果描述组
【出 处】
：
计算机工程与科学
【发表日期】
：
1992年1期
其他文献
自教育部提倡高校推行研究性教学后,大学各类课程都如火如荼开展研究性教学。但高校的音乐课程对于研究性教学的实施探究还不够重视。针对这一情况,笔者认为有必要在音乐教育
每天要记的事情都非常多，很多时都要使用便条或者手机来记事，否则事情很容易就会被忘记。如果可以在自己电脑桌面上贴上便条纸，不但不会忘记重要事项，而且还不会丢失。如果贴纸搭
椎-基底动脉扩张延长症(VBD)是一种病因未明的血管变异疾病,临床表现多样,可分为无症状型、后循环梗死型、颅内出血型、脑组织受压型等[1]。现报告1例如下。1 病例患者,男,52
新课程改革自实施以来取得了显著成效,但依然存在部分教师固守封闭、被动的传统教学模式,无法与时俱进的问题。课堂教学设计和实施策略的质量与效率最直接、最集中地反映了教
一些用户喜欢制作各种各样的合成图片，发布至空间分享，卫或者用于即时通讯用来表达心情。虽然Photoshop带来了强大的照片合成功能．但是由于操作复杂，用户很难掌握。
刘志明 1961年生，河北唐山市人。现为中国美术家协会会员，中国山水画研究院研究员，河北省一级工艺美术大师，河北省美术家协会理事，唐山市美术家协会秘书长，唐山市山水画研究会副会
《世说新语》是我国古代的一部经典文献,全书以简洁、隽永的文字记录了魏晋名士的玄言清谈、逸闻轶事。该书为后人研究魏晋时期上层社会人物的言行、思想提供文献资料的同时,
针对手绘图像检索领域中手绘图像的特征稀疏、手绘本身易于形变等问题,文中提出了一种基于注意力模型的特征提取方法,通过精确提取手绘图像中的语义特征来获得高效准确的检索结果。首先使用卷积神经网络作为提取语义特征的基础框架;然后在有监督训练的过程中引入了注意力模型机制,通过在卷积神经网络的最后一层卷积层后引入注意力结构块的方法来定位出有效的语义特征,其中注意力结构块由空间注意力结构和通道注意力结构联合组成
时光飞逝，转眼间2007年已经和我们说再见了。2008年已经践约而来，在这新的一年里，软件的发展将会是什么样呢？下面不妨让我们来展望预言一下。当然，如何大家对此有自己的见解和展望
本报讯（吴柯蓝唐春燕记者张伟）记者昨（7）日获悉，巴中市检察院日前召开全市检察机关刑事检察工作座谈会，谋划推进2018年全市刑检工作。会上，市检察院党组副书记、副检察长耿福琴对抓
报纸