广义d-Koszul代数的注记

用同调代数方法对一类广义d-Koszul代数进行刻画, 证明了一类(d,a,b)-Koszul代数的商代数仍是(d,a,b)-Koszul代数.     

关于一类图的Hamilton路计数问题

研究了有向图的两个方面:竞赛图的Hamilton-路数的计数及有关竞赛排名的相关问题,多部或n-部竞赛图是完全n-部图的一个定向。根据Bongdy的强连通n-部竞赛图包含一个m-圈,其中m∈{3,4,…,n},Yeo的正则多部竞赛图是Hamilton图的原理,笔者在上述结论基础上,得到某些特殊的多部竞赛图的Hamilton路数的一些结论。     

面向网络流的自适应正则表达式分组匹配算法

针对当前的多正则表达式匹配算法占用较大的系统资源,且吞吐量较低的问题,在分析典型的正则表达式匹配算法的基础上,提出了一种自适应的多正则表达式分组匹配算法.该算法通过对正则表达式进行高效分组,将相互之间存在交叠且容易引起状态数指数增长的表达式相互隔离;将每个分组构造为一个确定性有限自动机(DFA),按匹配概率大小建立伸展树进行调度.仿真结果表明,该算法不仅大大节省了存储空间,而且吞吐量提高了大约3倍.     

L-fuzzy正则性与正规性不可乘的两个例子

给出了L-fuzzy正则分离性和正规分离性不是可乘性质的例子．     

BTCS:基于二叉遍历的XML文档编码模式

XML文档数据的编码模式与索引技术决定了基于纯XML数据库的XML查询效率,在正则路径表达式实现方面有重要意义.基于树遍历的XML文档编码在更新与结构关系判断方面存在不足.为了解决此类问题,作者作了如下工作:(1)提出一种新的基于二叉树遍历的XML文档编码模式BTCS(Binary Traveling Coding Scheme);(2)实现了BTCS编码算法,支持XML文档更新,提高了编码更新效率;(3)在常数复杂度的时间内快速准确判断XML文档结构树中任意两个结点之间的父子以及祖孙关系,并能计算它们的辈数差(Distance of Genera-tions);(4)通过详细实验证明了BTCS编码模式的良好性能.     

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．     

双波长NO-PLIF法测量激波马赫反射温度场的实验研究

利用双波长NO-PLIF法,研究激波管内运动激波在15°斜劈上的马赫反射的温度场分布.实验中以NO作为温度测量的示踪剂,分别选取波长为225.072nm和225.282nm的染料激光作为激发光,获得了较好的荧光图像.对激波在斜劈上的马赫反射流场的波前、波后和反射区的温度分布进行了实验测量,结果表明:NO的荧光强度对温度的敏感程度与激发波长有关,当波长为225.072nm时,荧光强度随温度变化不明显,当波长为225.282nm时,荧光强度随温度变化而剧烈变化.实验测得的温度分布相对数值模拟的误差在15%以内,这表明该方法具有较高的精度,具有一定的工程应用价值.     

对当代楷书发展的思考

当代楷书发展具有欣赏功能强化、表达语言多元化、书写技法行草化、艺术风格趋同化四个基本特征。影响当代楷书发展的主要因素是时代影响、展赛推动和群体作用。当代楷书发展必须在根植传统、勤学苦练、精益求精三个方面寻求出路。     

一些笛卡尔乘积图的限制连通度

子集S(∩)V(G)称为限制割,若任何点v∈V(G)的邻点集NG(v)都不是S的子集且G-S不连通.若G中存在限制割,则定义限制连通度κ1(G)=min{| S|S是G的一个限制割}.考虑了笛卡尔乘积图,证明了设G=G1×G2×…×Gn,若Gi是满足某些给定条件的ki连通ki正则且围长至少为5的图,其中i=1,2,…,n,则κ1(G)=2n∑i=1ki-2.     

对换超格上的约当定理

在超格的闭集合和超格的正则性的基础上,给出了对换超格上的约当定理,并研究了一些相关的性质。