A Note on the Order of Iterated Line Digraphs

Given a digraph G, we propose a new method to find the recurrence equation for the number of vertices of the k‐iterated line digraph , for , where . We obtain this result by using the minimal polynomial of a quotient digraph of G.     

一类逻辑方程组的解法研究

为了使解由非0非1型逻辑方程构成的逻辑方程组灵活多样化,给出了逻辑方程组成立的充要条件,化逻辑方程组为0型或1型逻辑方程的方法,并给予证明,得到了若两个0型逻辑方程的解集分别为X1、X2,则逻辑方程组的解集为X1＋X2;若两个1型逻辑方程的解集分别为X3、X4,则逻辑方程组的解集为X3＋X4的结论,从而可应用结论解非0非1型逻辑方程构成的逻辑方程组.     

分子实验室探针在生化分析中的应用研究进展

分子实验室探针（lab-on-a-molecule probe）是基于分子级别的检测,能够提供空间高密度的感应信号,其主要分为分子逻辑门、分子多模式检测以及兼具2者功能的探针,该探针在多分析物的定性以及竞争分析的定量灵敏检测中发挥了重要的作用。对上述3类探针在生化分析（金属阳离子、无机阴离子、氨基酸、蛋白质、致病菌等）中的应用进行了总结。     

矩阵多项式可逆的充要条件——兼与吴华安先生商榷

给出了矩阵多项式可逆的另一个充要条件,并指出文[1]中的错误.     

Minimality and other properties of the width- nonadjacent form

Let be an integer and let be the set of integers that includes zero and the odd integers with absolute value less than . Every integer can be represented as a finite sum of the form , with , such that of any consecutive 's at most one is nonzero. Such representations are called width- nonadjacent forms (-NAFs). When these representations use the digits and coincide with the well-known nonadjacent forms. Width- nonadjacent forms are useful in efficiently implementing elliptic curve arithmetic for cryptographic applications. We provide some new results on the -NAF. We show that -NAFs have a minimal number of nonzero digits and we also give a new characterization of the -NAF in terms of a (right-to-left) lexicographical ordering. We also generalize a result on -NAFs and show that any base 2 representation of an integer, with digits in , that has a minimal number of nonzero digits is at most one digit longer than its binary representation.

     

极大代数上线性系统的3维最小实现的研究

研究了极大代数上线性系统的3维最小实现问题,给出了特征方程为λ<'3> c<,0>λ<'0>=c<,2>λ<'2> c<,1>λ,当c<,1>=c<'2><,2>,c<,0>=C<,1>C<,2>时,无穷序列{g<,2>}<,0><'∞>存在3维最小实现的充要条件.     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

电流镜及其在多值I2L电路开关级设计中的应用

运用开关信号理论和有界算术运算理论，对电流镜的多种性质进行了讨论，并系统研究了利用电流镜实现电流信号的各种算术运算，其中倍除运算属于初次提出，最后通过N进制半加电路和N值比较电路等两个设计实例介绍了电流镜技术在I^2L电路开关级设计中的应用。     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

多值逻辑与多值数字运算的光学实现

提出利用光学符号代换法则实现POST代数和GALOIS代数两种基本的多值逻辑函数,并给出了Max(x,y)运算、Min(x,y)运算以及数字加法和乘法运算的实验结果。