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

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

λ-粗模糊集的分解

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

一类椭圆型方程的多重解

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

听觉外周计算模型研究进展

在简单介绍听觉外周特性之后,对近30年听觉外周计算模型的研究及其在语音识别领域的应用进行了评述,针对未来语音信号处理领域中听觉外周的建模,提出了一些设想；讨论了在被动声呐目标识别任务中应用听觉模型的可能性,同时,结合声呐目标识别的特点,对听觉外周模型的适用性建模研究,提出了若干建议。     

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

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

最优带仲裁认证码

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