逻辑系统Gdel,Luk,L*中命题真度值的分布

分别研究了Gdel,Luk,L*逻辑系统中公式的真度的分布情况,得到了公式的真度集均为[0,1]∩Q的重要结论。     

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

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

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

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

光场迭加态的振幅N次方压缩

本文根据Zhang等人定义的高阶压缩,研究了光场迭加态|ψ>=a|0>+β|z>的高阶压缩特性,发现这种光场迭加态可存在任意阶的振幅N次方压缩。     

Stark效应对单模热辐射场作用下原子的压缩效应的影响

本文研究了包括Shark效应时双光子Jaynes-Cummings模型中态矢随时间变化的规律。作为例子,讨论了初始时刻有效二能级原子处于基态而光场为单模热辐射场时原子的压缩效应。     

轴流风机在高大平房仓保水通风降温中的应用探讨

利用冬季低温天气,开启小功率低风压的轴流风机对安全水分以下的小麦粮堆进行通风,降温效果明显且能耗较低,粮堆水分基本不变。     

多工艺路线的作业车间模糊调度优化

对具有模糊加工时间和模糊交货期的多工艺路线的作业车间调度问题进行了研究；以最大化平均满意度为调度目标，建立了作业车间模糊调度的数学模型，提出了一种基于遗传算法的全局优化的调度算法；设计了包含工序及其加工机床信息的染色体编码，对染色体的解码方法、交叉方法和变异方法进行了研究。仿真结果表明，该算法是可行的，与其他同类研究相比，有一定的优越性。     

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

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

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

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

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

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