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

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

一类椭圆型方程的多重解

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

MTL代数的特征定理

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

保偏光纤偏振器

利用保偏光纤的弯曲损耗特性绕制而成的光纤偏振器已有过报道。但文献[1]中报道的偏振器尺寸太大(φ=100mm),不利于光纤陀螺的小型化。本文介绍一种采用“熊猫”型光纤制成的偏振器,其尺寸较小(φ=30mm),消光比可达到33dB。     

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

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

最优带仲裁认证码

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

新席夫碱吡哆醛缩邻氨基酚的合成及其分析应用研究

本文研究了新席夫碱吡哆醛缩邻氨基酚的合成及其分析应用，提出了钒（Ｖ）的分光光度测定法，该法简便，灵敏，选择性好。     

直线加速器驻波腔中的瞬态束流负载效应

在高能加速器中, 随着单个束团和束团串中电荷量的提高, 当粒子束穿过加速腔的时候, 感应出的瞬态束流负载电压也越来越高. 但是, 在通常分析束流负载的时候, 往往对稳态束流负载研究的比较多, 而对瞬态束流负载的研究要相对少一些. 本文首先对束流负载的瞬态特性和束团穿过加速腔时高频源所看到谐振腔谐振频率的变化方式进行了分析, 然后又对两种情况下谐振腔的最优失谐条件进行了讨论, 并给出了相应的解析公式. 在第1种情况下, 当粒子束穿过加速腔的时候, 谐振腔的自然谐振频率能够及时地得到调节, 从而使高频源的电流与谐振腔的腔压同相, 以提高高频源的效率; 在第2种情况下, 当粒子束穿过加速腔的时候, 谐振腔的自然谐振频率保持不变, 不能被调节. 最后, 还对BEPCⅡ现有预注入器的预聚束腔、BEPCⅡ未来预注入器的两个次谐波聚束腔中的瞬态束流负载效应进行了分析.     

3,5-二溴水杨醛缩氨基吡啶的合成及其应用于萃取荧光法测定微量季铵盐

本文合成了新荧光试剂3，5-二溴水杨醛缩氨基吡啶，用元素分析、红外光谱证实了新化合物的结构。并且将此试剂用于萃取荧光法测定水中微量季铵盐。研究了反应条件．探讨了反应机理。所提出的方法灵敏度好，干扰少。