采用格形矢量量化的小波图象编码方法

研究了以格形矢量量化方法进行小波图象的压缩编码。以两种经典的格形矢量量化算法乘积码塔形矢量量化（ＰＣＰＶＱ）和分块均匀格点矢量量化为例，分析了两种算法中非均匀矢量格点的分布与输入信号源的概率密度分布函数的关系，指出在保持矢量格点具有规则分布的前提下，格点分布难以与不规则的输入矢量概率分布实现良好的匹配。提出了一种均匀格点分布与熵编码相结合的矢量量化图象编码方法，该方法与以上两种算法对信号源输入矢量的概率分布具有更灵活的适应能力。给出了该算法和ＰＣＰＶＱ的实验结果的比较。     

展开定理与逻辑函数不同表示形式的转换原理

为探索逻辑表达式、真值表、卡诺图等几种逻辑函数表示形式之间的转换原理,分析研究了基于展开定理的对逻辑函数按变量展开的最小项表达式,给出了逻辑常量0、1取值和最小项的各个变量出现形式的对应关系,逻辑函数最小项表达式和真值表及卡诺图的对应关系,揭示了逻辑函数各种表示方法的内在联系,从而完善了逻辑函数表示方法的理论原理.所述方法,有助于逻辑函数的分析、变换方法的研究,具有较好的实用性.     

用卡诺图化简逻辑函数过程中的几个问题

用卡诺图化简逻辑函数是分析设计数字逻辑电路所必须掌握的重要基础知识和基本技能 ,笔者在教学过程中对用卡诺图化简逻辑函数的方法作了深入细致的研究 ,认为在掌握这种方法的过程中如下几个问题需着重弄清。1　用卡诺图化简逻辑函数的基本依据卡诺图实际上就是用来直观地反映最小项之间逻辑相邻关系的一种最小项方格图。在卡诺图上把逻辑相邻项安排在位置相邻 (这里所说的位置相邻是一种广义的相邻 ,卡诺图上位置相对的方格也可说成相邻关系 ,因为如果将卡诺图对称折叠 ,这些位置相对的方格即能重合 ,所以把卡诺图看成可折叠的图纸 ,这些…     

对布尔代数中卡诺图的研究

由于卡诺图具有几何相邻与逻辑相邻之间的良好对应关系 ,故在布尔代数中得到广泛应用 ,文章分析了传统卡诺图在简化多变量 ( n >5 )函数时 ,其对应关系所面临的困难 ,提出三维卡诺图及卡诺图阵列的概念。采用适当的排列方式可将图中几何相邻与逻辑相邻的对应项增加到 6个以上 ,为了使其具有实用性 ,又引入一定的画图规则 ,对三维卡诺图加以改进 ,并举例说明它们的使用方法。结果表明 ,采用该方法对六变量至八变量的逻辑函数进行综合化简时 ,仍具有简便直观、可靠性高及易操作等优点 ,且有较好的实用价值。     

MPSK信号格形编码的误码性能分析

格形编码调制(TCM)同交错器结合在一起,在衰落信道中有很好的差错性能,本文利用解析法详尽地分析了MPSK的格形编码的误码性能,导出了严格的和易于计算的在衰落信道上传输格形编码调制的平均误码率上限的表达式,并得出重要结论。     

关于用卡诺图进行多变量逻辑函数的简化问题

本文根据卡诺图的对称性,提出了简化逻辑函数的对称原则来代替过去所遵循的相邻原则。这样,就使得卡诺图由一般只用于四变量以下逻辑函数的简化而有可能用于任何多变量逻辑函数的简化。     

关于用卡诺图进行多变量逻辑函数的简化问题

本文根据卡诺图的对称性,提出了简化逻辑函数的对称原则来代替过去所遵循的相邻原则。这样,就使得卡诺图由一般只用于四变量以下逻辑函数的简化而有可能用于任何多变量逻辑函数的简化。     

论2P度对称图C（p,r,s）

本文给出了２Ｐ（Ｐ为素数）度对称图Ｃ（ｐ，ｒ，ｓ）的两点注记，并用图例阐述其图与群对应的结构关系。     

瑞利衰落信道中的调频调相信号格形编码的误码性能分析

本文研究了调频调相信号集的格形编码信号，在瑞利衰落信道上的误码性能．并在此条件下，导出误码率的实用表达式，且给出格形编码的例子．     

格形网中的保护环技术

利用格形网的空闲容量和灵活的路由机制来设计保护环是自愈领域的一个新思想。它具有格形网的效率和环形网的速度。分析了怎样在哈密顿格形网中设计保护环及其改进方案－－基于Ｌｏｃａｌ－ｍａｐ的保护环。     

格上BR0-代数结构的表示定理

利用模糊命题演绎系统BL＊中公理的基本特征,研究了BR0-代数结构,给出了BR0-代数结构在有界分配格上、有界格上及一般格上的不同形式的表示定理,同时指出了其相应的不同格上R-代数结构的表达形式。     

格上BR_0-代数结构的表示定理

利用模糊命题演绎系统BL*中公理的基本特征,研究了BR0-代数结构,给出了BR0-代数结构在有界分配格上、有界格上及一般格上的不同形式的表示定理,同时指出了其相应的不同格上R0-代数结构的表达形式。     

The Syntax of Lattice-Valued Propositional Logic System lp（X）

Lattice-valued logic plays an important role in multi-valued logic systems. A lattice valued logic system lp （X） is constructed. The syntax of lp（X） is discussed. It may be more convenient in application and study especially in the case that the valuation domain is finite lattice implication algebra.     

四值非线性格值逻辑中公式的概率真度

王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性.     

格型模糊谓词逻辑与推理

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。     

格蕴涵代数不等式

针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念,讨论了格蕴涵代数中3类最基本的一元格蕴涵不等式,得到一些性质及推论.对3类不等式的可解情况,给出了它们的可解条件,在此基础上讨论了解集所具有的特征.     

向量格上常微分方程解与近似解关系

把向量格和常微分方程联系起来,建立了向量格函数,在向量格上研究了常微分方程,并证明了向量格常微分方程解与近似解的关系.     

基于树结构的高维晶格编解码算法

高维调制作为一种新型调制格式,很好地解决了谱效率与功率效率之间的矛盾。但晶格编解码时间复杂度高带来的传输延迟,严重影响了高维调制技术在高速大容量光通信系统中的应用。针对此问题,笔者提出一种基于树结构的低复杂度高维晶格编解码方法,由晶格的分布规律构建树结构,通过树结构索引算法完成晶格编解码。该方法可以有效实现高维晶格编解码,当信噪比为16 dB 时,误码率可达到3． 1 × 10 － 4 ,同时可将点数为M 的晶格编解码复杂度由O( M) 降低为O( log M) ,并具有通用性。     

Dynamic structure factor of a Bose-Hubbard gas

The dynamic structure factor of a Bose-Einstein condensate in an optical lattice, momentum and energy rates imparted to the condensate are analyzed in detail as the function of both the lattice depth and the strength of the two-body interaction. Our investigation shows that the lattice depth strongly affects the dynamic structure factor. An oscillating behavior of both the static structure factor and excitation strength as a function of the momentum transfer has been developed. We also show how interatomic interaction affects these processes and discuss the conditions for possible experimental realization.     

格蕴涵代数的构造

进一步讨论了格蕴涵代数的性质和结构,给出了一条不能构成格蕴涵代数的链的例子,得到并证明了链可成为格蕴涵代数的一个充分必要条件;同时,对格蕴涵代数之全体的结构进行了全面的研究.