对定点补码除法运算规则的完整证明.pdfVIP

维普资讯 第 l5卷 第2期 阜新矿业学院学报 (自然科学版) 1996年 4月 Vo1．15， N 2 JournalofFuxinMining Institute (NaturalScience) ADr．．1996 一 砧 f 对定点补码除法运算规则的完整 主墨盎 朱庆成√ 顾德英 ／1 (谗㈨气榔 关键词三譬；溢 ，，迁疋罅客 中囝号 TP30 { 0 引 言 以补码形式进行定点算术运算是计算机通常采用的算法。对于补码运算的加法、减法、乘法的运 算规则 ，已经有了大量的证 明。而对于 N位定点补码除法运算规则的证明尚不够完整，且有明显的局 限性 。本文正是为了补充这一算法的不足，对计算机 的定点补码除法运算规则给 以充分 的完整的证 明 。 证明Ⅳ位定点补码运算规则的方法是 ：以参JJni~算的两个数 和Y都限定在一定的范围内(即： 1 ≥ 1，1 ≥一1)为前提 ，从证 明ix]I}一 。12… ， ]I}一 。 2… ，I．r]}}／1l]I}一￡。z】z2… z为 目的，从补码的定义和性质出发 ，通过数学表达式的推演．完整地证明补码运算规则。同时+对定 点补码除法运算溢出的判别条件和补码除法的运算过程也予以详细的论述 。 1 定点补码除法运算规则的证明 设 ：商 z=．r／y=z z．-％ 中间余数用 R 表示。 根据除法规则列等式 ： 第一步 当 ， 同号时，余数R 一 一 ； 当 ，异号时+余数 R + 写成。=+cz 其中z。一{：：雾善 依次类推，可得 ： RL一2R。+ (1一 eG)y R2—2RL+ (1— 2z。) R3—2R2+ (1— 2z1) R 一2RH 十 (1 2 1) 其中 fl 当 ，R 同号 一lo当，R．异号 R 一 2R 2+ (1 2z 3) ， R 一 2R ．+ (1 2 ) 为建立起商 (z一。商z… )与 和 的联系而消去中间结果R。+R ，R ，…R ，将上述 (n 1)个 收稿 日期 1995 11 03 第 一作者 李义燕，男 ，1954年生 、讲师。 维普资讯 第2期 李义杰等 ：对定点补码 除法运算规则的完整证明 219 等式中两边分别乘 以2，2 ，2 ，…2。于是得到 2R =2 + (1一 Zz；)y ·2“ 2一 Rl一2Ro+ (】一 2z0) ·2 22Rz一2 R 『+ (1 2￡1) · 。 2R一 一22R一2一 (1 2 2) ·2 2。R 一21R l-4-(1 22 1) ·2。 将上述各式相加 R 一 2 + (2 + 2 ‘+ 2 + … 一 2 + 2。)