基于三值触发器的三值时序电路分析

一、引言 近年来,为了克服多值逻辑在付诸实用中遇到的障碍——缺乏合适的存贮元件而进行的努力取得了进展,文献[1—3]提出了主从JKL型、T型及D型与维持阻塞D型、T型三值触发器的设计,从而形成了完整的三值触发器系列。基于三值触发器的三值时序电路综合的研究也取得了进展,然而尚缺乏有效的三值时序电路的分析方法。作为对上述工作的补充,本文讨论三值时序电路的代数分析法。     

三值环形控制器的有效综合

一、引言 缺乏合适的多值触发器是多值逻辑实用化的主要障碍之一。近年来,为克服这一障碍所作的努力取得了进展,提出了与二值触发器对应的各种新型三值触发器,从而构成了完整的三值触发器系列,为三值时序电路的研究奠定了基础,促进了三值时序电路的研究。文献[1]提出了基于Post代数的三值主从JKL型触发器,它的次态方程为     

三值维持阻塞触发器的研究

本文在作者以前工作的基础上,通过对二值维持阻塞触发器设计思想的归纳提出了具有三轨输出的三值维持阻塞触发器的逻辑设计。多值逻辑的研究是当前人们在提高现有数字集成电路信息处理能力上的一个努力方向。然而,至今未研究成功合适的、且不复杂的存贮单元的事实已成为多值逻辑付诸实用的一个     

火焰光谱法的三维研究(Ⅲ)——测定ⅠA元素时ⅡA氯化物的干扰

文献[1]报道过ⅠA族和ⅡA族元素原子化的特点,并分类为:典型热解原子化型元素K、Rb和Cs,典型还原原子化型元素Ca、Sr和Ba,以及过渡型元素L_i、Na和Mg。文献[2]命名了新术语以特征化和数值化研究获得的干扰三维表;研究了热解原子化型元素间交互干扰,除获得完整的电离干扰规律外,还发现了共存物有阻塞干扰和测锂时有解离干扰,为     

数列最优成组剖分的一个近似算法

一、问题的提出及定义根据铁路运输中列车的编组问题,文献[2]提出了有限数列的最优成组剖分问题,文献[3]解决了文献[2]中提出的顺序子序列的计数问题,文献[4]给出了最优拟顺序成组剖分的一个多项式算法。设S是一个有限数列     

高度近似最佳2-3树

2-3树是一种很重要的平衡搜索树。文献[1]中叙述了2-3树(也叫3-2树)的定义(在每个内点上存放一个或两个关键字,且分别具有两个或三个儿子点;所有外点在同一层上)。显然,具有N个关键字的2-3树,其高度h在log_3(N 1)≤h≤log_2(N 1)之间。在这种树上的最坏搜索时间是O(h)。文献[1]中还给出了对它的O(h)时间的插入算法。通过该插入算法插入每个随机关键字而生成的2-3树叫动态自由2-3树。文献[2]研究了N→∞时这     

量词模态系统的代数语义与Kripke语义——关于S5~*情形

已故模态逻辑专家Lemmon在文献[1]和文献[2]中研究了一系列命题模态逻辑系统的代数语义与Kripke语义及其相互可转化性。他还在文献[1]中表示要用第三篇文章来讨论量词模态系统的相应问题;可惜该文未问世,Lemmon便溘然长逝了。在本文中我们对带量词的S5即S5~*而言讨论了两种语义的相互可转化性。S5~*在作者文献[3]和文献[4]中用S_5~*     

大对称群的正则母单位

一、引言对称群正则母单位在现代物理中,如超核、重子结构、FP系数等问题中应用越来越多。应用母单位处理大群乘积约化等问题也是一个有前途的方向。1962年的文献[1]和1982年的文献[3]给出了[λ]=[2~a1~b]、[4~a3~b2~c1~d]和[5~a4~b3~c2~d1~e]几个较低对称型下的母单位表达式。表达式中的待定系数C_K~[λ]和由一个方程组确定,而这些方程的系数阵是由文字a、b、c…组合而成不能上机,而手解化简高于5元的就几乎不可能。对称类型越高困难越大。本文给出一种方法,对任意大的N任意高的对称型下的正则母单位都可以直接写出。     

多元样条的B网表示

应用B网来研究二元样条,首推Farin。在文献[1]里,Farin导出了用Bézier坐标来表达二元样条函数的C′连续性条件。在文献[2]里,de Boor及Hllig利用B网确定了三方向分划上的二元三次一阶光滑样条函数空间的逼近阶。 本文研究多元样条的B网表示。特别,我们导出了用B网刻划多元样条C′连续性的一个简洁的公式。     

多值逻辑函数相关免疫的谱特征

相关免疫是密码学中的一个重要概念.在文献[1]中,Siegenthaler给出了相关免疫的数学定义,并且将逻辑函数的相关免疫阶数作为密码系统抗相关攻击的一个度量指标.利用Walsh变换,文献[2]研究了二值逻辑函数即布尔函数的相关免疫性,得到了几变元的布尔函数为m阶相关免疫的充分必要条件,这一结果在研究二值相关免疫函数的性质及构造中发挥了重要作用.对于从GF~n(p)到GF(p)的函数,即p-值逻辑函数,由于其代数结构比布尔函数复杂.对     

一类三次系统的奇点量公式和可积性条件,M(3)≥7

为了统一地处理实平面微分自治系统的焦点量和鞍点量,文献[1]中引进并讨论了复自治微分系统的奇点量。一个至今尚未解决的问题是:右端为三次多项式的二阶微分自治系统,实域中的细焦点、细鞍点以及复域中的细临界型奇点其最高精细度为多少(M(3)=?)。由文献[2]与[3]中的结果可得M(3)≥5。本文讨论系统     

两指标Poisson型随机微分方程强解的比较定理

一、引言 在文献[1]中,我们曾经讨论了一类两指标Poisson型随机微分方程解的轨道唯一性问题,给出了一个判断SDE_((1))的解按轨道唯一的充分条件。在较强的条件下,应用文献[2]中的压缩映象的不动点原理,我们可以证明方程(1)的解存在唯一。 对固定一点t_∈R_t~2,考虑如下两个poisson型随机微分方程     

格值模型论中常量构作法的两个应用

本文是文献[1]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容与文献[1]是各自独立的。本文主要是用常量构作模型的方法的两个应用。其一是用于证明某些有限值格时的紧致性定理(文献[1]中已用超积方法证明了有限值格时的紧致性定理),其二是用于证明某些值格时的省略型定理。     

比较偶图能量的两个定理

以一定方式给某些图一个偏序是人们常常研究的课题。文献[1]研究了某些图依支撑树数排序,文献[2]研究了依匹配多少排序,文献[3]研究了树依能量排序。此类问题不仅在理论上且在实际上有价值。如对图能量的研究在化学上可比较异构物的稳定性。     

关于平面上宽过去马氏性的注记

一、引言和定义 关于两参数过程的马氏性,有各种不同的定义。这主要是因为所考虑的过去不同。即使只考虑宽过去,仍然有几种马氏性的定义。例如文献[1]中的*-马氏性;文献[2]中的宽过去马氏性;文献[3]中给出、文献[4]中略加改变的另一种宽过去马氏性(我们将称为弱的宽过去马氏性)。还有文献[5]中给出、文献[1]中略加改变的L-马氏性。在研究两参数随机微     

L-不分明完备映射

完备映射是拓扑学重要概念之一,如何定义一种合适的L-不分明完备映射自然是一个值得关注的课题。文献[1]与[2]就L=[0,1]之情形曾分别引入过不分明完备映射的概念,但都不太理想。受连续格理论的影响,文献[3]和[4]彼此独立地就值域为完全分配格情形建立了较为理想的良紧理论,它为我们建立一种理想的L-不分明完备映射理论提供了基础。本     

关于姜伯驹的三个引理

本文标题中的三个引理是文献[1]中的引理4.3、4.4和4.5,也就是文献[2]中的引理Ⅲ4.2、Ⅲ4.3(ⅰ)和Ⅲ4.4(ⅰ)。它们原来的证明都用了泛复迭空间理论。本文的目的是不用泛复迭空间理论,而是用“直接”法给出上述文献[2]中三个引理的一个简单的新证明,并且提出     

Hopf模代数的投射性与平坦性

Hopf代数是代数学的一个活跃分支。给出一个H-模代数A,Hopf代数理论的一个重要课题是研究代数A,不动子代数A~H及Smash积A#H三者代数性质之间的关系。我们知道,若A/A~H是H-Galois扩张,则_A~HA是投射模(见文献[1]中定理1.7或文献[2]中定理1.2′)。这启发我们研究在什么条件下_A~HA是投射模或平坦模。     

无界域上的Poincaré型的不等式与强非线性变分问题

本文建立了无界域上Sobolev空间_p~1(Ω)和Sobolev-Orlicz空间~1E_P(φ;Ω)中的Poincaré型的不等式,并且把文献[1]的工作推广到了无界区域上,减弱了文献[1]的限制性条件。本文采用文献[1]和[2]的记号。     

复数在有限超越型域上代数无关性的判别法则

一、引言 盖尔芳特超越性判别法(Q上)是建立代数无关性的有力工具。文献[2]将它推广到有限超越型域上。本文将文献[2]中的判别法推广到多变数情形,亦即建立了复数在有限超越型域上代数无关性的判别法则。