基于含参数蕴涵算子族L-λ -R0的三I支持算法 ——仅就FMP模型进行讨论

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型的三I支持算法、α-三I支持算法。     

基于蕴涵算子族L-λ-R0的模糊推理α-三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型及FMT模型的α-三I约束算法。     

正则蕴涵算子族G-λ-R0的约束度理论相关研究

研究了基于正则蕴涵算子G-λ-R₀模糊推理的三I算法的约束度理论,分析了约束度的性质,给出了α-三I算法的FMP（FMT）上（下）确界的计算公式。     

基于蕴涵算子Lp的模糊推理的FMP反向三I算法

研究了基于蕴涵算子L_p模糊推理的FMP反向三I支持算法及α-反向三I支持算法,给出了FMP模型的反向三I算法及α-反向三I算法的计算公式。     

基于蕴涵算子族L-λ-R0的FMT三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了FMT模型的三I约束算法、α-三I约束算法。给出了FMT模型的三I约束算法、α-三I约束算法计算公式。     

基于蕴涵算子族Lλ0λG的模糊推理三I约束算法

提出了基于蕴涵算子族Lλ0λG的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族Lλ0λG给出了模糊推理的FMP模型及FMT模型的三I约束算法。     

密钥m序列与其采样序列的互相关性

研究了GF（p）上周期为pⁿ-1的m序列（a_i）与它的采样序列（a_di）的互相关函数。对于d=（pⁿ+1）/（p+1）+（pⁿ-1）/2,n为奇数且p≡1（mod 4）时,给出了互相关函数的绝对值的上界,从而对Muller的工作进行了较好的推广。     

基于蕴涵算子族Lλ0λG的反向三I支持算法

提出了基于蕴涵算子族Lλ0λG的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族Lλ0λG给出了模糊推理的FMP模型及FMT模型的反向三I支持算法。     

基于蕴涵算子族Lλ0λG的反向α-三I支持算法

提出了基于蕴涵算子族Lλ0λG的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族Lλ0λG给出了模糊推理的FMP模型及FMT模型的反向α-三I支持算法。     

基于蕴涵算子族L-λ-G的反向三I约束算法

提出了基于蕴涵算子族L-λ-G的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-G给出了模糊推理的FMP模型及FMT模型的反向三I约束算法、α-反向三I约束算法。     

参数LP系统的三I算法与α-三I算法

给出了连续三角模族T_(p-L)及其伴随蕴涵算子族R_(p-L)的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族R_(p-L)的三I算法与α-三I算法。     

参数IIP系统的三I算法与α-三I算法

证明了系统IIP是基于连续三角模族T_p-II及其伴随蕴涵算子族R_p-II的逻辑系统,并证明了系统IIP与系统II是等价的。在此基础上给出了基于蕴涵算子族R_p-II的三I算法与α-三I算法,这将有助于提高模糊推理的可靠性。     

蕴涵算子族G-λ-0的支持度与三I算法

首先给出了一个新的蕴涵算子族G-λ-0（λ∈[0,1]）;然后,研究了基于蕴涵算子族G-λ-0的支持度理论;最后,给出了基于蕴涵算子族G-λ-0的三I支持算法。     

蕴涵算子族Rλ-L∏GN及其三I支持算法

给出了一族新的伪三角模族Tλ-L∏GN及其伴随蕴涵算子族Rλ-L∏GN,它包括Lukasiewicz蕴涵算子、Gǒdel蕴涵算子、R0蕴涵算子及RΠ蕴涵算子;提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族Rλ-L∏GN的FMP模型的三I支持算法和α-三I支持算法。     

求解Ramsey数下界的模拟退火算法

对于图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数的下界。     

蕴涵算子族R_((q,p))-LGN及其三Ⅰ支持算法

给出了一族新的左连续三角模族T(q,p)-LGN族及其伴随蕴涵算子族R(q,p)-LGN,它包括Lukasiewicz蕴涵算子、Gdel蕴涵算子及R0蕴涵算子;提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族R(q,p)-LGN的FMP模型的三Ⅰ支持算法。     

正则蕴涵算子族G-λ-R_0及其三I支持算法

首先给出了一个新的蕴涵算子族:G-λ-R(0λ∈[0,1])(它包括G觟de(l简称RG)算子与R0算子)。然后重点讨论了G-λ-R0(λ∈[0,1])族算子的伴随算子及其正则性。结果表明,在该算子族中,每一个算子都具有伴随算子且具有正则性。从而说明了此算子是较理想的蕴涵算子。最后讨论了基于此蕴涵算子族的三I支持算法。     

基于蕴涵算子族的模糊推理的FMP三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型的α-三I约束算法、三I约束算法,并说明其现实意义。