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

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

Li3N、Mg3N2、Ca3N2催化作用的比较和分析

 Li₃N、Mg₃N₂和Ca₃N₂是高温高压下以hBN为原料合成cBN的催化剂。在实验中发现它们对常压高温下生成hBN的反应也表现出催化作用。对比了三种氮化物催化效果的差异，发现三种氮化物都只有在熔融状态下才能表现出催化效果，以及三种氮化物对生成hBN反应的催化效果与它们在高温高压下合成cBN反应的催化效果次序相似。提出了对合成hBN有催化作用的化合物也将对合成cBN表现出催化作用的观点。     

3,7-二硝基亚氨基-2,4-二氮杂双环[3,3,0]辛烷的放热分解反应动力学

在程序升温条件下 ,用DSC研究了标题化合物的放热分解反应动力学 .用线性最小二乘法、迭代法以及二分法与最小二乘法相结合的方法 ,以积分方程、微分方程和放热速率方程拟合DSC数据 .在逻辑选择建立了微分和积分机理函数的最可几一般表达式后 ,用放热速率方程得到相应的表观活化能 (Ea)、指前因子 (A)和反应级数 (n)的值 .结果表明 :该反应的微分形式的经验动力学模式函数、Ea 和A值分别为 (1-α) 0 .44、2 30 .4kJ/mol和 10 18.16s-1.借助加热速率和所得动力学参数值 ,提出了标题化合物放热分解反应的动力学方程 .该化合物的热爆炸临界温度为 30 2 .6℃ .上述动力学参数对分析、评价标题化合物的稳定性和热变化规律十分有用 .     

多结超导环在外磁场中的行为

分析和计算了双结超导环在无偏置电流时的磁通、环流、自由能与外磁场的关系.发现双结环与单结环在磁场中的行为有所不同.当两个结的Ic相等时，双结环在1＜β=2πLIcΦ0＜2时，若无偏置电流，总磁通Φ、环流I与外磁通Φe的关系仍然是非回滞的曲线.仅当β≥2时，曲线才出现回滞.另外双结环有两支解，并且每支解的周期为2Φ0. 关键词： 双结环 双支解 2Φ0周期 回滞     

一种有机电致发光共聚物的制备和性能

采用Suzuki方法合成了9，9-二辛基芴与萘并硒二唑的两种无规共聚物并研究了其紫外光谱、光致发光和电致发光性能。两种聚合物的电致发光波长为650～666nm，均为发饱和红光的LED材料，其电致发光外量子效率最高达到了1．05％。随着共聚物中萘并硒二唑含量的增加，共聚物的光致发光和电致发光的发射波长均有少量红移。证明了根据共轭高聚物链内能量转移原理，在聚芴链中引入不同含量的窄带隙杂环单元可实现对聚芴发光颜色的调节。     

一类逆半群的亚直可约性

本文利用逆半群上的同余扩张，讨论了一类逆半群的亚直可约性，并刻划了这类逆半群的幂等元集的特征。     

Derivatization of 1-phenyl substituted 4-amino-2-benzazepin-3-ones: evaluation of Pd-catalyzed coupling reactions

Several Pd-catalyzed reactions were explored to further functionalize the bromo-substituted 4-amino-1,2,4,5-tetrahydro-2-benzazepin-3-one scaffold (Aba). We report in this paper suitable reaction conditions for Suzuki, Buchwald-Hartwig, and Heck reactions. The substitution pattern of the starting aminobenzazepinone turned out to be crucial for the success of these transition metal-catalyzed reactions, which often required modifications of standard literature procedures. The Pd-catalyzed methods provide access to novel substitution patterns of the Aba scaffold.     

On the Rolewicz theorem for evolution operators

We give a short proof of a generalization of the Rolewicz theorem based on the uniform boundedness principle.