半格上算子的方程描述

文中定义了半格上的算子，给出了半格上算子的几个等价描述，得到如下定理：设（Ｌ，∨）表示Ｌ是一并半格，Ｆ是Ｌ到自身的一个映射，则如下几条等价：（１）Ｆ是Ｌ上的闭包算子；（２）ｘ，ｙ∈Ｌ，ｘ∨Ｆ（Ｆ（ｘ）∨Ｆ（ｙ））＝Ｆ（ｘ∨ｙ）；（３）Ｆ是Ｌ上的闭包算子，且满足Ｆ（Ｆ（ｘ）∨Ｆ（ｙ））＝Ｆ（ｘ∨ｙ）；（４）Ｆ满足：ｘ≤Ｆ（ｘ）且Ｆ（Ｆ（ｘ）∨Ｆ（ｙ））＝Ｆ（ｘ∨ｙ）．另外，还给出拓扑内部算子的方程描述：集Ｘ的幂集Ｓｕ（Ｘ）到自身的映射Ｉ是Ｘ上的一个拓扑内部算子当且仅当方程Ｘ－Ａ∩Ｉ（Ａ）∩Ｉ２（Ｂ）＝Ｉ（Ｘ）－Ｉ（Ａ∩Ｂ）成立     

An Efficient Algorithm for Query Transformation in Semantic Query Optimization

Semantic query optimization (SQO)is comparatively a recent approach for the transformation of given query into equivalent alternative query using matching rules in order to select an optimal query based on the costs of executing alternative queries,The key aspect of the algorthm proposed here is that previous proposed SQO techniques can be considered equally in the uniform cost model,with which optimization opportunities will not be missed.At the same time,the authors used the implication closure to guarantee that any matched rule will not be lost .The authors implemented their algorithm for the optimization of decomposed sub-query in local database in MultiDatabase Integrator(MDBI),which is a multidatabase project.The experimental results verify that this algorithm is effective in the process of SQO.     

基于小波变换的语音基音周期检测

本文根据语音信号在声门闭合时刻（ＧＣＩ）的锐变特性，利用小波变换的时频局部化性质，构造了一个基音检测系统．通过使用不同的压扩因子，根据语音信号小波变换的局部最大值的位置，确定出对应的语音信号的锐变时刻（即ＧＣＩ），而相邻两个ＧＣＩ的间隔即为基音周期．本方法具有准确性高、抗嗓声性能好、检测范围宽、动态性能好等传统方法所不具备的特点．     

基于树元组的函数依赖推理规则

对M．Arenas等人提出的基于树元组的XFD定义及相关概念进行了介绍。在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。     

Fuzzy正则语言注记

在形式语言和自动机理论研究中，Fuzzy语言显得特别重要，而Fuzzy正则语言是Fuzzy形式语言的核心部分，是自动机理论与实际相结合的一个桥梁。对Fuzzy正则语言的一些性质、Fuzzy有限状态自动机与Fuzzy正则语言间的关系进行了探讨。     

求解K-闭包问题的DNA算法

给出了解决K-闭包问题的DNA算法，进一步表明了用DNA计算来解决NP-完全问题是非常有前景的。     

L-Fuzzy闭包空间与其乘积空间

本文引入 L-Fuzzy闭包空间的远域、基和子基等概念,山此讨论了 L-Fuzzy闭包空间与其乘积空间的一些重要性质.在 L-Fuzzy 闭包空间的情形,证明了不附加任何条件乘积算子与闭包算子可交换,从而推广了 L-Fuzzy 拓扑空间中的相应结果.