论文研究修正的G?del系统的子代数中F(S)的分划及升级算法.pdf

将修正的Gödel逻辑系统中的广义重言式理论进行推广，讨论其序稠密子代数的广义重言式理论，并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F（S）关于┐同余的一个分划.

提出了一种基于光线跟踪的软阴影算法。该算法生成的阴影更具真实感，并可克服阴影映射算法产生的锯齿现象的问题。实验结果表明，该算法对较复杂物体仍能够保证良好的绘制视觉效果，满足虚拟现实应用的要求。

对MV单位区间[[0,1]]和n-值MV代数[Ln]的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是：如果MV单位区间[[0,1]]的子代数[M]同构于n-值MV代数[Ln]的

运用区间值模糊集的思想对IV-[(∈,∈∨q)]-模糊格蕴涵子代数概念作进一步研究。给出了IV-[(∈,∈∨q)]-模糊格蕴涵子代数的若干新的性质与刻画；获得了IV-[(∈,∈∨q)]-模糊格蕴涵子代

在广义和狭义两方面分别研究了六个系统Ln，Sn，Gn，Kn，Zn，Wn的子代数的个数的特征及其计数问题。由此，得到了逻辑系统Ln，Sn，Gn，Wn，Kn，Zn的子代数个数及其性质。

量子对偶原理用于明确获得（3+1）维中κ-（A）dS量子代数的Poisson类似物，作为对偶可解Lie群上的相应Poisson-Lie结构。该构造在运动学基础上完全执行，并且还明确获得了变形的卡西米尔

讨论了部分可换半群的子代数与同余关系之间的关系，进一步研究部分可换半群的商代数的结构。证明了部分可换半群上的Riesz子代数可诱导出满足消去律的同余关系，且通过此同余关系得到的商代数是满足正律的。

基于量表组<math> SU ( 3 < / mn> ) L × U ( 1 )

为了提高控制效率,对一类新兴的离散事件系统,即高通量筛选系统,利用双子代数dioid同时从事件域和时间域进行建模.对于很多离散事件系统,期望的输入输出模型行为是进行优化控制时常用的指标.然而,根据实际

设计了一个改进算法，它仅需对小波分解矩阵进行一遍扫描即可确定层次树集合分划编码（SPIHT）算法所需的所有D(i,j)和L(i,j)重要性并完成对所有(i,j)子系数的编码,使得按照SPIHT的排序方