[发明专利]无进位无借位n值运算器的设计方法无效

专利信息
申请号: 200710041144.1 申请日: 2007-05-24
公开(公告)号: CN101067755A 公开(公告)日: 2007-11-07
发明(设计)人: 严军勇;金翊;左开中 申请(专利权)人: 上海大学
主分类号: G06E1/00 分类号: G06E1/00
代理公司: 上海上大专利事务所 代理人: 何文欣
地址: 200444*** 国省代码: 上海;31
权利要求书: 查看更多 说明书: 查看更多
摘要:
搜索关键词: 进位 借位 运算器 设计 方法
【说明书】:

技术领域

发明涉及一种无进位无借位n值运算器。

背景技术

在三值光计算机的研究中,由于没有实用的设计理论和程式化的设计规范,导致了运算器的设计和制造进展缓慢、设计质量难以保证,而且同一种运算器由不同人来设计会得出不同的设计光路。这种现状给光运算器的制造、化简和重构带来很大困难。

发明内容

本发明的目的是提供一种合理有效的无进位无借位n值运算器。

本发明是一种无进位无借位光学运算器,利用迭合器将结构上相对简单的运算基元Ah(n)迭合成n值运算器Ph(n),其理论基础为:

①一些定义和定理

无进位且无借位两路输入n值运算器的运算功能(下文简称为n值运算器和n值运算)可用其输入输出真值表来定义,这种真值表是n×n阶表,本文用Lk(n)表示,其第i行第j列位置上的元素用ci,j表示,当每个ci,j都取定一个值时,Lk(n)就定义一个特定的n值运算。而每个ci,j有n种不同取值,所以共有种Lk(n)表,即共可定义出种n值运算。另一方面,在任意一个n值运算器(下文用Ph(n)表示)中必须用n个不同的物理状态来表征这n个值,为方便讨论我们先给出下列定义。

定义1:集合Ω={τ1,τ2,...,τi,...,τn},Ω是真值表Lk(n)的元素ci,j的值域。定义2:集合Φ={λ1,λ2,...,λi,...,λn},λi是适合计算机用来表示信息的物理状态。

定义3:存在物理状态D(∈Φ),满足D与λi(∈Φ)物理叠加后仍为λi

显然,设计一个n值运算器时首先要确定Ω中各元素与Φ中各元素的对应关系。定义4:基元表是有且仅有一个元素取对应于非D状态的值,其余元素都取对应于D状态的值的n×n阶表。

下文用BLh(n)表示基元表,其中对应于非D状态的值用d*表示,对应于D状态的值用d表示,于是BLh(n)中除一个位置为d*外,其余(n×n-1)个位置均为d。所以它是一个n×n阶的二值表。由于d*可取Φ中不为D的(n-1)个状态所对应的值,所以在同一位置上取d*值的基元表共有(n-1)个,而这个d*值可以出现在基元表的任意位置,所以总共可有n×n×(n-1)个基元表。值得注意的是:虽然每个基元表都仅有两种取值,但他们与现行电子数字计算机中使用的二值系统有下列根本不同:

(1)每个基元表都有n2个元素。

(2)所有基元表元素的取值全集等于Ω。

(3)基元表元素的取值全集Ω对应于物理状态集合Φ。

(4)每个基元表之间或者d*值不同或者d*值出现的位置不同。

定义5(迭合运算):两个真值表元素进行迭合运算,则对应的物理状态进行物理叠加,若物理叠加后的物理状态P∈Φ,则迭合运算成立,否则迭合运算不成立。

迭合运算在表达式中用符号表示。

若对于Φ上的所有元素迭合运算都成立,则迭合运算在Φ上有封闭性,这时,Φ表征着一个用于信息表示的理想物理系统。然而很多情况下迭合运算在Φ上不具备封闭性。但是,认真选择λi所对应的物理状态,可以使Φ中的某些元素在Φ上的迭合运算具有封闭性,例如按定义3选定的D状态就有这样的特性,我们用定理1表述之。

下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于上海大学,未经上海大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/pat/books/200710041144.1/2.html,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top