1、ICS 35.020CCS L 00 DB22吉 林 省 地 方 标 准DB22/T 2798.2 2021朝 鲜 文 信 息 技 术 术 语 和 定 义第 2部 分 :算 术 与 逻 辑 运 算 TheKoreanalphabetinformationtechnologytermsanddefinitionsPart2:Arithmeticandlogicoperations 2021 -06- 01发 布 2021- 06-15实 施吉 林 省 市 场 监 督 管 理 厅 发 布 DB22/T 2798.22021 I 目 次前 言 .II1 范 围 .12 算 术 与 逻 辑 运 算 .
2、12.1 方 法 .12.2 变 量 的 表 示 法 .22.3 数 .32.4 函 数 和 映 射 .52.5 布 尔 运 算 .62.6 精 度 、 准 确 度 和 误 差 .9 2.7 算 术 运 算 .112.8 数 学 中 的 算 符 表 示 法 .132.9 数 和 量 的 处 理 .132.10 运 算 ， 操 作 .152.11 移 位 .172.12 表 和 图 .182.13 辅 助 术 语 .19附 录 A （ 资 料 性 附 录 ） 一 元 布 尔 运 算 表 .24附 录 B （ 资 料 性 附 录 ） 二 元 布 尔 运 算 表 .25索 引 .26 DB22/T
3、2798.22021 II 前 言DB22/T 2798 朝 鲜 文 信 息 技 术 术 语 和 定 义 拟 分 为 以 下 部 分 ： 第 1 部 分 ： 基 本 术 语 ； 第 2 部 分 ： 算 术 与 逻 辑 运 算 ；本 部 分 是 DB22/T 2798 的 第 2 部 分 。本 部 分 按 照 GB/T1.1 2020 标 准 化 工 作 导 则 第 1部 分 ： 标 准 化 文 件 的 结 构 和 起 草 规 则 给 出 的 规则 起 草 。请 注 意 本 文 件 的 某 些 内 容 可 能 涉 及 专 利 。 本 文 件 的 发 布 机 构 不 承 担 识 别 专 利 的 责
4、 任 。本 部 分 由 吉 林 省 民 族 事 务 委 员 会 提 出 并 归 口 。本 部 分 起 草 单 位 ： 延 吉 北 亚 信 息 技 术 研 究 所 、 中 国 朝 鲜 语 信 息 学 会 、 延 边 朝 鲜 族 自 治 州 朝 鲜 语 文 工 作 办 公 室 、 延 边 朝 鲜 族 自 治 州 工 业 和 信 息 化 局 、 延 边 大 学 、 吉 林 省 标 准 研 究 院 。本 部 分 主 要 起 草 人 ： 玄 龙 云 、 玄 利 吉 、 金 千 根 、 黄 浩 、 郑 昭 林 、 金 光 洙 、 卢 星 华 、 张 越 。 DB22/T 2798.22021 1 朝 鲜
5、文 信 息 技 术 术 语 和 定 义 第 2 部 分 :算 术 与 逻 辑 运 算1 范 围DB22/T 2798的 本 部 分 规 定 了 朝 鲜 文 信 息 技 术 算 术 与 逻 辑 运 算 的 相 关 概 念 的 术 语 和 定 义 ， 并 确 定 了这 些 词 条 之 间 的 关 系 。本 部 分 适 用 于 朝 鲜 文 信 息 技 术 算 术 与 逻 辑 领 域 的 概 念 理 解 和 国 内 外 信 息 交 流 。2 算 术 与 逻 辑 运 算2.1 方 法 2.1.1探 试 法 heuristic method ， 一 种 探 索 解 决 问 题 的 方 法 ， 这 种 方
6、法 通 过 评 价 一 系 列 近 似 结 果 来 逐 步 逼 近 ， 以 求 得 满 意 的 最 终 结 果 ，例 如 一 种 有 目 的 的 试 凑 法 。 . .2.1.2数 学 归 纳 法 mathematical induction 一 种 证 明 命 题 的 方 法 ， 该 命 题 涉 及 一 系 列 项 ， 这 些 项 与 不 小 于 自 然 数 N的 自 然 数 有 关 ， 证 明 命 题 时 ，首 行 验 证 与 N有 关 的 项 成 立 ， 而 后 假 设 与 不 小 于 N的 自 然 数 n有 关 的 项 成 立 ， 再 证 明 与 n+1有 关 的 项 也 成 立 。N
7、 N N n (n+1) .2.1.3形 式 逻 辑 formal logic 研 究 有 效 论 证 的 形 式 和 结 构 ， 而 不 考 虑 论 证 所 涉 及 的 对 象 的 含 义 。 . 2.1.4 DB22/T 2798.22021 2 符 号 逻 辑 ， 数 理 逻 辑 symbolic logic， mathematical logic ， 一 门 学 科 ， 在 这 门 学 科 中 ， 有 效 的 论 证 和 运 算 是 用 人 工 语 言 来 进 行 的 ， 以 避 免 自 然 语 言 的 二 义 性 和逻 辑 上 的 不 适 宜 性 。 .2.2 变 量 的 表 示 法
8、2.2.1逻 辑 变 量 ， 开 关 变 量 logic variable， switching variable ， 只 能 取 有 限 个 可 能 的 值 或 状 态 的 一 种 变 量 。 .2.2.2变 元 ， 自 变 量 argument 一 个 独 立 的 变 量 。 .2.2.3变 元 的 值 ， 自 变 量 的 值 argument 独 立 变 量 的 任 何 值 。 . 2.2.4参 量 ， 参 数 parameter ， 一 种 变 量 ， 针 对 每 一 特 定 应 用 场 合 ， 可 赋 予 它 一 个 常 数 值 ， 也 可 用 它 来 标 志 应 用 。 .2.2.
9、5标 量 scalar 仅 仅 用 一 个 值 表 征 的 量 。 .2.2.6 向 量 vector 通 常 用 标 量 的 有 序 集 合 表 征 的 量 。 . DB22/T 2798.22021 3 2.2.7变 化 范 围 span 一 个 址 或 函 数 可 取 得 的 最 大 值 与 最 小 值 之 间 。 .2.2.8首 数 (关 于 对 数 ) characteristic (of a logarithm) ( )对 数 表 示 式 的 整 数 部 分 ， 它 可 以 是 正 的 或 负 的 。 (+) (-) .2.2.9 尾 数 (关 于 对 数 ) mantissa(o
10、f a logarithm) ( )对 数 表 示 式 的 非 负 小 数 部 分 。 .2.3 数2.3.1自 然 数 ， 非 负 整 数 natural number， nonnegative integer ， ， 数 ， 0， 1， 2， 中 之 一 。0， 1， 2， . 2.3.2整 数 integer， integer number ， 数 0， -1-1， -1， +2， -2， - 中 之 一 。0， +1， -1， +2， -2， .2.3.3实 数 real number 能 用 固 定 基 数 数 制 中 一 个 有 限 位 的 或 无 限 位 的 数 码 表 示 的
11、数 。 .2.3.4 有 理 数 rational number 一 种 实 数 ， 它 是 一 个 非 零 整 数 去 除 另 一 个 整 数 所 得 的 商 。 0 . DB22/T 2798.22021 4 2.3.5无 理 数 irrational number 不 是 有 理 数 的 实 数 。 .2.3.6复 数 complex number 可 由 一 对 有 序 的 实 数 组 成 并 可 用 a+bi形 式 表 示 的 数 ， 其 中 a和 b是 实 数 .并 且 i 2=-1。a+bi . a b i2=-1 .2.3.7随 机 数 random number 从 已 知
12、的 一 组 数 中 选 出 的 一 个 数 ， 该 组 数 中 ， 每 个 数 出 现 的 概 率 相 同 。 .2.3.8随 机 数 序 列 random number sequence 一 种 数 的 序 列 ， 在 这 种 序 列 中 ， 每 个 数 都 不 能 只 根 据 其 前 面 的 诸 数 而 预 知 此 数 。 .2.3.9伪 随 机 数 序 列 pseudo-random number sequence 一 种 数 的 序 列 ， 这 种 序 列 是 用 某 种 给 定 的 算 法 过 程 来 求 得 的 ， 但 是 ， 对 于 某 些 要 求 而 言 ， 它 可 有 效地
13、用 作 一 种 随 机 数 序 列 。 .2.3.10序 号 serial number 标 识 项 目 在 序 列 中 位 置 的 整 数 。 .2.3.11零 (用 于 数 据 处 理 ) zero(in data processing) ( )一 个 数 ， 当 把 它 加 到 任 一 数 上 去 后 ， 或 从 任 一 数 中 减 去 它 时 ， 其 结 果 与 原 数 相 等 。注 ： 在 计 算 机 中 ， 零 可 有 不 同 的 表 尔 法 ， 如 正 零 、 负 零 可 以 由 一 个 带 符 号 的 数 减 去 它 本 身 得 到 )和 浮 点 零 (在 浮 点表 示 法 中
14、 ， 定 点 部 分 是 零 ， 而 阶 可 以 取 不 同 的 值 )。 . DB22/T 2798.22021 5 : . ( ) ( ) .2.3.12二 值 的 三 值 的 八 值 的 十 值 的 十 二 值 的 十 六 值 的 N值 的 ， 二 态 的 三 态 的 八 态 的 十态 的 十 二 态 的 十 六 态 的 N态 的 binary N-ary N ， N 指 对 象 、 条 件 或 动 作 可 能 呈 现 二 三 八 十 十 二 十 六 N种 不 同 值 或 状 态 中 之 任 一 值 或 状 态的 特 性 。N . 2.3.13二 进 的 三 进 的 八 进 的 十 进
15、的 十 二 进 的 十 六 进 的 N进 的 ， binaryternaryoctaldecimal or denaryduodecimalsexadecimal or hexadecimalN-ary 2 ， 3 ， 8 ， 10 ， 12 ， 16 ， n 指 一 种 固 定 基 数 数 制 具 有 基 数 为 二 三 八 十 十 二 十 六 N的 特 性 。 2， 3， 8， 10， 12， 16， N .2.3.14阶 乘 factorial ， 自 然 数 1， 2， 3， 直 到 包 括 给 定 的 整 数 在 内 的 连 乘 的 乘 积 。1 . 2.4 函 数 和 映 射2.4
16、.1逻 辑 函 数 ， 开 关 函 数 logic function， switching function ， 一 种 函 数 ， 它 的 每 个 自 变 量 以 及 函 数 本 身 都 只 能 有 有 限 个 可 能 取 值 。 .2.4.2布 尔 函 数 Boolean function ， 一 种 逻 辑 函 数 ， 它 的 每 个 自 变 量 以 及 函 数 本 身 都 只 能 有 两 个 可 取 的 值 。 . 2.4.3递 归 序 列 recursively defined sequence DB22/T 2798.22021 6 一 些 项 组 成 的 序 列 ， 其 中 第
17、一 项 以 后 的 各 项 由 一 些 运 算 所 确 定 ， 在 这 些 运 算 中 ， 操 作 对 象 包 括 了 部分 或 全 部 以 前 的 项 。注 ： 在 一 个 递 归 序 列 中 ， 可 以 存 在 多 于 个 的 有 限 个 未 定 义 项 。 . : 2 .2.4.4映 射 to map(over） 建 立 一 个 值 的 集 合 ， 这 些 值 和 另 一 个 集 合 的 堂 或 值 之 间 有 确 定 的 对 应 关 系 。 .2.4.5 映 象 map 一 种 值 的 集 合 ， 此 集 合 中 的 值 同 另 一 集 合 中 的 量 或 值 有 确 定 的 对 应
18、关 系 。 .2.4.6生 成 函 数 ， 母 函 数 generating function 一 种 数 学 函 数 ， 对 于 给 定 的 函 数 或 常 数 的 序 列 而 言 ， 当 把 该 数 学 函 数 表 示 为 无 穷 级 数 时 ， 级 数 各 项的 系 数 即 为 给 定 序 列 中 的 那 些 函 数 或 常 数 。 .2.4.7 阈 函 数 threshold function 一 种 具 有 一 个 或 多 个 变 元 的 二 值 逻 辑 函 数 (它 的 变 元 不 一 定 是 布 尔 型 的 )。 如 果 变 元 的 一 个特 定 的 数 学 函 数 值 超 过
19、某 一 给 定 的 阈 值 。 该 开 关 函 数 的 值 为 1， 否 则 为 0。 1， 0 .2.5 布 尔 运 算2.5.1布 尔 运 算 Boolean operation 所 有 操 作 数 和 结 果 只 能 取 二 个 值 中 之 一 的 运 算 。 .2.5.2布 尔 运 算 Boolean operation DB22/T 2798.22021 7 遵 循 布 尔 代 数 规 则 的 运 算 。 .2.5.3二 元 N 元 布 尔 运 算 dyadic N-adicBoolean operation 2 有 二 个 并 仅 有 二 个 有 N 个 并 仅 有 N 个 操 作
20、 数 的 布 尔 运 算 。 .2.5.4布 尔 算 符 ， 布 尔 算 子 Boolean operator 其 操 作 数 和 结 果 只 取 二 值 中 之 一 的 算 符 。 . 2.5.5补 运 算 ， 反 演 运 算 complementary operation ， 一 个 布 尔 运 算 的 补 运 算 是 另 一 个 布 尔 运 算 ， 当 后 者 用 第 一 个 布 尔 运 算 中 的 操 作 数 进 行 运 算 时 ， 其 结果 是 第 一 个 布 尔 运 算 结 果 的 “ 反 ” 。 .2.5.6对 偶 运 算 dual operation 一 个 布 尔 运 算 的
21、 对 偶 运 算 是 另 一 个 布 尔 运 算 ， 当 后 者 用 每 一 个 布 尔 运 算 的 操 作 数 的 “ 反 ” 进 行 运 算 时 ， 其 结 果 是 第 一 个 布 尔 运 算 结 果 的 “ 反 ” 。 .2.5.7“ 全 同 ” 运 算 identity operation 一 种 布 尔 运 算 ， 当 且 仅 当 所 有 的 操 作 数 具 有 相 同 的 布 尔 值 时 ， 其 结 果 为 布 尔 值 1。 1 .2.5.8“ 非 全 同 ” 运 算 non-identity operation 一 种 布 尔 运 算 ， 当 且 仅 当 所 有 操 作 数 具
22、有 不 全 相 同 的 布 尔 值 时 ， 其 结 果 为 布 尔 值 1。 1 .2.5.9“ 等 价 ” 运 算 equivalence operation， IF-AND-ONLY-IF operation DB22/T 2798.22021 8 一 种 二 元 布 尔 运 算 ， 当 且 仅 当 二 个 操 作 数 具 有 不 相 同 的 布 尔 值 时 ， 其 结 果 为 布 尔 值 1。 1 2 .2.5.10“ 非 等 价 ” 运 算 ， “ 异 或 ” 运 算 non-equivalence operation， EXCLUSIVE-OR operation ， 一 种 二 元
23、 布 尔 运 算 ， 当 且 仅 当 二 个 操 作 数 具 有 不 同 的 布 尔 值 时 ， 其 结 果 为 布 尔 值 1。 1 2 .2.5.11合 取 ， “与 ”运 算 ， 交 conjunction， AND operation， intersection ， AND ， 一 种 布 尔 运 算 ， 当 且 仅 当 所 有 的 操 作 数 具 有 布 尔 值 1时 .其 结 果 为 布 尔 值 1。 1 1 .2.5.12非 合 取 ， “ 与 非 ” non-conjunction， NAND operation， NOT-BOTH operation ，NAND ， NOT-
24、BOTH 一 种 布 尔 运 算 ， 当 且 仅 当 每 个 操 作 数 具 有 布 尔 值 1时 ， 其 结 果 为 布 尔 值 0。 1 0 .2.5.13析 取 “ 或 ” 运 算 ， 逻 辑 加 disjunction， OR operation， INCLUSIVE-OR operation， logical add ， EITHER-OR ， INCLUSIVE-OR 一 种 布 尔 运 算 ， 当 且 仅 当 每 个 操 作 数 具 有 布 尔 值 0时 ， 其 结 果 为 布 尔 值 0。 0 0 .2.5.14非 析 取 ， “ 或 非 ” 运 算 non-disjuncti
25、on， NOR operation， NEITHER-NOR operation ， NOR ， NEITHER-NOR 一 种 二 元 布 尔 运 算 ， 当 且 仅 当 每 个 操 作 数 具 有 布 尔 值 0时 ， 其 结 果 为 布 尔 值 1。 1 1 2 .2.5.15排 除 ， “ 禁 止 ” 运 算 exclusion， NOT-IF-THEN operation 一 种 二 元 布 尔 运 算 ， 当 且 仅 当 第 一 操 作 数 具 有 布 尔 值 1而 第 二 操 作 数 具 有 布 尔 值 0时 ， 其 结 果 为 布 尔值 1。 1， 0 1 2 . DB22/T
26、 2798.22021 9 2.5.16蕴 涵 ， “ 蕴 涵 ” 运 算 implication， IF-THEN operation， conditional implication(operation） ， ， IF-THEN 一 种 二 元 布 尔 运 算 ， 当 且 仅 当 第 一 操 作 数 具 有 布 尔 值 1而 第 二 操 作 数 具 有 布 尔 值 0时 ， 其 结 果 为 布 尔值 为 0。 1， 0 0 2 .2.5.17“ 反 ” ， “ 非 ” 运 算 negation， NOT operation ( )， NOT 一 种 一 元 布 尔 运 算 ， 其 结 果
27、的 布 尔 值 与 操 作 数 的 布 尔 值 相 反 。 .2.5.18求 “ 反 ” to negate 执 行 “ 反 ” 的 运 算 。 .2.6 精 度 、 准 确 度 和 误 差2.6.1精 度 precision 分 辨 几 乎 相 等 诸 值 的 能 力 的 一 种 度 量 。 .2.6.2多 倍 精 度 multiple-precision 为 了 提 高 精 度 而 使 用 二 个 或 多 个 计 算 机 字 来 表 示 一 个 数 的 这 种 特 性 。 .2.6.3单 双 倍 三 倍 精 度 single-double-triple-precision ， ， 3 依
28、照 所 要 求 的 精 度 ， 使 用 一 个 二 个 三 个 计 算 机 字 来 表 示 一 个 数 的 这 种 特 性 。 123 .2.6.4误 差 error ， DB22/T 2798.22021 10 计 算 值 、 观 察 值 、 测 量 值 或 状 态 与 真 值 、 给 定 值 、 理 论 上 的 正 确 值 或 状 态 之 间 的 偏 差 。 ， ， ， .2.6.5准 确 accuracy 一 种 无 误 差 的 性 质 。 .2.6.6准 确 性 accuracy 对 无 误 差 程 度 的 一 种 定 性 估 计 ， 估 计 愈 高 ， 对 应 的 误 差 愈 小 。
29、 .2.6.7准 确 度 accuracy 对 误 差 大 小 的 一 种 定 量 度 量 ， 通 常 表 示 为 一 个 相 对 误 差 的 函 数 ， 其 度 量 的 值 愈 高 ， 对 应 的 误 差 愈 小 。 .2.6.8绝 对 误 差 absolute error 计 算 值 、 观 察 值 、 测 量 值 或 获 得 值 减 去 真 值 、 给 定 值 或 理 论 卜 的 正 确 值 所 得 之 代 数 结 果 。 ， ， ， .2.6.9相 对 误 差 relative error 绝 对 误 差 与 真 值 、 给 定 值 或 理 论 上 的 正 确 值 之 比 。 ， .2
30、.6.10平 衡 误 差 balanced error 其 平 均 值 为 零 的 误 差 集 合 。 . 2.6.11偏 倚 bias 一 个 值 对 于 基 准 值 的 有 系 统 性 的 偏 差 。 DB22/T 2798.22021 11 .2.6.12偏 倚 误 差 bias error ， 由 于 偏 倚 产 生 的 误 差 。 .2.6.13误 差 范 围 error range 误 差 可 取 值 的 集 合 。 . 2.6.14误 差 变 化 范 围 error span 误 差 的 最 大 值 与 最 小 值 之 间 的 差 。 .2.6.15截 断 误 差 truncat
31、ion error 由 于 截 断 产 生 的 误 差 。 .2.6.16 舍 人 误 差 rounding error 由 于 舍 入 产 生 的 误 差 。 .2.7 算 术 运 算2.7.1二 进 制 算 术 运 算 binary arithmetic operation 2 一 种 算 术 运 算 ， 在 这 种 运 算 中 操 作 数 和 结 果 都 是 用 纯 二 进 数 制 来 表 示 。 2 .2.7.2 有 效 数 位 计 算 significant digit arithmetic 一 种 采 用 修 正 的 浮 点 表 示 制 进 行 计 算 的 方 法 ， 在 这 种
32、方 法 中 ， 每 个 操 作 数 的 有 效 数 位 的 位 数是 明 确 的 ， 而 其 结 果 的 有 效 数 位 的 位 数 ， 则 根 据 操 作 数 的 有 效 数 位 的 位 数 所 执 行 的 运 算 及 可能 提 供 的 精 度 的 程 度 来 确 定 。 ， DB22/T 2798.22021 12 .2.7.3 (算 术 )溢 出 (arithmetic) overflow ( ) 算 术 运 算 产 生 的 结 果 超 过 数 的 表 示 法 所 规 定 字 长 的 现 象 。 .2.7.4溢 出 overflow 运 算 结 果 的 字 长 超 过 指 定 的 存 储 设 备 的 存 储 能 力 的 现 象 。 . 2.7.5(算 术 )下 溢 (arithmetic) underflow ( ) 算 术 运 算 中 ， 运 算 结 果 的 绝 对 值 太 小 ， 以 致 不 能 在 所 用 数 制 的 范 围 内 表 示 的 现 象 。 .2.7.6进 位 数 carry dig
