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} )中引入了一种降级算法并讨论了其性质     

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

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

一种基于非均匀磁化等离子体的修正Z-FDTD算法

对已有的 Z 变换时域有限差分法(Z-transformation Finite Difference Time Domain,Z-FDTD)在电磁波与非均匀磁化等离子体中的传输特性分析的计算误差问题进行了研究,并探讨了一种修正计算误差的Z变换时域有限差分方法(Modified Z-transform Finite Difference Time Domain,MZ-FDTD),以提升 Z-FDTD 方法对非均匀磁化等离子体的适用性.对MZ-FDTD和Z-FDTD之间的计算误差问题,通过严格的公式推导求得该误差的计算公式,并引入误差分析因子,对比分析了该误差受空间步长和非均匀磁化等离子体的物理特性的影响特征,在充分的误差分析与网格参数对比后,以电磁波在非均匀磁化等离子体中的传输特性为分析目标,举例说明了 MZ-FDTD的优越性.研究结果表明,相比于经典Z-FDTD,通过MZ-FDTD方法计算得到的数值结果具有更高的计算准确度,较低的运行时间和较少的运行内存占用.此外,对电磁波在非均匀等离子体中传输特性分析的举例说明也证明了相比于Z-FDTD,优化的Z-FDTD方法无论是在较低频段还是较高频段都保持较好的稳定性.在今后的工作中,使用MZ-FDTD方法研究非均匀磁化等离子体问题将会获得更好的计算结果,这项工作中的误差分析方法也将对某些计算电磁学在等离子体中的应用与优化工作起到一定的帮助作用.     

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

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

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

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

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

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

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

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

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

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

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

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

扰动模糊逻辑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规则的精确关系式以及关于真度并推理规则的结果.     

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

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

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

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

PLC在水蓄冷空调控制系统中的应用分析

介绍了水蓄冷系统的运行控制模式,采用合理的控制方式和控制策略,以最大限度的实现系统可靠、安全、节能、全自动运行。