降级算法相关论文
W-CDMA是第三代移动通信系统(30)其中最有竞争力的标准之一。本论文以W-CDMA标准作为背景，对AFC、功率控制和功率分配等若干关键技......
基于IMPACTEPIC体系结构模型,本文介绍了前瞻性判定执行的基本思想,指出其能量浪费问题.提出利用谓词降级减少动态功耗的方法,给出......
与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了......
期刊
与Goedel系统中广义重言式之间的一种升级算法相对应，作者给出了Goede1系统中广义矛盾式之间的一种降级算法，对其基本性质进行了讨论......
研究了多值逻辑系统W、W、Wn中的广义矛盾式，并对这些多值逻辑系统中的广义矛盾式进行了分划，强调了这种分划的不重不漏．在W、W、Wn中......
在Gainse-Rescher逻辑系统^-C，Gr,Sn中的广义矛盾式之间建立了一种降级算法，并讨论了该降级算法的基本性质。主要结果是：在逻辑系统^-......
将王国俊教授于1997年以来在逻辑系统W∧-、W、Wk中引入的广义重言式理论加以扩充、推广，引入α-矛盾式等概念并应用于Goedel逻辑系......
通过对模糊命题演算的形式演绎系统L*及修正的Kleene逻辑系统W,W,Wk的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算......
为了克服经典一维模糊逻辑系统的不适应性, 提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R 的有限子集I2Rn ......
讨论了修正的Product逻辑系统中的广义矛盾式理论，证明了该系统中广义矛盾式的类类互异定理，并给出了修正的Product逻辑系统中的广义......
讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种......
