BL代数的一种弱化形式

在对BL 代数及其相关逻辑代数研究的基础上, 通过加强MTL-代数条件的方法建立BL-代数的一种弱化形式--WBL-代数, 并给出WBL-代数结构的实例; 证明BL 代数是WBL 代数, 并通过实例说明WBL-代数是BL-代数的真弱化形式, 且是MTL-代数的真加强形式; 在MTL-代数的基础上给出WBL-代数的一些特征定理.     

关于CFI代数

对可交换FI代数(简称CFI代数)的特征进行系统研究,获得(正则)FI代数和CFI代数的一些新的性质;探讨CFI代数与HFI代数、格蕴涵代数及R0代数等逻辑代数之间的关系,得到CFI代数成为正则HFI代数的一个充分必要条件.     

一类用于网变换的Petri网代数系统

针对现有的多数规则置换式与代数运算式网变换方法存在内容依赖、执行效率低与通用性差的不足,以代数结构理论为基础提出一种用于更一般性网变换的新型接口依赖的网运算代数系统,包括Petri网的基本节点与块的融合与衍生运算,扩展的库所与变迁接口网的并加、串加、减运算以及块接口网的合成与分解运算.并分析了网代数运算的封闭性、可结合性、可交换性等代数性质,然后将网代数应用于解决包含置换与分解过程的复合网变换中,显示了网代数的有效性.最后,分析总结了Petri网代数相对于现有的置换式与代数运算式网变换途径的优势.     

3阶CI-代数

作为BCK/BCI/BCH-代数和BE-代数的推广,CI-代数是一类新的逻辑代数。构造CI-代数的实例是亟待解决的问题。扩张已有代数是构造新代数的重要方法。给出了两个扩张定理,分别把BE-代数扩张为BE-代数,把CI-代数扩张为CI-代数,并且给出了全部3阶的CI-代数,检验了3阶(2,0)型代数的81个乘法表,同构代数视作相等的,则仅有8个代数是3阶的CI-代数,为CI-代数的研究提供了重要实例。     

Sweedler四维Hopf代数上的Poisson代数结构

建立L-树状代数(L-dendriform algebra)、Rota-Baxter系统和Poisson代数之间的关系,将Poisson代数理论应用于Sweedler四维Hopf代数上构造Poisson代数和Poisson Hopf代数,对Rota-Baxter代数和Hopf代数的研究及应用有一定意义。     

Hom-LPNG代数的相关性质

先给出Hom-LPNG代数的概念, 再用新定义的运算方法, 解决Hom-LPNG代数构造的一些问题, 得到了用Hom-交换结合代数、 Novikov-Poisson代数和LPNG代数等构造Hom-LPNG代数及由已知Hom-LPNG代数生成新的Hom-LPNG代数的结果.     

EI代数的子代数的生成元

在对AFS理论的研究基础上给出了EI代数的子代数和EI代数基及EI代数无关的定义，并把它们应用到EI代数的代数结构的研究上，此外，还给出了一些有关EI代数基的定理，这些都可应用于概念的结构分析，提高计算机智能化，EI代数的子代数的EI代数基可以有效地简化人类概念的EI代数表示，同时在模糊聚类分析中也有着广泛的应用。     

余代数的平凡扩张

根据代数扩张的思想介绍了余代数的扩张,进而引入双代数和Hopf代数的扩张.证明了有限维余代数的平凡扩张是coFrobenius余代数,给出双代数的扩张成为双代数的一个充要条件和成为Hopf代数的一个充分条件,最后给出一类是biFrobenius代数但不是Hopf代数的例子.     

Hilbert代数与BCK-代数

引入交换Hilbert代数与BCK-代数的概念,给出了它的一个等价公理系.同时,研究了Hilbert代数与BCK-代数,MV代数的关系.     

H型BCI——代数的并代数

研究了BCI-代数族的可并条件,并且在可并BCI-代数族中给出了BGI-代数的并代数的新型结构.     

高级 Petri网并行化预处理方法的研究

为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网（ Place/Transition Net）的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究,并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明,提出的高级Petri网并行化预处理方法是可行而有效的。     

基于代数操作的XML模糊查询方法

用户在查询XML文档时经常有模糊的或者不精确的查询要求.基于代数操作,提出了一种新颖的查询方法表达用户的模糊查询意图.该方法是定义一个模糊代数操作的集合,能够支持XML模糊查询.模糊查询的结果能够满足用户提出的模糊查询条件.为了处理多查询结果的问题,提出了一种考虑隶属度和用户自定义权重之间相关性的排序方法.进一步有效地计算了模糊查询结果的top-k答案.最后,初步的评估结果表明模糊代数操作方法能够有效地获取用户的模糊查询意图,验证了所提方法的有效性.     

Piecewise algebraic varieties

The piecewise algebraic variety is a generalization of the classical algebraic variety. This paper discusses some properties of piecewise algebraic varieties and their coordinate rings based on the knowledge of algebraic geometry.     

Fly算法基本代数分析

借鉴对Rijndael进行代数分析时写方程的方法,对Fly算法进行了基本的代数分析,给出GF（2^4）上的一个明密对的高次方程的代数次数,同时给出了GF（2）上的二次方程组的形式代数项数和线性独立方程的个数,并分析了它们之间的联系与区别。     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

对偶网的一些性质

给出了Petri网与其对偶网性质的一组充要条件或充分条件，这些条件对Petri网的描述与分析是非常有用的．     

引入Petri网概念的可视编程系统的设计

引进Ｐｅｔｒｉ网概念刻划图标（Ｉｃｏｎ）的动态行为和相互作用并给出一个可视化编程系统．通过例子说明本系统在编程阶段和程序运行阶段所采用的可视化技术     

关于代数整数与代数数的一个注记

证明了代数数是有理数系数方阵的特征值,代数整数是整数系数方阵的特征值.由此出发,完全用线性代数与矩阵计算的方法简洁地证明了代数整数对加减法和乘法封闭,从而构成一个环(代数整数环);所有代数数对加减乘除封闭,从而构成一个域(代数数域).     

基于分布式系统的Web Services的数据安全性

介绍了基于Web Services的分布式系统中的安全性和可靠性,分析了目前在Web Services的数据传输中的主要技术及其不足之处,在此基础上提出了对作为与客户端通讯的XML标准格式语言采用加密和数字签名相结合的详细方案,该方案提高了共享数据的传输安全性以及Web Services服务器与客户之间的可靠信任关系。     

r点码和最小距离

首先给出r元组的魏尔斯特拉斯半群的相关理论,然后用其构造一类代数几何码,这类码称为r点码,且其最小距离超过其设计距离,另外这类码比同曲线上的一点码具有更好的参数。