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

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

一类椭圆型方程的多重解

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

MTL代数的特征定理

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

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-码的问题归结为构造相应的一类组合设计的问题。     

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

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

离子液体中用Heck反应合成2-取代萘烯丙醇化合物

利用Heck反应, 在离子液体、金属钯或镍、碱和膦配体反应体系中, 由卤代萘与烯丙醇反应, 制得了高收率和高选择性的2-取代萘烯丙醇化合物. 该方法原料便宜易得、操作简单、反应体系可循环使用. 并讨论了醋酸镍替代醋酸钯、不同膦配体、溶剂及碱对反应转化率的影响. 通过核磁共振、红外光谱、质谱和元素分析对产物的结构进行了表征.     

溶菌酶热变性的DSC研究

用差示扫描量热法研究了固体溶菌酶的热变性以及水溶液中不同变性剂与浓度对溶菌酶变性的影响. 结果表明, 溶剂水的存在及变性剂尿素和盐酸胍的加入使溶菌酶的变性温度降低, 变性焓减小; 同时, 在一定的浓度范围内, 溶菌酶的变性温度和变性焓随变性剂浓度的增大而降低. 盐酸胍的变性效果较尿素强, 这是由于盐酸胍与蛋白质分子间除了氢键作用外还存在着静电作用.