布尔过程论的数学基础及其应用.pdfVIP

CFTC．8硷文袋 布尔过程论的数学基础及应用 尤志强张大方刘先霞 (湖南大学计算机科学系，湖南长沙410082) 摘要 奉文在布尔过程沦的摹础卜运用布尔运算定义了波形空间，波形空间中的每一个 元素为一波形，从数学角度推导出了波形0波形空间的许多性质，定义了距离，极限，进 ，步完善了布尔过程论，井在此基础上推导了延迟算子的性质、论证了定义的距离的直觉 现实性和给m通路敏化的条件。展示了布尔过程埝的应用游景． 关键词 布尔过程波形空间 波形距离波形极限波形函数 延迟算_『通路敏化 近些年来．随着电予电路的高速化和大规模集成化，布尔代数作为描述数字电路的逻 辑行为的工具，越来越显示其不足．布尔过程论就是在这种情况F产生的。这一概念是在 1994年提出的川．它将布尔代数‘j时间结合起来，为异步性描述提供了比较形式的理论基 础，并解决了‘些问题，推广了…些概念‘j结论，见文f2~5】．但它是用实值的加、减、乘 运算，将布尔代数中好的性质、好的运算丢弃了，一种理论发展需要一个过程，是逐步完 善的．本文从数学角度出发，朋布尔运算从另一‘角度进一步完善了该理埝．限于篇幅只谈 及它的一些初步应用． 1波形空间是度量空间 定义1．1蛮值函数X(t)称为一个波形，若对任意的非负实数t，x(1产0或1；而 任意的正整数i，及最小容许脉宽￡，有f¨一t，F． 由此我们得到几个特殊的波形 波形：x(o=o．对任意的，∈[0，∞)： 波彤：x(t)=1，对任意的t∈10，∞)： 方波：．Y(r)=l,t 其中n=0…12…．2T为方波的周期． 定义1．2n称为波形空间，若其是救形的集合． 定义i．3x。丫为波形空问n中的两波形，*U距离定义为 dL(X，y)=flx(，)一y(f堆。曲 (1) 定理1．1上述距离的定义dL(工，y)适合距离的两个条件． iElI}l：i由定义t．3可以看出d￡(X，y)≥0，若叽(x，l，)=o则有 尤志强等： 布尔过程论的数学基础与应用 aⅣ(f)一y(f)rdt=O，所以X_Y． 第一个条件得证； ii闻为 Ix(f)一yo)1Ix(t)-z(OI+{z(o—l，o)I 所以有 即d￡(Ⅳ，Y)≤dL(一，Z)+d￡(Z，y) 得证． 与文[2]的差分定义相类似，定义差分如下： ’ 定义1．4对任何波形X‘t)，X在t处的差分定义为 Ax(t)=XO)～x(t一)， 其tp x(t一)=ldi，mox(t—J) S0 表示X在t的左极限． 根据定义1．1知X(t-)是…’定存在的． 定义1．5X，Y为波形空间Q中的两波形，则距离定义为 dr(X，】，)=∑… (2) 定理1．2上述距离的定义dr(Ⅳ，，，)适合距离的两个条件 证明从略． 所以，波形空间。按距离dL(x，y)或砟(J，l，)成度量空间． 定义1．6在波形空间Q中，以∽=1,2，…)。X∈n，假如当肛。∞时数列 时称{x。}为收敛点列，x为慨}的极限． 2 波形空间Q是赋范线性空间 我们可以在波形空间n中定义几种运算． 定义2．1 x，Y为波形空间Q中的两波形，则 i与运算：Z=删称波形z为波形x，y的与，当且仅当Z(f)=x(f)^l，(f)，