一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

硫酸钛水解制备TiO2纳米粒子载荷添加剂

以硫酸钛为前驱体，采用溶胶－凝胶－超临界干燥法制备TiO2纳米粒子润滑油载荷添加剂。采用红外光谱、BET氮容量吸附、透射电镜、热生－差热分析、X－射线衍射等手段对TiO2纳米粒子的特性进行了表征，分析了制备过程中的各种影响因素。结果表明，采用强烈搅拌、匀速滴加絮凝剂、控制反应终点的pH值以及用乙醇为介质进行超临界干燥的方法制备出的TiO2纳米粒子的平均粒径为15－20nm，比表面积约为100m%2/g，其结构为锐态型，表面有微量水和乙醇吸附。     

白血病小鼠模型中P53、C-myc基因表达的变化研究

探讨DNA、RNA病毒诱导小鼠发生白血病的机制。用单纯疱疹病毒Ⅱ型（HSV－2）和C型RNA病毒诱导70只昆明小鼠，光学显微镜检测HSV－2、C型病毒诱导发生白血病的成功率。正常对照组为30只昆明小鼠。免疫组化法检测HSV－2、C型病毒致瘤后P^53、G－myc基因表达的变化。70只昆明小鼠中有47只发生白血病，成功率为67．1％。47只白血病小鼠P^53、C－myc蛋白阳性表达率均比正常对照组高（P＜0．05）；23只未形成白血病的实验组小鼠P^53、C－myc蛋白阳笥表达率均与正常对照组无显差异（P＞0．05）。HSV－2、C型病毒可以通过调节P^53、C－myc基因的表达从而诱导小鼠白血病的发生。     

人疱疹病毒8编码的趋化因子vMIP-Ⅱ在大肠杆菌的优化表达

目的：探讨优化vMIP-Ⅱ/MBP融合蛋白表达载体pMal在原核细胞中的表达条件，并对其表达产物进行纯化。方法：通过接菌，诱导表达，实验了解诱导时不同的温度，诱导时间，IPTG浓度对蛋白表达量的影响，并进行SDS-聚丙烯酰氨凝胶（SDS-PAGE）电泳分析。结果：发现该菌在含0.3mmol/L IPTG的TB培养基中，28℃诱导表达4h，可使诱导蛋白表达达量占菌体蛋白总量的10%。结论：vMIP-Ⅱ/MBP的表达受温度条件影响较大，低温诱导时表达水平较高，从而为该工程菌的中试提供了实验基础。     

Turbo码译码深度δ对其译码性能的影响

介绍了两种新的译码算法：AL－1和AL－2，通过计算机仿真结果，讨论了该算法的译码深度对Turbo码性能的影响。     

Ｗeak（S）—积分的极限定理

在引进了Weak^*(S)－积分的基础之后，对Weak^*(S)－积分的极限定理进行研究，并给出了两个重要的Weak^*(S)-积分的积分极限定理。     

带的双闭子带和自由幂等元半环

给出带的双闭子带和它的性质及特征。在此基础上，给出加法半群为半格的幂等元半环簇中的自由对象。     

微波辐射合成7-羟基-4-甲基香豆素

以浓硫酸为催化剂，采用微波辐射技术，由间苯二酚与乙酰乙酸乙酯缩合制备7－羟基－4－4甲基香豆素。结果表明，微波辐射合成7－羟基－4－4甲基香豆素的最以应条件为：间苯二酚5.5g，乙酰乙酸乙酯6.8ml，浓硫酸1.5ml，微波功率240W，微波辐射时间6min，产率84．1％，不采用微波辐射，反应时间大于10h，产率78％，红外光谱分析表明，7－羟基－4－4甲基香豆素的特征峰与7－羟基－4－甲基香豆素的各官能团的吸收峰吻合，测定7－羟基－4－甲基香豆素的熔点为189－192℃。