归纳证明的规范变换方法

给出了一般等式规范有序类等式规范的变换方法，以及在有序类等式规范上的主要结论，在此基础上，又给出了有序规范上的一个归纳证明方法，这一方法避免了Ｊｏｕａｎｎａｕｄ－Ｋｏ－     

基于知识的关系聚类用于对象化事务处理

针对ＤＳＳ和ＭＩＳ中一类涉及多个关系表的过程性事务处理问题，利用人工智能的框架知识范围表达类知识，在此基础上进行关系表的聚类并按产生式规则进行事务处理，在一定程序上较好地解决了问题的求解，同时，给出了求解的实例。     

类硫氧还蛋白hTRXL I cDNA的克隆和原核表达

从人18周胎脑中提抽mRNA，建立cDNA文库，通过大规模测序克隆出一条人类基因，该基因全长1644bp，开放阅读框1146bp，编码一个含372个氨基酸的蛋白，预测分子质量约为46．8ku，经与蛋白数据库比较，发现具有人硫氧还原蛋白结构，命名为人的类硫氧还蛋白基因I（human THioredoxin like gene I,hTRXL I)，多组织膜Northern blot结果显示在心脏，脑，胎盘，肝，骨骼肌，肾，胰腺等各个组织中均有表达，肺中表达不明显，通过Unigene染色体定位，将hTRXL I定位于11q11,把hTRXL I的读框克隆人经改造的PBV220质粒中，在E，coli中诱导后获得表达。     

类土质岸坡雪崩式破坏机制研究——以三峡库区龚家方岸坡为例

【目的】水库岸坡破坏机制是库岸地质减灾的重要科学问题。【方法】以三峡库区龚家方岸坡为例,采用现场勘查和模型实验方法,探讨类土质岸坡破坏机制问题。【结果】现场勘查结果表明,类土质岸坡破坏的地质基础包括两方面:一是岸坡由灰岩、泥灰岩、白云岩、页岩、片麻岩、板岩等并富含蒙脱石和伊利石亲水性矿物的碎裂岩体组成;二是岸坡卸荷作用强烈,卸荷结构面岩桥区段是岸坡破坏的关键环节。模型实验结果表明,类土体渗透性良好,水库蓄水初期库水进入岸坡后地下水在类土体空隙内产生明显的紊流作用,孔隙水压力波动特征明显。【结论】水库蓄水浸泡条件下岸坡卸荷结构面岩桥区段抗剪强度参数劣化作用和水库蓄水初期岸坡内孔隙水压力波动作用是类土质岸坡发生雪崩式破坏的物 理机制。
     

钛表面不同凝胶层对磷酸钙生物活性层形成的影响

采用碱、碱热、酸碱和酸碱热处理的方法对钛表面进行活化，分析不同处理方法得到的表面形貌，研究了TiO2-凝胶层稳定性、微观结构、化学成分及其对磷灰石形成的影响．试验结果表明，经过碱处理和酸碱处理均能在材料表面形成TiO2-凝胶层，热处理使TiO2-凝胶层晶体化，稳定性提高，表面得到致密的增厚的金红石型TiO2薄膜．     

与（2^r,（2^r—1）!）—拉丁阵有关的矩阵的分类

利用（２＾ｒ，（２＾ｒ－１）！）－拉丁阵（ｒ≤３）中任一列排列与行号序列可以确定一个ｒ×２＾ｒ矩阵Ａ，对Ａ划分等价类并对等价类进行计数。     

代数系统同态存在性的研究

代数系统间同态关系能在一定意义上保持两代数系统的性质.等价关系是一种重要的关系,由等价关系导出的等价类及商集有着非常重要的规律及典型的性质,商代数是由商集及其上的运算构成的代数系统,任何代数系统都与其商代数同态.     

Stirling数的推广

本文主要讨论两类Ｓｔｉｒｌｉｎｇ数的推广问题．考察函数 及其逆关系 ，通过研究，可以建立ｓｋ（ｎ，ｒ）＝　　　 等一些较为 一般性的恒等关系．若考虑其特殊情况，即置　　　　　　，还可推得　　　　　　　　　　　　　　　　　与 　　　　　　　　　　　　　　　　　　　。特别再令Ｋ＝１，便得到通常的第一类和第二类的Ｓｔｉｒｌｉｎｇ数．     

塑料类排水管在高地下水位段埋设探讨

由于塑料类排水管有着诸多的优点,近年来在工程建设中得到广泛的应用。然而其重量轻、水密性能好的特点,在水位超过埋设地段地表时,＂管道的抗浮稳定验算＂不能满足。     

浅谈汽车配件市场营销课程实验教学

本文探讨了汽车配件市场营销课程实验教学的重要性以及汽车配件市场营销实践教学中存在的一些问题,结合教学实践经验,讲述模拟实验室＋类真实环境＋配件市场的实践教学模式。并用该模式对于汽车配件市场营销课程的专业建设意义进行了论述。对汽车配件市场营销专业课程的实践性与创新性进行探析。