| 术语 | 描述 |
|---|---|
| 实际参数化数据类型 actual parametric datatype | 在数据类型生成器的使用中作为参数化数据类型出现的数据类型,与定义数据类型生成器时出现的形式参数化类型相对。 |
| 实际参数化值 actual parametric value | 在引用数据类型族或数据类型生成器时作为参数化值出现的值,与相应定义中出现的形式参数化值相对。 |
| 聚合数据类型 aggregate datatype | 生成的数据类型,其每个值均由组件数据类型的值组成,即对组件值的所有操作都有意义。 |
| 注释 annotation | 附加到数据类型、数据类型的组件或过程(值)上的描述性信息单元,用于表征与该数据类型的值相关的表示、变量或操作的某些方面。 |
| 近似 approximate | 数据类型的属性,表示概念数据类型的值与有效计算模型的值之间不存在一一对应关系。 |
| 有界 bounded | 数据类型的属性,意味着既有上界又有下界。 |
| 上界 bounded above | 数据类型的属性,表示值空间中存在一个值U,使得值空间中的所有值s都满足s ≤ U。 |
| 下界 bounded below | 数据类型的属性,表示值空间中存在一个值L,使得值空间中的所有值s都满足s ≥ L。 |
| 特征操作 characterizing operations | 对数据类型进行操作或产生数据类型值的操作集合,用于将该数据类型与具有相同值空间的其他数据类型区分开来。 |
| 组件数据类型 component datatype | 作为数据类型生成器参数化数据类型的数据类型。 |
| 数据类型 datatype | 由值的属性以及对这些值的操作所表征的不同值的集合。 |
| 数据类型声明 datatype declaration | 本国际标准提供的用于定义未由本国际标准定义的数据类型的方法。 |
| 数据类型族 datatype family | 具有等效特征操作和关系,但值的数量和标识不同的数据类型集合。 |
| 数据类型生成器 datatype generator | 对作为对象的数据类型(而非其值)进行操作以生成新数据类型的操作。 |
| 定义的数据类型 defined datatype | 通过类型声明定义的数据类型。 |
| 定义的数据类型生成器 defined generator | 通过类型声明定义的数据类型生成器。 |
| 精确 exact | 数据类型的属性,表示概念数据类型的每个值在有效计算模型中都与所有其他值不同。 |
| 形式参数化类型 formal-parametric-type | 出现在数据类型生成器定义中的标识符,在引用由生成器生成的(定义的)数据类型时,将用数据类型替换该标识符。 |
| 形式参数化值 formal-parametric-value | 出现在数据类型族或数据类型生成器定义中的标识符,在引用族中(定义的)数据类型或由生成器生成的数据类型时,将用值替换该标识符。 |
| 通用数据类型 general-purpose datatype | 由本国际标准定义的数据类型。 |
| GPD生成的数据类型 GPD-generated datatype | 通过本国际标准提供的数据类型定义手段定义的数据类型。 |
| 生成的数据类型 generated datatype | 通过对一个或多个先前定义的数据类型应用数据类型生成器而定义的数据类型。 |
| 生成的内部数据类型 generated internal datatype | 通过对特定编程语言中定义的数据类型生成器应用一个或多个先前定义的内部数据类型而定义的数据类型。 |
| 生成器声明 generator declaration | 本国际标准提供的用于定义未由本国际标准定义的数据类型生成器的手段。 |
点击“科鉴美利体育登录入口官网”关注我们前 言借助通用质量软件工具,可大幅降低通用质量设计分析与统计的技术难度和出错概率、提高效率和规范性。近日,广东科鉴美利体育登录入口官网工程技术有限公司(简称“科鉴美利体育登录入口官网”)与广州宝顺信息科技有限公司(简称“宝顺信息”)达成战略合作,正式联合推出基于通用质量工程软件PosVim的通用质量技术服务...
示波器是一种用途十分广泛的电子测量仪器。它能把肉眼看不见的电信号变换成看得见的图象,便于人们研究各种电现象的变化过程。示波器利用狭窄的、由高速电子组成的电子束,打在涂有荧光物质的屏面上,就可产生细小的光点。在被测信号的作用下,电子束就好像一支笔的笔尖,可以在屏面上描绘出被测信号的瞬时值的变化曲线...
通用电气(GE)周二(21日)宣布进军医疗信息化行业,将收购一家美国医疗健康人力资源管理软件以及解决方案提供商。在中国,医疗信息化还在初创阶段,也有数家上市公司涉及。 通用电气在官网表示,公司希望以此来加强自己在软件、数据和分析方面的能力。该项收购有望于2014年第一季度完成,但公告并未...
原文地址:http://news.sciencenet.cn/htmlnews/2023/1/492667.shtm 为贯彻党的二十大精神,进一步落实《中华人民共和国国家通用语言文字法》,加大国家通用语言文字推广普及力度,教育部制定《信息技术产品国家通用语言文字使用管理规定》(以下简称《管理规定...
Copyright ?2007-2026 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号
页面更新时间: 2026-08-25 10:23