关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

磁性琼酯糖亲和吸附剂的合成与应用

采用反相悬浮包埋技术合成了粒径在43-295μm之间的磁性琼脂糖微球。磁性琼脂糖微球经环氧氯丙烷活化后，分别键合6-氨基已酸、氨基乙酸和乙二胺为间隔臂，用水溶性碳二亚胺为缩合剂，分别偶联对氨基苯甲脒、l-精氨酸甲酯和胍基已酸，制备了3种磁性亲和吸附剂，并用于尿激酶粗品的分离纯化。测定了活性回收率和比活提高倍数，并与以磁性葡聚糖为基质的磁性亲和吸附剂对尿激酶的纯化效果进行了对比。     

计入热效应下的椭圆轴承动态特性计算

利用有限元法，通过联立求解动压润滑轴承中的二维Ｒｅｙｎｏｌｄｓ方程，三维能量方程和粘温方程，对高速轻载工作条件的椭圆轴承的静动态特性进行了计算，并与Ｇｌｉｅｎｉｃｋｅ实验结果进行了比较，结果表明：计入热效应下的静动态特性与实验结果更为接近，从而说明，对于高速轻载下工作的椭圆轴承，热效应是一个不可忽略的主要因素。     

大型精密仪器使用效益评估

对大型精密仪器的使用效益采用数学综合模式进行统计分析评估,提出大型精密仪器寿命周期管理的三个不同阶段及其各相应阶段效益评估的侧重点.     

分光光度计示值不稳的故障分析和检修

本文对可见一紫外分光光度计在使用过程中出现的吸光度读数不稳的故障原因进行了分析,结合实例提出了排除这一故障的方法。     

非线性热源反演中的不动点方法

本研究半无穷直线上热传导方程第一边值的非线性热源的反问题，并通过对Green函数及其导数的积分估计和Banach不动点方法，证明了非线性热源的局部可解性及唯一性。     

土壤水、热和溶质耦合运移研究进展

总结和概括了国内外土壤水热耦合运移、土壤水和溶质耦合运移及土壤水、热和溶质耦合运移研究的基本理论和代表性成果。Philip-De Vries和De Vries的土壤热耦合运动方程与Taylor-Cary基于不可逆热力学定律的线性流动方程是土壤水热耦合运移研究的两种主要理论。土壤水和溶质迁移的数学模型，可分别由水分运动、溶质运移两个方程耦合组成。Nassar关于土壤水、热和溶质耦合运移理论的研究取得了一定进展。在此基础上，探讨了土壤水、热和溶质运移耦合系统需要进一步研究的问题。     

个性化Agent层次结构模型构造

通过对人类心理的分析,构造出个性Agnet的层次结构模型,即需要模块、驱动模块、喜好地址表模块及世界观模块.重点阐述了需要模块,其分别包括思维策略、安全系统等低层次结构体系及通信请求、推理系统、解释系统等高层次结构体系.这些层次结构体系及各模块确保个性化Agent具有层次分明、开放、灵活及较好的稳定性等优良特性.     

髓母细胞瘤中P53、bcl-2及Ki-67的表达及其意义

用免疫组化S P法检测 2 5例髓母细胞瘤中Ki 6 7、P53 及bcl 2基因的表达。结果表明 ,在 2 5例髓母细胞瘤中 ,bcl 2和P53 蛋白的阳性表达率分别为 72 % (18/ 2 5 )和 16 % (4/ 2 5 )。Ki 6 7阳性率平均为 (33.34± 4 .98) % ,其表达与组织学分型有关。说明在髓母细胞瘤中bcl 2蛋白与P53 蛋白可能参与调控细胞的凋亡     

BrONO2与Cl(2P3/2)的反应机理

采用密度泛函理论(DFT)B3LYP方法,在6-31G*基组下,研究了Cl(2P3/2)+BrONO2→BrCl+NO3和Cl(2P3/2)+BrONO2→Br+ClONO2的反应机理.计算得到各可能反应途径的过渡态,并通过内禀反应坐标(IRC)分析加以证实.反应Cl(2P3/2)+BrONO2→BrCl+NO3有两种可能的反应途径,其活化能垒相差比较大.途径I和途径II的活化能垒分别为89.5 kJ*mol-1和61.2 kJ*mol-1,该反应为放热反应,放出的热量为73.4 kJ*mol-1.反应Cl(2P3/2)+BrONO2→Br+ClONO2的活化能垒为47.8 kJ*mol-1,该反应为吸热反应,吸收的热量为6.3 kJ*mol-1,这与大部分实验者的推论相一致.反应Cl(2P3/2)+BrONO2→Br+ClONO2的活化能垒比较低,为47.8 kJ*mol-1,认定反应容易进行.反应Cl(2P3/2)+BrONO2→BrCl+NO3途径II的活化能垒低,主要按途径II的反应途径进行.