格值逻辑公式中短语和文字的可消性

本文分别给出了格值辽辑公式中短语和文字可消去的一些充要条件,从而为格值逻辑公式的化简提供了理论基础.     

On the Product and Factorization of Lattice Implication Algebras

In this paper,the concepts of product and factorization of lattice implication algebra areproposed,the relation between lattice implication product algebra and its factors and some properties oflattice implication product algebras are discussed.     

Prime Space of Lattice Implication Algebras

1.IntroductionPeoplehavepaidmoreattentiontolathcevaluedlogicsystem,whichwillbecomemuchbetterlogicalsystemforintelligentcomputer.InreferenceL1JXuYangpresentanalgebrastructure-latticeimplicationalgebrabycomblngthelatticewithimplicationalgebraastruevaluefieldoflatticevaluedlogicaIsystem.Afterthat,westudytheimplicationhomomor-phism,congruencerelationsandalgebraicstructureoflatticeimplicationalgebraanddiscussthefirstorderlogicalsystemFMbasedonlatticeimplicationalgebras,andobtainedseveralimpor-ta…     

Multi-Slit Diffraction of Evanescent Electromagnetic Waves

The well-known Fraunhofer multi-slit diffraction is described as the multi-slit interference modulated by the singleslit diffraction, namely the multiplication between the single-slit diffraction factor and the multi-slit interference factor. By considering the simplified argument we show that the multi-slit diffraction of evanescent waves which are in the near-field region also has the interference and diffraction effects, and that this two-fold effect can be expressed as the convolution of the diffraction factor and the interference factor. Our conclusion could be helpful to understand the contribution of evanescent waves to the optical responses of sub-wavelength structures such as slits and grooves.     

基于不确定度处理的导热系数实验挖掘

在计算机普及和大物实验智能化的时代背景下,许多理工院校特别是普通工科院校中对实验数据的处理要求逐渐简化,甚至已不再有不确定的数据处理要求。部分学有遗力或感兴趣的学生希望有更深入的数据处理与分析,但缺乏比较有可操作性的实例参考,目前导热系数的数据处理相关文献尚无不确定度处理的报道。特别是不确定处理,成了学生难以触及触摸的禁区。针对这样的现状,我们提供了方程回归法、作图法和逐差法这三种有效的数据处理方法,并首次详细给出了不确定度处理过程。基于不确定处理结果,我们进行了有效的误差分析并针对性地提出了实验的操作建议,具有一定的参考价值。     

基于金属/介质混合反射镜的高调制深度半导体可饱和吸收镜锁模的飞秒光纤激光器

介绍了一种新型半导体可饱和吸收镜(SESAM)的原理与特性,并用它来实现掺铒光纤激光器的锁模飞秒脉冲的生成.这种新型宽带SESAM调制深度可以达到20%,用在1.5μm波段的环形腔掺铒光纤激光器里,实现自启动锁模.锁模光谱以1559 nm为中心,半峰全宽为9 nm,锁模激光脉冲串重复频率为25.6 MHz,输出功率14 mW,自相关仪测得脉宽为170 fs.     

The Property of Bair in r-Space

ＴｈｅＰｒｏｐｅｒｔｙｏｆＢａｉｒｉｎｒ－ＳｐａｃｅＳｏｎｇＺｈｅｎｍｉｎｇ（宋振明）（ＨｅｎａｎＵｎｉｖｅｒｓｉｔｙ）Ａｂｓｔｒａｃｔ：ＩｎｔｈｉｓＰａｐｅｒ，ｗｅＳｔｕｄｙｐｒｏｐｅｒｔｉｅｓｏｆＢａｉｒｂｙｓｙｍｍｅｔｒｉｃｄｉｆｆｅｒｅｎｃｅ...     

格值逻辑公式中短语的文字的可消性

本文分别给出了格值逻辑公式中短语和文字可消去的一些充要条件，从而为格值逻辑公式的化简提供了理论基础。     

Simulation of Femtosecond Pulse Propagation through Hollow Fibre Filled with Noble Gases of Gradient Temperature

We propose a novel technique for generating intense few to mono-cycle femtosecond pulses. The simulation demonstrate that for the temperature difference of 300K, the spectrum of the output pulses is increased by 67% and the transform limited pulse width is reduced almost by half, compared with those obtained with hollow fibres in uniform temperature.     

格测度空间的表现与积分

无论是经典的测度,还是近年来模糊数学中定义的各种测度,其可测空间实质上都是Fuzzy格上的一个子集。受王国俊先生的拓扑分子格理论的启发,我们在格上考虑可测空间,随后定义测度与积分,对上面所提的诸种测度空间及积分进行推广与统一。本文在无特別说明时,所涉及的格L(≤,∨,∧,’)均表示Fuzzy格,L中的最大元与最小元分別以I和θ来表示。有关分子、原子、极小集等概念可参见[1]—[5]。