一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

λ-粗模糊集的分解

在模糊等价关系的基础上建立了λ-等价类和给出了λ-粗集的一般形式,根据等价关系R~强λ-截集的定义给出了强λ-等价类的定义和λ-强粗集的形式;然后根据模糊集与普通集合的分解定理,给出λ-粗模糊集的分解定理的几种形式;最后由λ-粗模糊集的分解定理可以求出R~-粗模糊集,并给出了R~-粗模糊集的几种表示形式。     

Annealing behavior of gel‐spun polyethylene fibers at temperatures lower than needed for significant shrinkage

The annealing at 373 K of ultrastrong, gel‐spun polyethylene (PE) has been studied. At this temperature, the fibers show no significant shrinkage. Still, a significant decrease in the mechanical properties is observed. The fibers have been analyzed with differential scanning calorimetry (DSC), temperature‐modulated differential scanning calorimetry (TMDSC), atomic force microscopy (AFM), and small‐angle X‐ray scattering (SAXS). During the annealing, the glass transition of the intermediate phase is exceeded, as shown by DSC. When split for structure analysis by AFM, the annealed fibers undergo plastic deformation around the base fibrils instead of brittle fracture. The quasi‐isothermal TMDSC experiments are compared to the minor structural changes seen with SAXS and AFM. The loss of performance of the PE fibers at 373 K is suggested to be caused by the oriented intermediate phase, and not by major changes in the structure or morphology. The overall metastable, semicrystalline structure is shown by TMDSC to posses local regions that can melt reversibly. © 2003 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 41: 403–417, 2003     

一类椭圆型方程的多重解

利用极小极大方法获得了一类Dirichlet问题多重解的存在性结果.     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

X波段介质和金属膜片混合加载行波加速结构的传播特性计算及模型腔的有关研究

计算了X波段(f=9.37GHz)介质和金属膜片混合加载行波加速结构的TM₀₁模和HEM₁₁模的色散曲线, 结果表明HEM₁₁模的截止频率比TM₀₁模的低, 说明与盘荷波导相比, 该种新加速结构单束团的BBU效应得到改善.实验研究优选得到了适用于该种新加速结构的介质(ε_r=5.812). 采用MAFIA程序优化设计了模型腔, 测试频率与设计的数值吻合得很好.     

BEPCⅡ直线加速器重大改造和束流调试进展

BEPCⅡ直线加速器的重大改造旨在获得高流强、小发射度和小能散的正负电子束, 以满足对撞机亮度提高两个两级的要求. 这对直线加速器各系统和束流物理是一个挑战. 文章介绍了直接决定束流性能的新电子源、新正电子源、新微波功率源、相位控制系统和束流测量系统等的改造情况; 叙述了束流物理研究; 介绍了束流调试进展情况和进一步改进计划.     

单谐振腔外部Q值的计算方法

 通过对带有耦合器的单驻波腔进行等效电路分析，推导出可计算带有耦合波导的单谐振腔外部Q值的反射相位法，该方法通过计算不同频率的反射相位来确定谐振频率和外部Q值。详细叙述了在CST Microwave Studio中用谐振模式求解法、直接时域跟踪法和反射相位法进行计算的步骤；用这3种方法分别计算了二次发射微波电子枪的外部Q值并和实验测量结果做了比较。结果显示3种计算方法都有很高的精度,但反射相位法的速度最快，耗时1 071 s。计算发现外部Q值与耦合口长度的4.1次方成反比。     

最优带仲裁认证码

本文研究带仲裁认证码（亦称A^2-码）。一个A^2-码，当它的欺骗攻击成功概率达到信息论下界且密钥长度也达到最小时称为是最优的。本文给出最优A^2-码的组合结构的特征，从而将构造最优A^2-码的问题归结为构造相应的一类组合设计的问题。