共查询到18条相似文献,搜索用时 218 毫秒
1.
2.
给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。 相似文献
3.
若两个图G和H的匹配多项式相等,称图G和H匹配等价用δ(G)表示图G的所有不同构的匹配等价图的个数。文[5]在{m1,m2}∩{6,9,15}=Φ准的条件下计算了δ(sK1∪t1Cm1∪t2Cm2),在该文中计算了δ(sK1∪t1C3∪t2C6)、δ(sK1∪t1C6∪t2C9)是文[5]的完善和补充。 相似文献
4.
多视几何中的多种问题可以通过最小化L∞范数误差获得全局最优解。但最小化L∞范数误差算法的缺点是对外点敏感,相关的改进算法虽然可以克服外点带来的影响,但计算速度较慢。提出一种改进的最小化L∞范数误差算法,用于从包含外点的图像序列中快速精确重建三维空间点。真实测试图像的实验结果证明该算法可以在包含外点的情况下获得空间点的全局最优解,相比其他算法速度有较大的提高。 相似文献
5.
记R=F2+uF2+u2F2,R1=F2+uF2,定义了从Rn到F3n2的Gray映射Ф以及从Rn1到Rn的映射f。通过对环R上线性码C的生成矩阵的研究,给出了线性码C的对偶码C⊥和Gray像Ф(C)的生成矩阵,并且Ф(C)与Ф(C⊥)是F2上的对偶码。通过映射f将环R1上的线性码与环R上的一类线性码对应起来。 相似文献
6.
提出了基于蕴涵算子族L-λ-R0的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R0给出了模糊推理的FMP模型及FMT模型的三I约束算法。 相似文献
7.
引入BR0代数的关联MP滤子。研究它的特征,证明如下主要结果:F是关联MP滤子,当且仅当F是布尔MP滤子。从而BR0代数成为Boole代数的充要条件是每个MP滤子均为布尔MP滤子或关联MP滤子。 相似文献
8.
提出了基于蕴涵算子族L-λ-R0的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R0给出了模糊推理的FMP模型的α-三I约束算法、三I约束算法,并说明其现实意义。 相似文献
9.
无向双环网络G(N;±s1,±s2)是一种度为4的Cayley图。研究了无向双环网络的L-型瓦的4个参数与xs1+ys2≡0modN的最小非负解和最小交叉解的关系,从而通过L-型瓦的4个参数可以得出无向双环网一种新的直径公式。 相似文献
10.
在三角函数空间Φ7=span{1,sint,cost,cos2t,sin3t,cos3t,sin4t,cos4t}和Φ8=span{1,sint,cost,sin2t,cos2t,sin3t,cos3t,sin4t,cos4t}中构造了B-L(Bézier-Like)曲线,并给出其显式表达式。进一步讨论了该曲线的若干性质和应用,给出了不需要有理形式的心脏线、椭圆(圆)弧等的B-L曲线精确表示,椭球(球)面的B-L曲面精确表示,以及圆柱螺线的B-L曲线逼近表示。通过实例说明在造型设计方面使用简便且有效。 相似文献
11.
12.
李立峰 《计算机工程与应用》2009,45(13):59-61
设Г为有限命题集,首先讨论了Г在不同的n值命题逻辑系统Ln^*中的相容性问题,提出了Г的约简理论,从命题集Г所诱导的多值形式背景出发,运用概念格的方法从Г及其子集的关系出发给出了Г约简的判定定理。 相似文献
13.
给出了连续三角模族T_(p-L)及其伴随蕴涵算子族R_(p-L)的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族R_(p-L)的三I算法与α-三I算法。 相似文献
14.
利用赋值集的随机化方法,在三值逻辑L3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DL3-相似度与伪距离的概念,并建立了DL3-逻辑度量空间,证明了此空间没有孤立点。 相似文献
15.
提出了基于蕴涵算子族L-λ-R0的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R0给出了模糊推理的FMP模型及FMT模型的α-三I约束算法。 相似文献
16.
针对标准中值滤波算法边缘保持能力较差的缺点,设计了K均值中值滤波算法和递归K均值中值滤波算法。使用K均值方法将中心像素点的邻域数据序列分成两类,将该像素点所属的这类数据的中值作为输出。为了加快算法的速度,提出了两个阈值TL和TH,保证在不影响结果精确性的同时尽量减少处理时间。传统的K均值算法耗时较高,论文的另一个改进是对K均值的优化处理,大大缩短了算法的处理时间。实验证明改进算法具有较好的噪声抑制能力和边缘保持能力。 相似文献
17.
对于图G_1、G_2,2色广义Ramsey数R(G_1,G_2)是指最小正整数P,使得每一个p阶的图G,或者G包含G_1,或者G的补图包含G_2。用改进的模拟退火算法求解得到了R(W_m,K_n),R(B_m,K_n),R(F_m,K_n),类型的一些Ramsey数的下界。 相似文献
18.
为了解决基于差别矩阵属性约简的计算效率问题,首先以计数排序的思想设计了一个新的计算U/C的高效算法,其时间复杂度降为O(|C||U|)。其次分析了基于差别矩阵的属性约简算法的不足,提出了改进的差别矩阵的定义,利用快速计算核属性算法生成的核属性和出现频率最多的属性来降低差别矩阵的大小,并设计了基于改进的差别矩阵的快速属性约简算法,证明了该新算法的时间复杂度和空间复杂度分别被降为max(O|C|2Σ0≤i相似文献