共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
对于单调布尔函数,在文[1]中给出了一类范式——单调析取范式(MDNF),这类范式的构造是先找出单调质蕴含,所有单调质蕴含的和就是MDNF,质蕴含往往是由Q-M方法 相似文献
3.
布尔矩阵广义逆的一个充要条件 总被引:2,自引:0,他引:2
β={0,1}为二元布尔代数,矩阵A=(a_(ij)),a_(ij)∈β,称A为布尔矩阵。给定矩阵A,若存在矩阵G使AGA=A。称G是A的广义逆。如果A有一个广义逆B=(b_(ij)),对A的任何广义逆G=(g_(ij)) 相似文献
4.
对于n元布尔函数f:{0,1}~n→{0,1},如果对于任意X_1,X_2∈{0,1}”,当X_1≤X_2时有f(X_1)≤f(X_2),称f(X)为单调上升函数,当X_1≤X_2时有f(X_2)≤f(X_1),称f(X)为单调下 相似文献
5.
6.
8.
本文所讨论的矩阵都是元素在布尔代数B={0,1}上的n×n矩阵。设r是一个非负整数。r-循环(广义循环)布尔矩阵是指元素a_(ij)∈B的这样一个矩阵A=(a_(ij)),其中除第一行外,其余各行元素都是由它们的前一 相似文献
9.
10.
布尔函数的其他单调分解定理 总被引:2,自引:0,他引:2
对于布尔函数的结构作进一步分析可得下列结果: 定理1 任一布尔函数f(X),有f(X)=I(X)·D(X)成立的充要条件是f(X)的Hasse 相似文献
11.
12.
研究下述黎曼型边值问题A:寻求卡里曼方程的分片正则解旦I翌 刀(二)i石厄刃一。,:。万,刀(二)。乙尸.2(万),尸>2.d云(1)环。)~{w (,),w一(。)},w(co)一。,满足边值条件: a;(t)砰 (t) 。2(t)W (t) 。3(t)w [。(t)] a;(t)W La(t)]~夕,(t)W一(t) 风(‘)面二石) 风(t)w一[。(t)] 风(,)砰一L。(t)]’ g(t),,。乙.(2)此处L是李雅普诺夫围道,将二平面分为内部区域D十和外部区域D一两部分,原点在D十中,无穷远点在D一中,a;(t),夕‘(t),g(t)〔H(乙).函数试t)在L上具有异于零满足赫尔窦连续条件的a’(t).a(t)同胚映射L为自身保持或改变L的方向… 相似文献
13.
Airy函数是具有广泛应用的特殊函数之一,主要应用在波动与稳定性问题中。在上述这类问题中,经常要遇到复变量的Airy函数。1972年,Reid等还定义了一组广义Airy函数以表达Orr-Sommerfeld方程的一致有效渐近解。迄今,只是对实变量的Airy函数有现存的函数表。最近,我们对复变量的广义Airy函数进行了研究,并得到了Ai(Z,1),Ai(z), 相似文献
14.
15.
本文指出,复值Chrestenson函数系的实部与虚部之和以及复值广义Haar函数系的实部与虚部之和分别构成两个实平方可积函数空间L~2[0,1)上的完备正交函数系,这两个实值函数系可在多值逻辑谱技术以及多进制数字信号处理中得到应用。 定义1 [0,1)区间上的实值、广义沃尔什函数系WR_w~p(t)为 相似文献
16.
17.
设q_r(x)=multiply from j=1 to l(x~2-t_j~2),r=2l(l≥1),t_1,…,t_l≥0。D=d/dx是微分算符。给定函数类Ω_(∞[0,1])~(2l):f(x)∈Ω_(∞[0,1])~(2l),当且仅当f~(21-1)(x)在[0,1]上绝对连续,f~(2k)(0)=f~(2k)(1)=0,k=0,…,l-1,且‖q_r(D)f‖L_∞≤1。任一f(x)∈Ω_(∞[0,1])~(2l)可表成 相似文献
18.
超球谐(HH)方法是直接求解N≥2电子原子Schr(?)dinger方程的有力工具,但由于超球谐的简并度随广义角动量显著增大,阻碍了实际计算中考虑超球谐函数的完备集,降低了计算的精度,也影响了超球谐方法向多电子原子的推广.在起球谐方法的基础上发展起来的势谐(PH)方法,通过忽略与库仑势相关不大的超球谐,大大降低了超球谐的简并度,最简单的 相似文献
19.
脊椎动物视觉系统中的初级信息加工可以看作为多输入、多输出的图象信息处理系统。它的输入是以空间和时间为变量的光强分布,它的输出则是在视觉通路中各级神经细胞在不同空间、不同时刻的响应。从系统分析观点,其核函数刻划了系统的特性。系统滤波特性又受到其核函数的傅氏变换对的不确定性关系的限制。在傅氏分析理论中存在着相似性定理。它 相似文献
20.
设G~ 是闭曲线L所围的有界区域,0∈G~ ;α(τ)是L上给定的反位移,α(α(τ))≡τ,在L上,α′(τ)为Hlder连续且处处不为零。讨论Carleman边值问题: 相似文献