Goedel逻辑系统中F（S）中的一个分划及其应用

将王国俊教授于1997年以来在逻辑系统W∧-、W、Wk中引入的广义重言式理论加以扩充、推广,引入α-矛盾式等概念并应用于Goedel逻辑系统G∧-、G、Gn中,得到了（1）在逻辑系统G∧-、G中,重言式不可能由对非重言式进行有限次升级算法得到;（2）在逻辑系统Gn中,对任一公式最多进行n-1次升级算法即可得到重言式;（3）在逻辑系统Gn中,{C（Gn),[i/n-1-C(Gn),][i/n-1]-T(Gn),T(Gn)|i∈{1,2,…,n-2}}是F（S）的一个关于→同余的分划,在逻辑系统G∧-中,{C（G∧-）,[（1/2）-]-C（G∧-）,[1/2]-C（G∧-）,[1∧-]-C（G∧-）,[0∧ ]-T（G∧-）,[1/2]-T（G∧-）,[（1/2∧ ]-T（G∧-）,T（G∧-）}是F(S)的一个关于→同余的分划,（4）在[0]-T（R）（R∈{G∧-,G,Gn}）中引入了一种降级算法并讨论了其性质。     

Godoel逻辑系统中F(S)的一个分划及其应用

将王国俊教授于1997年以来在逻辑系统W、W、Wk中引入的广义重言式理论加以扩充、推广,引入α-矛盾式等概念并应用于Godel逻辑系统G、G、Gn中,得到了(1)在逻辑系统G、G中,重言式不可能由对非重言式进行有限次升级算法得到;(2)在逻辑系统Gn中,对任一公式最多进行n-1次升级算法即可得到重言式;(3)在逻辑系统Gn中,是F(S)的一个关于-同余的分划;在逻辑系统G中,是F(S)的一个关于-同余的分划.(4)在[0]-T(R)(R∈|G,G,Gn|)中引入了一种降级算法并讨论了其性质.     

Gdel逻辑系统中F(S)的一个分划及其应用

将王国俊教授于 1997年以来在逻辑系统 W、W、Wk中引入的广义重言式理论加以扩充、推广 ,引入α 矛盾式等概念并应用于G¨odel逻辑系统 G、G、Gn中 ,得到了 (1)在逻辑系统 G、G 中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;(2 )在逻辑系统Gn中 ,对任一公式最多进行n - 1次升级算法即可得到重言式 ;(3)在逻辑系统Gn 中 ,C(Gn) ,in- 1-C(Gn) ,in- 1-T(Gn) ,T(Gn) ｜i∈ { 1,2 ,… ,n- 2 }是F(S)的一个关于同余的分划 ;在逻辑系统 G中 ,C( G) ,(12 ) - -C( G) ,12 -C( G) ,[1- ]-C( G) ,[0 +]-T( G) ,12 -T( G) ,(12 ) +-T( G) ,T( G)是F(S)的一个关于同余的分划。 (4)在 [0 ]-T(R) (R ∈ { G ,G ,Gn} )中引入了一种降级算法并讨论了其性质     

未知声速分布下的一种水下目标GPS定位修正算法

由于海洋中声速分布不均匀,要实现水下目标GPS的精确定位,必须进行误差修正。阐述了采用应答器工作模式的水下目标GPS系统定位原理,在水下目标GPS系统定位过程中,分析了一种基于欧氏几何原理的修正算法在声速分布未知时的定位修正效果和局限性,研究了算法出现盲区的原因,并据此对该算法进行了改进。仿真计算结果表明改进后的算法可有效减小声速分布未知时声速估计不准确造成的定位误差,提高了水下目标GPS的定位精度。     

一种基于改进MCMC算法的模型修正方法

标准马尔可夫链蒙特卡罗(MCMC)算法不易收敛、拒绝率高,使其应用受到限制。在贝叶斯方法中引入最大熵值法来估计参数的后验概率密度函数最大值,进而将布谷鸟算法中新鸟巢更新的思想融入Metropolis-Hasting(MH)抽样算法得到改进的MH抽样算法,同时使用支持向量机(SVM)建立待修正参数与有限元模型输出之间的代理模型,以提高模型修正的计算效率。分别使用三自由度线性系统和平面桁架模型来验证本文方法的有效性,结果表明:修正后样本的马尔可夫链混合性能好,停滞概率低,修正后参数相对误差均小于2%。     

一种基于人工鱼群算法的微机电系统加速度计静态修正方法

微机电系统加速度计是惯性跟踪系统的一部分,用来获得运动的位置信息。为了对运动姿态进行精确定位,必须对它的误差进行修正。根据加速度计误差来源和产生机理建立了误差模型,通过分析误差模型,提出了一种基于人工鱼群算法修正加速度计静态误差的方法,并与六位置测试法比较。前者在一定程度上降低了误差,提高了测量角精度,使微机电系统加速度计输出能够准确反映出真实值。     

一种汽车主动悬架系统模糊控制器设计及试验

设计了一种在线可调整的模糊控制器，其模糊控制规则表可以用解析的方法进行计算。不仅体现了模糊控制算法对非线性系统具有的明显优势，而且利用LMS自适应模块调整模糊控制器的修正因子，改善单一模糊控制算法对专家先期经验的依赖缺陷。针对简化的汽车模型，在以单频信号作为激励源的仿真研究过程中，该算法对悬架系统的振动控制收到了较好的效果。在两自由度的悬架系统试验台架上进行了试验研究，结果进一步证明该算法的有效性。     

Apriori算法在教学质量评估系统中的应用

以开发教学质量评估系统为背景,重点阐述关联规则中的Apriori算法在评估系统中的运用,并以实例说明.     

一种运用倾角传感器的阵形修正算法

垂直水听器阵在实际海洋环境中通常呈现出一定的倾斜状态,各阵元之间存在水平相对位移,对其性能带来很大影响.为了消除阵倾斜带来的影响,提出了一种运用倾角传感器进行阵形修正的算法.具体实现步骤为,首先用多个倾角传感器测得垂直阵上不同位置的倾角,然后通过求解线性方程组以及傅里叶级数分解的方法,利用倾角数据拟合出阵形的函数曲线,...     

一种基于图像匹配的吊放式声呐方位修正方法

探讨了一种基于图像匹配的吊放式声呐方位修正方法。采用二值分割的图像特征匹配方法,并通过图像分割,保证了较高的精度和时效性。此方法可以很好地适用于背景较为稳定的环境;通过设计合适的时变模板,可有效克服背景起伏较大引起的图像失配问题。经仿真数据和实际数据的验证,对于背景缓慢变化的图像,方位修正的准确率达到100%,对于背景剧烈变化的图像,方位修正的准确率优于80%。     

Gdel逻辑系统中广义语义HS规划和广义语义MP规则

将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G¨odel逻辑系统中,讨论了G¨odel逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α]-HS)规则,语义([α+]-MP)规则,语义([α+]-HS)规则的性质,使得对G¨odel系统中的广义重言式有了更进一步的认识,为G¨odel逻辑系统的应用和研究提供一个有益的工具。     

模糊逻辑中的自然演绎系统

讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式。基于著名的形式演绎系统L*，建立起对应的自然演绎系统L*nd，并且证明了这个系统的完备性。由于一系列新的推理规则的引入，模糊逻辑的推理能力得到明显增强。     

扰动模糊逻辑I2的最大子代数及其广义重言式

运用R0-蕴涵算子，找到扰动模糊命题逻辑I^2的一个最大子代数IR，进而将逻辑系统否中的广义重言式理论推广到IR中，得到类似的结果。由此说明关于一维赋值格的结果需要加一定的限制条件才能推广到二维赋值格上去。     

基于模糊逻辑控制器的自适应遗传算法

针对遗传算法中交叉概率和变异概率的缺陷，设计了一种基于模糊逻辑控制器的自适应遗传算法，实验结果表明，该算法具有较好的在线性能。     

模糊命题逻辑系统中的代换定理

在舍弃了经典逻辑系统中公理L1)的基础上建立了一类模糊命题逻辑的准形式演绎系统LGR^*。并在此基础上研究了模糊逻辑系统中的代换定理，为进一步研究模糊命题逻辑系统的完备性奠定了一定的基础。     

模糊命题演算系统的一个新的等价形式

在模糊逻辑系统L~*中,P∧Q是﹁(﹁P∨﹁Q)的简写,连接词∧与连接词﹁,∨,→的关系应由L~*中的公理体系决定。本文通过在L~*中增加适当公理使得连接词∧与﹁,∨,→具备所需的特殊关系,得到的主要结论是:在L~*中增加公理L~*9_b:(((A→C)∨(B→C))→(A∧B→C)),同时放弃约定P∧Q是﹁(﹁P∨﹁Q)的简写,所得的系统L_0~*与L~*等价。     

Lukasiewicz命题逻辑系统中真度的等价定义及相关性质

对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果.     

燃料电池汽车能量管理系统运用复合模糊逻辑控制的研究

合理分配不同动力源的输出功率是燃料电池汽车能量管理的重要环节。针对"燃料电池+蓄电池（FC+B）"混合动力汽车,提出一种用复合模糊逻辑控制的能量管理策略。该策略根据负载需求功率、蓄电池当前荷电状态（state of charge,SOC）以及目标区SOC动态调整功率分配。通过MATLAB/Simulink对所提出的复合模糊逻辑控制进行验证。仿真结果证明,当蓄电池SOC适中时（以H_SOC表示荷电状态值,当H_SOC=60%时）,SOC在复合模糊逻辑控制策略与功率追踪策略下变化基本相同,但前者的氢耗量减少0.54 g;当蓄电池初始SOC较低或较高时（分别以H_SOC=39.8%和H_SOC=80.2%为例）,相较于功率追踪策略,该策略使蓄电池SOC逐渐接近目标区。运用复合模糊逻辑控制可以降低混合动力系统的总能耗,提高系统的效率,控制更加灵活,具有一定的实用价值。     

模糊逻辑在修船规模决策中的应用

研究了确定修船基地设施规模的定量分析方法.根据修船业市场的特点,以修船规模与该地区港口吞吐量、修船价格的关系为基础,应用模糊逻辑理论建立了一个确定港口地区修船工业发展规模的决策模型.应用结果表明,模糊逻辑模型能够很好模拟新加坡、欧洲等修船工业成熟地区的修船规模,并得出上海港、宁波港、大连港地区的合理修船规模,为国内修船基地的建设提供参考依据.     

L*系统中L*10的特点及应用

对模糊命题演算的形式演绎系统中的公理L10：(A→B)V((A→B)→A∨B)进行了较为深刻的研究,一方面应用L10讨论了￡~*系统与Lukasiewicz系统,Godel系统的相互独立性,说明L10是￡~*系统区别于其它模糊命题演算的形式演译系统的特征标志,另一方面应用L10证明了￡~*系统中的条件演绎定理,给出了L10在￡~*中的一个重要应用。