命题逻辑的序结构

含n个命题变元的合式公式A(P1，P2，…，Pn)组成的集合M关于命题公式的等值关系←→构成的商集M/←→{CA|A↓B∈CA包含M，A←→B}关于如下代数运算∨和序关系≤是一个特殊的双格半群，即F格半群：CA∨CB=CA∨B；CB=CA∧B；CA≤CB当且仅当A的每一成真赋值都是B的成真赋值(A↓CA，CB∈M/←→)，这里的∧运算是∨的对偶运算，而M上的∧、∨运算分别是逻辑“或”逻辑“与”，同时给出了它的分子结构，并指出该F格半群与n元真值函数集构成的F格半群是同构的。     

球形壳聚糖树脂对含重金属离子废水的吸附性能研究

系统研究了球形交联壳聚糖树脂及分子印迹壳聚糖树脂对去除水体中重金属离子的吸附特性。研究结果表明:壳聚糖树脂交联后,在酸中稳定性增强 ,可重复使用达10次,吸附容量没有明显降低;分子印迹壳聚糖树脂对Ni²⁺、Zn²⁺、Cu²⁺等特定金属离子的吸附容量比非分子印迹壳聚糖树脂提高了1倍左右;同时球形交联壳聚糖树脂与商用吸附树脂相比,两者对Ni²⁺与柠檬酸镍的吸附容量相当。     

DBr分子基态(X~1Σ~+)的结构与势能函数

用量子化学计算方法CCSD和QCISD,分别在基组6-311++G**和TZV下,优化计算了DBr分子基态的平衡结构和离解能,得到的平衡核间距与实验值基本吻合.采用标准Murrell—Sorbie函数进行非线性最小二乘法拟合,得到了DBr分子势能函数的解析表达式,并进一步计算出DBr分子的力常数及光谱常数.     

K2分子A1∑+u电子态的高能级振动能谱和离解能的精确研究

K2分子的各电子态的能谱研究以及分子离解能的研究很活跃,也具有很重要的意义,然而对K2分子的多数电子态,用实验的方法一般只能获得低振动能级的能谱,对于高阶振动能谱,实验是很难获得的,从而用实验的方法来获得各电子态的完全振动能谱是很困难的.利用文献中实验测得的低阶振动能谱,运用SUN、REN等人提出的代数方法(AM)获得了K2分子A1∑ u电子态的高能级振动能谱,从而得到电子态的完全振动能谱,进而得到比较精确的离解能的理论值.     

α-synuclein蛋白与A-β肽和β-synuclein蛋白相互作用位点的预测

α-synuclein蛋白的异常聚集是引起帕金森病的重要因素.实验研究发现,α-synuclein蛋白能与多个蛋白相互作用.在相互作用的蛋白质中,有的可以促进α-synuclein的异常聚集,如A-β肽;有的可以抑制α-synuclein的异常聚集,如β-synuclein蛋白,但促进或抑制α-synuclein异常聚集的机理并不明确.利用SYBYL和AUTODOK软件模拟α-synuclein蛋白与A-β肽和β-synuclein的相互作用,找到其相互作用位点,为进一步研究α-synuclein蛋白的异常聚集提供理论依据.     

RNA分子二级结构智能绘图

本文介绍一种在微型计算机上实现的核糖核酸(RNA)分子二级结构智能绘图的方法。用软件实现此方法,可以把以碱基匹配对表示的RNA分子二级结构,自动转化为图形显示,并直接由打印机输出图形。使用此软件在速度较慢的IBM PC-XT型微机上,绘制1000个碱基的RNA分子二级结构图约用3分钟,绘制1500个碱基的RNA分子二级结构图约用3分钟。     

新型手性卟啉的制备与识别

利用四苯基卟啉meso位的可调性合成一种新型不对称卟啉, 通过酯键连接叔丁氧羰基(BOC)保护的L-苯丙氨酸(L-BOC-Phen-OH)而使卟啉具有手性识别的能力, 并研究了该手性卟啉对L-丙氨酸甲酯和D-丙氨酸甲酯分子识别能力的不同. 结果表明, 该手性卟啉对D-型氨基酸甲酯的识别能力较强.     

电渣重熔中脱氧剂种类影响炉渣脱氧的热力学分析

以工业纯铁为研究对象,熔渣-金属中各个组元间的热力学平衡反应和质量守恒为基础,计算了不同的脱氧剂添加量下钢中的Si,Al的平衡质量分数,建立了脱氧剂Al,CaSi,CaSiBa的脱氧热力学模型.结果表明:基于本模型对多种脱氧剂进行的研究能够符合实验结果,在采用Al,CaSi,CaSiBa脱氧时,渣中FeO质量分数分别能降低到0.04%,0.08%,0.08%,铝脱氧可以使得熔渣中氧势降到最低,且渣中Al2O3由于脱氧而增加的量相对于原始质量分数变化幅度较小,与CaSi,CaSiBa相比具有良好的氧势控制能力.     

理想气体分子速率分布定律的证明

单个气体分子的速率是偶然的，但大量气体分子的速率分布是有规律的．速律在Ｖ到Ｖ＋ΔＶ之间的分子数ΔＮ占总数Ｎ的百分率ΔＮ／Ｎ是确定的．本文用概率统计方法给出了这一结论的简单证明     

F．A．Cotton假设的证明与推广

１９７１年，Ｆ．Ａ．Ｃｏｔｔｏｎ提出，对Ｄｎｈ对称群分子的ＳＡＬＣ分子轨道，可通过Ｄｎｈ群的子群Ｃｎ用投影算符近似求得．本文证明了Ｃｏｔｔｏｎ的这一假设实际上是精确的，并指出该假设在对称分析理论中有进一步推广价值．